Showing 1–10 of 10 results for author: Youcis, A

A Tannakian framework for prismatic $F$-crystals

Authors: Naoki Imai, Hiroki Kato, Alex Youcis

Abstract: We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between the $\mathcal{G}$-objects of prismatic $F$-crystals on $\mathfrak{X}$ and $\mathcal{G}$-objects on a newly-defined category of $\mathbb{Z}_p$-local systems on… ▽ More We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between the $\mathcal{G}$-objects of prismatic $F$-crystals on $\mathfrak{X}$ and $\mathcal{G}$-objects on a newly-defined category of $\mathbb{Z}_p$-local systems on $\mathfrak{X}_η$: those of prismatically good reduction. Additionally, we develop a shtuka realization functor for (analytic) prismatic $F$-crystals on $p$-adic (formal) schemes and show it satisfies several compatibilities with previous work on the Tannakian theory of shtukas over such objects. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 55 pages. The contents of this article previously belonged to arXiv:2310.08472, but that article has been expanded and this portion split off to form this paper

Canonical Integral Models of Shimura Varieties of Abelian Type

Authors: Patrick Daniels, Alex Youcis

Abstract: We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>3$ by showing that the Kisin-Pappas-Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models of are independent of the choices made during their construction, and that they satisfy functoriality with respect to mor… ▽ More We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>3$ by showing that the Kisin-Pappas-Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models of are independent of the choices made during their construction, and that they satisfy functoriality with respect to morphisms of Shimura data. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 49 pages, comments welcome!

MSC Class: 11G18; 11R39

The prismatic realization functor for Shimura varieties of abelian type

Authors: Naoki Imai, Hiroki Kato, Alex Youcis

Abstract: For the integral canonical model $\mathscr{S}_{\mathsf{K}^p}$ of a Shimura variety $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$ of abelian type at hyperspecial level $K_0=\mathcal{G}(\mathbb{Z}_p)$, we construct a prismatic $F$-gauge model for the `universal' $\mathcal{G}(\mathbb{Z}_p)$-local system on $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$. We use this… ▽ More For the integral canonical model $\mathscr{S}_{\mathsf{K}^p}$ of a Shimura variety $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$ of abelian type at hyperspecial level $K_0=\mathcal{G}(\mathbb{Z}_p)$, we construct a prismatic $F$-gauge model for the `universal' $\mathcal{G}(\mathbb{Z}_p)$-local system on $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$. We use this to obtain new $p$-adic information about these Shimura varieties, notably an abelian-type analogue of the Serre--Tate theorem (realizing an expectation of Drinfeld in the abelian-type case) and a prismatic characterization of these models. To do this, we make several advances in integral $p$-adic Hodge theory, notably the development of an integral analogue of the functor $D_{\mathrm{crys}}$. △ Less

Submitted 20 June, 2024; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: 90 pages. Significant changes. The results are upgraded to prismatic F-gauges. This has several interesting consequences, including the Serre--Tate theory for Shimura varieties of abelian type. Additionally, some portion of the original article has been detached and is now included in arXiv:2406.08259

The analytic topology suffices for the $B_{\mathrm{dR}}^+$-Grassmannian

Authors: Kestutis Cesnavicius, Alex Youcis

Abstract: The $B_{\mathrm{dR}}^+$-affine Grassmannian was introduced by Scholze in the context of the geometric local Langlands program in mixed characteristic and is the Fargues-Fontaine curve analogue of the equal characteristic Beilinson-Drinfeld affine Grassmannian. For a reductive group $G$, it is defined as the étale (equivalently, $v$-) sheafification of the presheaf quotient $LG/L^+G$ of the… ▽ More The $B_{\mathrm{dR}}^+$-affine Grassmannian was introduced by Scholze in the context of the geometric local Langlands program in mixed characteristic and is the Fargues-Fontaine curve analogue of the equal characteristic Beilinson-Drinfeld affine Grassmannian. For a reductive group $G$, it is defined as the étale (equivalently, $v$-) sheafification of the presheaf quotient $LG/L^+G$ of the $B_{\mathrm{dR}}$-loop group $LG$ by the $B_{\mathrm{dR}}^+$-loop subgroup $L^+G$. We combine algebraization and approximation techniques with the known cases of the Grothendieck-Serre conjecture to show that the analytic topology suffices for this sheafification, more precisely, that the $B_{\mathrm{dR}}^+$-affine Grassmannian agrees with the analytic sheafification of the aforementioned presheaf quotient $LG/L^+G$. △ Less

