Related papers: Infinitary stability theory

Given an abelian algebraic group $A$ over a global field $F$, $\alpha \in A(F)$, and a prime $\ell$, the set of all preimages of $\alpha$ under some iterate of $[\ell]$ generates an extension of $F$ that contains all $\ell$-power torsion…

Let $X$ be a smooth, separated, geometrically connected scheme defined over a number field $K$ and $\{\rho_\lambda\}_\lambda$ a system of n-dimensional semisimple $\lambda$-adic representations of the \'etale fundamental group of $X$ such…

We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…

In this preprint we present an outline of the multidimensional version of topological Galois theory. The theory studies topological obstruction to solvability of equations "in finite terms" (i.e. to their solvability by radicals, by…

In this paper, we develop an approach to the problem of closing lemma based on KAM normal form. The new approach differs from existing $C^1$ perturbation approach and spectral approach, and can handle the high regularity, high dimensional…

Let $p$ be a prime, let $K$ be a discretely valued extension of $\mathbb{Q}_p$, and let $A_{K}$ be an abelian $K$-variety with semistable reduction. Extending work by Kim and Marshall from the case where $p>2$ and $K/\mathbb{Q}_p$ is…

We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the…

We construct a Galois correspondence for finite purely inseparable field extensions $F/K$, generalising a classical result of Jacobson for extensions of exponent one (where $x^p \in K$ for all $x\in F$).

We present a new language for persistent homology in terms of Galois connections. This language has two main advantages over traditional approaches. First, it simplifies and unifies central concepts such as interleavings and matchings.…

Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…

We establish a quantum Galois correspondence for compact Lie groups of automorphisms acting on a simple vertex operator algebra.

Motivated by $\tau$-tilting theory developed by Adachi, Iyama and Reiten, for a finite-dimensional algebra $\Lambda$ with action by a finite group $G$, we introduce the notion of $G$-stable support $\tau$-tilting modules. Then we establish…

Let $G$ be a finite group. For a based $G$-space $X$ and a Mackey functor $M$, a topological Mackey functor $X\widetilde\otimes M$ is constructed, which will be called the stable equivariant abelianization of $X$ with coefficients in $M$.…

A theory of monoids in the category of bicomodules of a coalgebra $C$ or $C$-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is…

We study the notion of linear sofic approximations for algebras, analogous to the concept of sofic representations for groups. We prove that for a finitely generated amenable $K$-algebra with no zero divisors, all linear sofic…

Let K/k be a finite Galois extension of number fields with Galois group G, S a large set of primes of K, and E the G-module of S-units of K. Previous work has determined the data which is necessary to determine the stable isomorphism class…

We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group…

We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple…

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

Suppose that $K$ is an infinite field which is large (in the sense of Pop) and whose first order theory is simple. We show that $K$ is {\em bounded}, namely has only finitely many separable extensions of any given finite degree. We also…