Related papers: Canonical quotients in model theory

Noncommutative lattices have been recently used as finite topological approximations in quantum physical models. As a first step in the construction of bundles and characteristic classes over such noncommutative spaces, we shall study their…

If $C$ is a curve over $\mathbb{Q}$ with genus at least $2$ and $C(\mathbb{Q})$ is empty, then the class of fields $K$ of characteristic 0 such that $C(K) = \varnothing$ has a model companion, which we call $C\mathrm{XF}$. The theory…

We study the singularities of varieties obtained as infinitesimal quotients by $1$-foliations in positive characteristic. (1) We show that quotients by (log) canonical $1$-foliations preserve the (log) singularities of the MMP. (2) We prove…

We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem,…

We study ideals in, and continuity of, quantaloid-enriched categories (Q-categories for short) as a 'many-valued and many-typed' generalization of domain theory. Abstractly, for any (saturated) class Phi of presheaves, we define and study…

We review realistic models that reproduce quantum theory in some limit and yield potentially new physics outside that limit. In particular, we consider deterministic hidden-variables theories (such as the pilot-wave model) and their…

Genus Theory is a classical feature of integral binary quadratic forms. Using the author's generalization of the well-known correspondence between quadratic form classes and ideal classes of quadratic algebras, we extend it to the case when…

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork…

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…

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

We study the mathematical theory of quantum resonances in the standard model of non-relativistic QED and in Nelson's model. In particular, we estimate the survival probability of metastable states corresponding to quantum resonances and…

We investigate the semigroup of invariant types through the lens of Ellis theory; primarily focusing on definably amenable NIP groups. In this context, we observe that the collection of strong right $f$-generic types forms the unique…

We use the theory of canonical models of Shimura varieties to describe the projective limit of the curves Y(N), all N, and its automorphism group. In particular we prove that the Galois group of Q(CM) over Q is an extension of a certain…

We introduce a new device in the study of abstract elementary classes (AECs): Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois type of length less than a fixed cardinal $\kappa$. We…

We consider a high-dimensional linear regression problem. Unlike many papers on the topic, we do not require sparsity of the regression coefficients; instead, our main structural assumption is a decay of eigenvalues of the covariance matrix…

Fix $K/\mathbf{Q}_p$ a finite extension and let $L/K$ be an infinite, strictly APF extension in the sense of Fontaine--Wintenberger. Let $X_K(L)$ denote its associated norm field. The goal of this paper is to associate to $L/K$, in a…

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

We propose a continuous normalizing flow for sampling from the high-dimensional probability distributions of Quantum Field Theories in Physics. In contrast to the deep architectures used so far for this task, our proposal is based on a…

We study linear $\alpha_p$-actions on affine spaces and the associated quotient singularities, using explicit stacky resolutions. We describe when the quotient singularities are log canonical, canonical or terminal, and we compute their…

The fast recurrent subspace (the biggest support of all invariant states) of a Weak Coupling Limit Type Quantum Markov Semigroup modeling a quantum transport open system of $N$-energy levels is determined. This is achieved by characterizing…