Showing 1–30 of 30 results for author: Hartl, U

Moment map flow on real reductive Lie groups and GIT estimates

Authors: Christoph Böhm, Urs Hartl

Abstract: A finite dimensional real vector space carrying an action of a real reductive group possesses a moment map and a stratification as defined by Kirwan and Ness. In this article we investigate the properties of the moment map, the Kirwan-Ness stratification, and Lauret's application from a more functorial, algebraic point of view. A finite dimensional real vector space carrying an action of a real reductive group possesses a moment map and a stratification as defined by Kirwan and Ness. In this article we investigate the properties of the moment map, the Kirwan-Ness stratification, and Lauret's application from a more functorial, algebraic point of view. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 21 pages

Uniformizing the moduli stacks of global $G$-Shtukas II

Authors: Urs Hartl, Yujie Xu

Abstract: We show that the moduli spaces of bounded global $\mathcal{G}$-Shtukas with pairwise colliding legs admit $p$-adic uniformization isomorphisms by Rapoport-Zink spaces. Here $\mathcal{G}$ is a smooth affine group scheme with connected fibers and reductive generic fiber, i.e. we do not assume it to be parahoric, or even hyperspecial. Moreover, we deduce the Langlands-Rapoport Conjecture over functio… ▽ More We show that the moduli spaces of bounded global $\mathcal{G}$-Shtukas with pairwise colliding legs admit $p$-adic uniformization isomorphisms by Rapoport-Zink spaces. Here $\mathcal{G}$ is a smooth affine group scheme with connected fibers and reductive generic fiber, i.e. we do not assume it to be parahoric, or even hyperspecial. Moreover, we deduce the Langlands-Rapoport Conjecture over function fields in the case of colliding legs using our uniformization theorem. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: 53 pages

MSC Class: 11G09; 11G18; 14L05

Arithmetic Satake compactifications and algebraic Drinfeld modular forms

Authors: Urs Hartl, Chia-Fu Yu

Abstract: In this article we construct the arithmetic Satake compactification of the Drinfeld moduli schemes of arbitrary rank over the ring of integers of any global function field away from the level structure, and show that the universal family extends uniquely to a generalized Drinfeld module over the compactification. Using these and functorial properties, we define algebraic Drinfeld modular forms ove… ▽ More In this article we construct the arithmetic Satake compactification of the Drinfeld moduli schemes of arbitrary rank over the ring of integers of any global function field away from the level structure, and show that the universal family extends uniquely to a generalized Drinfeld module over the compactification. Using these and functorial properties, we define algebraic Drinfeld modular forms over more general bases and the action of the (prime-to-residue characteristic and level) Hecke algebra. The construction also furnishes many algebraic Drinfeld modular forms obtained from the coefficients of the universal family which are also Hecke eigenforms. Among them we obtain generalized Hasse invariants which are already defined on the arithmetic Satake compactification and not only its special fiber. We use these generalized Hasse invariants to study the geometry of the special fiber. We conjecture that our Satake compactification is Cohen-Macaulay. If this is the case, we establish the Jacquet-Langlands correspondence (mod $v$) between Hecke eigensystems of rank $r$ Drinfeld modular forms and those of algebraic modular forms (in the sense of Gross) attached to a compact inner form of $GL_r$. △ Less

Submitted 8 January, 2025; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: v1: 45 pages, v2: 50 pages

Crystalline Chebotarëv density theorems

Authors: Urs Hartl, Ambrus Pal

Abstract: We formulate a conjectural analogue of Chebotarëv's density theorem for convergent $F$-isocrystals over a smooth geometrically irreducible curve defined over a finite field using the Tannakian formalism. We prove this analogue for several large classes, including direct sums of isoclinic convergent $F$-isocrystals and semi-simple convergent $F$-isocrystals which have an overconvergent extension an… ▽ More We formulate a conjectural analogue of Chebotarëv's density theorem for convergent $F$-isocrystals over a smooth geometrically irreducible curve defined over a finite field using the Tannakian formalism. We prove this analogue for several large classes, including direct sums of isoclinic convergent $F$-isocrystals and semi-simple convergent $F$-isocrystals which have an overconvergent extension and such that the semi-simplification of their pull-back to a sufficient small non-empty open sub-curve has abelian monodromy. In order to prove the latter, we also prove an overconvergent analogue of Chebotarëv's density theorem for semi-simple overconvergent $F$-isocrystals. △ Less

Submitted 10 March, 2020; v1 submitted 16 November, 2018; originally announced November 2018.

Comments: v1: 72 pages, v2: 81 pages, Chapter 12 and Appendix B added, Proof of the overconvergent case corrected, various other small changes

MSC Class: 14F30; 14F35

Category Of C-Motives Over Finite Fields

Authors: Eamail Arasteh Rad, Urs Hartl

