Related papers: Every 2-Segal space is unital

We prove that the Birkhoff pointwise ergodic theorem and the Oseledets multiplicative ergodic theorem hold for every flat surface in almost every direction. The proofs rely on the strong law of large numbers, and on recent rigidity results…

Segre proved that a smooth cubic surface over Q is unirational iff it has a rational point. We prove that the result also holds for cubic hypersurfaces over any field, including finite fields.

The regular representation of an essentially finite 2-group $\mathbb{G}$ in the 2-category $\mathbf{2Vect}_k$ of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it computed. It is next shown that…

Evidence is given for the correctness of the Joyal-Riehl-Verity construction of the homotopy bicategory of the $(\infty, 2)$-category of $(\infty, 1)$-categories; in particular, it is shown that the analogous construction using complete…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

We prove the existence of a universal family over every component of the moduli space of marked irreducible holomorphic symplectic manifolds. The analogous result follows for the Teichmuller spaces.

We demonstrate that all rational models of the N=2 super Virasoro algebra are unitary. Our arguments are based on three different methods: we determine Zhu's algebra (for which we give a physically motivated derivation) explicitly for…

We study totally decomposable symplectic and unitary involutions on central simple algebras of index 2 and on split central simple algebras respectively. We show that for every field extension, these involutions are either anisotropic or…

Let $\cU$ be a unital embedded in the Desarguesian projective plane $\PG(2,q^2)$. Write $M$ for the subgroup of $\PGL(3,q^2)$ which preserves $\cU$. We show that $\cU$ is classical if and only if $\cU$ has two distinct points $P,Q$ for…

We prove that every braiding on a unitary fusion category is automatically unitary, and that every unitary braided fusion category admits a unique unitary ribbon structure.

Using the methods of the previous paper [ABG], we show that the Teichmuller space T of all closed Riemann surfaces is fibred twice over the Teichmuller space H of hyperelliptic ones. Both fibre bundles \pi_1,\pi_2:T->H are real algebraic…

We show that, for a positive integer $r$, every minimal 1-saturating set in ${\rm PG}(r-1,2)$ of size at least ${11/36} 2^r+3$ is either a complete cap or can be obtained from a complete cap $S$ by fixing some $s\in S$ and replacing every…

We present a unified treatment of sequential measurements of two conjugate observables. Our approach is to derive a mathematical structure theorem for all the relevant covariant instruments. As a consequence of this result, we show that…

In a previous work, the first named author described the set $\cal P$ of all values of the Szlenk indices of separable Banach spaces. We complete this result by showing that for any integer $n$ and any ordinal $\alpha$ in $\cal P$, there…

The goal is to review the notion of a complete Segal space and how certain categorical notions behave in this context. In particular, we study functoriality in complete Segal spaces via fibrations. Then we use it to define limits and…

The Urysohn universal metric space U is characterized up to isometry by the following properties: (1) U is complete and separable; (2) U contains an isometric copy of every separable metric space; (3) every isometry between two finite…

A theorem of Bergner, Osorno, Ozornova, Rovelli, and Scheimbauer states an equivalence between 2-Segal spaces and certain augmented stable double Segal spaces. In this paper we establish more general equivalences, involving simplicial maps…

We prove that the moduli space M_L of L"uroth quartics in P^2, i.e. the space of quartics which can be circumscribed around a complete pentagon of lines modulo the action of PGL_3(CC) is rational, as is the related moduli space of Bateman…

A unital in PG(2,q^2) is a set U of q^3+1 points such that each line meets U in 1 or q+1 points. The well known example is the classical unital consisting of all absolute points of a non-degenerate unitary polarity of PG(2,q^2). Unitals…

We prove that every simple transitive $2$-representation of the fiat $2$-category of Soergel bimodules (over the coinvariant algebra) in type $B_2$ is equivalent to a cell $2$-representation. We also describe some general properties of the…