Related papers: Tame Class Field Theory for Global Function Fields
Class field theory furnishes an intrinsic description of the abelian extensions of a number field that is in many cases not of an immediate algorithmic nature. We outline the algorithms available for the explicit computation of such…
For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p > 0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental…
Tate's theorem (Invent. Math. 1966)implies that the Tate conjecture holds for any abelian variety over a finite field whose Q_l-algebra of Tate classes is generated by those of degree 1. We construct families of abelian varieties over…
A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…
Among abelian extensions of a congruence function field, an asymptotic relation of class number and genus is established. The proof is classical, employing well-known results from congruence function field theory.
Using the higher tame symbol and Kawada and Satake's Witt vector method, A. N. Parshin developed class field theory for higher local fields, defining reciprocity maps separately for the tamely ramified and wildly ramified cases. We extend…
We extend the well-known Cassels-Tate dual exact sequence for abelian varieties A over global fields K in two directions: we treat the p-primary component in the function field case, where p is the characteristic of K, and we dispense with…
In this paper we first obtain the genus field of a finite abelian non-Kummer $l$--extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field…
Schmidt and Spie{\ss} described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology…
Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…
Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism \rho: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class…
We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…
In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in…
We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…
We give a necessary and sufficient condition in terms of a matrix for which all Tate classes are Lefschetz for simple abelian varieties over an algebraic closure of a finite field. As an application, we prove under an assumption that all…
In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.
We give a self-contained proof of local class field theory, via Lubin-Tate theory and the Hasse-Arf theorem, refining the arguments of Iwasawa's book. In the revised version, (i) positive characteristic case is included, (ii) the proof of…
This paper develops explicit class field theory for orders: of rank 1 in any global function field -- Hayes theory -- and of rank 2 in real quadratic function fields -- Real Multiplication. The essential ingredient in the development of the…
Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…
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…