Related papers: The fundamental group functor as a Kan extension
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we…
We develop a modification of the Zariski--van Kampen approach for the computation of the fundamental group of a trigonal curve with improper fibers. As an application, we list the deformation families and compute the fundamental groups of…
Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal…
If we consider a q-analogue of linear differential equation, Galoois group of the q-analogue difference equation is still a linear algebraic group. Namely, by a quantization of linear differential equation, Galois group is not quantized. We…
Let $F$ be a field of characteristic $0$ containing all roots of unity. We construct a functorial compact Hausdorff space $X_F$ whose profinite fundamental group agrees with the absolute Galois group of $F$, i.e. the category of finite…
We exhibit a method to numerically compute power series expansions of modular forms on a cocompact Fuchsian group, using the explicit computation a fundamental domain and linear algebra.
We develop algorithms to compute the differential Galois group $G$ associated to a parameterized second-order homogeneous linear differential equation of the form \[ \tfrac{\partial^2}{\partial x^2} Y + r_1 \tfrac{\partial}{\partial x} Y +…
Let K be a number field and let f(x) = x^q + c where q is a prime power, c is in K, and f is not post-critically finite. We show that for any strictly preperiodic b in K, the iterated Galois group at b with respect to f has finite index in…
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…
These are the notes for an undergraduate course at the University of Edinburgh, 2021-2023. Assuming basic knowledge of ring theory, group theory and linear algebra, the notes lay out the theory of field extensions and their Galois groups,…
In this article we show how Gr\"un's results in group theory can be used for studying the structure of class groups in normal extensions.
In this mainly expository note, we state a criterion for when a left Kan extension of a lax monoidal functor along a strong monoidal functor can itself be equipped with a lax monoidal structure, in a way that results in a left Kan extension…
We prove that the Galois groupoid of the category of $G$-spectra for a finite group $G$ is algebraic, i.e. equivalent to the \'etale fundamental groupoid of the Burnside ring of $G$. We implement an algorithm that computes the latter from…
Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor.
The main theorem of Galois theory states that there are no finite group-subgroup pairs with the same invariants. On the other hand, if we consider complex linear reductive groups instead of finite groups, the analogous statement is no…
We study quadratic forms that can occur as trace forms of Galois field extensions L/K, under the assumption that K contains a primitive 4th root of unity. M. Epkenhans conjectured that any such form is a scaled Pfister form. We prove this…
In this note, we investigate how different fundamental groups of presentations of a fixed algebra $A$ can be. For finitely many finitely presented groups $G_i$, we construct an algebra $A$ such that all $G_i$ appear as fundamental groups of…
We give a characterization of real Liouville extensions by differential Galois groups.
In this note we give a counter example to a conjecture of Malle which predicts the asymptotic behaviour of the counting functions for field extensions with given Galois group and bounded discriminant.
We prove a continued fraction expansion for a certain q--tangent function that was conjectured by Prodinger.