Related papers: Zariski-local framed $\mathbb{A}^1$-homotopy theor…

Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is…

We prove that Kitaev's lattice model for a finite-dimensional semisimple Hopf algebra H is equivalent to the combinatorial quantisation of Chern-Simons theory for the Drinfeld double D(H). This shows that Kitaev models are a special case of…

The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize…

We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…

We study the problem of topologically order-embedding a given topological poset X in the space of all closed subsets of X which is topologized by the Fell topology and ordered by set inclusion. We show that this can be achieved whenever X…

Let $k$ be a field, $K/k$ finitely generated and $L/K$ a finite, separable extension. We show that the existence of a $k$-valuation on $L$ which ramifies in $L/K$ implies the existence of a normal model $X$ of $K$ and a prime divisor $D$ on…

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and…

We construct and classify topological lattice field theories in three dimensions. After defining a general class of local lattice field theories, we impose invariance under arbitrary topology-preserving deformations of the underlying…

We study non-interacting electrons in disordered materials which exhibit a spectral gap, in each of the ten Altland--Zirnbauer symmetry classes, in all space dimensions. We define an appropriate space of Hamiltonians and a topology on it so…

Let $K$ be a field. The \'etale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The \'etale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically…

There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits…

Locally solid Riesz spaces have been widely investigated in the past several decades; but locally solid topological lattice-ordered groups seem to be largely unexplored. The paper is an attempt to initiate a relatively systematic study of…

Let $k$ be an algebraically closed field and $\Phi$ a finite dimensional $k$-algebra. The universal localization $\Phi\rightarrow \Phi_\mathcal{S}$ of $\Phi$ with respect to a set of morphisms between finitely generated projective…

We axiomatise the theory of $(\infty,n)$-categories. We prove that the space of theories of $(\infty,n)$-categories is a $B(\mathbb{Z}/2)^n$. We prove that Rezk's complete Segal $\Theta_n$-spaces, Simpson and Tamsamani's Segal…

We generalize Hrushovski's Group Configuration Theorem to quasiminimal classes. As an application, we present Zariski-like structures, a generalization of Zariski geometries, and show that a group can be found there if the pregeometry…

We undertake a systematic study of the Hochschild homology, i.e. (the geometric realization of) the cyclic nerve, of $(\infty,1)$-categories (and more generally of category-objects in an $\infty$-category), as a version of factorization…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…

Local models are schemes defined in linear algebra terms that describe the 'etale local structure of integral models for Shimura varieties and other moduli spaces. We point out that the flatness conjecture of Rapoport-Zink on local models…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…