Related papers: Infinite class towers for function fields

We use the notion of an Etesi $C^*$-algebra to prove that the real class field towers are always finite.

Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…

Fix a finite collection of primes $\{ p_j \}$, not containing $2$ or $3$. Using some observations which arose from attempts to solve the SIC-POVMs problem in quantum information, we give a simple methodology for constructing an infinite…

We give lower bounds on the number of effective divisors of degree $\leq g-1$ with respect to the number of places of certain degrees of an algebraic function field of genus $g$ defined over a finite field. We deduce lower bounds and…

Given a prime number $p$, we consider the tower of finite fields $F_p=L_{-1}\subset L_0\subset L_1\subset\cdots$, where each step corresponds to an Artin-Schreier extension of degree $p$, so that for $i\geq 0$, $L_{i}=L_{i-1}[c_{i}]$, where…

Let E be a modular elliptic curve defined over a rational function field k of odd characteristic. We construct a sequence of Heegner points on E, defined over a $Z_p^{\infty}$-tower of finite extensions of k, and show that these Heegner…

Let $\ell$ be an odd prime, $q$ an odd prime power such that $q \not\equiv 0 \pmod \ell$, and $m$ the order of $q$ in $\F_\ell^\times$. We propose an explicit $L$-polynomial of hyperelliptic function field $K:=\F_q(T,…

We construct a tower of fields from the rings $R_n$ which parametrize pairs $(X,\lambda)$, where $X$ is a deformation of a fixed one-dimensional formal group $\mathbb{X}$ of finite height $h$, together with a Drinfeld level-$n$ structure…

In this paper, we study the length of the $2$-class field towers and the structure of the Galois groups $\mathrm{Gal}(\mathcal{L}(K_n)/K_n)$ of the maximal unramified $2$-extensions of the layers $K_n$ of the cyclotomic…

For a cyclic Kummer extension $K$ of a rational function field $k$ is considered, via class field theory, the extended Hilbert class field $K_H^+$ of $K$ and the corresponding extended genus field $K_g^+$ of $K$ over $k$, along the lines of…

Let $k$ denote an algebraically closed field. We revisit a construction of the author of families of elliptic curves over the rational function field $k(t)$. Combining a combinatorial analysis with a rank formula of Ulmer we prove that, for…

We consider the class of complete discretely valued fields such that the residue field is of prime characteristic p and the cardinality of a $p$-base is 1. This class includes two-dimensional local and local-global fields. A new definition…

Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied…

Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…

Let k be a number field, p$\ge$2 a prime and S a set of tame or wild finite places of k. We call K/k a totally S-ramified cyclic p-tower if Gal(K/k)=Z/p^NZ and if S non-empty is totally ramified. Using analogues of Chevalley's formula…

Let p be an odd prime. Let F_p^* be the no-null part of the finite field of p elements. Let K=\Q(zeta) be a p-cyclotomic field and O_K be its ring of integers. Let pi be the prime ideal of K lying over p. Let sigma : zeta --> zeta^v be the…

Let $q$ be a power of a prime number $p$. Let $k=\mathbb{F}_{q}(t)$ be the rational function field with constant field $\mathbb{F}_{q}$. Let $K=k(\alpha)$ be an Artin-Schreier extension of $k$. In this paper, we explicitly describe the…

In 1975, [LMQ] listed 7 function felds over fnite felds (up to isomorphism) with positive genus and class number (i.e., the size of the divisor class group of degree zero) one and claimed to prove that these were the only ones such. In…

We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory…

Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension of degree $n=ap^{\nu}$. The indices of inseparability $i_0,i_1,...,i_{\nu}$ of $L/K$ were defined by Fried in…