Abstract: In this article we introduce and study a motivic category in the arithmetic of function fields, namely the category of motives over an algebraic closure $L$ of a finite field with coefficients in a global function field over this finite field. It is semi-simple, non-neutral Tannakian and possesses all the expected fiber functors. This category generalizes the previous construction due to Anderson… ▽ More In this article we introduce and study a motivic category in the arithmetic of function fields, namely the category of motives over an algebraic closure $L$ of a finite field with coefficients in a global function field over this finite field. It is semi-simple, non-neutral Tannakian and possesses all the expected fiber functors. This category generalizes the previous construction due to Anderson and is more relevant for applications to the theory of $G$-Shtukas, such as formulating the analog of the Langlands-Rapoport conjecture over function fields. We further develop the analogy with the category of motives over $L$ with coefficients in $\mathbb{Q}$ for which the existence of the expected fiber functors depends on famous unproven conjectures. △ Less

Submitted 30 September, 2020; v1 submitted 28 October, 2018; originally announced October 2018.

MSC Class: 11G09

Product Formulas for Periods of CM Abelian Varieties and the Function Field Analog

Authors: Urs Hartl, Rajneesh Kumar Singh

Abstract: We survey Colmez's theory and conjecture about the Faltings height and a product formula for the periods of abelian varieties with complex multiplication, along with the function field analog developed by the authors. In this analog, abelian varieties are replaced by Drinfeld modules and $A$-motives. We also explain the necessary background on abelian varieties, Drinfeld modules and $A$-motives, i… ▽ More We survey Colmez's theory and conjecture about the Faltings height and a product formula for the periods of abelian varieties with complex multiplication, along with the function field analog developed by the authors. In this analog, abelian varieties are replaced by Drinfeld modules and $A$-motives. We also explain the necessary background on abelian varieties, Drinfeld modules and $A$-motives, including their cohomology theories and comparison isomorphisms and their theory of complex multiplication. △ Less

Submitted 10 September, 2020; v1 submitted 9 September, 2018; originally announced September 2018.

Comments: v2: final version published in Journal of Number Theory, 60 pages

The generic fiber of moduli spaces of bounded local $G$-shtukas

Authors: Urs Hartl, Eva Viehmann

Abstract: Moduli spaces of bounded local $G$-shtukas are a group-theoretic generalization of the function field analog of Rapoport and Zink's moduli spaces of $p$-divisible groups. In this article we generalize some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local $G$-shtukas… ▽ More Moduli spaces of bounded local $G$-shtukas are a group-theoretic generalization of the function field analog of Rapoport and Zink's moduli spaces of $p$-divisible groups. In this article we generalize some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local $G$-shtukas to the corresponding period space, and we determine the image of the period map. Furthermore, we define a tower of coverings of the generic fiber of the moduli space which is equipped with a Hecke action and an action of a suitable automorphism group. Finally we consider the $\ell$-adic cohomology of these towers. △ Less

Submitted 23 June, 2021; v1 submitted 21 December, 2017; originally announced December 2017.

Comments: 58 pages, significant improvements and corrections compared to the first version; to appear in Journal Inst. Math. Jussieu

MSC Class: 20G25; (11G09; 14L05; 14M15)

Isogenies of abelian Anderson A-modules and A-motives

Authors: Urs Hartl

Abstract: As a generalization of Drinfeld modules, Greg Anderson introduced abelian t-modules and t-motives over a perfect field. In this article we study relative versions of these over rings. We investigate isogenies among them. Our main results state that every isogeny possesses a dual isogeny in the opposite direction, and that a morphism between abelian t-modules is an isogeny if and only if the corres… ▽ More As a generalization of Drinfeld modules, Greg Anderson introduced abelian t-modules and t-motives over a perfect field. In this article we study relative versions of these over rings. We investigate isogenies among them. Our main results state that every isogeny possesses a dual isogeny in the opposite direction, and that a morphism between abelian t-modules is an isogeny if and only if the corresponding morphism between their associated t-motives is an isogeny. We also study torsion submodules of abelian t-modules which in general are non-reduced group schemes. They can be obtained from the associated t-motive via the finite shtuka correspondence of Drinfeld and Abrashkin. The inductive limits of torsion submodules are the function field analogs of p-divisible groups. These limits correspond to the local shtukas attached to the t-motives associated with the abelian t-modules. In this sense the theory of abelian t-modules is captured by the theory of t-motives. △ Less

Submitted 21 June, 2017; originally announced June 2017.

Comments: 31 pages

Pink's theory of Hodge structures and the Hodge conjecture over function fields

Authors: Urs Hartl, Ann-Kristin Juschka

