Related papers: Formalising the Krull Topology in Lean

We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…

We provide an intrinsic definition of the fundamental group of a linear category over a ring as the automorphism group of the fibre functor on Galois coverings. If the universal covering exists, we prove that this group is isomorphic to the…

This paper justifies an assertion in (Elder, Proc AMS 137 (2009), no 4, 1193--1203) that Galois scaffolds make the questions of Galois module structure tractable. Let $k$ be a perfect field of characteristic $p$ and let $K=k((T))$. For the…

We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in…

Let $F$ be a field of prime characteristic $p$ and let $q$ be a power of $p$. We assume that $F$ contains the finite field of order $q$. A $q$-polynomial $L$ over $F$ is an element of the polynomial ring $F[x]$ with the property that those…

The purpose of this paper is to define equivariant class group of a locally Krull scheme (that is, a scheme which is locally a prime spectrum of a Krull domain) with an action of a flat group scheme, study its basic properties, and apply it…

In this paper, we classify all continuous Galois representations $\rho:\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\to \mathrm{GL}_2(\overline{\mathbf{Q}}_p)$ which are unramified outside $\{p,\infty\}$ and locally induced at $p$, under…

We introduce singular subalgebroids of an integrable Lie algebroid, extending the notion of Lie subalgebroid by dropping the constant rank requirement. We lay the bases of a Lie theory for singular subalgebroids: we construct the associated…

The paper has three main applications. The first one is this Hilbert-Grunwald statement. If $f:X\rightarrow \Pp^1$ is a degree $n$ $\Qq$-cover with monodromy group $S_n$ over $\bar\Qq$, and finitely many suitably big primes $p$ are given…

We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic…

We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an…

For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect…

In this paper we introduce a new method for finding Galois groups by computer. This is particularly effective in the case of Galois groups of p-extensions ramified at finitely many primes but unramified at the primes above p. Such Galois…

Broadly speaking, a finiteness property of groups is any generalisation of the property of having finite order. A large part of infinite group theory is concerned with finiteness properties and the relationships between them. Profinite…

Over a smooth and proper complex scheme, the differential Galois group of an integrable connection may be obtained as the closure of the transcendental monodromy representation. In this paper, we employ a completely algebraic variation of…

Motivated by the work of Lubotzky, we use Galois cohomology to study the difference between the number of generators and the minimal number of relations in a presentation of the Galois group $G_S(k)$ of the maximal extension of a global…

Let $L/F$ be a finite Galois extension of number fields with an arbitrary Galois group $G$. We give an explicit description of the kernel of the natural map on motivic tame kernels $H^2_{\mathcal{M}}(o_L, {\bf Z}(i))_{G} {\rightarrow}…

In this paper, we study non-planar degeneracies with cylindrical configurations. They could be constructed by the product $\mathbb{CP}^1 \times T$ of the projective plane and a complex torus with embedding $(m,n)$. We prove that their…

We prove that Galois cohomology satisfies several surprisingly strong versions of Koszul properties, under a well known conjecture, in the finitely generated case. In fact, these versions of Koszulity hold for all finitely generated maximal…

We give a complete classification of all the potentially crystalline 3-adic representations of the absolute Galois group of $\mathbb{Q}_3$ that are isomorphic to the Tate module of an elliptic curve defined over $\mathbb{Q}_3$. These…