Related papers: Supersimple structures with a dense independent su…

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= \pi_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide…

We make a first step towards a classification of simple generalized Harish-Chandra modules which are not Harish-Chandra modules or weight modules of finite type. For an arbitrary algebraic reductive pair of complex Lie algebras $(\g,\k)$,…

A class of structures is monadically dependent if one cannot interpret all graphs in colored expansions from the class using a fixed first-order formula. A tree-ordered $\sigma$-structure is the expansion of a $\sigma$-structure with a…

We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic…

A quasi-hereditary algebra is an algebra equipped with a certain partial order $\unlhd$ on its simple modules. Such a partial order -- called a quasi-hereditary structure -- gives rise to a characteristic tilting module $T_{\unlhd}$ by a…

Let G be an arbitrary finite group and let S and T be two subsets such that |S|>1, |T|>1, and |TS|< |T|+|S|< |G|-1. We show that if |S|< |G|-4|G|^{1/2}+1 then either S is a geometric progression or there exists a non-trivial subgroup H such…

Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the…

We consider exponent equations in finitely generated groups. These are equations, where the variables appear as exponents of group elements and take values from the natural numbers. Solvability of such (systems of) equations has been…

We find a natural $L_{\omega_1,\omega}$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a unique model in every uncountable…

A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary…

We initiate the study of the expansion $\mathcal{S}(M)$ of a monoid $M$ obtained via the semidirect product of $M$ acting naturally on the left of its power set (regarded as a semilattice under union). We term this the `subset expansion' of…

This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

The fundamental groupoid of a space becomes enriched over the category of topological spaces when the hom-sets are endowed with topologies intimately related to universal constructions of topological groups. This paper is devoted to a…

Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a…

We construct new composite Higgs/gauge-Higgs unification (GHU) models in flat space that overcome all the difficulties found in the past in attempting to construct models of this sort. The key ingredient is the introduction of large…

We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…

Let $G$ be the simple algebraic group $\mathrm{SL}_2$ defined over an algebraically closed field $k$ of characteristic $p > 0$. Using results of A. Parker, we develop a method which gives, for any $q \in \mathbb{N}$, a closed form…

For a given d-minimal expansion $\mathfrak R$ of the ordered real field, we consider the expansion $\mathfrak R^\natural$ of $\mathfrak R$ generated by the sets of the form $\bigcup_{S \in \mathcal C}S$, where $\mathcal C$ is a subfamily of…