Abstract: In 1997 Richard Pink has clarified the concept of Hodge structures over function fields in positive characteristic, which today are called Hodge-Pink structures. They form a neutral Tannakian category over the underlying function field. He has defined Hodge realization functors from the uniformizable abelian $t$-modules and $t$-motives of Greg Anderson to Hodge-Pink structures. This allows one to… ▽ More In 1997 Richard Pink has clarified the concept of Hodge structures over function fields in positive characteristic, which today are called Hodge-Pink structures. They form a neutral Tannakian category over the underlying function field. He has defined Hodge realization functors from the uniformizable abelian $t$-modules and $t$-motives of Greg Anderson to Hodge-Pink structures. This allows one to associate with each uniformizable $t$-motive a Hodge-Pink group, analogous to the Mumford-Tate group of a smooth projective variety over the complex numbers. It further enabled Pink to prove the analog of the Mumford-Tate Conjecture for Drinfeld modules. Moreover, based on unpublished work of Pink and the first author, the second author proved in her Diploma thesis that the Hodge-Pink group equals the motivic Galois group of the $t$-motive as defined by Papanikolas and Taelman. This yields a precise analog of the famous Hodge Conjecture, which is an outstanding open problem for varieties over the complex numbers. In this report we explain Pink's results on Hodge structures and the proof of the function field analog of the Hodge conjecture. The theory of $t$-motives has a variant in the theory of dual $t$-motives. We clarify the relation between $t$-motives, dual $t$-motives and $t$-modules. We also construct cohomology realizations of abelian $t$-modules and (dual) $t$-motives and comparison isomorphisms between them generalizing Gekeler's de Rham isomorphism for Drinfeld modules. △ Less

Submitted 1 April, 2020; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: 114 pages, v2: final version published in "t-motives: Hodge structures, transcendence and other motivic aspects", Editors G. Böckle, D. Goss, U. Hartl, M. Papanikolas, European Mathematical Society Congress Reports 2020

Langlands-Rapoport Conjecture Over Function Fields

Authors: Esmail Arasteh Rad, Urs Hartl

Abstract: In this article we formulate and prove the analogue of the Langlands-Rapoport conjecture for the moduli stacks of global $G$-shtukas. Here $G$ is a parahoric Bruhat-Tits group scheme over a smooth projective curve $C$ over a finite field $\mathbb{F}_q$. In this article we formulate and prove the analogue of the Langlands-Rapoport conjecture for the moduli stacks of global $G$-shtukas. Here $G$ is a parahoric Bruhat-Tits group scheme over a smooth projective curve $C$ over a finite field $\mathbb{F}_q$. △ Less

Submitted 3 December, 2023; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 33 pages. arXiv admin note: text overlap with arXiv:1302.6143

MSC Class: 11G09; 11G18; 14L05

Periods of Drinfeld modules and local shtukas with complex multiplication

Authors: Urs Hartl, Rajneesh Kumar Singh

Abstract: Colmez conjectured a product formula for periods of abelian varieties over number fields with complex multiplication and proved it in some cases. His conjecture is equivalent to a formula for the Faltings height of CM abelian varieties in terms of the logarithmic derivatives at $s=0$ of certain Artin $L$-functions. In a series of articles we investigate the analog of Colmez's theory in the arith… ▽ More Colmez conjectured a product formula for periods of abelian varieties over number fields with complex multiplication and proved it in some cases. His conjecture is equivalent to a formula for the Faltings height of CM abelian varieties in terms of the logarithmic derivatives at $s=0$ of certain Artin $L$-functions. In a series of articles we investigate the analog of Colmez's theory in the arithmetic of function fields. There abelian varieties are replaced by Drinfeld modules and their higher dimensional generalizations, so-called $A$-motives. In the present article we prove the product formula for the Carlitz module and we compute the valuations of the periods of a CM $A$-motive at all finite places in terms of Artin $L$-series. The latter is achieved by investigating the local shtukas associated with the $A$-motive. △ Less

Submitted 1 February, 2021; v1 submitted 10 March, 2016; originally announced March 2016.

Comments: v2: 28 pages, final version, appeared in J. Inst. Math. Jussieu 19 (2020), no. 1, 175--208, v3, v4: 32 pages, final version plus an erratum in appendix B

Journal ref: J. Inst. Math. Jussieu 19 (2020), no. 1, 175--208

Local Shtukas, Hodge-Pink Structures and Galois Representations

Authors: Urs Hartl, Wansu Kim

Abstract: We review the analog of Fontaine's theory of crystalline $p$-adic Galois representations and their classification by weakly admissible filtered isocrystals in the arithmetic of function fields over a finite field. There crystalline Galois representations are replaced by the Tate modules of so-called local shtukas. We prove that the Tate module functor is fully faithful. In addition to this étale r… ▽ More We review the analog of Fontaine's theory of crystalline $p$-adic Galois representations and their classification by weakly admissible filtered isocrystals in the arithmetic of function fields over a finite field. There crystalline Galois representations are replaced by the Tate modules of so-called local shtukas. We prove that the Tate module functor is fully faithful. In addition to this étale realization of a local shtuka we discuss also the de Rham and the crystalline cohomology realizations and construct comparison isomorphisms between these realizations. We explain how local shtukas and these cohomology realizations arise from Drinfeld modules and Anderson's $t$-motives. As an application we construct equi-characteristic crystalline deformation rings, establish their rigid-analytic smoothness and compute their dimension. △ Less

Submitted 1 April, 2020; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: 56 pages, v3: final version published in "t-motives: Hodge structures, transcendence and other motivic aspects", Editors G. Böckle, D. Goss, U. Hartl, M. Papanikolas, European Mathematical Society Congress Reports 2020

MSC Class: 11G09; 11S20; 14F30; 14F40; 14L05

Local Shtukas and Divisible Local Anderson Modules

