Related papers: Differential forms on arithmetic jet spaces
We develop a global cohomology theory for number fields by offering topological cohomology groups, an arithmetical duality, a Riemann-Roch type theorem, and two types of vanishing theorem. As applications, we study moduli spaces of…
The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of…
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In a previous paper, we introduce the notion of formal manifolds and develop the…
We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…
Locally variational systems of differential equations on smooth manifolds, having certain de Rham cohomology group trivial, automatically possess a global Lagrangian. This important result due to Takens is, how-ever, of sheaf-theoretic…
The description of invariants of surfaces with respect to the motion groups is reduced to the description of invariants of parameterized surfaces with respect to the motion groups. Existence of a commuting system of invariant partial…
Jump deformations and contractions of Lie algebras are inverse concepts, but the approaches to their computations are quite different. In this paper, we contrast the two approaches, showing how to compute jump deformations from the…
We consider invariant covariant derivatives on reductive homogeneous spaces corresponding to the well-known invariant affine connections. These invariant covariant derivatives are expressed in terms of horizontally lifted vector fields on…
A general concept for the derivation of symmetry-based pseudo spin Hamiltonians is described. It systematically bridges the gap between the atomistic basis and various pseudo spin models presented in literature. It thus allows the…
The first part of this paper is a survey on algebro-geometric aspects of sheaves of logarithmic vector fields of hyperplane arrangements. In the second part we prove that the relative de Rham cohomology (of degree two) of ADE-type adjoint…
The aim of this paper is to study the cohomology theory of Reynolds Lie algebras equipped with derivations and to explore related applications. We begin by introducing the concept of Reynolds LieDer pairs. Subsequently, we construct the…
The aim of this paper is the derivation of structure preserving schemes for the solution of the EPDiff equation, with particular emphasis on the two dimensional case. We develop three different schemes based on the Discrete Variational…
This article studies the scheme structure of the jet schemes of determinantal varieties. We show that in general, these jet schemes are not irreducible. In the case of the determinantal variety $X$ of $r \times s$ matrices of rank at most…
We give some basics about homological algebra of difference representations. We consider both the difference-discrete and the difference-rational case. We define the corresponding cohomology theories and show the existence of spectral…
Jet schemes and arc spaces received quite a lot of attention by researchers after their introduction, due to J. Nash, and established their importance as an object of study in M. Kontsevich's motivic integration theory. Several results…
Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…
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.
The purpose of this paper is to lay the foundations of a theory of invariants in \'etale cohomology for smooth Artin stacks. We compute the invariants in the case of the stack of elliptic curves, and we use the theory we developed to get…
Our constructions provide a systematic way to study cohomology pre-algebraic structures via classical cohomology, simplifying computations and enabling the use of established techniques.
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…