Related papers: Axiomatic Differential Geometry I-1

Let M be a smooth manifold, A a local algebra in sense of Andr\'e Weil, M^{A} the manifold of near points on M of kind A and X(M^{A}) the module of vector fields on M^{A}. We give a new definition of vector fields on M^{A} and we show that…

Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…

We develop sheaf theory in the context of difference algebraic geometry. We introduce categories of difference sheaves and develop the appropriate cohomology theories. As specializations, we get difference Galois cohomology, difference…

In this paper we discuss a general notion of Weil cohomology theories, both in algebraic geometry and in rigid analytic geometry. We allow our Weil cohomology theories to have coefficients in arbitrary commutative ring spectra. Using the…

Let $K$ be a field of characteristic zero, let $A_1=K[x][\partial ]$ be the first Weyl algebra. In this paper we prove that the Dixmier conjecture for the first Weyl algebra is true, i.e. each algebra endomorphism of the algebra $A_1$ is an…

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 present a research programme aimed at constructing classifying toposes of Weil-type cohomology theories and associated categories of motives, and introduce a number of notions and preliminary results already obtained in this direction.…

We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus…

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…

In this paper, we prove several Ax-Schanuel type results for uniformizers of geometric structures; our general results describe the differential algebraic relations between the solutions of the partial differential equations satisfied by…

The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…

The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on…

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…

This is the continuation of the study of differential graded (dg) vertex algebras previously defined by the authors. The goal of this paper is to construct a functor from the category of dg vertex Lie algebras to the category of dg vertex…

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…

Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…

Given an action of a reductive group on a normal variety, we construct all invariant open subsets admitting a good quotient with a quasiprojective or a divisorial quotient space. Our approach extends known constructions like Mumford's…

Real valued homomorphisms on the algebra of smooth functions on a differential space are described. The concept of generators of this algebra is emphasized in this description.

We prove that every functor defined on dg categories, which is derived Morita invariant, localizing, and A^1-homotopy invariant, satisfies the fundamental theorem. As an application, we recover in a unified and conceptual way, Weibel and…

Although this article can be read independently, it is a continuation of the introduction to integrable systems aspects of quantum cohomology given in part 1 (math.DG/0104274). In the same elementary style, i.e. assuming basic properties of…