Authors: Urs Hartl, Rajneesh Kumar Singh

Abstract: We develop the analog of crystalline Dieudonné theory for p-divisible groups in the arithmetic of function fields. In our theory p-divisible groups are replaced by divisible local Anderson modules, and Dieudonné modules are replaced by local shtukas. We show that the categories of divisible local Anderson modules and of effective local shtukas are anti-equivalent over arbitrary base schemes. We al… ▽ More We develop the analog of crystalline Dieudonné theory for p-divisible groups in the arithmetic of function fields. In our theory p-divisible groups are replaced by divisible local Anderson modules, and Dieudonné modules are replaced by local shtukas. We show that the categories of divisible local Anderson modules and of effective local shtukas are anti-equivalent over arbitrary base schemes. We also clarify their relation with formal Lie groups and with global objects like Drinfeld modules, Anderson's abelian t-modules and t-motives, and Drinfeld shtukas. Moreover, we discuss the existence of a Verschiebung map and apply it to deformations of local shtukas and divisible local Anderson modules. As a tool we use Faltings's and Abrashkin's theory of strict modules, which we review to some extent. △ Less

Submitted 21 January, 2019; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: 45 pages, v4: Final version. Appears in Canadian Journal of Mathematics. The present arXiv version contains a few more details and proofs; see page 1 bottom

Journal ref: Can. J. Math.-J. Can. Math. 71 (2019) 1163-1207

The universal family of semi-stable p-adic Galois representations

Authors: Urs Hartl, Eugen Hellmann

Abstract: Let $K$ be a finite field extension of $Q_p$ and let $G_K$ be its absolute Galois group. We construct the universal family of filtered $(φ,N)$-modules, or (more generally) the universal family of $(φ,N)$-modules with a Hodge-Pink lattice, and study its geometric properties. Building on this, we construct the universal family of semi-stable $G_K$-representations in $Q_p$-algebras. All these univers… ▽ More Let $K$ be a finite field extension of $Q_p$ and let $G_K$ be its absolute Galois group. We construct the universal family of filtered $(φ,N)$-modules, or (more generally) the universal family of $(φ,N)$-modules with a Hodge-Pink lattice, and study its geometric properties. Building on this, we construct the universal family of semi-stable $G_K$-representations in $Q_p$-algebras. All these universal families are parametrized by moduli spaces which are Artin stacks in schemes or in adic spaces locally of finite type over $Q_p$ in the sense of Huber. This has conjectural applications to the $p$-adic local Langlands program. △ Less

Submitted 16 January, 2020; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: final version, to appear in ANT

MSC Class: 11S20; (11F80; 13A35)

Journal ref: Alg. Number Th. 14 (2020) 1055-1121

A criterion for good reduction of Drinfeld modules and Anderson motives in terms of local shtukas

Authors: Urs Hartl, Simon Hüsken

Abstract: For an Anderson A-motive over a discretely valued field whose residue field has A-characteristic ε, we prove a criterion for good reduction in terms of its associated local shtuka at ε. This yields a criterion for good reduction of Drinfeld modules. Our criterion is the function-field analog of Grothendieck's and de Jong's criterion for good reduction of an abelian variety over a discretely valued… ▽ More For an Anderson A-motive over a discretely valued field whose residue field has A-characteristic ε, we prove a criterion for good reduction in terms of its associated local shtuka at ε. This yields a criterion for good reduction of Drinfeld modules. Our criterion is the function-field analog of Grothendieck's and de Jong's criterion for good reduction of an abelian variety over a discretely valued field with residue characteristic p in terms of its associated p-divisible group. △ Less

Submitted 10 March, 2016; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: 15 pages

MSC Class: 11G09; (14L05)

Journal ref: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, Vol. XV (2016), 25-43

Uniformizing The Moduli Stacks of Global G-Shtukas

Authors: Esmail M. Arasteh Rad, Urs Hartl

Abstract: This is the second in a sequence of articles, in which we explore moduli stacks of global G-shtukas, the function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve C over a finite field. Global G-shtukas are generalizations of Drinfeld shtukas and analogs of abelian varieties with additional structure. We prove that the moduli s… ▽ More This is the second in a sequence of articles, in which we explore moduli stacks of global G-shtukas, the function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve C over a finite field. Global G-shtukas are generalizations of Drinfeld shtukas and analogs of abelian varieties with additional structure. We prove that the moduli stacks of global G-shtukas are algebraic Deligne-Mumford stacks separated and locally of finite type. They generalize various moduli spaces used by different authors to prove instances of the Langlands program over function fields. In the first article we explained the relation between global G-shtukas and local P-shtukas, which are the function field analogs of p-divisible groups. Here P is the base change of G to the complete local ring at a point of C. When P is smooth with connected reductive generic fiber we proved the existence of Rapoport-Zink spaces for local P-shtukas. In the present article we use these spaces to (partly) uniformize the moduli stacks of global G-shtukas for smooth G with connected fibers and reductive generic fiber. This is our main result. It has applications to the analog of the Langlands-Rapoport conjecture for our moduli stacks. △ Less

