Related papers: Discrete differential geometry in homotopy type th…
A piecewise constant curvature manifold is a triangulated manifold that is assigned a geometry by specifying lengths of edges and stipulating that for a chosen background geometry (Euclidean, hyperbolic, or spherical), each simplex has an…
The category of generalized Lie algebroids is presented. We obtain an exterior differential calculus for generalized Lie algebroids. In particular, we obtain similar results with the classical and modern results for Lie algebroids. So, a…
We consider bundle homomorphisms between tangent distributions and vector bundles of the same rank. We study the conditions for fundamental singularities when the bundle homomorphism is induced from a Morin map. When the tangent…
We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of…
In 1933, van Kampen described the fundamental groups of the complements of plane complex projective algebraic curves. Recently, Ch\'eniot-Libgober proved an analogue of this result for higher homotopy groups of the complements of complex…
We prove several K\"unneth formulas in motivic homotopy categories and deduce a Verdier pairing in these categories following SGA5, which leads to the characteristic class of a constructible motive, an invariant closely related to the…
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…
We present a new formulation of some basic differential geometric notions on a smooth manifold M, in the setting of nonstandard analysis. In place of classical vector fields, for which one needs to construct the tangent bundle of M, we…
We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the…
Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and…
We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy…
Differential calculus on discrete sets is developed in the spirit of noncommutative geometry. Any differential algebra on a discrete set can be regarded as a `reduction' of the `universal differential algebra' and this allows a systematic…
Let $M$ be a non-compact connected manifold with a cocompact and properly discontinuous action of a discrete group $G$. We establish a Poincar\'{e}-Hopf theorem for a bounded vector field on $M$ satisfying a mild condition on zeros. As an…
A bounded curvature path is a continuously differentiable piece-wise $C^2$ path with bounded absolute curvature connecting two points in the tangent bundle of a surface. These paths have been widely considered in computer science and…
In this note, we consider how the bundle geometry of field space interplays with the covariant phase space methods so as to allow to write results of some generality on the presymplectic structure of invariant gauge theories coupled to…
As an application of the Bochner formula, we prove that if a $2$-dimensional Riemannian manifold admits a non-trivial smooth tangent vector field $X$ then its Gauss curvature is the divergence of a tangent vector field, constructed from…
In this letter we investigate some aspects of the noncommutative differential geometry based on derivations of the algebra of endomorphisms of an oriented complex hermitian vector bundle. We relate it, in a natural way, to the geometry of…
We provide a general, homotopy-theoretic definition of string group models within an $\infty$-category of smooth spaces, and we present new smooth models for the string group. Here, a smooth space is a presheaf of $\infty$-groupoids on the…