Related papers: Loop group schemes and Abhyankar's lemma
Let $S$ be a Dedekind scheme, $X$ a connected $S$-scheme locally of finite type and $x\in X(S)$ a section. The aim of the present paper is to establish the existence of the fundamental group scheme of $X$, when $X$ has reduced fibers or…
Given a $T$-rough definably amenable $T$-rough approximate subgroup $A$ of a group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ of bounded index in $\langle A\rangle$.
For a rigid tensor abelian category $T$ over a field $k$ we introduce a notion of a normal quotient $q:T\to Q$. In case $T$ is a Tannaka category, our notion is equivalent to Milne's notion of a normal quotient. More precisely, if $T$ is…
Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…
This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible…
Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…
We develop an affine scheme-theoretic version of Hamiltonian reduction by symplectic groupoids. It works over $\Bbbk=\mathbb{R}$ or $\Bbbk=\mathbb{C}$, and is formulated for an affine symplectic groupoid $\mathcal{G}\rightrightarrows X$, an…
In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme $X$ in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the…
Let $G$ be a connected reductive group over a number field $F$, and let $S$ be a set (finite or infinite) of places of $F$. We give a necessary and sufficient condition for the surjectivity of the localization map from $H^1(F,G)$ to the…
We give sharp criteria for when a reductive group scheme satisfies Tannakian reconstruction. When the base scheme is Noetherian, we explicitly identify its Tannaka group scheme.
We define the notion of inseparable coverings of schemes and we propose a ramification formalism for them, along the lines of the classical one. Using this formalism we prove a formula analogous to the classical Riemann-Hurwitz formula for…
Several known constructions relate initial degenerations of projective toric varieties and Grassmannians to regular subdivisions of appropriate point configurations. We define a general framework which allows for partial generalizations of…
We consider a left-invariant (sub-)Lorentzian structure on a Lie group. We assume that this structure is defined by a closed convex salient cone in the corresponding Lie algebra and a continuous antinorm associated with this cone. We derive…
We define the algebraic fundamental group functor of a reductive group scheme over an arbitrary (non-empty) base scheme and prove that this functor is exact.
We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was…
An important subcase of the hidden subgroup problem is equivalent to the shift problem over abelian groups. An efficient solution to the latter problem would serve as a building block of quantum hidden subgroup algorithms over solvable…
We investigate the theory of affine group schemes over a symmetric tensor category, with particular attention to the tangent space at the identity. We show that this carries the structure of a restricted Lie algebra, and can be viewed as…
We study relatively minimal subgroups in topological groups. We find, in particular, some natural relatively minimal subgroups in unipotent groups which are defined over "good" rings. By "good" rings we mean archimedean absolute valued (not…
In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…
We introduce the notions of relational groupoids and relational convolution algebras. We provide various examples arising from the group algebra of a group $G$ and a given normal subgroup $H$. We also give conditions for the existence of a…