Related papers: A Foundation for Synthetic Algebraic Geometry
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…
Twisting and classical background fields are two foundational techniques in supersymmetric quantum field theory, central to developments ranging from the Higgs mechanism to topological twisting and supersymmetric localisation. While…
In this paper, we establish the Zariski decompositions of arithmetic R-divisors of continuous type on arithmetic surfaces and investigate several properties. We also develop the general theory of arithmetic R-divisors on arithmetic…
In this article we study persistence features of topological entropy and periodic orbit growth of Hamiltonian diffeomorphisms on surfaces with respect to Hofer's metric. We exhibit stability of these dynamical quantities in a rather strong…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…
Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…
A novel algebraic topology approach to supersymmetry (SUSY) and symmetry breaking in quantum field and quantum gravity theories is presented with a view to developing a wide range of physical applications. These include: controlled nuclear…
D. K. Biss (Topology and its Applications 124 (2002) 355-371) introduced the topological fundamental group and presented some interesting basic properties of the notion. In this article we intend to extend the above notion to homotopy…
A couple of complex projective plane curves are said to make a Zariski pair if they have the same degree and the same type of singularities, but their embeddings in the projective plane are topologically different. In this paper, we present…
We introduce stratified toposes, which are toposes that are stratified by a suitable hierarchy of universes. The term `stratified topos' recalls the notion of stratified pseudotopos of Moerdijk and Palmgren (2002). However, the details of…
Using the invariant developed in [6], we differentiate four arrangements with the same combinatorial information but in different deformation classes. From these arrangements, we construct four other arrangements such that there is no…
We develop a framework to construct geometric representations of finite groups $G$ through the correspondence between real toric spaces $X^{\mathbb R}$ and simplicial complexes with characteristic matrices. We give a combinatorial…
We define Lie subalgebras of the group algebra of a finite pseudo-reflection group that are involved in the definition of the Cherednik KZ-systems, and determine their structure. We provide applications for computing the Zariski closure of…
We explain how the geometric framework introduced in arXiv:2508.11621 [math.AG] provides a universal property for the 2-rings of perfect complexes on qcqs spectral or Dirac spectral schemes. As an application, given a qcqs spectral or Dirac…
The image of the cone of positive semidefinite matrices under a linear map is a convex cone. Pataki characterized the set of linear maps for which that image is not closed. The Zariski closure of this set is a hypersurface in the…
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…