Related papers: Left-exact Localizations of $\infty$-Topoi I: High…

Sheaf cohomology or, more generally, higher direct images of coherent sheaves along proper morphisms are central to modern algebraic geometry. However, the computation of these objects is a non-trivial and expensive task which easily…

We develop sheaf-theoretic methods to deal with non-smooth objects in symplectic geometry. We show the completeness of a derived category of sheaves with respect to the interleaving distance and construct a sheaf quantization of a…

Let $\gg$ be the Lie algebra of a compact Lie group and let $\theta$ be any automorphism of $\gg$. Let $\gk$ denote the fixed point subalgebra $\gg^\theta$. In this paper we present LiE programs that, for any finite dimensional complex…

In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different…

Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…

We investigate Grothendieck topologies (in the sense of sheaf theory) on a poset $\P$ that are generated by some subset of $\P$. We show that such Grothendieck topologies exhaust all possibilities if and only if $\P$ is Artinian. If $\P$ is…

We propose here a transcendantal proof of the coherence of the higher direct images of a coherent sheaf by a proper morphism of algebraic varieties, which does not use Chow's lemma nor any projective method. The main tool here are…

Knowledge graph embedding involves learning representations of entities -- the vertices of the graph -- and relations -- the edges of the graph -- such that the resulting representations encode the known factual information represented by…

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

We show that the Segal topos of derived stacks over simplicial commutative $k$-algebras, which can be used to model natural phenomena, has a subobject classifier, something we regard as being a source from which dynamics is generated. This…

Sampling theory has traditionally drawn tools from functional and complex analysis. Past successes, such as the Shannon-Nyquist theorem and recent advances in frame theory, have relied heavily on the application of geometry and analysis.…

For an arbitrary $\infty$-topos, we classify the smashing localizations in the $\infty$-category of sheaves valued in derived vector spaces: Any of them is the restriction functor to a (unique) closed subtopos. Our proof is based on the…

We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal B$. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of $\infty$-topoi, but also a description in…

The analysis of spin-locality of higher-spin gauge theory is formulated in terms of star-product functional classes appropriate for the $\beta\to -\infty$ limiting shifted homotopy proposed recently in arXiv:1909.04876 where all $\omega^2…

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…

Cosheaves are a dual notion of sheaves. In this paper, we prove existence of a dual of sheafifications, called \textit{cosheafifications}, in the $\infty$-category theory. We also prove that the $\infty$-category of $\infty$-cosheaves is…

We develop a discrete gauge-theoretic framework for superposition in large language models (LLMs) that replaces the single-global-dictionary premise with a sheaf-theoretic atlas of local semantic charts. Contexts are clustered into a…

Let $F$ be a non-Archimedean locally compact field. We show that the local Langlands correspondence over $F$ has a strong property generalizing the higher ramification theorem of local class field theory. If $\pi$ is an irreducible cuspidal…

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…

We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is…