Searcharxiv⌕ Search

arXiv subjects

Hélène Esnault

Publications and source records attributed to Hélène Esnault.

At least 37 records · Page 2Linked to original sources

Finite presentation of the tame fundamental group

Let $p$ be a prime number, and let $k$ be an algebraically closed field of characteristic $p$. We show that the tame fundamental group of a smooth affine curve over $k$ is a projective profinite group. We prove that the fundamental group of a smooth projective variety over $k$ is finitely presented. More generally we prove that the tame fundamental group of a smooth quasi-projective variety over $k$ which admits a good compactification is finitely presented. v2: references added. Thank you to all for the friendly and fruitful comments.

math.AG↗

On the universal extensions in Tannakian categories

We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness of some homotopy sequences for these categories and to study $F$-able isocrystals.

math.AG↗

Rigid connections and $F$-isocrystals

An irreducible integrable connection $(E,\nabla)$ on a smooth projective complex variety $X$ is called rigid if it gives rise to an isolated point of the corresponding moduli space $\mathcal{M}_{dR}(X)$. According to Simpson's motivicity conjecture, irreducible rigid flat connections are of geometric origin, that is, arise as subquotients of a Gauß-Manin connection of a family of smooth projective varieties defined on an open dense subvariety of $X$. In this article we study mod $p$ reductions of irreducible rigid connections and establish results which confirm Simpson's prediction. In particular, for large $p$, we prove that $p$-curvatures of mod $p$ reductions of irreducible rigid flat connections are nilpotent, and building on this result, we construct an $F$-isocrystalline realization for {irreducible} rigid flat connections. More precisely, we prove that there exist smooth models $X_R$ and $(E_R,\nabla_R)$ of $X$ and $(E,\nabla)$, over a finite type ring $R$, such that for every Witt ring $W(k)$ of a finite field $k$ and every homomorphism $R \to W(k)$, the $p$-adic completion of the base change $(\widehat{E}_{W(k)},\widehat{\nabla}_{W(k)})$ on $\widehat{X}_{W(k)}$ represents an $F$-isocrystal. Subsequently we show that {irreducible} rigid flat connections with vanishing $p$-curvatures are unitary. This allows us to prove new cases of the Grothendieck--Katz $p$-curvature conjecture. We also prove the existence of a complete companion correspondence for $F$-isocrystals stemming from irreducible cohomologically rigid connections.

math.AG↗

Chern classes of automorphic vector bundles, II

We prove that the $\ell$-adic Chern classes of canonical extensions of automorphic vector bundles, over toroidal compactifications of Shimura varieties of Hodge type over $\bar{ \mathbb{Q}}_p$, descend to classes in the $\ell$-adic cohomology of the minimal compactifications. These are invariant under the Galois group of the $p$-adic field above which the variety and the bundle are defined.

math.AG↗

Good lattices of algebraic connections

We construct a logarithmic model of connections on smooth quasi-projective $n$-dimensional geometrically irreducible varieties defined over an algebraically closed field of characteristic $0$. It consists of a good compactification of the variety together with $(n+1)$ lattices on it which are stabilized by log differential operators, and compute algebraically de Rham cohomology. The construction is derived from the existence of good Deligne-Malgrange lattices, a theorem of Kedlaya and Mochizuki which consists first in eliminating the turning points. Moreover, we show that a logarithmic model obtained in this way, called a good model, yields a formula predicted by Michael Groechenig, computing the class of the characteristic variety of the underlying D-module in the $K$-theory group of the variety.

math.AG↗

Cohomological dimension in pro-$p$-towers

We give a proof without use of perfectoid geometry of Scholzes' vanishing theorem of étale cohomology with $\mathbb{F}_p$-coefficients beyond the dimension of projective varieties in a specific pro $p$-tower in characteristic not equal to $p$. Final version.

math.AG↗

A note on fierce ramification

We show that bounding ramification at infinity bounds fierce ramification. This answers positively a question of Deligne posed to the first named author.

math.AG↗

Cohomologically rigid local systems and integrality

We prove that the monodromy of an irreducible cohomologically complex rigid local system with finite determinant and quasi-unipotent local monodromies at infinity on a smooth quasiprojective complex variety $X$ is integral. This answers positively a special case of a conjecture by Carlos Simpson. On a smooth projective variety, the argument relies on Drinfeld's theorem on the existence of $\ell$-adic companions over a finite field. When the variety is quasiprojective, one has in addition to control the weights and the monodromy at infinity.

math.AG↗

Chern classes of automorphic vector bundles

We prove that Chern classes in continuous $\ell$-adic cohomology of automorphic bundles associated to representations of $G$ on a projective Shimura variety with data $(G,X)$ are trivial rationally. It is a consequence of Beilinson's conjectures which predict that the Chern classes in the Chow groups vanish rationally.

math.AG↗

Survey on some aspects of Lefschetz theorems in algebraic geometry

We survey classical material around Lefschetz theorems for fundamental groups, and show the relation to parts of Deligne's program in Weil II. The notes are based on some aspects of the material for the Santaló lectures at the Universidad Complutense de Madrid (October 2015) and the Rademacher lectures at the University of Pennsylvania (February 2016). They appear in Revista Matemática Complutense.

math.AG↗

Some fundamental groups in arithmetic geometry

Those are the notes for the 2015 Summer Research Institute on Algebraic Geometry. We report on Deligne's finiteness theorem for $\ell$-adic representations on smooth varieties defined over a finite field, on its crystalline version, and on how the geometric étale fundamental group of a smooth projective variety defined over a characteristic $p>0$ field controls crystals on the infinitesimal site and should control those on the crystalline site. v2: last results added to the report, and some typos corrected.

math.AG↗

$D$-modules and finite monodromy

We investigate an analogue of the Grothendieck $p$-curvature conjecture, where the vanishing of the $p$-curvature is replaced by the stronger condition, that the module with connection mod $p$ underlies a $\mathcal{D}_X$-module structure. We show that this weaker conjecture holds in various situations, for example if the underlying vector bundle is finite in the sense of Nori, or if the connection underlies a $\mathbb{Z}$-variation of Hodge structure. We also show isotriviality assuming a coprimality condition on certain mod $p$ Tannakian fundmental groups, which in particular resolves in the projective case a conjecture of Matzat-van der Put. v2: the well known 4.2 has been added to make the note self-contained.

math.AG↗

A remark on Deligne's finiteness theorem

Over a connected geometrically unibranch scheme $X$ of finite type over a finite field, we show finiteness of the number of irreducible $\bar \Q_\ell$-lisse sheaves, with bounded rank and bounded ramification in the sense of Drinfeld, up to twist by a character of the finite field. On $X$ smooth, with bounded ramification in the sense of bounding the Swan conductors on curves, this is Deligne's theorem. Version 2: We prove also that for Deligne's finiteness theorem, it is enough to assume $X$ normal. However, the proof uses the smooth case, unlike the proof in the case of bounded ramification in the sense of Drinfeld. Finally we discuss the various notions of boundedness of ramification used.

math.AG↗

A restriction isomorphism for cycles of relative dimension zero

We study the restriction map to the closed fiber of a regular projective scheme over an excellent henselian discrete valuation ring, for a cohomological version of the Chow group of relative zero-cycles. Our main result extends the work of Saito--Sato to general perfect residue fields.

math.AG↗