We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev’s Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb {Z}^{k}$, we define a local net of boundary algebras on $\mathbb {Z}^{k-1}$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Oga24] that the bulk cone von Neumann algebra in the Toric Code is of type $\mathrm {II}$, and we show that Levin-Wen models can have cone algebras of type $\mathrm {III}$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.

Let k be a field finitely generated over its prime subfield. We prove that the quotient of the Brauer group of a product of varieties over k by the sum of the images of the Brauer groups of factors has finite exponent. The bulk of the proof concerns p-primary torsion in characteristic p. Our approach gives a more direct proof of the boundedness of the p-primary torsion of the Brauer group of an abelian variety, as recently proved by D’Addezio. We show that the transcendental Brauer group of a Kummer surface over k has finite exponent but can be infinite when k is an infinite field of positive characteristic. This answers a question of Zarhin and the author.

For every positive integer n, we introduce a set ${\mathcal {T}}_n$ made of $(n+3)^2$ Wang tiles (unit squares with labeled edges). We represent a tiling by translates of these tiles as a configuration $\mathbb {Z}^2\to {\mathcal {T}}_n$. A configuration is valid if the common edge of adjacent tiles has the same label. For every $n\geq 1$, we show that the Wang shift ${\Omega }_n$, defined as the set of valid configurations over the tiles ${\mathcal {T}}_n$, is self-similar, aperiodic and minimal for the shift action. We say that $\{{\Omega }_n\}_{n\geq 1}$ is a family of metallic mean Wang shifts, since the inflation factor of the self-similarity of $\Omega _n$ is the positive root of the polynomial $x^2-nx-1$. This root is sometimes called the n-th metallic mean, and in particular, the golden mean when $n=1$, and the silver mean when $n=2$. When $n=1$, the set of Wang tiles ${\mathcal {T}}_1$ is equivalent to the Ammann aperiodic set of 16 Wang tiles.

We prove that the mapping class group is not an h-cobordism invariant of high-dimensional manifolds by exhibiting h-cobordant manifolds whose mapping class groups have different cardinalities. In order to do so, we introduce a moduli space of ‘h-block’ bundles and understand its difference with the moduli space of ordinary block bundles.

We generalize Baker–Bowler’s theory of matroids over tracts to orthogonal matroids, define orthogonal matroids with coefficients in tracts in terms of Wick functions, orthogonal signatures, circuit sets and orthogonal vector sets, and establish basic properties on functoriality, duality and minors. Our cryptomorphic definitions of orthogonal matroids over tracts provide proofs of several representation theorems for orthogonal matroids. In particular, we give a new proof that an orthogonal matroid is regular if and only if it is representable over ${\mathbb F}_2$ and ${\mathbb F}_3$, which was originally shown by Geelen [16], and we prove that an orthogonal matroid is representable over the sixth-root-of-unity partial field if and only if it is representable over ${\mathbb F}_3$ and ${\mathbb F}_4$.

We prove almost global well-posedness for quasilinear strongly coupled wave-Klein-Gordon systems with small and localized data in two space dimensions. We assume only mild decay on the data at infinity as well as minimal regularity. We systematically investigate all the possible quadratic null form type quasilinear strong coupling nonlinearities.

A key feature of the paper is our new, robust approach to the vector field method, which enables us to work at minimal regularity and decay in a quasilinear setting, and which, we believe, can be applied for a much wider class of problems.

We formulate Guo–Jacquet type fundamental lemma conjectures and arithmetic transfer conjectures for inner forms of $GL_{2n}$. Our main results confirm these conjectures for division algebras of invariant $1/4$ and $3/4$.

Quantum interactions exchanging different types of particles play a pivotal rôle in quantum many-body theory, but they are not sufficiently investigated from a mathematical perspective. Here, we consider a system made of two fermions and one boson, in order to study the effect of such an off-diagonal interaction term, having in mind the physics of cuprate superconductors. Additionally, our model also includes a generalized Hubbard interaction (i.e., a general local repulsion term for the fermions). Regarding pairing, exponentially localized dressed bound fermion pairs are shown to exist, and their effective dispersion relation is studied in detail. Scattering properties of the system are derived for two channels: the unbound and bound pair channels. We give particular attention to the regime of very large on-site (Hubbard) repulsions because this situation is relevant for cuprate superconductors.

We study infinite groups interpretable in power bounded T-convex, V-minimal or p-adically closed fields. We show that if G is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups) then, up to a finite index subgroup, it is definably isogenous to a group $G_1\times G_2$, where $G_1$ is a K-linear group and $G_2$ is a $\mathbf {k}$-linear group. The analysis is carried out by studying the interaction of G with four distinguished sorts: the valued field K, the residue field $\mathbf {k}$, the value group $\Gamma $, and the closed $0$-balls $K/\mathcal {O}$.

