Related papers: The category of 3-computads is not cartesian close…

The topological classifications of quadratic bosonic systems according to the symmetries of the dynamic matrices from the equations of motion of closed systems and the effective Hamiltonians from the Lindblad equations of open systems are…

The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as…

We prove that Morrison and Nieh's categorification of the su(3) quantum knot invariant is functorial with respect to tangle cobordisms. This is in contrast to the categorified su(2) theory, which was not functorial as originally defined. We…

We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about \'etale…

Seely's paper "Locally cartesian closed categories and type theory" contains a well-known result in categorical type theory: that the category of locally cartesian closed categories is equivalent to the category of Martin-L\"of type…

We prove the existence of homeomorphisms of a closed, orientable surface of genus 3 or greater that do not extend to any handlebody bounded by the surface. We show that such homeomorphisms exist arbitrarily deep in the Johnson filtration of…

Small covers arising from 3-dimensional simple polytopes are an interesting class of 3-manifolds. The fundamental group is a rigid invariant for wide classes of 3-manifolds, particularly for orientable Haken manifolds, which include…

We define the standard Borel space of free Araki-Woods factors and prove that their isomorphism relation is not classifiable by countable structures. We also prove that equality of $\tau$-topologies, arising as invariants of type III…

An automorphism of order $n$ of a K3 surface is called purely non-symplectic if it multiplies the holomorphic symplectic form by a primitive $n$-th root of unity. We give the classification of purely non-symplectic automorphisms with…

We introduce a complete set of combinatorial data that encode the category $2\mathfrak{Cob}$ of all $2$-cobordisms. As an application, we show that the local monoids of $2\mathfrak{Cob}$ do not have finitely axiomatizable equational…

Among all of the non-Hermitian large-tridiagonal-matrix quantum Hamiltonians we choose a subclass with the structure resembling the ``benchmark'' realistic Bose-Hubbard model. We demonstrate that this choice can be declared user-friendly in…

We introduce the notion of an EILC topos: a topos $\mathcal{E}$ such that every essential geometric morphism with codomain $\mathcal{E}$ is locally connected. We then show that the topos of sheaves on a topological space $X$ is EILC if $X$…

A Heegaard splitting of an open 3-manifold is the partition of the manifold into two non-compact handlebodies which intersect on their common boundary. This paper proves several non-compact analogues of theorems about compact Heegaard…

A variety of local index formulas is constructed for quantum Hamiltonians with periodic boundary conditions. All dimensions of physical space as well as many symmetry constraints are covered, notably one-dimensional systems in Class DIII as…

For the curved n-body problem, we show that the set of ordinary central configurations is away from most singular configurations in H^3, and away from a subset of singular configurations in S^3. We also show that each of the n!/2 geodesic…

Tutte showed that $4$-connected planar graphs are Hamiltonian, but it is well known that $3$-connected planar graphs need not be Hamiltonian. We show that $K_{2,5}$-minor-free $3$-connected planar graphs are Hamiltonian. This does not…

The elliptic sine-Gordon equation in the plane has a family of explicit multiple-end solutions (soliton-like solutions). We show that all the finite Morse index solutions belong to this family. We also prove they are non-degenerate in the…

We prove that elliptic K3 surfaces over a number field which admit a second elliptic fibration satisfy the potential Hilbert property. Equivalently, the set of their rational points is not thin after a finite extension of the base field.…

We prove that etale morphisms of schemes yield separable extensions of derived categories. We then generalize the Neeman-Thomason Localization Theorem to separable extensions of triangulated categories.

We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…