Related papers: Local-global Galois theory of arithmetic function …

The classical Grunwald--Wang theorem asserts that, unless we are in the so-called special case, local cyclic Galois extensions at finitely many completions of a number field can be approximated by a global cyclic extension. In the special…

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…

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 a notion of algorithmic randomness for algebraic fields. We prove the existence of a continuum of algebraic extensions of $\mathbb{Q}$ that are random according to our definition. We show that there are noncomputable algebraic…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We generalize the Cauchy-Davenport theorem to locally compact groups.

Many active mathematical research topics nowadays include the concepts of valued fields and local fields, especially the local field of p-adic numbers Qp and the field of formal Laurent series F((X)). Local fields are a notion situated in…

We generalise Coleman's construction of Hecke operators to define an action of GL_2(Q_l) on the space of finite slope overconvergent p-adic modular forms (l not equal p). In this way we associate to any C_p-valued point on the tame level N…

We develop Hopf-Galois theory for weak Hopf algebras, and recover analogs of classical results for Hopf algebras. Our methods are based on the recently introduced Galois theory for corings. We focus on the situatation where the weak Hopf…

The absolute Galois group Gal$(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be presented as a highly computable object, under the notion of type-2 Turing computation. We formalize such a presentation…

This paper deals with the Weak Inverse Galois Problem which, for a given field $k$, states that, for every finite group $G$, there exists a finite separable extension $L/k$ such that ${\rm{Aut}}(L/k)=G$. One of its goals is to explain how…

In this paper a mathematically precise global (i.e. not the usual local) approach is presented to the variational principles of general relativistic classical field theories. Problems of the classic (usual) approaches are also discussed in…

Let $K$ be a local function field of characteristic $l$, $\mathbb{F}$ be a finite field over $\mathbb{F}_p$ where $l \ne p$, and $\overline{\rho}: G_K \rightarrow \text{GL}_n (\mathbb{F})$ be a continuous representation. We apply the…

We prove that certain fields have the property that their absolute Galois groups are free as profinite groups: the function field of a real curve with no real points; the maximal abelian extension of a 2-variable Laurent series field over a…

The classical Galois theory deals with certain finite algebraic extensions and establishes a bijective order reversing correspondence between the intermediate fields and the subgroups of a group of permutations called the Galois group of…

In this expository paper we provide a geometric proof of the local Langlands Correspondence for the groups $\operatorname{GL}_{1}$ defined over $p$-adic fields $K$. We do this by redeveloping the theory of proalgebraic groups and use this…

This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but…

According to the generalized Polya theorem, the Gaussian distribution on the real line is characterized by the property of equidistribution of a monomial and a linear form of independent identically distributed random variables. We give a…

Generalizing earlier results concerning p-adic fields, this paper develops a theory of B(G) for all local and global fields.

We provide a criterion for non-vanishing of period integrals on automorphic representations of a general linear group over a division algebra. We consider three different periods: linear periods, twisted-linear periods and Galois periods.…