Related papers: Classification properties for some ternary structu…

We observe that the definition of Shelah's classical $\mathrm{NSOP}_{n}$ hierarchy for first-order theories, for integers $n \geq 3$, can be restated so that it extends to the case where $n$ is replaced with any real number $r \geq 3$.…

We prove L^1 to L^infinity estimates for charge transfer Hamiltonians H(t) in R^n for n > or = 3, followed by a discussion of estimates from W^{k,p'} to W^{k,p} for the same model, where 2 < p < infinity and 1/p + 1/p'=1. Then, geometric…

We prove that the common theory of nonabelian free groups has the dimensional order property, or DOP, implying, for example, that there is no reasonable structure theorem for $\aleph_1$-saturated models of this theory.

In the three-dimensional sl(N) Chern-Simons higher-spin theory, we prove that the conical surplus and the black hole solution are related by the S-transformation of the modulus of the boundary torus. Then applying the modular group on a…

In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a…

Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP$_1$ or TP$_2$. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion…

We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…

We consider various $A_{\infty}$-algebras of differential (super)forms, which are related to gauge theories and demonstrate explicitly how certain reformulations of gauge theories lead to the transfer of the corresponding…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…

We develop a class of uniformizations for certain weight 3 variations of Hodge structure (VHS). The analytic properties of the VHS are used to establish a conjecture of Eskin, Kontsevich, M\"oller, and Zorich on Lyapunov exponents.…

We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NIP field K, the theory of infinite dimensional non-degenerate…

We study the $S_3$-orbifold of a rank three Heisenberg vertex algebras in terms of generators and relations. By using invariant theory we prove that the orbifold algebra has a minimal strongly generating set of vectors whose conformal…

Ramsey theory looks for regularities in large objects. Model theory studies algebraic structures as models of theories. The structural Ramsey theory combines these two fields and is concerned with Ramsey-type questions about certain…

We prove a Structure Identity Principle for theories defined on types of $h$-level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.

We classify, up to isometric congruence, the homogeneous hypersurfaces in the Riemannian symmetric spaces $\mathrm{SL}(3,\mathbb{H})/\mathrm{Sp}(3), \hspace{1pt} \mathrm{SO}(5,\mathbb{C})/\mathrm{SO}(5),$ and…

We classify spin structures on the noncommutative torus, and find that the noncommutative n-torus has 2^n spin structures, corresponding to isospectral deformations of spin structures on the commutative n-torus. For n>3 the classification…

This is the third in our series of papers relating gauge theoretic invariants of certain 4-manifolds with invariants of 3-manifolds derived from Rohlin's theorem. Such relations are well-known in dimension three, starting with Casson's…

We characterize $A_\infty$-structures that are transfers over a chain homotopy equivalence or a quasi-isomorphism, answering a question posed by D. Sullivan. Along the way, we present an obstruction theory for weak $A_\infty$-morphisms over…

We introduce new three-dimensional topological phases of two-band models using the Pontryagin-Thom construction. In symmetry class A these are the infinitely many Hopf-Chern topological insulators, which are hybrids of layered Chern…

Let $1 \le m \le n$. We prove various results about the chessboard complex $M_{m,n}$, which is the simplicial complex of matchings in the complete bipartite graph $K_{m,n}$. First, we demonstrate that there is nonvanishing 3-torsion in…