Submitted 13 January, 2024; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: 7 pages

MSC Class: Primary 14G45; Secondary 14L15; 14M15

Variants of the de Jong fundamental group

Authors: Piotr Achinger, Marcin Lara, Alex Youcis

Abstract: For a rigid space $X$, we answer two questions of de Jong about the category $\mathbf{Cov}^\mathrm{adm}_X$ of coverings which are locally in the admissible topology on $X$ the disjoint union of finite etale coverings: we show that this class is different from the one used by de Jong, but still gives a tame infinite Galois category. In addition, we prove that the objects of… ▽ More For a rigid space $X$, we answer two questions of de Jong about the category $\mathbf{Cov}^\mathrm{adm}_X$ of coverings which are locally in the admissible topology on $X$ the disjoint union of finite etale coverings: we show that this class is different from the one used by de Jong, but still gives a tame infinite Galois category. In addition, we prove that the objects of $\mathbf{Cov}^\mathrm{et}_X$ (with the analogous definition) correspond precisely to locally constant sheaves for the pro-etale topology defined by Scholze. △ Less

Submitted 22 March, 2022; originally announced March 2022.

Comments: 19 pages. Comments welcome! This is the second part of the paper arXiv:2105.05184v3 which was split off the original article "Geometric arcs and fundamental groups of rigid spaces" (arXiv:2105.05184v2) in the review process and then revised

MSC Class: 14G22 (Primary) 14F20; 14F35 (Secondary)

The Jacobson--Morozov morphism for Langlands parameters in the relative setting

Authors: Alexander Bertoloni Meli, Naoki Imai, Alex Youcis

Abstract: We construct a moduli space $\mathsf{LP}_G$ of $\mathrm{SL}_2$-parameters over $\mathbb{Q}$, and show that it has good geometric properties (e.g. explicitly parametrized geometric connected components and smoothness). We construct a Jacobson--Morozov morphism $\mathsf{JM}\colon \mathsf{LP}_G\to\mathsf{WDP}_G$ (where $\mathsf{WDP}_G$ is the moduli space of Weil--Deligne parameters considered by sev… ▽ More We construct a moduli space $\mathsf{LP}_G$ of $\mathrm{SL}_2$-parameters over $\mathbb{Q}$, and show that it has good geometric properties (e.g. explicitly parametrized geometric connected components and smoothness). We construct a Jacobson--Morozov morphism $\mathsf{JM}\colon \mathsf{LP}_G\to\mathsf{WDP}_G$ (where $\mathsf{WDP}_G$ is the moduli space of Weil--Deligne parameters considered by several other authors). We show that $\mathsf{JM}$ is an isomorphism over a dense open of $\mathsf{WDP}_G$, that it induces an isomorphism between the discrete loci $\mathsf{LP}^{\mathrm{disc}}_G\to\mathsf{WDP}_G^{\mathrm{disc}}$, and that for any $\mathbb{Q}$-algebra $A$ it induces a bijection between Frobenius semi-simple equivalence classes in $\mathsf{LP}_G(A)$ and Frobenius semi-simple equivalence classes in $\mathsf{WDP}_G(A)$ with constant (up to conjugacy) monodromy operator. △ Less

Submitted 1 November, 2023; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: 41 pages

Specialization for the pro-étale fundamental group

Authors: Piotr Achinger, Marcin Lara, Alex Youcis

Abstract: For a formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ π^{\rm dJ}_1(\mathfrak{X}_η) \to π^{\rm proet}_1(\mathfrak{X}_k) \] from the de Jong fundamental group of the rigid generic fiber to the Bhatt-Scholze pro-étale fundamental group of the special fiber. The construction relies on an interplay between admissible blowups… ▽ More For a formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ π^{\rm dJ}_1(\mathfrak{X}_η) \to π^{\rm proet}_1(\mathfrak{X}_k) \] from the de Jong fundamental group of the rigid generic fiber to the Bhatt-Scholze pro-étale fundamental group of the special fiber. The construction relies on an interplay between admissible blowups of $\mathfrak{X}$ and normalizations of the irreducible components of $\mathfrak{X}_k$, and employs the Berthelot tubes of these irreducible components in an essential way. Using related techniques, we show that under certain smoothness and semistability assumptions, covering spaces in the sense of de Jong of a smooth rigid space which are tame satisfy étale descent. △ Less

