arXiv subjects
Publications and source records attributed to Daichi Takeuchi.
We give a complete recipe for constructing extremal van der Geer--van der Vlugt curves over finite fields of odd characteristic. The input data consist of a nonzero element of the base field together with a linear subspace satisfying a certain trace condition. This construction may be viewed as an odd-characteristic analogue of the one previously obtained by the authors in characteristic two.
In our previous work, we gave a formula for the Frobenius eigenvalues of van der Geer--van der Vlugt curves in characteristic 2 by considering suitable quotients of the curve. Although the formula is explicit, it depends on many choices, which makes the formula complicated. In this article, we take a different approach using a factorization of additive polynomials, and prove a new formula. The resulting formula is simpler and is useful for explicit computations. As applications, we provide a method for constructing maximal and minimal van der Geer--van der Vlugt curves, and show that every such curve arises from this construction. We also compute various examples of van der Geer--van der Vlugt curves and study their periods.
In this article, we develop a positive characteristic analogue of the Bernstein--Sato theory for holonomic D-modules in the complex setting. We work with D-modules on a Noetherian regular $F$-finite $\mathbb{F}_p$-scheme $X$, and define their Bernstein--Sato roots as $p$-adic integers. When the D-module is the structure sheaf $O_X$, this recovers Bitoun's definition. When the D-module arises from a locally finitely generated unit $F^e$-module and $X$ is of finite type over an $F$-finite field, we show that the roots are finite and rational, generalizing Bitoun's result. In the course of the proof, we also develop a related theory for Cartier modules.
We study exponential sums on Witt vectors, known as Gauss--Heilbronn sums, and the curves whose Frobenius traces realize these sums via a Deligne--Lusztig type construction. For 3-typical Witt vectors of length two, we analyze Gauss--Heilbronn sums, from which we fully determine the Frobenius slopes of the associated curves.
The van der Geer--van der Vlugt curves form a class of Artin--Schreier coverings of the projective line over finite fields. We provide an explicit formula for their $L$-polynomials in characteristic $2$, expressed in terms of characters of maximal abelian subgroups of associated Heisenberg groups. For this purpose, we develop new methods specific to characteristic $2$ that exploit the structure of the Heisenberg groups and the geometry of Lang torsors for $W_2$. As an application, we construct examples of curves in this family attaining the Hasse--Weil bound.
In this paper, we introduce a new class of $\ell$-adic sheaves, which we call quadratic $\ell$-adic sheaves, on connected unipotent commutative algebraic groups over finite fields. They are sheaf-theoretic enhancements of quadratic forms on finite abelian groups in the spirit of the function-sheaf dictionary. We show that a certain finite Heisenberg group acts on a quadratic sheaf and that the cohomology of the quadratic sheaf gives an irreducible representation of the group. We also compute the Frobenius eigenvalues of the cohomology groups. As a byproduct, we find a large number of examples of affine supersingular varieties.
We study Van der Geer--Van der Vlugt curves in a ramification-theoretic view point. We give explicit formulae on L-polynomials of these curves. As a result, we show that these curves are supersingular and give sufficient conditions for these curves to be maximal or minimal.
Let $f\colon X\to\mathbb{A}^1_k$ be a morphism from a smooth variety to an affine line with an isolated singular point. For such a singularity, we have two invariants. One is a non-degenerate symmetric bilinear form (de Rham), and the other is the vanishing cycles complex (\'etale). In this article, we give a formula which expresses the local epsilon factor of the vanishing cycles complex in terms of the bilinear form. In particular, the sign of the local epsilon factor is determined by the discriminant of the bilinear form. This formula can be thought as a refinement of the Milnor formula, which compares the total dimension of the vanishing cycles and the rank of the bilinear form. In characteristic $2$, we find a generalization of the Arf invariant, which can be regarded as an invariant for non-degenerate quadratic singularities, to general isolated singularities.
Let $S$ be a noetherian scheme and $f\colon X\to S$ be a smooth morphism of relative dimension 1. For a locally constant sheaf on the complement of a divisor in $X$ at over $S$, Deligne and Laumon proved that the universal local acyclicity is equivalent to the local constancy of Swan conductors. In this article, assuming the universal local acyclicity, we show an analogous result of the continuity of local epsilon factors. We also give a generalization of this result to a family of isolated singularities.
Let $X$ be a smooth variety over a finite field $\mathbb{F}_q$. Let $\ell$ be a rational prime number invertible in $\mathbb{F}_q$. For an $\ell$-adic sheaf $\mathcal{F}$ on $X$, we construct a cycle supported on the singular support of $\mathcal{F}$ whose coefficients are $\ell$-adic numbers modulo roots of unity. It is a refinement of the characteristic cycle $CC(\mathcal{F})$, in the sense that it satisfies a Milnor-type formula for local epsilon factors. After establishing fundamental results on the cycles, we prove a product formula of global epsilon factors modulo roots of unity. We also give a generalization of the results to varieties over general perfect fields.
We propose another proof of the geometric class field theory for curves by considering blow-ups of symmetric products of curves.