arXiv subjects
Publications and source records attributed to Hélène Esnault.
The eigenvalues of Frobenius acting on $\ell$-adic cohomology of a complete intersection over a finite field have the divisibility predicted by the theorem of Ax and Katz. We have corrected some unforgivable typos.
Let $X\subset ¶^n$ be a possibly singular hypersurface of degree $d\le n$, defined over a finite field $k$. We show that the diagonal, suitably interpreted, is decomposable. This gives a proof that the eigenvalues of the Frobenius action on its $\ell$-adic cohomology $H^i(\bar{X}, \Q_\ell)$, for $\ell \neq {\rm char}(k)$, are divisible by $q$, without using the result on the existence of rational points by Ax and Katz.
This is meant to be a survey article for the Cubo Journal. We discuss the existence and number of rational points over a finite field, the Hodge type over the complex numbers, and the motivic conjectures which are controlling those invariants. We present a geometric version of it.
We improve the known Hodge type bound for the exotic cohomology of complete intersections. In the revised version, we included a simplification of our original argument due to Pierre Deligne. The note appears in the C. R. de l'Aca. des Sc. de Paris.
We define an additive version of the Bloch group of a field, together with an additive dilogarithm and an Artin-Schreier realization.
Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the last version, cleaned from some typos, should be published online.
We show that the Chern character of a variation of polarized Hodge structures of weight one with nilpotent residues at $\infty$ dies up to torsion in the Chow ring, except in codimension 0.
The cosimplicial scheme $$Delta^bullet = Δ^0 smallmatrix \to smallmatrix Δ^1 smallmatrix to smallmatrix ...;\quad Δ^n :=\Spec\Big(k[t_0,...c,t_n]/(\sum t_i -t)\Big)$$ was used in B to define higher Chow groups. In this note, we let t tend to 0 and replace Δ^\bullet by a degenerate version $$Q^\bullet = Q^0 smallmatrix to smallmatrix Q^1 smallmatrix to smallmatrix ...;\quad Q^n := \Spec\Big(k[t_0,...c,t_n]/(\sum t_i)\Big) $$ to define an additive version of the higher Chow groups. For a field k, we show the Chow group of 0-cycles on $Q^n$ in this theory is isomorphic to the absolute $(n-1)$-Kähler forms $Ω^{n-1}_k$. An analogous degeneration on the level of de Rham cohomology associated to ``constant modulus'' degenerations of varieties in various contexts is discussed.
Bolibruch's examples of representations of pi_1(P^1-finitely many points) which are not realizable by Fuchsian differential systems are adapted to curves of higher genus.
see the old abstract and the comments here.
Homology with values in a connection with possibly irregular singular points on an algebraic curve is defined, generalizing homology with values in the underlying local system for a connection with regular singular points. Integration defines a perfect pairing between de Rham cohomology with values in the connection and homology with values in the dual connection.
Let $f: X \to S$ be flat morphism over an algebraically closed field $k$ with a relative normal crossings divisor $Y\subset X$, $(E, \nabla)$ be a bundle with a connection with log poles along $Y$ and curvature with values in $f^*Ω^2_{k(S)}$. Then the Gauß-Manin sheaf $R^if_*(Ω^*_{X/S}({\rm log} Y)\otimes E)$ carries a Gauß-Manin connection $GM^i(\nabla)$. We establish a Riemann-Roch formula relating the algebraic Chern-Simons invariants of $\nabla$, $GM^i(\nabla)$ and the top Chern class of $Ω^1_{X/S}({\rm log}Y)$.
We give an explicit formula for the determinant of the Gauß-Manin connection for an irregular connection on a Zariski open set of the projective line $¶^1_K$ over a function field $K$ over a field $k$ of characteristic zero.
Gauß-Manin determinant connections associated to irregular connections on a curve are studied. The determinant of the Fourier transform of an irregular connection is calculated. The determinant of cohomology of the standard rank 2 Kloosterman sheaf is computed modulo 2 torsion. Periods associated to irregular connections are studied in the very basic $\exp(f)$ case, and analogies with the Gauß-Manin determinant are discussed.
Let $f: X \to S$ be a smooth morphism in characteristic 0, and let $(E, \nabla_{X/S})$ be a relative regular connection. We define a cohomology of relative differential characters on $X$ which receives classes of $(E, \nabla_{X/S})$. It says in particular that the partial vanishing of the trace of the iterated Atiyah classs can be made canonical. While applied to a family of curves and $c_2$, the construction yields a connection of $f_*c_2(E)$. This one has been constructed analytically by A. Beilinson. We also relate our construction to the trace complex of Beilinson of Schechtman.
In Comm. Math. Physics 118 (1988), 651-701, A. Beilinson and V. Schechtman define on the total space of a smooth family of curves a so-called trace complex associated to a vector bundle, the 0-th relative cohomology of which is the Atiyah algebra of the determinant bundle. Their proof reduces the general case to the acyclic one. In particular, one needs a comparison of the image of the trace complex for a bundle, and its twist by an étale multisection. We analyse this and correct a point in the original proof.
We construct 0-cycles on the product of 2 elliptic curves, which are not detectable by Bloch's analytic motivic cohomology.
This note is an attempt to generalize Bolibruch's theorem from the projective line to curves of higher genus. We show that an irreducible representation of the fundamental group of an open in a curve of higher genus has always a representation as a regular system of differential equations on a semistable bundle of degree 0. Vice-versa, we show that given such a bundle and 3 points on the curve, one can construct an irreducible representation of the curve minus the 3 points such that an associated regular system of differential equations lives on this bundle.