arXiv subjects

Alexander B. Ivanov

Publications and source records attributed to Alexander B. Ivanov.

At least 19 recordsLinked to original sources

arXiv2026

On the Schematic and Analytic Constructions of the Local Langlands Category

We prove a folklore conjecture identifying two categorical enhancements of the automorphic side of the local Langlands correspondence. Concretely, we construct an equivalence for torsion coefficients between the category considered by Zhu and the one considered by Fargues-Scholze. To achieve this, we revisit Scholze's analytification functor and apply the first author's theory of kimberlites. We discuss unconditional applications to the splitting of the semi-orthogonal decomposition on BunG, and the compatibility with Eisenstein functors. Finally, we formulate a linearity conjecture for our functor with which we can show new vanishing statements for the cohomology of local Shimura varieties, and perverse exactness statements for Hecke operators.

math.NT↗

arXiv2026

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs

Following the recent achievement of gold-medal performance on the IMO by frontier LLMs, the community is searching for the next meaningful and challenging target for measuring LLM reasoning. Whereas olympiad-style problems measure step-by-step reasoning alone, research-level problems use such reasoning to advance the frontier of mathematical knowledge itself, emerging as a compelling alternative. Yet research-level math benchmarks remain scarce because such problems are difficult to source (e.g., Riemann Bench and FrontierMath-Tier 4 contain 25 and 50 problems, respectively). To support reliable evaluation of next-generation frontier models, we introduce Soohak, a 439-problem benchmark newly authored from scratch by 64 mathematicians. Soohak comprises two subsets. On the Challenge subset, frontier models including Gemini-3-Pro, GPT-5, and Claude-Opus-4.5 reach 30.4%, 26.4%, and 10.4% respectively, leaving substantial headroom, while leading open-weight models such as Qwen3-235B, GPT-OSS-120B, and Kimi-2.5 remain below 15%. Notably, beyond standard problem solving, Soohak introduces a refusal subset that probes a capability intrinsic to research mathematics: recognizing ill-posed problems and pausing rather than producing confident but unjustified answers. On this subset, no model exceeds 50%, identifying refusal as a new optimization target that current models do not directly address. To prevent contamination, the dataset will be publicly released in late 2026, with model evaluations available upon request in the interim.

cs.CL↗

arXiv2026

Meromorphic vector bundles on the Fargues--Fontaine curve

