Related papers: Class fields, Dirichlet characters and extended ge…

We prove Tchebotarev type theorems for function field extensions over various base fields: number fields, finite fields, p-adic fields, PAC fields, etc. The Tchebotarev conclusion - existence of appropriate cyclic residue extensions - also…

For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable…

The article presents several methods for the arithmetic of finite abelian groups. We introduce a tool - already used by Delsarte in [1] as I found out later - analogous to Dirichlet's convolution to obtain combinatorial results on these…

We find that the solution of the polar angular differential equation can be written as the universal associated Legendre polynomials. Its generating function is applied to obtain an analytical result for a class of interesting integrals…

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…

We extend the family of classical Schur algebras in type A, which determine the polynomial representation theory of general linear groups over an infinite field, to a larger family, the rational Schur algebras, which determine the rational…

Fundamental domains are found for functions defined by general Dirichlet series and using basic properties of conformal mappings the Great Riemann Hypothesis is studied.

Let $G$ be one of the classical groups of Lie rank $l$. We make a similar construction of a general extension field in differential Galois theory for $G$ as E. Noether did in classical Galois theory for finite groups. More precisely, we…

We introduce the existence of a Genus-Type Theory that generalizes classical genus theory by linking fractional ideals of number fields to structures built from their Galois groups and associated Diophantine equations, as formally stated in…

We prove an analogue of the Tate conjecture on homomorphisms of abelian varieties over infinite cyclotomic extensions of finitely generated fields of characteristic zero.

This paper establishes a relationship between finite extensions and norm groups of formally real quasilocal fields, which yields a generally nonabelian local class field theory, including analogues to the fundamental correspondence, 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…

The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.

We obtain strong information on the asymptotic behaviour of the counting function for nilpotent Galois extensions with bounded discriminant of arbitrary number fields. This extends previous investigations for the case of abelian groups. In…

Let L/K be an extension of number fields where L/\Q is abelian. We define such an extension to be Leopoldt if the ring of integers O_L of L is free over the associated order A_L/K. Furthermore we define an abelian number field K to be…

The ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…

Extending G\"odel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite…

We provide a characterization of infinite algebraic Galois extensions of the rationals with uniformly bounded local degrees, giving a detailed proof of all the results announced in a paper by Checcoli and Zannier and obtaining relevant…

In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of…

We present a streamlined account of a recent theorem on the classification of the $L$-functions of degree 2 and conductor 1 from the extended Selberg class. We also present a more general new result dealing with functional equations…