Prof. Dr. Alexander Ivanov
Address:
Ruhr-Universität Bochum
Fakultät für Mathematik, PF 44
Universitätsstraße 150
D-44780 Bochum
Room:
IB 2/153
Phone:
(+49)(0)234 / 32-19878
Since April 2023, I am a Heisenberg professor at RUB with focus on Arithmetic Geometry.
Since 2022, I am leader of the project “p-adic Deligne--Lusztig theory”, funded by the Heisenberg program of the DFG.
I work on algebraic geometry, number theory and representation theory. Here are some keywords that describe my current interests: Representations of p-adic Groups, Deligne--Lusztig Theory, local Langlands Program, Vector Bundles on the Fargues--Scholze Curve, ...
You can find my CV here
Research Areas
- representations of p-adic groups
- Deligne--Lusztig theory
- local Langlands program
- Fargues--Fontaine curve
- v-stacks over schemes
- arithmetic geometry
- number theory
- representation theory
Here is the list of all my articles on arXiv.
Preprints
- Inner products of deep level Deligne--Lusztig representations of Coxeter type (with Sian Nie and Pnjun Tan), preprint 2024
[ PDF ] [ arXiv ]Abstract
In this article we prove orthogonality relations for deep level Deligne--Lusztig varieties of Coxeter type, attached to a reductive group over a local non-archimedean field, which splits over an unramified extension. This extends results of Dudas and the first author, where the quasi-split case was handled. This allows to construct new irreducible representations of parahoric subgroups of \(p\)-adic groups.
- The cohomology of \(p\)-adic Deligne--Lusztig schemes of Coxeter type (with Sian Nie), preprint 2024
[ PDF ] [ arXiv ]Abstract
We determine the cohomology of the closed Drinfeld stratum of p-Deligne--Lusztig schemes of Coxeter type attached to arbitrary inner forms of unramified groups over a local non-archimedean field. We prove that the corresponding torus weight spaces are supported in exactly one cohomological degree, and are pairwisely non-isomorphic irreducible representations of the pro-unipotent radical of the corresponding parahoric subgroup. We also prove that all Moy--Prasad quotients of this stratum are maximal varieties, and we investigate the relation between the resulting representations and Kirillov's orbit method.
- Meromorphic vector bundles on the Fargues--Fontaine curve (with Ian Gleason), preprint 2023, submitted
[ PDF ] [ arXiv ]Abstract
We introduce and study the stack of meromorphic G-bundles on the Fargues--Fontaine curve. This object defines a correspondence between the Kottwitz stack \(\mathfrak{B}(G)\) and \(Bun_G\). We expect it to play a crucial role in comparing the schematic and analytic versions of the geometric local Langlands categories. Our first main result is the identification of the generic Newton strata of BunmerG with the Fargues--Scholze charts M. Our second main result is a generalization of Fargues' theorem in families. We call this the meromorphic comparison theorem. It plays a key role in proving that the analytification functor is fully faithful. Along the way, we give new proofs to what we call the topological and schematic comparison theorems. These say that the topologies of \(Bun_G\) and \(\mathfrak{B}(G)\) are reversed and that the two stacks take the same values when evaluated on schemes.
- Testing local-global divisibility at a small set of primes (with Laura Paladino)
preprint 2023, submitted.
[ PDF ] [ arXiv ]Abstract
We show that the local-global divisibility in commutative algebraic groups defined over number fields can be tested on sets of primes of arbitrary small density, i.e.\ stable and persistent sets. We also give a new description of the cohomological group giving an obstruction to the problem. In addition, we show new examples of stable sets. - Reconstructing decomposition subgroups in arithmetic fundamental groups using regulators, preprint 2014, submitted
[ PDF ] [ arXiv ]
Published papers (or papers accepted for publication)
- Orthogonality relations for deep level Deligne-Lusztig schemes of Coxeter type (with Olivier Dudas),
accepted in Forum of Mathematics, Sigma
[ PDF ] [ arXiv ]Abstract
Orthogonality relations in the classical Deligne-Luszig theory compute the inner product between two Deligne-Lusztig characters as some explicit expression in terms of the Weyl group. They form an important cornerstone of the whole theory. For deep level Deligne-Lusztig varieties a similar result in full generality is still open. In this article we prove it in the special case of Coxeter varieties, but without any assumption on the involved characters.
- On a decomposition of \(p\)-adic Coxeter orbits
Épijournal de Géométrie Algébrique 7 (2023).
[ PDF ] [ arXiv ] [ Journal]Abstract
We analyze the geometry of some \(p\)-adic Deligne--Lusztig spaces \(X_w(b)\) introduced in this article attached to an unramified reductive group \({\bf G}\) over a non-archimedean local field. We prove that when \({\bf G}\) is classical, \(b\) basic and \(w\) Coxeter, \(X_w(b)\) decomposes as a disjoint union of translates of a certain integral \(p\)-adic Deligne--Lusztig space. Along the way we extend some observations of DeBacker and Reeder on rational conjugacy classes of unramified tori to the case of extended pure inner forms, and prove a loop version of Frobenius-twisted Steinberg's cross section.
- Arc-descent for the perfect loop functor and \(p\)-adic Deligne--Lusztig spaces
Journal für die reine und angewandte Mathematik (Crelle's Journal) 2023 (2022), No. 794, 1-54
(old title: On ind-representability of \(p\)-adic Deligne-Lusztig spaces)
[ PDF ] [ arXiv ] [ Journal ]Abstract
We give a new definition of \(p\)-adic Deligne-Lusztig spaces \(X_w(b)\) using the loop functor. We prove that they are arc-sheaves on perfect schemes over the residue field. We establish some fundamental properties of \(X_w(b)\) and the natural torsors on them. In particular, we show that \(X_w(b)\) is ind-representable if \(w\) has minimal length in its \(\sigma\)-conjugacy class. Along the way we show two general results: first, for a quasi-projective scheme \(X\) over a local non-archimedean field \(k\), the loop space \(LX\) is an arc-sheaf (this uses perfectoid methods). Second, for an unramified reductive group \(G\) over \(k\) with a Borel subgroup \(B\), \(LG \rightarrow L(G/B)\) is surjective in the \(v\)-topology. - On loop Deligne-Lusztig varieties of Coxeter type for inner forms of \({\rm GL}_n\) (with Charlotte Chan)
Cambridge Journal of Mathematics 11(2023), No. 2, 441-505
[ PDF ] [ arXiv ]Abstract
We study the natural torsor over the \(p\)-adic Deligne-Lusztig space \(X_w(b)\) attached to the group \({\rm GL}_n\), Coxeter element \(w\) and basic \(b\). We show that it is representable by a scheme and study its \(\ell\)-adic cohomology. Our main result is that the latter realizes many irreducible supercuspidal representations of \({\rm GL}_n(k)\), notably almost all among those whose L-parameter factors through an unramified elliptic maximal torus of \({\rm GL}_n\). This gives a purely local and geometric way to realize many special cases of the local Langlands and Jacquet--Langlands correspondences. - The Drinfeld stratification for \({\rm GL}_n\) (with Charlotte Chan)
Selecta Mathematica (New Ser.) 27 (2021), Issue 3, Art. No. 50.
[ PDF ] [ arXiv ] [ Journal ]Abstract
We define a stratification of Deligne--Lusztig varieties and their parahoric analogues which we call the Drinfeld stratification. In the setting of inner forms of \(GL_n\), we study the cohomology of these strata and give a complete description of the unique closed stratum. We state precise conjectures on the representation-theoretic behavior of the stratification. We expect this stratification to play a central role in the investigation of geometric constructions of representations of \(p\)-adic groups. - Cohomological representations of parahoric subgroups (with Charlotte Chan)
Representation Theory 25 (2021), 1-26.
[ PDF ] [ arXiv ] [ Journal ]Abstract
Generalizing Lusztig's work, we give a geometric construction of representations of parahoric subgroups \(P\) of a reductive group \(G\) over a local field which splits over an unramified extension. These representations correspond to characters \(\theta\) of unramified maximal tori and, when the torus is elliptic, are expected give rise to supercuspidal representations of \(G\). We calculate the character of these \(P\)-representations on a special class of regular semisimple elements of \(G\). Under a certain regularity condition on \(\theta\), we prove that the associated \(P\)-representations are irreducible. This generalizes a construction of Lusztig from the hyperspecial case to the setting of an arbitrary parahoric. - The smooth locus in infinite-level Rapoport-Zink spaces (with Jared Weinstein)
Compositio Mathematica 156 (2020), No. 9, 1846-1872.
[ PDF ] [ arXiv ] [ Journal ]Abstract
Rapoport-Zink spaces are deformation spaces for \(p\)-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let \(\mathcal{M}_{\infty}\) be an infinite-level Rapoport-Zink space of EL type, and let \(\mathcal{M}_{\infty}^\circ\) be one connected component of its geometric fiber. We show that \(\mathcal{M}_{\infty}^{\circ}\) contains a dense open subset which is cohomologically smooth in the sense of Scholze. This is the locus of \(p\)-divisible groups which do not have any extra endomorphisms. As a corollary, we find that the cohomologically smooth locus in the infinite-level modular curve \(X(p^\infty)^{\circ}\) is exactly the locus of elliptic curves \(E\) with supersingular reduction, such that the formal group of \(E\) has no extra endomorphisms. Affine Deligne-Lusztig varieties at infinite level (with Charlotte Chan)
Mathematische Annalen 380 (2021), 1801-1890
[ PDF ] [ arXiv ] [ Journal ]Ordinary GL2(F)-representations in characteristic two via affine Deligne-Lusztig constructions
Mathematical Research Letters 27 (2020), No. 1, 141-187.
[ PDF ] [ arXiv ] [ Journal ]Ramified automorphic induction and zero-dimensional affine Deligne-Lusztig varieties
Mathematische Zeitschrift 288 (2018), 439-490.
[ PDF ] [ arXiv ] [ Journal ]Densities of primes and realization of local extensions
Transactions Amer. Math. Soc. 371 (2019), 83-103.
[ PDF ] [ arXiv ] [ Journal ]On a generalization of the Neukirch-Uchida theorem
Moscow Mathematical Journal 17 (2017), No. 3, 371-383.
[ PDF ] [ arXiv ] [ Journal ]Affine Deligne-Lusztig varieties of higher level and the local Langlands correspondence for GL2
Advances in Mathematics 299 (2016), 640-686.
[ PDF ] [ arXiv ] [ Journal ]Stable sets of primes in number fields
Algebra & Number Theory 10 (2016), No. 1, 1-36.
[ PDF ] [ arXiv ] [ Journal ]On some anabelian properties of arithmetic curves
Manuscripta Mathematica 144 (2014), No. 3, 545-564.
[ PDF ] [ arXiv ] [ Journal ]Cohomology of affine Deligne-Lusztig varieties for GL2
Journal of Algebra 383 (2013), 42-62.
[ PDF ] [ arXiv ] [ Journal ]
Theses
p-adic Deligne--Lusztig theory
Habilitation thesis, Bonn, 2020.
The introduction may be found here. The full version might be available upon request.Arithmetic and anabelian theorems for stable sets of primes in number fields
Ph.D. thesis, Heidelberg, 2013The cohomology of affine Deligne Lusztig varieties in the affine flag manifold of GL2
Diploma thesis, Bonn, 2009
Non-referenced reports
- The smooth locus in infinite level Rapoport--Zink spaces
in: Math. Forschungsinst. Oberwolfach, Oberwolfach, Report No. 2/2019, 84-87. - Generalized densities of primes and realization of local extensions
in: Math. Forschungsinst. Oberwolfach, Report No. 25/2018, 1538-1540. - Affine Deligne-Lusztig varieties of higher level and Local Langlands correspondence for GL2
in: Math. Forschungsinst. Oberwolfach, Report No. 39/2015, 547-551.
Other (unsubmitted) publications
Other Universities
Lectures (in Bonn and Frankfurt)
- Winter 2021/22: Seminar (S4A1) - Étale cohomology (advanced topics)
- Summer 2021: Lecture (V4A2) - Étale cohomology
- Summer 2020: Lecture (V4A1) - Algebraic Geometry 2
- Winter 2019/20: Lecture (V4A1) - Algebraic Geometry 1
- Summer 2019: Lecture (V5A4) - Deligne-Lusztig theory
- Winter 2018/19:
In the winter term 2018/19 I was deputy W1-professor at the Goethe-Universität Frankfurt.
Link to my homepage there.- Lecture (Frankfurt): Elementarmathematik I
- Lecture (Frankfurt): Funktionentheorie und gewöhnliche Differenzialgleichungen
- Winter 2017/18: Lecture (V5A3) Linear Algebraic Groups
Former teaching (at the TU Munich)
- Winter 2015/16: Organization of the exercise sessions for the lecture ''Mathematik für Physiker 1 (Linear Algebra)'' of Prof. Dr. E. Viehmann
- Winter 2015/16: Advanced seminar ''Special cycles on Shimura varieties'' (with Prof. Dr. E. Viehmann)
- Summer 2015: Organisation of the exercise sessions for the lecture ''Commutative algebra'' of Prof. Dr. C. Liedtke
- Summer 2014: Seminar ''Lie algebras'' (with Prof. Dr. C. Liedtke)
- Summer 2014: Advanced seminar ''Period spaces and maps'' (with B. Werner)
- Winter 2013/14: Seminar ''Classical algebraic geometry'' (with Prof. Dr. C. Liedtke)
- Winter 2013/14: Advanced seminar ''Shimura varieties of infinite level at p'' (with Dr. P. Hamacher), cooperation with Universities of Bielefeld and Paderborn
- Summer 2013: Exercise sessions for the lecture ''Computeralgebra'' of Prof. Dr. G. Kemper
- Summer 2013: Advanced seminar ''Perfectoid spaces'' (with Dr. P. Hamacher)
some math links
Just some useful math links
- mathoverfow professional math forum
- arXiv preprint server
- SAGE algebra software
- GAP3 a SAGE package, useful when computing with root systems (and, surely, many other things!)
- Rheinische Kleine AG
Webpages and blogs of some collaborators, colleagues or just other mathematicians
- Galois representations blog of Frank Calegari
- Totallydisconnected blog of David Hansen
- blog of Pieter Belmans
- Good fibrations blog of Catherine Ray
- Betalog blog of Daniel Litt
- Webpage of Olivier Dudas
- Webpage of Charlotte Chan
- Webpage of Jared Weinstein
- Webpage of Jakob Stix
- Webpage of Ariyan Javanpeykar