Source author record

Urs Hartl

Urs Hartl appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2021arXiv

Periods of Drinfeld modules and local shtukas with complex multiplication

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.

preprint2020arXiv

Local Shtukas, Hodge-Pink Structures and Galois Representations

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.

preprint2020arXiv

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

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.

preprint2020arXiv

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

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.

preprint2020arXiv

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

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.

preprint2016arXiv

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

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.

preprint2015arXiv

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

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.

preprint2013arXiv

On a Conjecture of Rapoport and Zink

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.

preprint2012arXiv

Constructing the Cubus simus and the Dodecaedron simum via paper folding

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.

preprint2011arXiv

Foliations in deformation spaces of local G-shtukas

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.

preprint2011arXiv

Period Spaces for Hodge Structures in Equal Characteristic

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.

preprint2010arXiv

Pure Anderson Motives and Abelian Sheaves over Finite Fields

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.

preprint2010arXiv

Pure Anderson Motives and Abelian τ-Sheaves

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.

preprint2008arXiv

On period spaces for p-divisible groups

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.

preprint2008arXiv

Pure Anderson Motives over Finite Fields

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.

preprint2005arXiv

Uniformizable families of $t$-motives

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.

preprint2005arXiv

Uniformizing the Stacks of Abelian Sheaves

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.