Related papers: Genus fields of abelian extensions of congruence r…

This work presents author's explicit methods of constructing abelian extensions of complete discrete valuation fields. His approach to explicit equations of a cyclic extension of degree p^n which contains a given cyclic extension of degree…

Recent results of Freitas, Kraus, Sengun and Siksek, give sufficient criteria for the asymptotic Fermat's Last Theorem to hold over a specific number field. Those works in turn build on many deep theorems in arithmetic geometry. In this…

It is well-known that degree two finite field extensions can be equipped with a Hermitian-like structure similar to the extension of the complex field over the reals. In this contribution, using this structure, we develop a modular…

We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of…

We prove the existence of secondary terms of order $X^{5/6}$ in the asymptotic formulas for the average size of the genus number of cubic fields and for the number of cubic fields with a given genus number, establishing improved error…

We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…

By analyzing the coefficients of the power series defining the Kubota--Leopoldt $p$-adic $L$-function associated to the non-trivial character of a real quadratic field, we prove a congruence of Ankeny--Artin--Chowla-type for prime power…

We define abelian extensions of algebras in congruence-modular varieties. The theory is sufficiently general that it includes, in a natural way, extensions of R-modules for a ring R. We also define a cohomology theory, which we call clone…

We give a congruence for L-functions coming from affine additive exponential sums over a finite field. Precisely, we give a congruence for certain operators coming from Dwork's theory. This congruence is very similar to the congruence of…

We introduce the universal unitarily graded A-algebra for a commutative ring A and an arbitrary abelian extension U of the group of units of A, and use this concept to give simplified proofs of the main theorems of co-Galois theory in the…

In this paper we present a combinatorial proof of the Kronecker--Weber Theorem for global fields of positive characteristic. The main tools are the use of Witt vectors and their arithmetic developed by H. L. Schmid. The key result is to…

Let $q$ be a power of a prime number $p$, $k=\mathbb{F}_{q}(t)$ be the rational function field over finite field $\mathbb{F}_{q}$ and $K/k$ be a multi-cyclic extension of prime degree. In this paper we will give an exact formula for the…

In this work we present some arithmetic properties of families of abelian $p$--extensions of global function fields, among which are their generators and their type of ramification and decomposition.

Let $N=K(\sqrt[3]{D})$ be a cubic Kummer extension of the cyclotomic field $K=\mathbb{Q}(\zeta_3)$, containing a primitive cube root of unity $\zeta_3$, with cube free integer radicand $D>1$. Denote by $f$ the conductor of the abelian…

Given a field K, a quadratic extension field L is an extension of K that can be generated from K by adding a root of a quadratic polynomial with coefficients in K. This paper shows how ACL2(r) can be used to reason about chains of quadratic…

We give defining equations for function fields over finite fields with many rational places. They are obtained from composita of quadratic extensions of the rational function field.

The Grothendieck conjecture for hyperbolic curves over finite fields was solved affirmatively by Tamagawa and Mochizuki. On the other hand, (a ``weak version'' of) the Grothendieck conjecture for some hyperbolic curves over algebraic…

We extend our previous computations for the relative positions of branches of quaternions to the case of local fields of even characteristic. This is a key step to understand the set of maximal orders containing a given suborder, which is…

Extensive work has been done to determine necessary and sufficient conditions for a bijective correspondence of abelian extensions of number fields to force an isomorphism of the base fields. However, explicit examples of correspondences…

We give a systematic method of providing numerical evidence for higher order Stark-type conjectures such as (in chronological order) Stark's conjecture over $\mathbb{Q}$, Rubin's conjecture, Popescu's conjecture, and a conjecture due to…