Related papers: Differential forms on arithmetic jet spaces
We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real…
Space-time covariance modeling under the Lagrangian framework has been especially popular to study atmospheric phenomena in the presence of transport effects, such as prevailing winds or ocean currents, which are incompatible with the…
We study several numerical discretization techniques for the one-space plus one-time dimensional Dirac equation, including finite difference and space-time finite element methods. Two finite difference schemes and several space-time finite…
This paper studies the formal deformations of differential algebra morphisms. As a consequence, we develop a cohomology theory of differential algebra morphisms to interpret the lower degree cohomology groups as formal deformations. Then,…
This paper is a survey on arc spaces, a recent topic in algebraic geometry and singularity theory. The geometry of the arc space of an algebraic variety yields several new geometric invariants and brings new light to some classical…
We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme…
This survey examines separation of variables for algebraically integrable Hamiltonian systems whose tori are Jacobians of Riemann surfaces. For these cases there is a natural class of systems which admit separations in a nice geometric…
The complex of "stable forms" on supermanifolds is studied. Stable forms on $M$ are represented by certain Lagrangians of "copaths" (formal systems of equations, which may or may not specify actual surfaces) on $M\times\mathbb R^D$. Changes…
A discretisation of differential geometry using the Whitney forms of algebraic topology is consistently extended via the introduction of a pairing on the space of chains. This pairing of chains enables us to give a definition of the…
We review the following subjects: 1. Basic theory on algebraic curves and their moduli space, 2. Schottky uniformization theory of Riemann surfaces, and its extension called arithmetic uniformization theory, 3. Application to these theories…
We discuss the relationship between Lie derivatives and the linear differential equations on cotangent spaces of algebraic D-varieties at sharp points. We also take the liberty to give an account of Ax's theorem (which may be useful as an…
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…
We study "higher-dimensional" generalizations of differential forms. Just as differential forms can be defined as the universal commutative differential algebra containing C^\infty(M), we can define differential gorms as the universal…
We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed…
The fibre bundle formulation of gauge theory is generally accepted. The jet manifold machinery completes this formulation and provides the adequate mathematical description of dynamics of fields represented by sections of fibre bundles.…
We introduce local invariants of algebraic spaces and stacks which measure how far they are from being a scheme. Using these invariants, we develop mostly topological criteria to determine when the moduli space of a stack is a scheme. As an…
This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its…
The differential geometry on a Hopf algebra is constructed, by using the basic axioms of Hopf algebras and noncommutative differential geometry. The space of generalized derivations on a Hopf algebra of functions is presented via the smash…
We use Lagrangian formalism and jet spaces to derive a computational model to simulate multibody dynamics with holonomic constraints. Our approach avoids the traditional problems of drift-off and spurious oscillations. Hence even long…
We construct bases for the spaces of higher order modular forms of all orders and weights. We also provide a cohomological interpretation of these forms.