We consider the KZ differential equations over $\mathbb C$ in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field $\mathbb F_p$. We study the space of polynomial solutions of these differential equations over $\mathbb F_p$, constructed in a previous work by V. Schechtman and the second author. Using Hasse-Witt matrices we identify the space of these polynomial solutions over $\mathbb F_p$ with the space dual to a certain subspace of regular differentials on an associated curve. We also relate these polynomial solutions over $\mathbb F_p$ and the hypergeometric solutions over $\mathbb C$.
We give a short combinatorial proof of the generic invertibility of the Hasse-Witt matrix of a projective hypersurface. We also examine the relationship between the Hasse-Witt matrix and certain $A$-hypergeometric series, which is what motivated the proof.
We identify the $p$-adic unit roots of the zeta function of a projective hypersurface over a finite field of characteristic $p$ as the eigenvalues of a product of special values of a certain matrix of $p$-adic series. That matrix is a product $F(Λ^p)^{-1}F(Λ)$, where the entries in the matrix $F(Λ)$ are $A$-hypergeometric series with integral coefficients and $F(Λ)$ is independent of $p$.
Motivated by the work of Candelas, de la Ossa and Rodriguez-Villegas [6], we study the relations between Hasse-Witt matrices and period integrals of Calabi-Yau hypersurfaces in both toric varieties and partial flag varieties. We prove a conjecture by Vlasenko [23] on higher Hasse-Witt matrices for toric hypersurfaces following Katz's method of local expansion [14, 15]. The higher Hasse-Witt matrices also have close relation with period integrals. The proof gives a way to pass from Katz's congruence relations in terms of expansion coefficients [15] to Dwork's congruence relations [8] about peri…
The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is $\leq n$, the zeta function is trivial mod $p$ and the Hasse-Witt matrix is zero-by-zero. We generalize a classical formula for the Hasse-Witt matrix to obtain a matrix that gives a nontrivial congruence for the zeta function for all $d$. We also describe the differential equations satisfied by this matrix and prove that it is generically invertible.
Let $(X, D_{X})$ be an arbitrary pointed stable curve of topological type $(g_{X}, n_{X})$ over an algebraically closed field of characteristic $p>0$. We prove that the generalized Hasse-Witt invariants of prime-to-$p$ cyclic admissible coverings of $(X, D_{X})$ attain maximum. As applications, we obtain an anabelian formula for $(g_{X}, n_{X})$, and prove that the field structures associated to inertia subgroups of marked points can be reconstructed group-theoretically from open continuous homomorphisms of admissible fundamental groups. Moreover, the formula for maximum generalized Hasse-Witt…
Let X be an irreducible symplectic variety defined over a number field K. Assume either that X has Picard number at least two or that X has even second Betti number. We prove that there exist a finite algebraic field extension L/K and a density 1 set S of non-archimedean places of L such that the reduction of X at any place in S has nonzero Hasse-Witt invariant.
We prove a number of p-adic congruences for the coefficients of powers of a multivariate polynomial f(x) with coefficients in a ring R of characteristic zero. If the Hasse--Witt operation is invertible, our congruences yield p-adic limit formulas which conjecturally describe the Gauss--Manin connection and the Frobenius operator on the unit-root crystal attached to f(x). As a second application, we associate with f(x) formal group laws over R. Under certain assumptions these formal group laws are coordinalizations of the Artin--Mazur functors. (This is a final version which we send for a publi…
Let X be a curve in positive characteristic. A Hasse--Witt matrix for X is a matrix that represents the action of the Frobenius operator on the cohomology group H^1(X,O_X) with respect to some basis. A Cartier--Manin matrix for X is a matrix that represents the action of the Cartier operator on the space of holomorphic differentials of X with respect to some basis. The operators that these matrices represent are adjoint to one another, so Hasse--Witt matrices and the Cartier--Manin matrices are related to one another, but there seems to be a fair amount of confusion in the literature about the…
Up until now, it was recognized that a large number of 2-torsion points was a technical barrier to improve the bounds for the symmetric tensor rank of multiplication in every extension of any finite field. In this paper, we show that there are two exceptional cases, namely the extensions of $\mathbb{F}_2$ and $\mathbb{F}_3$. In particular, using the definition field descent on the field with 2 or 3 elements of a Garcia-Stichtenoth tower of algebraic function fields which is asymptotically optimal in the sense of Drinfel'd-Vladut and has maximal Hasse-Witt invariant, we obtain a significant imp…
We prove that the Brauer-Manin obstruction is the only obstruction to the Hasse principle for homogeneous spaces with nilpotent stabilizer. We thus generalize recent results by Harpaz and Wittenberg on finite "hyper-solvable" stabilizers. In particular, this result is true for abelian stabilizers without any hypotheses on the ambient group, which generalizes classic results by Borovoi on the subject. We prove moreover that these spaces have the real approximation property. On montre que l'obstruction de Brauer-Manin est la seule obstruction au principe de Hasse pour les espaces homogènes à sta…
Nous montrons, pour une grande famille de propriétés $P$ des espaces homogènes, que $P$ vaut pour tout espace homogène d'un groupe linéaire connexe dès qu'elle vaut pour les espaces homogènes de $\mathrm{SL}_n$ à stabilisateur fini. Nous réduisons notamment à ce cas particulier la vérification d'une importante conjecture de Colliot-Thélène sur l'obstruction de Brauer-Manin au principe de Hasse et à l'approximation faible. Des travaux récents de Harpaz et Wittenberg montrent que le résultat principal s'applique également à la conjecture analogue (dite conjecture (E)) pour les zéro-cycles. We pr…
We develop a method to compute the Ekedahl-Oort type of a curve C over a field k of characteristic p (which is the isomorphism type of the p-kernel group scheme J[p], where J is the Jacobian of C). Part of our method is general, in that we introduce the new notion of a Hasse-Witt triple, which re-encodes in a useful way the information contained in the Dieudonne module of J[p]. For complete intersection curves we then give a simple method to compute this Hasse-Witt triple. An implementation of this method is available in Magma.
Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose cohomology ring $H^*(B_{{\bf O}(q)},{\bf Z}/2{\bf Z})\simeq A_Y[HW_1(q),..., HW_n(q)]$ is a polynomial algebra over the étale cohomology ring $A_Y:=H^*(Y_{et},{\bf Z}/2{\bf Z})$ of the scheme $Y$. Here the $HW_i(q)$'s are Jardine's universal Hasse-Witt invariants and $B_{{\bf O}(q)}$ is the classifying topos of ${\bf O}(q)$ as defined by Grothendieck and Giraud. T…
Suppose $X$ is a smooth, proper, geometrically connected curve over $\mathbb F_q$ with an $\mathbb F_q$-rational point $x_0$. For any $\mathbb F_q^{\times}$-character $σ$ of $π_1(X)$ trivial on $x_0$, we construct a functor $\mathbb L_n^σ$ from the derived category of coherent sheaves on the moduli space of deformations of $σ$ over the Witt ring $W_n(\mathbb F_q)$ to the derived category of constructible $W_n(\mathbb F_q)$-sheaves on the Jacobian of $X$. The functors $\mathbb L_n^σ$ categorify the Artin reciprocity map for geometric class field theory with $p$-torsion coefficients. We then giv…
The Dickson-Guralnick-Zieve curve, briefly DGZ curve, defined over the finite field $\mathbb{F}_q$ arises naturally from the classical Dickson invariant of the projective linear group $PGL(3,\mathbb{F}_q)$. The DGZ curve is an (absolutely irreducible, singular) plane curve of degree $q^3-q^2$ and genus $\frac{1}{2}q(q-1)(q^3-2q-2)+1.$ In this paper we show that the DGZ curve has several remarkable features, those appearing most interesting are: the DGZ curve has a large automorphism group compared to its genus albeit its Hasse-Witt invariant is positive; the Fermat curve of degree $q-1$ is a q…
We study real double covers of $\mathbb P^1\times\mathbb P^2$ branched over a $(2,2)$-divisor, which have the structure of a conic bundle threefold with smooth quartic discriminant curve via the second projection. In each isotopy class of smooth plane quartics, we construct examples where the total space of the conic bundle is rational. For five of the six isotopy classes we construct $\mathbb C$-rational examples that have obstructions to rationality over $\mathbb R$, and for the sixth class, we show that the models we consider are all rational. Moreover, for three of the five classes with ir…
Let $\mathbb{K}$ be the algebraic closure of a finite field $\mathbb{F}_q$ of odd characteristic $p$. For a positive integer $m$ prime to $p$, let $F=\mathbb{K}(x,y)$ be the transcendency degree $1$ function field defined by $y^q+y=x^m+x^{-m}$. Let $t=x^{m(q-1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let $K$ be the Galois closure of $F$ with respect to $H$. By a result of Stichtenoth, $K$ has genus $g(K)=(qm-1)(q-1)$, $p$-rank (Hasse-Witt invariant) $γ(K)=(q-1)^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^2m(q-1)$. In this paper we prove that t…
