Related papers: Tame pseudofinite theories with wild pseudofinite …
We investigate a number of simple toy models to explore interesting relationships between dynamics and typicality. We start with an infinite model that has been proposed as an illustration of how non-ergodic dynamics can produce interesting…
Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…
We construct Symmetry Topological Field Theories (SymTFTs) for continuous subsystem symmetries, which are inherently non-Lorentz-invariant. Our framework produces dual bulk descriptions -- gapped foliated and exotic SymTFTs -- that generate…
A non-commutative multi-dimensional cosmological model is introduced and used to address the issues of compactification and stabilization of extra dimensions and the cosmological constant problem. We show that in such a scenario these…
We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact".
We provide a completely new relation between curvature bounds and definiteness of the causal character of maximizers by exploiting the robust notion of synthetic curvature. This enables us to relate low-regularity inextendibility of…
We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…
Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are…
In representation theory, the problem of classifying pairs of matrices up to simultaneous similarity is used as a measure of complexity; classification problems containing it are called wild problems, and the other are referred to as tame.
The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…
The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
A new approach to Jiu-Kang Yu's construction of tame supercuspidal representations of $p$-adic reductive groups is presented. Connections with the theory of cuspidal Deligne-Lusztig representations of finite groups of Lie type are also…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
Higher-dimensional theories provide a promising framework for unified extensions of the supersymmetric standard model. Compactifications to four dimensions often lead to U(1) symmetries beyond the standard model gauge group, whose breaking…
The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.
We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…
We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…
Vacuum Einstein theory in three spacetime dimensions is locally trivial, but admits many solutions that are globally different, particularly if there is a negative cosmological constant. The classical theory of such locally "anti-de Sitter"…
The Distance Conjecture states that an infinite tower of modes becomes exponentially light when approaching an infinite distance point in field space. We argue that the inherent path-dependence of this statement can be addressed when…
We investigate M-theory and heterotic compactifications to 7 and 3 dimensions. In 7 dimensions we discuss a class of massive supergravities that arise from M-theory on K3 and point out obstructions to realizing these theories in a dual…