We extend the unramified class field theory for arithmetic schemes of K. Kato and S. Saito to the tame case. Let $X$ be a regular proper arithmetic scheme and let $D$ be a divisor on $X$ whose vertical irreducible components are normal schemes.
Theorem: There exists a natural reciprocity isomorphism \[ \rec_{X,D}: \CH_0(X,D) \liso \tilde π_1^t(X,D)^\ab\. \] Both groups are finite.
This paper corrects and generalizes my paper "Relative K-theory and class field theory for arithmetic surfaces" (math.NT/0204330)
The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent. Furthermore, we prove finiteness theorems for the tame fundamental groups of arithmetic schemes.
Studying ceratin combinatorial properties of non-unique factorizations have been a subject of recent literatures. Little is known about two combinatorial invariants, namely the catenary degree and the tame degree, even in the case of numerical monoids. In this paper we compute these invariants for a certain class of numerical monoids generated by generalized arithmetic sequences. We also show that the difference between the tame degree and the catenary degree can be arbitrary large even if the number of minimal generators is fixed.
We extend the notion of a tame covering of a pair (X,D) where X is a regular scheme and D is a normal crossing divisor (cf. SGA1), to pairs (X,Y) where X is an arbitrary scheme and Y is a closed subset in X. We show that the abelianized tame fundamental group of a regular scheme which is flat and of finite type over Spec(Z) is finite and does not depend on the choice of a particular compactification.
Parshin's higher Witt pairing on an arithmetic surface can be combined with the higher tame pairing to form a symbol taking values in the absolute abelian Galois group of the function field. We prove reciprocity laws for this symbol using techniques of Morrow for the Witt symbol and Romo for the higher tame symbol.
- Let p be a prime number and K an algebraic number field. What is the arithmetic structure of Galois extensions L/K having p-adic analytic Galois group $Γ$ = Gal(L/K)? The celebrated Tame Fontaine-Mazur conjecture predicts that such extensions are either deeply ramified (at some prime dividing p) or ramified at an infinite number of primes. In this work, we take up a study (initiated by Boston) of this type of question under the assumption that L is Galois over some subfield k of K such that [K : k] is a prime = p. Letting $σ$ be a generator of Gal(K/k), we study the constraints posed on the …
In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the relative Chow group of zero cycles and let \tilde π_1^t(X,Y)^ {ab} denote the abelianized modified tame fundamental group of (X,Y) (which classifies finite etale abelian covings of X-Y which are tamely ramified along Y and in which every real point splits completely). THEOREM: There exists a natural reciprocity isomorphism rec: CH_0(X,Y) --> \tilde π_1^t(X,Y…
This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along the way, we obtain an arithmetic criterion for the existence of a hyperelliptic descent. The obstruction is described by the so-called arithmetic dihedral invariants of the curves in question. If it vanishes, then the use of these invariants also allows the explicit determination of a model over the field of moduli; if not, then one obtains a hyperelliptic mo…
We derive the group structure for cyclotomic function fields obtained by applying the Carlitz action for extensions of an initial constant field. The tame and wild structures are isolated to describe the Galois action on differentials. We show that the associated invariant rings are not polynomial.
We generalize the Hasse invariant of local class field theory to the tame Brauer group of a higher dimensional local field, and use it to study the arithmetic of central simple algebras over such fields, which are given {\it a priori} as tensor products of standard cyclic algebras. We also compute the tame Brauer dimension (or {\it period-index bound}) and the cyclic length of a general henselian-valued field of finite rank and finite residue field.
Given a perfect field $k$ with algebraic closure $\overline{k}$ and a variety $X$ over $\overline{k}$, the field of moduli of $X$ is the subfield of $\overline{k}$ of elements fixed by field automorphisms $γ\in\operatorname{Gal}(\overline{k}/k)$ such that the twist $X_γ$ is isomorphic to $X$. The field of moduli is contained in all subextensions $k\subset k'\subset\overline{k}$ such that $X$ descends to $k'$. In this paper we extend the formalism, and define the field of moduli when $k$ is not perfect. Furthermore, Dèbes and Emsalem identified a condition that ensures that a smooth curve is de…
We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular homology in degree zero and the abelianized modified tame fundamental group.
Étale cohomology with non-invertible coefficients has some unpleasant properties, e.g., it is not A^1-homotopy invariant and for constructible coefficients the expected finiteness properties do not hold. In this paper we introduce the `tame site' which is slightly coarser than the étale site. Tame cohomology coincides with étale cohomology for invertible coefficients but is better behaved in the general case. The fundamental group of the tame site is the (curve-)tame fundamental group of Wiesend and Kerz/Schmidt. The higher tame homotopy groups hopefully have a better behaviour than the higher…
Inspired by the invariant of a number field given by its zeta function, we define the notion of {\it weak arithmetic equivalence}, and show that under certain ramification hypothesis, this equivalence determines the local root numbers of the number field. This is analogous to a result of Rohrlich on the local root numbers of a rational elliptic curve. Additionally, we prove that for tame non-totally real number fields, the integral trace form is invariant under weak arithmetic equivalence.
In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r>=d:=dim(X), using étale cohomology of X with Q_p(r) and Z_p(r)-coefficients.
We study the ramification theory for actions involving group schemes, focusing on the tame ramification. We consider the notion of tame quotient stack introduced in [AOV] and the one of tame action introduced in [CEPT]. We establish a local Slice theorem for unramified actions and after proving some interesting lifting properties for linearly reductive group schemes, we establish a Slice theorem for actions by commutative group schemes inducing tame quotient stacks. Roughly speaking, we show that these actions are induced from an action of an extension of the inertia group on a finitely presen…
Let $K$ be a number field, which is tame and non totally real. In this article we give a numerical criterion, depending only on the ramification behavior of ramified primes in $K$, to decide whether or not the integral trace of $K$ is isometric to the integral trace of another number field $L$. As a byproduct of our proofs here, and in contrast with our previous results for cubic fields of positive discriminant, we show that for cubic fields of negative discriminant isometry between integral traces is equivalent to equality of discriminants.
In this paper, we generalize the arithmetic Chern-Simons theory to regular flat separated schemes of finite type over rings of integers of number fields by applying the duality theorems for arithmetic schemes.
Recent results of Cascudo, Cramer, and Xing on the construction of arithmetic secret sharing schemes are improved by using some new bounds on the torsion limits of algebraic function fields. Furthermore, new bounds on the torsion limits of certain towers of function fields are given.
The smallness is proved of fundamental groups for arithmetic schemes. This is a higher dimensional analogue of the Hermite-Minkowski theorem. We also refer to the case of varieties over finite fields. As an application, we prove certain finiteness results of representations of the fundamental groups over algebraically closed fields.
We present new algorithms for computing zeta functions of algebraic varieties over finite fields. In particular, let X be an arithmetic scheme (scheme of finite type over Z), and for a prime p let zeta_{X_p}(s) be the local factor of its zeta function. We present an algorithm that computes zeta_{X_p}(s) for a single prime p in time p^(1/2+o(1)), and another algorithm that computes zeta_{X_p}(s) for all primes p < N in time N (log N)^(3+o(1)). These generalise previous results of the author from hyperelliptic curves to completely arbitrary varieties.
In this paper we will give a computation of the étale fundamental group of an integral arithmetic scheme. For such a scheme, we will prove that the étale fundamental group is naturally isomorphic to the Galois group of the maximal formally unramified extension over the function field. It consists of the main theorem of the paper. Here, formally unramified will be proved to be arithmetically unramified which is defined in an evident manner and coincides with that in algebraic number theory. Hence, formally unramified has an arithmetic sense. At the same time, such a computation coincides with t…
Using arithmetic jet spaces, we attach perfectoid spaces to smooth schemes and to $δ$-morphisms of smooth schemes. We also study perfectoid spaces attached to arithmetic differential equations defined by some of the remarkable $δ$-morphisms appearing in the theory such as the $δ$-characters of elliptic curves and the $δ$-period map on modular curves.
We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $Ø_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec Ø_K$ of the ring of integers in some number field $K$. T…
In 1985 Kazuya Kato formulated a fascinating framework of conjectures which generalizes the Hasse principle for the Brauer group of a global field to the so-called cohomological Hasse principle for an arithmetic scheme. In this paper we prove the prime-to-characteristic part of the cohomological Hasse principle. We also explain its implications on finiteness of motivic cohomology and special values of zeta functions.
In this note we relate three topics for arithmetic schemes: a general duality for étale constructible torsion sheaves, an étale homology theory, and a Gersten-Bloch-Ogus-Kato complex. The results in this paper have been used in other papers of the authors ([JS], [Sa], [SaH] in the list of references).
Deligne conjectured that a single l-adic lisse sheaf on a normal variety over a finite field can be embedded into a compatible system of l'-adic lisse sheaves with various l'. Drinfeld used Lafforgue's result as an input and proved this conjecture when the variety is smooth. We consider an analogous existence problem for a regular flat scheme over Z and prove some cases using Lafforgue's result and the work of Barnet-Lamb, Gee, Geraghty, and Taylor.
Let $C$ be a hyperelliptic curve of genus $g$ over the fraction field $K$ of a discrete valuation ring $R$. Assume that the residue field $k$ of $R$ is perfect and that $\mathrm{char}\ k > 2g+1$. Let $S = \mathrm{Spec}\ R$. Let $X$ be the minimal proper regular model of $C$ over $S$. Let $\mathrm{Art}\ (C/K)$ denote the Artin conductor of the $S$-scheme $X$ and let $ν(Δ_C)$ denote the minimal discriminant of $C$. We prove that $-\mathrm{Art}\ (C/K) \leq ν(Δ_C)$. The key ingredients are a combinatorial refinement of the discriminant introduced in this paper (called the metric tree) and a recent…
In this article, given a scheme $X$ we show the existence of canonical lifts of Frobenius maps in an inverse system of schemes obtained from the fiber product of the canonical prolongation sequence of arithmetic jet spaces $J^*X$ and a prolongation sequence $S^*$ over the scheme $X$. As a consequence, for any smooth group scheme $E$, if $N^n$ denote the kernel of the canonical projection map of the $n$-th jet space $J^nE \rightarrow E$, then the inverse system $\{N^n\}_n$ is a prolongation sequence.
Using Buium's theory of arithmetic differential characters, we construct a filtered $F$-isocrystal ${\bf H}(A)_K$ associated to an abelian scheme $A$ over a $p$-adically complete discrete valuation ring with perfect residue field. As a filtered vector space, ${\bf H}(A)_K$ admits a natural map to the usual de Rham cohomology of $A$, but the Frobenius operator comes from arithmetic differential theory and is not the same as the usual crystalline one. When $A$ is an elliptic curve, we show that ${\bf H}(A)_K$ has a natural integral model ${\bf H}(A)$, which implies an integral refinement of a re…
In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure. We develop basic properties of the ar…
In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal subgroup in our qc fundamental group, which make up the main theorem of the paper. Hence, our group gives us a prior estimate of the etale fundamental group. The quotient group reflects the topological properties of the scheme.
We define and study a Weil-étale topos for any regular, proper scheme $X$ over $\Spec(Z)$ which has some of the properties suggested by Lichtenbaum for such a topos. In particular, the cohomology with $R$-coefficients has the expected relation to $ζ(X,s)$ at $s=0$ if the Hasse-Weil L-functions $L(h^i(X_Q),s)$ have the expected meromorphic continuation and functional equation. If $\X$ has characteristic $p$ the cohomology with $Z$-coefficients also has the expected relation to $ζ(X,s)$ and our cohomology groups recover those previously studied by Lichtenbaum and Geisser.
Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over $\mathrm{Spec}(\mathbb{Z})$. In particular, we obtain (unconditionally) the right Weil-étale cohomology for geometrically cellular schemes over number rings. We state a conjecture expressing the vanishing …
We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-étale cohomology complexes. This extends work of Lichtenbaum \cite{Lichtenbaum05} and Geisser \cite{Geisser04b} for $\mathcal{X}$ of characteristic $p$, of Lichtenbaum \cite{li04} for $\mathcal{X}=\mathrm{Spec}(\mathcal{O}_F)$ and $n=0$ where $F$ is a number field, and of the second author for arbitrary $\mathcal{X}$ and $n=0$ \cite{Morin14}. We show that our conjecture is compatible with the Tamaga…
Assume that $X$ and $Y$ are arithmetic schemes, i.e., integral schemes of finite types over $Spec(\mathbb{Z})$. Then $X$ is said to be quasi-galois closed over $Y$ if $X$ has a unique conjugate over $Y$ in some certain algebraically closed field, where the conjugate of $X$ over $Y$ is defined in an evident manner. Now suppose that $ϕ:X\to Y$ is a surjective morphism of finite type such that $X$ is quasi-galois closed over $Y$. In this paper the main theorem says that the function field $ k(X)$ is canonically a Galois extension of $k(Y)$ and the automorphism group ${Aut}(X/Y)$ is isomorphic to …
We relate the singularities of a scheme $X$ to the asymptotics of the number of points of $X$ over finite rings. This gives a partial answer to a question of Mustata. We use this result to count representations of arithmetic lattices. More precisely, if $Γ$ is an arithmetic lattice whose $\mathbb{Q}$-rank is greater than one, let $r_n(Γ)$ be the number of irreducible $n$-dimensional representations of $Γ$ up to isomorphism. We prove that there is a constant $C$ (for example, $C=746$ suffices) such that $r_n(Γ)=O(n^C)$ for every such $Γ$. This answers a question of Larsen and Lubotzky.
