Related papers: The fundamental group functor as a Kan extension

Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…

We give an explicit description of the arithmetic-geometric extension of iterated Galois groups of rational functions. This yields a complete solution to the extension problem when either the arithmetic or the geometric iterated Galois…

Let K be a finite extension of Q_p with residue field F_q and let P(T) = T^d + a_{d-1}T^{d-1} + ... +a_1 T, where d is a power of q and a_i is in the maximal ideal of K for all i. Let u_0 be a uniformizer of O_K and let {u_n}_{n \geq 0} be…

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 determine the asymptotic growth of extensions of local function fields of characteristic p counted by discriminant, where the Galois group is a subgroup of the affine group AGL_1(p). More general, we solve the corresponding counting…

The Elementary Type Conjecture in Galois theory provides a concrete inductive description of the finitely generated maximal pro-$p$ Galois groups $G_F(p)$ of fields $F$ containing a root of unity of order $p$. We describe several variants…

Let $\phi$ be a rank $r$ Drinfeld $\BF_q[T]$-module determined by $\phi_T(X) = TX+g_1X^q+...+g_{r-1}X^{q^{r-1}}+X^{q^r}$, where $g_1,...,g_{r-1}$ are algebraically independent over $\BF_q(T)$. Let $N\in\BF_q[T]$ be a polynomial, and…

We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to…

We prove that, under certain assumptions, generalized Hilbert-Kunz multiplicities can be expressed as linear combinations of classical Hilbert-Kunz multiplicities.

We show that a closed finite index subgroup of a free proalgebraic group is itself a free proalgebraic group. Our main motivation for this result is an application in differential Galois theory: The absolute differential Galois group of a…

Let G be a finite group and V a finite-dimensional rational G-representation. We ask whether there exists a finite Galois extension L/K of number fields with Galois group G, an elliptic curve E/K, and a G-submodule of E(L) tensor Q…

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we…

Let p be a prime and F(p) the maximal p-extension of a field F containing a primitive p-th root of unity. We give a new characterization of Demuskin groups among Galois groups Gal(F(p)/F) when p=2, and, assuming the Elementary Type…

The free profinite product of finitely many absolute Galois group is an absolute Galois group.

This paper describes the classification of analytic $q$-difference equations. The difference Galois groups are computed. A tentative description of the universal difference Galois group is given.

We construct the Weil functor $T^A$ corresponding to a general Weil algebra $A = K \oplus N$: this is a functor from the category of manifolds over a general topological base field or ring $K$ (of arbitrary characteristic) to the category…

We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…

We present a non-linear difference-differential equation whoes Galois group is a non-commutative and non-co-comutative Hopf algebra.

Let F/k be a finite abelian extension of global function fields, totally split at a distinguished place \infty. We prove that a complex Gras conjecture holds for a suitable group of Stark units, and we derive a refined analytic class number…

This paper introduces a natural extension of Kolchin's differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-linear case the iterative Picard-Vessiot theory recently developed by Matzat…