We introduce and study the stack of \textit{meromorphic} $G$-bundles on the Fargues--Fontaine curve. This object defines a correspondence between the Kottwitz stack $\mathfrak{B}(G)$ and $\operatorname{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 ${\operatorname{Bun}}_G^{\operatorname{mer}}$ with the Fargues--Scholze charts $\mathcal{M}$. Our second main result is a generalization of Fargues' theorem in families. We call this the \textit{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 \textit{topological and schematic comparison theorems}. These say that the topologies of $\operatorname{Bun}_G$ and $\mathfrak{B}(G)$ are reversed and that the two stacks take the same values when evaluated on schemes.

math.AG↗

arXiv2026

Deep level Deligne--Lusztig induction for tamely ramified tori

Deep level Deligne--Lusztig representations, which are natural analogues of classical Deligne--Lusztig representations, recently play an important role in geometrization of irreducible supercuspidals of $p$-adic groups. In this paper, we propose a construction of deep level Deligne--Lusztig varieties/representations in the tamely ramified case, extending previous constructions in the unramified case. As an application, under a mild assumption on the residue field, we show that each regular irreducible supercuspidal is the compact induction of a deep level Deligne--Lusztig representation, and generally, each irreducible supercuspidal is a direct summand of the compact induction of the cohomology of a deep level Deligne--Lusztig variety.

math.RT↗

arXiv2025

An alternative construction of character sheaves on parahoric subgroups

Inspired by the foundational work of Bezrukavnikov and Chan \cite{BC24} on character sheaves for parahoric subgroups and an alternative interpretation of deep level Deligne-Lusztig characters in \cite{Nie_24}, we present a parallel but closed (non-iterated) construction of character sheaves within the framework of J.--K. Yu's types. We show that our construction yields perverse sheaves, which coincide with those produced in \cite{BC24} in an iterated way. In the regular case we establish the compatibility of their Frobenius traces with deep level Deligne-Lusztig characters. As an application, we prove the positive-depth Springer's hypothesis for arbitrary characters, thereby generalizing the generic case result of Chan and Oi \cite{CO25}. The proofs of our results make critical use of the strategies and results from \cite{BC24} and \cite{Nie_24}.

math.RT↗

arXiv2025

Convex elements and cohomology of deep level Deligne-Lusztig varieties

We essentially complete a program initiated by Boyarchenko--Weinstein to give a full description of the cohomology of deep level Deligne--Lusztig varieties for elliptic tori, with coefficients in arbitrary non-defining characteristics. We give several applications of our results: we show that the $ϕ$-weight part of the cohomology is very often concentrated in a single degree, and is induced from a Yu-type subgroup. Also, we give applications to a previous work of the second author on decomposition of deep level Deligne--Lusztig representations, and to Feng's explicit construction of Fargues--Scholze parameters. Furthermore, a conjecture of Chan--Oi about the Drinfeld stratification is verified as a special case from our results.

math.AG↗

arXiv2024

On loop Deligne--Lusztig varieties of Coxeter-type for inner forms of ${\rm GL}_n$

For a reductive group $G$ over a local non-archimedean field $K$ one can mimic the construction from the classical Deligne--Lusztig theory by using the loop space functor. We study this construction in special the case that $G$ is an inner form of ${\rm GL}_n$ and the loop Deligne--Lusztig variety is of Coxeter type. After simplifying the proof of its representability, our main result is that its $\ell$-adic cohomology realizes many irreducible supercuspidal representations of $G$, notably almost all among those whose L-parameter factors through an unramified elliptic maximal torus of $G$. This gives a purely local, purely geometric and -- in a sense -- quite explicit way to realize special cases of the local Langlands and Jacquet--Langlands correspondences.

math.AG↗

arXiv2024

Deep level Deligne--Lusztig representations of Coxeter type

In this article we study the cohomology of 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 allows to construct some new irreducible representations of parahoric subgroups of $p$-adic groups. Moreover, in the quasi-split case we prove that these compactly induce to finite direct sums of irreducible supercuspidal representations of the $p$-adic group. This extends previous results of \cite{DI}, \cite{CI_loopGLn}.

math.RT↗

arXiv2024

The cohomology of $p$-adic Deligne-Luszitg schemes of Coxeter type

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.

math.RT↗

arXiv2023

On a decomposition of $p$-adic Coxeter orbits

We analyze the geometry of some $p$-adic Deligne--Lusztig spaces $X_w(b)$ introduced in [Iva21] 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.

math.AG↗

arXiv2023

Testing local-global divisibility at a stable set

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.

math.NT↗

arXiv2021

Arc-descent for the perfect loop functor and $p$-adic Deligne--Lusztig spaces

We prove that the perfect loop functor $LX$ of a quasi-projective scheme $X$ over a local non-archimedean field $k$ satisfies arc-descent, strengthening a result of Drinfeld. Then we prove that for an unramified reductive group $G$, the map $LG \rightarrow L(G/B)$ is a $v$-surjection. This gives a mixed characteristic version (for $v$-topology) of an equal characteristic result (in étale topology) of Bouthier--Česnavičius. In the second part of the article, we use the above results to introduce a well-behaved notion of Deligne--Lusztig spaces $X_w(b)$ attached to unramified $p$-adic reductive groups. We show that in various cases these sheaves are ind-representable, thus partially solving a question of Boyarchenko. Finally, we show that the natural covering spaces $\dot X_{\dot w}(b)$ are pro-étale torsors over clopen subsets of $X_w(b)$, and analyze some examples.

math.AG↗

arXiv2021

Affine Deligne-Lusztig varieties at infinite level

We initiate the study of affine Deligne-Lusztig varieties with arbitrarily deep level structure for general reductive groups over local fields. We prove that for GLn and its inner forms, Lusztig's semi-infinite Deligne-Lusztig construction is isomorphic to an affine Deligne-Lusztig variety at infinite level. We prove that their homology groups give geometric realizations of the local Langlands and Jacquet--Langlands correspondences in the setting that the Weil parameter is induced from a character of an unramified field extension. In particular, we resolve Lusztig's 1979 conjecture in this setting for minimal admissible characters.

math.AG↗

arXiv2020

Orthogonality relations for deep level Deligne--Lusztig schemes of Coxeter type

In this paper we prove some orthogonality relations for representations arising from deep level Deligne--Lusztig schemes of Coxeter type. This generalizes previous results of Lusztig (2004), and of Chan and the second author (2019). Potential applications include the study of unipotent representations arising from such deep level Deligne--Lusztig schemes, as well as their geometry, in the spirit of the work of Lusztig (1976).

math.RT↗

arXiv2020

The smooth locus in infinite-level Rapoport-Zink spaces

Rapoport-Zink spaces are deformation spaces for $p$-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let $\mathscr{M}_{\infty}$ be an infinite-level Rapoport-Zink space of EL type, and let $\mathscr{M}_{\infty}^\circ$ be one geometrically connected component of it. We show that $\mathscr{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.

math.NT↗

arXiv2020

The Drinfeld stratification for ${\rm GL}_n$

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 GLn, 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.

math.AG↗

arXiv2019

Cohomological representations of parahoric subgroups

We generalize a cohomological construction of representations due to Lusztig from the hyperspecial case to arbitrary parahoric subgroups of a reductive group over a local field, which splits over an unramified extension. We compute the character of these representations on certain very regular elements.

math.RT↗

arXiv2018

Ordinary $GL_2(F)$-representations in characteristic two via affine Deligne-Lusztig constructions

The group $\GL_2$ over a local field with (residue) characteristic $2$ possesses much more smooth supercuspidal $\ell$-adic representations, than over a local field of residue characteristic $> 2$. One way to construct these representations is via the theory of types of Bushnell-Kutzko. We construct many of them in the cohomology of certain extended affine Deligne-Lusztig varieties attached to $\GL_2$ and wildly ramified maximal tori in it. Then we compare our construction with the type-theoretic one. The corresponding extended affine Deligne-Lusztig varieties were introduced in a preceding article. Also in the present case they turn out to be zero-dimensional.

math.AG↗