Submitted 17 March, 2019; v1 submitted 26 February, 2013; originally announced February 2013.

Comments: 48 pages. v2: existence of moduli space of global G-shtukas as DM-stack generalized to arbitrary flat affine group schemes G of finite type; uniformization theorem proved for smooth affine group schemes with connected fibers and reductive generic fiber; its compatibility with various group actions proved; minor errors corrected

MSC Class: 11G09; (11G18; 14L05)

Local P-shtukas and their relation to global G-shtukas

Authors: Esmail M. Arasteh Rad, Urs Hartl

Abstract: This is the first in a sequence of two articles investigating moduli stacks of global G-shtukas, which are function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve, and global G-shtukas are generalizations of Drinfeld shtukas and analogs of abelian varieties with additional structure. Our moduli stacks generalize various modul… ▽ More This is the first in a sequence of two articles investigating moduli stacks of global G-shtukas, which are function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve, and global G-shtukas are generalizations of Drinfeld shtukas and analogs of abelian varieties with additional structure. Our moduli stacks generalize various moduli spaces used by different authors to prove instances of the Langlands program over function fields. In the present article we explain the relation between global G-shtukas and local P-shtukas, which are the function field analogs of p-divisible groups with additional structure. We prove the analog of a theorem of Serre and Tate stating the equivalence between the deformations of a global G-shtuka and its associated local P-shtukas. We also investigate local P-shtukas alone and explain their relation with Galois representations through their Tate modules. And if P is a smooth affine group scheme with connected reductive generic fiber we prove the existence of Rapoport--Zink spaces for bounded local P-shtukas as formal schemes locally formally of finite type. In the sequel to this article we use these Rapoport--Zink spaces to uniformize the moduli stacks of global G-shtukas. △ Less

Submitted 22 December, 2015; v1 submitted 25 February, 2013; originally announced February 2013.

Comments: 37 pages, v3: generalization to flat affine group schemes of finite type, v3: final version which appears in Muenster J. of Mathematics

MSC Class: 11G09; 11G18; 14L05; 14M15

Journal ref: Muenster Journal of Mathematics series 7 (2014), 623-670

Constructing the Cubus simus and the Dodecaedron simum via paper folding

Authors: Urs Hartl, Klaudia Kwickert

Abstract: The archimedean solids Cubus simus (snub cube) and Dodecaedron simum (snub dodecahedron) cannot be constructed by ruler and compass. We explain that for general reasons their vertices can be constructed via paper folding on the faces of a cube, respectively dodecahedron, and we present explicit folding constructions. The construction of the Cubus simus is particularly elegant. We also review and p… ▽ More The archimedean solids Cubus simus (snub cube) and Dodecaedron simum (snub dodecahedron) cannot be constructed by ruler and compass. We explain that for general reasons their vertices can be constructed via paper folding on the faces of a cube, respectively dodecahedron, and we present explicit folding constructions. The construction of the Cubus simus is particularly elegant. We also review and prove the construction rules of the other Archimedean solids. △ Less

Submitted 25 September, 2012; v1 submitted 1 February, 2012; originally announced February 2012.

Comments: 13 pages, 12 figures, v2: as published in Geometriae Dedicata

MSC Class: 51M15 (Primary) 51M20 (Secondary)

Journal ref: Geometriae Dedicata 166 (2013), 1-14

Foliations in deformation spaces of local G-shtukas

Authors: Urs Hartl, Eva Viehmann

Abstract: We study local G-shtukas with level structure over a base scheme whose Newton polygons are constant on the base. We show that after a finite base change and after passing to an étale covering, such a local G-shtuka is isogenous to a completely slope divisible one, generalizing corresponding results for p-divisible groups by Oort and Zink. As an application we establish a product structure up to fi… ▽ More We study local G-shtukas with level structure over a base scheme whose Newton polygons are constant on the base. We show that after a finite base change and after passing to an étale covering, such a local G-shtuka is isogenous to a completely slope divisible one, generalizing corresponding results for p-divisible groups by Oort and Zink. As an application we establish a product structure up to finite morphism on the closed Newton stratum of the universal deformation of a local G-shtuka, similarly to Oort's foliations for p-divisible groups and abelian varieties. This also yields bounds on the dimensions of affine Deligne-Lusztig varieties and proves equidimensionality of affine Deligne-Lusztig varieties in the affine Grassmannian. △ Less

Submitted 21 September, 2011; v1 submitted 11 February, 2010; originally announced February 2010.

Comments: 26 pages

MSC Class: 20G25; 11G09; 14L05; 14M15

Journal ref: Advances in Mathematics 229 (2012), 54-78

The Newton stratification on deformations of local G-shtukas

Authors: U. Hartl, E. Viehmann

