Related papers: Maximal WAP and tame quotients of type spaces
We study canonical quotients in model theory, mainly stable quotients of type-definable groups and invariant types in NIP theories. We extend the modelling property to continuous theories and use it to study $n$-dependence in hyperdefinable…
For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of…
Let ${\mathfrak{X}}$ be a class of finite groups closed under taking subgroups, homomorphic images, and extensions. Denote by ${\mathrm{k}}_{\mathfrak{X}}(G)$ the number of conjugacy classes ${\mathfrak{X}}$-maximal subgroups of a finite…
We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…
Given a finite metric CW complex $X$ and an element $\alpha \in \pi_n(X)$, what are the properties of a geometrically optimal representative of $\alpha$? We study the optimal volume of $k\alpha$ as a function of $k$. Asymptotically, this…
For a curve $C$ over a perfect field $k$ of characteristic $p > 0$ we study the tame cohomology of $X = \textit{Spa}(C,k)$ introduced in arXiv:1801.04776. We prove that the tame cohomology groups of $X$ with $p$-torsion coefficients satisfy…
For classes of topological vector spaces, we analyze under which conditions open-mapping, continuous-inverse, and closed-graph properties are equivalent. Here, closure under quotients with closed subspaces and closure under closed graphs…
We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: $\mathbf{Theorem}$ If $K$ is a tame AEC with amalgamation satisfying a natural definition of…
A closed discrete subset $A\subset \mathbb{C}$ is called tame if $\mathbb{C}\setminus A$ is quasiconformally equivalent to $\mathbb{C}\setminus \mathbb{Z}$. By giving several criteria for $A$ to be tame, we shall show that…
Aim of this article is a Satake type theorem for super automorphic forms on a complex bounded symmetric super domain B of rank 1 with respect to a lattice. This theorem - roughly speaking - says that for large weight k and all p from 1 to…
Let $Top_c$ be the category of compact spaces and continuous maps and $Top_f\subset Top_c$ be the full subcategory of finite spaces. Consider the covariant functor $Mor:Top_f^{op}\times Top_c\to Top_c$ that associates any pair $(X,Y)$ with…
We study the optimization version of constraint satisfaction problems (Max-CSPs) in the framework of parameterized complexity; the goal is to compute the maximum fraction of constraints that can be satisfied simultaneously. In standard…
Let $X$ be a singular algebraic variety defined over a field $k$, with quotient field $K(X)$. Let $s \geq 2$ be the highest multiplicity of $X$ and $F_s(X)$ the set of points of multiplicity $s$. If $Y\subset F_s(X)$ is a regular center and…
We investigate the connections between continuous model theory, free probability, and optimal transport/convex analysis in the context of tracial von Neumann algebras. In particular, we give an analog of Monge-Kantorovich duality for…
A new pair of asymptotic invariants for finitely presented groups, called intrinsic and extrinsic tame filling functions, are introduced. These filling functions are quasi-isometry invariants that strengthen the notions of intrinsic and…
Let $X$ be a partially ordered set with the property that each family of order intervals of the form $[a,b],[a,\rightarrow )$ with the finite intersection property has a nonempty intersection. We show that every directed subset of $X$ has a…
In the maximum constraint satisfaction problem (MAX CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given finite domain to the variables so…
Let $K$ be a number field with a finite set $S$ of primes. We study the cohomology of $\mathbb{F}_p[G_{K,S}]$-modules $A$, in particular the Shafarevich groups $\Sha^i_S(K,A)$ for $i=1,2$ for tame sets $S$, i.e., for sets $S$ that contain…
For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete…
Let $\fg$ be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra $\fh$ and the Weyl group $W$. Let $P_+$ be the set of dominant integral weights. For $\lambda \in P_+$, let $L(\lambda)$ be the irreducible, integrable,…