相关论文: The Monsky--Washnitzer topos
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
Motivated by analogies with basic density theorems in analytic number theory, we introduce a notion (and variations) of the homological density of one space in another. We use Weil's number field/ function field analogy to predict…
We view difference algebra as the study of algebraic objects in the topos of difference sets. The methods of topos theory and categorical logic enable us to develop difference homological algebra, identify a solid foundation for difference…
We give an explicit description of the Barr- and Diaconescu covers of the arithmetic site, which are relevant to cohomology. Further, we construct the arithmetic site as the commutative shadow of a non-commutative topological space.
In this article, we consider an algebraic version of the tame site of a pair $(X,\widetilde{X})$. With this definition, we provide a general machinery to construct a tame sheaf from the data of an \'etale sheaf on $X$ and a family of local…
A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…
Motivated by construction in Algebraic Quantum Field Theory we introduce wedge domains in compactly causal symmetric spaces M=G/H, which includes in particular anti de Sitter space in all dimensions and its coverings. Our wedge domains…
Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…
We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets definable in the pair of algebraically…
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…
We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…
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…
For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results…
Topological structure of translation-invariant noncommutative Yang-Mills theories are studied by means of a cohomology theory, so called star-cohomology, which plays an intermediate role between de Rham and cyclic (co)homology theory for…
A mathematical framework of cohomological field theories (CohFTs) is formulated in the language of bigraded manifolds. Algebraic properties of operators in CohFTs are studied. Methods of constructing CohFTs, with or without gauge…
We express some basic properties of Deninger's conjectural dynamical system in terms of morphisms of topoi. Then we show that the current definition of the Weil-\'etale topos satisfies these properties. In particular, the flow, the closed…
In analogy to the KP theory, the second Poisson structure for the dispersionless KP hierarchy can be defined on the space of commutative pseudodifferential operators $L=p^n+\sum_{j=-\infty}^{n-1}u_j p^j$. The reduction of the Poisson…
We study the equivalence of Poisson structures around a given symplectic leaf of nonzero dimension. Some criteria of Poisson equivalence are derived from a homotopy argument for coupling Poisson structures. In the case when the transverse…
A certain topological field theory is shown to be equivalent to the compactified c=1 string. This theory is described in both Kazama-Suzuki coset and Landau-Ginzburg formulations. The genus-g partition function and genus-0 multi-tachyon…