Related papers: Class fields, Dirichlet characters and extended ge…
We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…
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…
In this paper we investigate algebraic function fields in positive characteristic mainly obtained as double Artin-Schreier extensions of rational function fields with a plane model. The goal is to extend to such extensions large…
We construct an infinite family of real cyclotomic fields with non-trivial class group. This result generalizes the result in [1] in the sense that our family includes theirs.
We investigate Diophantine definability and decidability over some subrings of algebraic numbers contained in quadratic extensions of totally real algebraic extensions of $\mathbb Q$. Among other results we prove the following. The big…
For finite extensions of a rational function field over a finite field, we prove a "P-adic class formula" in the spirit Taelman's work.
We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given…
Universal extensions arise naturally in the Auslander bijections. For an abelian category having Auslander-Reiten duality, we exploit a bijection triangle, which involves the Auslander bijections, universal extensions and the…
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 establish that any finite extension of function fields of genus greater than 1 whose relative class group is trivial is Galois and cyclic. This depends on a result from a preceding paper which establishes a finite list of possible Weil…
We study global properties of Dirichlet forms such as uniqueness of the Dirichlet extension, stochastic completeness and recurrence. We characterize these properties by means of vanishing of a boundary term in Green's formula for functions…
We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example we discuss to what extent the theory of a field k determines…
We study on finite unramified extensions of global function fields (function fields of one valuable over a finite field). We show two results. One is an extension of Perret's result about the ideal class group problem. Another is a…
Let $K$ be a field finitely generated over the field of rational numbers, $K(c)$ the extension of $K$ obtained by adjoining all roots of unity, $L$ an infinite Galois extension of $K$, $X$ an abelian variety defined over $K$. We prove that…
In this article we study the Galois group of field generated by division points of special class of formal group laws and prove an equivalent condition for the group to be abelian. Further, we explore relations between the endomorphism ring…
Let $k$ be a rational congruence function field and consider an arbitrary finite separable extension $K/k$. If for each prime in $k$ ramified in $K$ we have that at least one ramification index is not divided by the characteristic of $K$,…
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…
In the present work, we determine explicitly the genus of any separable cubic extension of any global function field given the minimal polynomial of the extension. We give algorithms computing the ramification data and the genus of any…
We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of…
Let $F$ be a global function field of characteristic $p>0$, $K/F$ an $\ell$-adic Lie extension ($\ell\neq p$) and $A/F$ an abelian variety. We provide Euler characteristic formulas for the $Gal(K/F)$-module $Sel_A(K)_\ell$.