Related papers: The Cyclic and Epicyclic Sites
We present a precise definition of extended homotopy quantum field theories and develop an orbifold construction for these theories when the target space is the classifying space of a finite group $G$, i.e. for $G$-equivariant topological…
We study several sufficient conditions for the molecularity/local-connectedness of geometric morphisms. In particuar, we show that if $\mathcal{S}$ is a Boolean topos then, for every hyperconnected essential geometric morphism ${p :…
Topological phases of matter have sparked an immense amount of activity in recent decades. Topological materials are classified by topological invariants that act as a non-local order parameter for any symmetry and condition. As a result,…
In the present paper, as we did previously in [7], we investigate the relations between the geometric properties of tilings and the algebraic properties of associated relational structures. Our study is motivated by the existence of…
We revisit the cohomological index theorem for elliptic elements in the universal enveloping algebra of a Lie groupoid previously proved by the authors. We prove a Thom isomorphism for Lie algebroids which enables us to rewrite the…
Non-Euclidean geometry, discovered by negating Euclid's parallel postulate, has been of considerable interest in mathematics and related fields for the description of geographical coordinates, Internet infrastructures, and the general…
We construct geometric maps from the cyclic homology groups of the (compact or wrapped) Fukaya category to the corresponding $S^1$-equivariant (Floer/quantum or symplectic) cohomology groups, which are natural with respect to all Gysin and…
Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.
We show that an appropriate generalization of the oriented area function is a perfect Morse function on the space of three-dimensional configurations of an equilateral polygonal linkage with odd number of edges. Therefore cyclic equilateral…
We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…
The family of Euclidean triangles having some fixed perimeter and area can be identified with a subset of points on a nonsingular cubic plane curve, i.e., an elliptic curve; furthermore, if the perimeter and the square of the area are…
We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology…
Towards building tropical analogues of adic spaces, we study certain spaces of prime congruences as a topological semiring replacement for the space of continuous valuations on a topological ring. This requires building the theory of…
We introduce the notion of an E_k-ring with prelogarithmic structure, define logarithmic topological Hochschild homology and logarithmic topological cyclic homology in this context, and establish localization sequences for these theories.…
Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…
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…
We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…
We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent…
Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn…
We provide a new construction of the topological cyclic homology $TC(C)$ of any spectrally-enriched $\infty$-category $C$, which affords a precise algebro-geometric interpretation of the cyclotomic trace map $K(X) \to TC(X)$ from algebraic…