Following [1], given cardinals $\kappa <\lambda $, we say $\kappa $ is a club $\lambda $-Berkeley cardinal if for every transitive set N of size $<\lambda $ such that $\kappa \subseteq N$, there is a club $C\subseteq \kappa $ with the property that for every $\eta \in C$, there is an elementary embedding $j: N\rightarrow N$ with $\mathrm {crit }(j)=\eta $. We say $\kappa $ is $\nu $-club $\lambda $-Berkeley if $C\subseteq \kappa $ as above is a $\nu $-club. We say $\kappa $ is $\lambda $-Berkeley if C is unbounded in $\kappa $. We show that under $\textsf {AD}^{+}$, (1) every regular Suslin cardinal is $\omega $-club $\Theta $-Berkeley (see Theorem 7.1), (2) $\omega _1$ is club $\Theta $-Berkeley (see Theorem 3.1 and Theorem 7.1), and (3) the ’s are $\Theta $-Berkeley – in particular, $\omega _2$ is $\Theta $-Berkeley (see Remark 7.5).

Along the way, we represent regular Suslin cardinals in direct limits as cutpoint cardinals (see Theorem 5.1). This topic has been studied in [31] and [4], albeit from a different point of view. We also show that, assuming $V=L({\mathbb {R}})+{\textsf {AD}}$, $\omega _1$ is not $\Theta ^+$-Berkeley, so the result stated in the title is optimal (see Theorem 9.14 and Theorem 9.19).

Nakamura and Tsuji recently obtained an integral inequality involving a Laplace transform of even functions that implies, at the limit, the Blaschke-Santaló inequality in its functional form. Inspired by their method, based on the Fokker-Planck semi-group, we extend the inequality to non-even functions. We consider a well-chosen centering procedure by studying the infimum over translations in a double Laplace transform. This requires a new look on the existing methods and leads to several observations of independent interest on the geometry of the Laplace transform. Application to reverse hypercontractivity is also given.

Given a symmetric monoidal category ${\mathcal C}$ with product $\sqcup $, where the neutral element for the product is an initial object, we consider the poset of $\sqcup $-complemented subobjects of a given object X. When this poset has finite height, we define decompositions and partial decompositions of X which are coherent with $\sqcup $, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness.

In well-studied scenarios, the poset of $\sqcup $-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of nondegenerate subspaces of a vector space with a nondegenerate form, and the lattice of flats of a matroid. The decomposition and partial decomposition posets, the complex of frames and partial bases together with the ordered versions, either coincide with well-known structures, generalize them, or yield new interesting objects. In these particular cases, we provide new results along with open questions and conjectures.

We prove lower bounds on the density of regular minimal cones of dimension less than seven provided the complements of the cones are topologically nontrivial.

Let ${\mathscr {G}} $ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb {C}$, excluding the absolutely special case of $A^{(2)}_{2\ell }$. Using the methods and results of Zhu, we prove a duality theorem for general ${\mathscr {G}} $: there is a duality between the level one twisted affine Demazure modules and the function rings of certain torus fixed point subschemes in affine Schubert varieties for ${\mathscr {G}} $. Along the way, we also establish the duality theorem for $E_6$. As a consequence, we determine the smooth locus of any affine Schubert variety in the affine Grassmannian of ${\mathscr {G}} $. In particular, this confirms a conjecture of Haines and Richarz.

We construct two families of orthogonal polynomials associated with the universal central extensions of the superelliptic Lie algebras. These polynomials satisfy certain fourth-order linear differential equations, and one of the families is a particular collection of associated ultraspherical polynomials. We show that the generating functions of the polynomials satisfy fourth-order linear PDEs. Since these generating functions can be represented by superelliptic integrals, we have examples of linear PDEs of fourth order with explicit solutions without complete integrability.

We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where n is even. For these varieties, we construct smooth p-adic integral models for $s=1$ and regular p-adic integral models for $s=2$ and $s=3$ over odd primes p which ramify in the imaginary quadratic field with level subgroup at p given by the stabilizer of a $\pi $-modular lattice in the hermitian space. Our construction, which has an explicit moduli-theoretic description, is given by an explicit resolution of a corresponding local model.

We prove two compactness theorems for HOD. First, if $\kappa $ is a strong limit singular cardinal with uncountable cofinality and for stationarily many $\delta <\kappa $, $(\delta ^+)^{\mathrm {HOD}}=\delta ^+$, then $(\kappa ^+)^{\mathrm {HOD}}=\kappa ^+$. Second, if $\kappa $ is a singular cardinal with uncountable cofinality and stationarily many $\delta <\kappa $ are singular in $\operatorname {\mathrm {HOD}}$, then $\kappa $ is singular in $\operatorname {\mathrm {HOD}}$. We also discuss the optimality of these results and show that the first theorem does not extend from $\operatorname {\mathrm {HOD}}$ to other $\omega $-club amenable inner models.

We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of $OG10$ type. In particular, if X is an IHS manifold of $OG10$ type and G a finite subgroup of symplectic birational transformations of X, then the action of G on $H^2(X,\mathbb {Z})$ is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for when such a group is determined by a group of automorphisms acting on a cubic fourfold, and apply it to our classification. Our proof is computer aided, and our results are available in a Zenodo dataset.

We construct a novel family of difference-permutation operators and prove that they are diagonalized by the wreath Macdonald P-polynomials; the eigenvalues are written in terms of elementary symmetric polynomials of arbitrary degree. Our operators arise from integral formulas for the action of the horizontal Heisenberg subalgebra in the vertex representation of the corresponding quantum toroidal algebra.