Abstract: Bounded local G-shtukas are function field analogs for p-divisible groups with extra structure. We describe their deformations and moduli spaces. The latter are analogous to Rapoport-Zink spaces for p-divisible groups. The underlying schemes of these moduli spaces are affine Deligne-Lusztig varieties. For basic Newton polygons the closed Newton stratum in the universal deformation of a local G-s… ▽ More Bounded local G-shtukas are function field analogs for p-divisible groups with extra structure. We describe their deformations and moduli spaces. The latter are analogous to Rapoport-Zink spaces for p-divisible groups. The underlying schemes of these moduli spaces are affine Deligne-Lusztig varieties. For basic Newton polygons the closed Newton stratum in the universal deformation of a local G-shtuka is isomorphic to the completion of a corresponding affine Deligne-Lusztig variety in that point. This yields bounds on the dimension and proves equidimensionality of the basic affine Deligne-Lusztig varieties. △ Less

Submitted 11 February, 2010; v1 submitted 5 October, 2008; originally announced October 2008.

Comments: several improvements, definition of local G-shtuka is changed

MSC Class: 20G25; 11G09; 14L05; 14M15

Journal ref: Journal für die reine und angewandte Mathematik (Crelle) 656 (2011), 87-129

On period spaces for p-divisible groups

Authors: Urs Hartl

Abstract: In their book Rapoport and Zink constructed rigid analytic period spaces for Fontaine's filtered isocrystals, and period morphisms from moduli spaces of p-divisible groups to some of these period spaces. We determine the image of these period morphisms, thereby contributing to a question of Grothendieck. We give examples showing that only in rare cases the image is all of the Rapoport-Zink perio… ▽ More In their book Rapoport and Zink constructed rigid analytic period spaces for Fontaine's filtered isocrystals, and period morphisms from moduli spaces of p-divisible groups to some of these period spaces. We determine the image of these period morphisms, thereby contributing to a question of Grothendieck. We give examples showing that only in rare cases the image is all of the Rapoport-Zink period space. △ Less

Submitted 25 April, 2008; v1 submitted 21 September, 2007; originally announced September 2007.

Comments: 6 pages, v2: minor changes, v3: new exposition, no new results

MSC Class: 11S20 (Primary); 14G22; 14L05; 14M15 (Secondary)

Journal ref: Comptes Rendus Mathématique Acad. Sci. Paris, Ser. I 346 (2008), 1123-1128

Pure Anderson Motives over Finite Fields

Authors: Matthias Bornhofen, Urs Hartl

Abstract: In the arithmetic of function fields Drinfeld modules play the role that elliptic curves take on in the arithmetic of number fields. As higher dimensional generalizations of Drinfeld modules, and as the appropriate analogues of abelian varieties, G. Anderson introduced pure t-motives. In this article we study the arithmetic of the later. We investigate which pure t-motives are semisimple, that i… ▽ More In the arithmetic of function fields Drinfeld modules play the role that elliptic curves take on in the arithmetic of number fields. As higher dimensional generalizations of Drinfeld modules, and as the appropriate analogues of abelian varieties, G. Anderson introduced pure t-motives. In this article we study the arithmetic of the later. We investigate which pure t-motives are semisimple, that is, isogenous to direct sums of simple ones. We give examples for pure t-motives which are not semisimple. Over finite fields the semisimplicity is equivalent to the semisimplicity of the endomorphism algebra, but also this fails over infinite fields. Still over finite fields we study the endomorphism rings of pure t-motives and criteria for the existence of isogenies. We obtain answers which are similar to Tate's famous results for abelian varieties. △ Less

Submitted 30 October, 2008; v1 submitted 18 September, 2007; originally announced September 2007.

Comments: v2: final version to appear in Journal of Number Theory. Note, this is the second part of the two-in-one article arXiv:math.NT/0609733

MSC Class: 11G09 (Primary); 13A35; 16K20 (Secondary)

Journal ref: Journal of Number Theory 129, n. 2 (2009), 247-283

Pure Anderson Motives and Abelian τ-Sheaves

Authors: Matthias Bornhofen, Urs Hartl

Abstract: Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In order to construct moduli spaces for pure t-motives the second author has previously introduced the concept of abelian τ-sheaf. In this article we clarify the relation between pure t-motives and abeli… ▽ More Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In order to construct moduli spaces for pure t-motives the second author has previously introduced the concept of abelian τ-sheaf. In this article we clarify the relation between pure t-motives and abelian τ-sheaves. We obtain an equivalence of the respective quasi-isogeny categories. Furthermore, we develop the elementary theory of both structures regarding morphisms, isogenies, Tate modules, and local shtukas. The later are the analogs of p-divisible groups. △ Less

Submitted 15 January, 2010; v1 submitted 18 September, 2007; originally announced September 2007.

Comments: final version as it appears in Mathematische Zeitschrift

MSC Class: 11G09 (Primary); 13A35 (Secondary)

Journal ref: Mathematische Zeitschrift 268 (2011), 67-100

Pure Anderson Motives and Abelian Sheaves over Finite Fields

Authors: Matthias Bornhofen, Urs Hartl

