Related papers: Axiomatic Differential Geometry III-1

Derived geometry provides powerful tools to handle non-transverse intersections and singular moduli problems arising in geometry and theoretical physics. While derived algebraic geometry has been extensively developed, classical field…

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from…

We give detailed exposition of modern differential geometry from global coordinate independent point of view as well as local coordinate description suited for actual computations. In introduction, we consider Euclidean spaces and different…

This is a write-up of some lectures I gave in the Fall of 2021 at the Fields Institute in Toronto, as part of the Thematic Programme on Trends in Pure and Applied Model Theory. The goal of the module was to give a quick introduction to the…

Differentiable physics provides a new approach for modeling and understanding the physical systems by pairing the new technology of differentiable programming with classical numerical methods for physical simulation. We survey the rapidly…

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…

Real Legendrian subvarieties are classical objects of differential geometry and classical mechanics and they have been studied since antiquity. However, complex Legendrian subvarieties are much more rigid and have more exceptional…

This paper investigates the transfer of classical geometric structures from a smooth manifold $M$ to its Weil bundle $(M^\mathbf A, \tilde\pi_M, M)$ associated with a Weil algebra $\mathbf A$. We show that various structures including…

The paper introduces a new differential-geometric system which originates from the theory of $m$-Hessian operators. The core of this system is a new notion of invariant differentiation on multidimensional surfaces. This novelty gives rise…

In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the…

We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.

We argue for more widespread use of manifold-like polyfolds (M-polyfolds) as differential geometric objects. M-polyfolds possess a distinct advantage over differentiable manifolds, enabling a smooth and local change of dimension. To…

Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract…

The purpose of this note is to show that W3 algebras originate from an unusual interplay between the breakings of the reparametrization invariance under the diffemorphism action on the cotangent bundle of a Riemann surface. It is recalled…

For a manifold M we define a structure on the group action of Diff(M) on the smooth functions on M which reduces to the usual differential geometry upon differentiation at zero along the one-parameter groups of Diff(M). This ``integrated…

Standard model is reconstructed using the generalized differential calculus extended on the discrete space $M_4\times Z_3$. $Z_3$ is necessary for the inclusion of strong interaction. Our starting point is the generalized gauge field…

Geometric models have emerged as an important tool in the representation theory of algebras. Surface models associated to gentle algebras have been particularly fruitful in advancing our understanding of their module and derived categories.…

Weyl famously argued that if space were discrete, then Euclidean geometry could not hold even approximately. Since then, many philosophers have responded to this argument by advancing alternative accounts of discrete geometry that recover…