Related papers: Cartan calculus for $C^\infty$-ringed spaces

We define chiral fermions in the presence of non-trivial gravitational and gauge background fields in the framework of locally covariant field theory. This allows to straightforwardly compute the chiral anomalies on non-compact Lorentzian…

In this paper, we proved that for an affine variety V in A^n; O_V is a sheaf of regular functions and the ringed space pair (V;O_V ) is a locally ringed space.

We consider in this paper an area functional defined on submanifolds of fixed degree immersed into a graded manifold equipped with a Riemannian metric. Since the expression of this area depends on the degree, not all variations are…

We introduce Riemannian-like structures associated with strong local Dirichlet forms on general state spaces. Such structures justify the principle that the pointwise index of the Dirichlet form represents the effective dimension of the…

In the framework of Abstract Differential Geometry, we show that to a given principal sheaf and a representation of its stuctural sheaf in $A^n$, where A is a sheaf of associative, commutative, unital algebras (over R or C), we associate a…

The set C of complex-valued continuous functions on [0,\infty) is a ring by the addition and the convolution. It has the quotient field Q(C), by which J. Mikusinski developed his operational calculus. In this paper, we revisit a derivation…

In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of…

In this article a relation between curvature functionals for surfaces in the Euclidean space and area functionals in relative differential geometry will be given. Relative differential geometry can be described as the geometry of surfaces…

We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We construct an example of a H\"older continuous vector field on the plane which is tangent to all foliations in a continuous family of pairwise distinct $C^1$ foliations. Given any $1 \le r <\infty,$ the construction can be done in such a…

The main achievement of this paper is a geometric characterisation of certain subvarieties of the Cartan variety (the standard projective variety associated to the split exceptional group of Lie type E_6) over an arbitrary field K. The…

A typical example of a Cartan calculus consists of the Lie derivative and the contraction with vector fields of a manifold on the derivation ring of the de Rham complex. In this manuscript, a second stage of the Cartan calculus is…

Several methods have been proposed to define tangent spaces for diffeological spaces. Among them, the internal tangent functor is obtained as the left Kan extension of the tangent functor for manifolds. However, the right Kan extension of…

With the intent of laying the groundwork for a program that aims at explicitly describing the space of Cartan (i.e. multiplicative) connections on a general proper Lie groupoid, we begin to investigate the space of such connections in the…

This talk introduces a Cartan-geometric framework for generalised geometries governed by a differential graded Lie algebra. In contrast to ordinary Cartan geometry, the tangent bundle is extended and qu both a global duality group and a…

We construct the space of vector fields on quantum groups . Its elements are products of the known left invariant vector fields with the elements of the quantum group itself. We also study the duality between vector fields and 1-forms. The…

We study the differential and Riemannian geometry of algebras $A$ endowed with an action of a triangular Hopf algebra $H$ and noncommutativity compatible with the associated braiding. The modules of one forms and of braided derivations are…

We classify, up to a natural equivalence relation, vector fields of the plane which belong to the kernel of a 1--form. This form can be closed, in which case the vector fields are integrable, or not, in which case the differential of the…

We propose a novel discretization of tangent vector fields for triangle meshes. Starting with a Phong map continuously assigning normals to all points on the mesh, we define an extrinsic bases for continuous tangent vector fields by using…