Submitted 14 July, 2021; originally announced July 2021.

Comments: 29 pages, comments welcome!

MSC Class: 14G22 (Primary) 14F20; 14F35 (Secondary)

Geometric arcs and fundamental groups of rigid spaces

Authors: Piotr Achinger, Marcin Lara, Alex Youcis

Abstract: We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are étale local on X. If X is connected, its geometric coverings form a tame infinite Galois category, and hence are classified by a topological group. The definition is based on… ▽ More We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are étale local on X. If X is connected, its geometric coverings form a tame infinite Galois category, and hence are classified by a topological group. The definition is based on the property of lifting of "geometric arcs," making it similar to geometric coverings of schemes studied by Bhatt and Scholze as well as semicoverings of topological spaces introduced by Brazas. △ Less

Submitted 23 March, 2022; v1 submitted 11 May, 2021; originally announced May 2021.

Comments: 38 pages. The previous version has been split into two parts. Part II, titled "Variants of the de Jong fundamental group", is available as a separate arXiv submission arXiv:2203.11750

MSC Class: 14G22 (Primary) 14F20; 14F35 (Secondary)

An Approach to the Characterization of the Local Langlands Correspondence

Authors: Alexander Bertoloni Meli, Alex Youcis

Abstract: In this paper, we give a method for characterizing the local Langlands conjectures in the vein of Scholze's alternate proof of the local Langlands conjecture for $\mathrm{GL}_n$. More specifically, we show that if a local Langlands correspondence satisfies a Scholze--Shin equation, as in the paper of Scholze and Shin, in addition to the usual desiderata expected of such a correspondence then these… ▽ More In this paper, we give a method for characterizing the local Langlands conjectures in the vein of Scholze's alternate proof of the local Langlands conjecture for $\mathrm{GL}_n$. More specifically, we show that if a local Langlands correspondence satisfies a Scholze--Shin equation, as in the paper of Scholze and Shin, in addition to the usual desiderata expected of such a correspondence then these properties uniquely characterize the correspondence. △ Less

Submitted 26 March, 2020; v1 submitted 25 March, 2020; originally announced March 2020.

Comments: 16 pages, comments welcome

MSC Class: 11S37 (Primary); 22E50 (Secondary)

Bijective Projections on Parabolic Quotients of Affine Weyl Groups

Authors: Elizabeth Milićević, Margaret Nichols, Min Hae Park, XiaoLin Shi, Alexander Youcis

Abstract: Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded… ▽ More Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded partitions. Berg, Jones, and Vazirani described a bijection between n-cores with first part equal to k and (n-1)-cores with first part less than or equal to k, and they interpret this bijection in terms of these other combinatorial models for the quotient of the affine symmetric group by the finite symmetric group. In this paper we discuss how to generalize the bijection of Berg-Jones-Vazirani to parabolic quotients of affine Weyl groups in type C. We develop techniques using the associated affine hyperplane arrangement to interpret this bijection geometrically as a projection of alcoves onto the hyperplane containing their coroot lattice points. We are thereby able to analyze this bijective projection in the language of various additional combinatorial models developed by Hanusa and Jones, such as abaci, core partitions, and canonical reduced expressions in the Coxeter group. △ Less

Submitted 26 September, 2014; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: 31 pages and 13 figures; background has been streamlined and exposition improved; to appear in J. Algebraic Combin

MSC Class: 05E10

Journal ref: J. Algebraic Combin. 41, no. 4, p. 911-948, 2015