Abstract: Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In this article we develop their theory regarding morphisms, isogenies, Tate modules, and local shtukas. The later are the analog of p-divisible groups. We investigate which pure t-motives are semisimple… ▽ More Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In this article we develop their theory regarding morphisms, isogenies, Tate modules, and local shtukas. The later are the analog of p-divisible groups. We investigate which pure t-motives are semisimple, that is, isogenous to direct sums of simple ones. We give examples for pure t-motives which are not semisimple. Over finite fields the semisimplicity is equivalent to the semisimplicity of the endomorphism algebra, but also this fails over infinite fields. Still over finite fields we study the endomorphism rings of pure t-motives and obtain answers which are similar to Tate's famous results for abelian varieties. Finally we clarify the relation of pure t-motives to the abelian τ-sheaves introduced by the second author for the purpose of constructing moduli spaces. We obtain an equivalence of the respective quasi-isogeny categories. △ Less

Submitted 15 January, 2010; v1 submitted 26 September, 2006; originally announced September 2006.

Comments: v2: 48 pages, various results on Anderson's t-motives and their relation to abelian sheaves added; v3: 53 pages, section on Zeta functions added; v4=final version: this article has been split into arXiv:0709.2809 and arXiv:0709.2815 which both have been published

MSC Class: 11G09 (Primary); 13A35; 16K20 (Secondary)

Change of Coefficients for Drinfeld Modules, Shtuka, and Abelian Sheaves

Authors: Urs Hartl, Markus Hendler

Abstract: We study the passage from Drinfeld-A'-modules to Drinfeld-A-modules for a given finite flat inclusion A \subset A'. We show that this defines a morphism from the moduli space of Drinfeld-A'-modules to the moduli space of Drinfeld-A-modules which is proper but in general not representable. For Drinfeld-Anderson shtuka and abelian sheaves instead of Drinfeld modules we obtain the same results. We study the passage from Drinfeld-A'-modules to Drinfeld-A-modules for a given finite flat inclusion A \subset A'. We show that this defines a morphism from the moduli space of Drinfeld-A'-modules to the moduli space of Drinfeld-A-modules which is proper but in general not representable. For Drinfeld-Anderson shtuka and abelian sheaves instead of Drinfeld modules we obtain the same results. △ Less

Submitted 10 August, 2006; originally announced August 2006.

Comments: 16 pages

MSC Class: 11G09 (Primary); 14G35 (Secondary)

A Dictionary between Fontaine-Theory and its Analogue in Equal Characteristic

Authors: Urs Hartl

Abstract: In this survey we explain the main ingredients and results of the analogue of Fontaine-Theory in equal positive characteristic which was recently developed by Genestier-Lafforgue and the author. In this survey we explain the main ingredients and results of the analogue of Fontaine-Theory in equal positive characteristic which was recently developed by Genestier-Lafforgue and the author. △ Less

Submitted 7 July, 2006; originally announced July 2006.

Comments: 23 pages

MSC Class: 11S20 (Primary) 11G09; 14L05 (Secondary)

Journal ref: Journal of Number Theory 129, n. 7 (2009), 1734-1757

On a Conjecture of Rapoport and Zink

Authors: Urs Hartl

Abstract: In their book Rapoport and Zink constructed rigid analytic period spaces $F^{wa}$ for Fontaine's filtered isocrystals, and period morphisms from PEL moduli spaces of $p$-divisible groups to some of these period spaces. They conjectured the existence of an étale bijective morphism $F^a \to F^{wa}$ of rigid analytic spaces and of a universal local system of $Q_p$-vector spaces on $F^a$. For Hodge-Ta… ▽ More In their book Rapoport and Zink constructed rigid analytic period spaces $F^{wa}$ for Fontaine's filtered isocrystals, and period morphisms from PEL moduli spaces of $p$-divisible groups to some of these period spaces. They conjectured the existence of an étale bijective morphism $F^a \to F^{wa}$ of rigid analytic spaces and of a universal local system of $Q_p$-vector spaces on $F^a$. For Hodge-Tate weights $n-1$ and $n$ we construct in this article an intrinsic Berkovich open subspace $F^0$ of $F^{wa}$ and the universal local system on $F^0$. We conjecture that the rigid-analytic space associated with $F^0$ is the maximal possible $F^a$, and that $F^0$ is connected. We give evidence for these conjectures and we show that for those period spaces possessing PEL period morphisms, $F^0$ equals the image of the period morphism. Then our local system is the rational Tate module of the universal $p$-divisible group and enjoys additional functoriality properties. We show that only in exceptional cases $F^0$ equals all of $F^{wa}$ and when the Shimura group is $GL_n$ we determine all these cases. △ Less

Submitted 22 January, 2013; v1 submitted 10 May, 2006; originally announced May 2006.

Comments: v2: 48 pages; many new results added, v3: final version that will appear in Inventiones Mathematicae

MSC Class: 11S20 (Primary) 14G35; 14L05; 14M15 (Secondary)

Journal ref: Inventiones Mathematicae 193 (2013), 627-696

Period Spaces for Hodge Structures in Equal Characteristic

Authors: Urs Hartl

