Related papers: Axiomatic Differential Geometry I-1

Multisymplectic geometry is an adequate formalism to geometrically describe first order classical field theories. The De Donder-Weyl equations are treated in the framework of multisymplectic geometry, solutions are identified as integral…

Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…

Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…

Ehresmann's introduction of differentiable groupoids in the 1950s may be seen as a starting point for two diverging lines of research, many-object Lie theory (the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis…

We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…

This is the first in a series on papers developing an arithmetic PDE analogue of Riemannian geometry. The role of partial derivatives is played by Fermat quotient operations with respect to several Frobenius elements in the absolute Galois…

Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…

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.

This thesis studies the representation theory and linear structures of $\mathcal{Q}$-manifolds and higher Lie algebroids. We introduce differential graded modules (or for short DG-modules) of $\mathcal{Q}$-manifolds and the equivalent…

We introduce a systematic theory of Weil bundles over \( p \)-adic analytic manifolds, forging new connections between differential calculus over non-archimedean fields and arithmetic geometry. By developing a framework for infinitesimal…

In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…

This thesis introduces the notion of "relative gerbes" for smooth maps of manifolds, and discusses their differential geometry. The equivalence classes of relative gerbes are classified by the relative integral cohomology in degree three.…

By a global approach, we prove the arithmetic fundamental lemma conjecture for unitary groups in $n$ variables over $\mathbb{Q}_p$ when $p\geq n$.

We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the…

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…

The main objective of this paper is to construct a homotopy colimit functor on a category of functors taking values in the model category of quasi-categories.

We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of {\em Colombeau type} in the sense that it contains a copy of the space of Schwartz…

Huayi Chen introduces the notion of an approximable graded algebra, which he uses to prove a Fujita-type theorem in the arithmetic setting, and asked if any such algebra is the graded ring of a big line bundle on a projective variety. This…