Related papers: Discrete differential geometry in homotopy type th…
Vector fields and line fields, their counterparts without orientations on tangent lines, are familiar objects in the theory of dynamical systems. Among the techniques used in their study, the Morse--Smale decomposition of a (generic) field…
The main goal of this work is to present a detailed study of the foundations of Complex Geometry, highlighting its geometrical, topological and analytical aspects. Beginning with a preliminary material, such as the basic results on…
Generalized differential cohomology theories, in particular differential K-theory (often called "smooth K-theory"), are becoming an important tool in differential geometry and in mathematical physics. In this survey, we describe the…
In a fibre bundle, natural derivatives of a section are defined as tangent vector fields on the image of a section of the fibre bundle. A local extension to vector fields in the tangent bundle leads to a direct proof of the formula…
We extend the well-known formula for the Euler class of a real oriented even-dimensional vector bundle in terms of the curvature of a metric connection to the case of a general linear connection provided a metric is present. We rewrite the…
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated…
A natural explicit condition is given ensuring that an action of the multiplicative monoid of non-negative reals on a manifold F comes from homotheties of a vector bundle structure on F, or, equivalently, from an Euler vector field. This is…
In classical field theory, the composite fibred manifolds Y -> Z -> X provides the adequate mathematical formulation of gauge models with broken symmetries, e.g., the gauge gravitation theory. This work is devoted to connections on…
In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…
In this short note, we provide a calculation of the Euler characteristic of a finite homotopy colimit of finite cell complexes, which depends only on the Euler characteristics of each space and resembles Mobius inversion. Versions of the…
We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…
We define a family of diffeomorphism-invariant models of random connections on principal $G$-bundles over the plane, whose curvatures are concentrated on singular points. In a limit when the number of point grows whilst the singular…
Differential calculi are obtained for quantum homogeneous spaces by extending Woronowicz' approach to the present context. Representation theoretical properties of the differential calculi are investigated. Connections on quantum…
Much of arithmetic geometry is concerned with the study of principal bundles. They occur prominently in the arithmetic of elliptic curves and, more recently, in the study of the Diophantine geometry of curves of higher genus. In particular,…
We clarify the relation between the Dixmier-Douady class on the space of self adjoint Fredholm operators (`universal B-field') and the curvature of determinant bundles over infinite-dimensional Grassmannians. In particular, in the case of…
Let $A$ be a finite-dimensional algebra over a field $k$. We define $A$ to be $\mathbf{C}$-dichotomic if it has the dichotomy property of the representation type on complexes of projective $A$-modules. $\mathbf{C}$-dichotomy implies the…
This paper continues investigations in "synthetic homotopy theory": the use of homotopy type theory to give machine-checked proofs of constructions from homotopy theory We present a mechanized proof of the Blakers-Massey connectivity…
The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…
This paper focuses on the study of a new category of vector bundles. The objects of this category, called chiral vector bundles, are pairs given by a complex vector bundle along with one of its automorphisms. We provide a classification for…
We give coordinate formula and geometric description of the curvature of the tensor product connection of linear connections on vector bundles with the same base manifold. We define the covariant differential of geometric fields of certain…