Abstract: We develop the analog in equal positive characteristic of Fontaine's theory for crystalline Galois representations of a p-adic field. In particular we describe the analog of Fontaine's functor which assigns to a crystalline Galois representation an isocrystal with a Hodge filtration. In equal characteristic the role of isocrystals and Hodge filtrations is played by z-isocrystals and Hodge-Pink str… ▽ More We develop the analog in equal positive characteristic of Fontaine's theory for crystalline Galois representations of a p-adic field. In particular we describe the analog of Fontaine's functor which assigns to a crystalline Galois representation an isocrystal with a Hodge filtration. In equal characteristic the role of isocrystals and Hodge filtrations is played by z-isocrystals and Hodge-Pink structures. The latter were invented by Pink. Our first main result in this article is the analog of the Colmez-Fontaine Theorem that "weakly admissible implies admissible". Next we construct period spaces for Hodge-Pink structures on a fixed z-isocrystal. These period spaces are analogs of the Rapoport-Zink period spaces for Fontaine's filtered isocrystals in mixed characteristic and likewise are rigid analytic spaces. For our period spaces we prove the analog of a conjecture of Rapoport and Zink stating the existence of a "universal local system" on a Berkovich open subspace of the period space. As a consequence of "weakly admissible implies admissible" this Berkovich open subspace contains every classical rigid analytic point of the period space. As the principal tool to demonstrate these results we use the analog of Kedlaya's Slope Filtration Theorem which we also formulate and prove here. △ Less

Submitted 28 March, 2011; v1 submitted 28 November, 2005; originally announced November 2005.

Comments: v3: final version, appears in Annals of Mathematics

MSC Class: 11G09 (primary) 13A35; 14G20; 14G22 (secondary)

Journal ref: Annals of Mathematics 173, n. 3 (2011), 1241-1358

Uniformizable families of $t$-motives

Authors: Gebhard Böckle, Urs Hartl

Abstract: Abelian $t$-modules and the dual notion of $t$-motives were introduced by Anderson as a generalization of Drinfeld modules. For such Anderson defined and studied the important concept of uniformizability. It is an interesting question, and the main objective of the present article to see how uniformizability behaves in families. Since uniformizability is an analytic notion, we have to work with… ▽ More Abelian $t$-modules and the dual notion of $t$-motives were introduced by Anderson as a generalization of Drinfeld modules. For such Anderson defined and studied the important concept of uniformizability. It is an interesting question, and the main objective of the present article to see how uniformizability behaves in families. Since uniformizability is an analytic notion, we have to work with families over a rigid analytic base. We provide many basic results, and in fact a large part of this article concentrates on laying foundations for studying the above question. Building on these, we obtain a generalization of a uniformizability criterion of Anderson and, among other things, we establish that the locus of uniformizability is Berkovich open. △ Less

Submitted 21 July, 2005; v1 submitted 11 November, 2004; originally announced November 2004.

Comments: 40 pages, v2: Section 7 rewritten; to appear in Trans. Amer. Math. Soc

MSC Class: 11G09 (Primary); 14G22 (Secondary)

Journal ref: Transactions of the American Mathematical Society 359, n. 8 (2007), 3933-3972

Uniformizing the Stacks of Abelian Sheaves

Authors: Urs Hartl

Abstract: Elliptic sheaves (which are related to Drinfeld modules) were introduced by Drinfeld and further studied by Laumon--Rapoport--Stuhler and others. They can be viewed as function field analogues of elliptic curves and hence are objects "of dimension 1". Their higher dimensional generalisations are called abelian sheaves. In the analogy between function fields and number fields, abelian sheaves are… ▽ More Elliptic sheaves (which are related to Drinfeld modules) were introduced by Drinfeld and further studied by Laumon--Rapoport--Stuhler and others. They can be viewed as function field analogues of elliptic curves and hence are objects "of dimension 1". Their higher dimensional generalisations are called abelian sheaves. In the analogy between function fields and number fields, abelian sheaves are counterparts of abelian varieties. In this article we study the moduli spaces of abelian sheaves and prove that they are algebraic stacks. We further transfer results of Cerednik--Drinfeld and Rapoport--Zink on the uniformization of Shimura varieties to the setting of abelian sheaves. Actually the analogy of the Cerednik--Drinfeld uniformization is nothing but the uniformization of the moduli schemes of Drinfeld modules by the Drinfeld upper half space. Our results generalise this uniformization. The proof closely follows the ideas of Rapoport--Zink. In particular, analogies of $p$-divisible groups play an important role. As a crucial intermediate step we prove that in a family of abelian sheaves with good reduction at infinity, the set of points where the abelian sheaf is uniformizable in the sense of Anderson, is formally closed. △ Less

Submitted 27 June, 2005; v1 submitted 20 September, 2004; originally announced September 2004.

Comments: Final version, appears in "Number Fields and Function Fields - Two Parallel Worlds", Papers from the 4th Conference held on Texel Island, April 2004, edited by G. van der Geer, B. Moonen, R. Schoof

MSC Class: 11G09 (Primary) 11G18; 14L05 (Secondary)

Journal ref: Number Fields and Function fields - Two Parallel Worlds, Papers from the 4th Conference held on Texel Island, April 2004, G. van der Geer, B. Moonen, R. Schoof, Editors, pp. 167-222, Progress in Math. 239, Birkhäuser Verlag, Basel 2005