Related papers: Synthetic Differential Jet Bundles are Reduced
This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Its model theory will be discussed in a subsequent paper.
We classify the subvarieties of infinite dimensional affine space that are stable under the infinite symmetric group. We determine the defining equations and point sets of these varieties as well as the containments between them.
We define and study jets of flat partial connections in the setting of smooth foliations and flat partial connections on locally free sheaves. In the case of codimension one foliations, we apply this definition to characterize transversely…
We compute a formula for the discriminant of tautological bundles on symmetric powers of a complex smooth projective curve. It follows that the Bogomolov inequality does not give a new restriction to stability of these tautological bundles.…
We compare the invariants of flat vector bundles defined by Atiyah et al. and Jones et al. and prove that, up to weak homotopy, they induce the same map, denoted by $e$, from the $0$-connective algebraic $K$-theory space of the complex…
The Serre-Swan theorem in differential geometry establishes an equivalence between the category of smooth vector bundles over a smooth compact manifold and the category of finitely generated projective modules over the unital ring of smooth…
This is a footnote of a recent interesting work of Cohen, Manin and Zagier, where they, among other things, produce a natural isomorphism between the sheaf of (n-1)-th order jets of the n-th tensor power of the tangent bundle of a Riemann…
A constructive approach to differential calculus on quantum principal bundles is presented. The calculus on the bundle is built in an intrinsic manner, starting from given graded (differential) *-algebras representing horizontal forms on…
Given a semisimple reductive group $G$ and a smooth projective curve $X$ over an algebraically closed field $k$ of arbitrary characteristic, let $\text{Bun}_G$ denote the moduli space of principal $G$-bundles over $X$. For a bundle…
Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of…
A geometric framework for describing and solving time-dependent implicit differential equations F(t,x,x')=0 is studied, paying special attention to the linearly singular case, where F is affine in the velocities: A(t,x)x' = b(t,x). This…
We study (slope-)stability properties of syzygy bundles on a projective space P^N given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy…
In a previous paper (PeCa24), the notion of Dirac structure in finite dimension was extended to the convenient setting. In particular, we introduce the notion of \emph{partial Dirac structure on a convenient manifold} and look for which all…
The standard techniques of variational calculus are geometrically stated in the ambient of fiber bundles endowed with a (pre)multisymplectic structure. Then, for the corresponding variational equations, conserved quantities (or, what is…
Chern number formulas for holomorphic jet bundles are computed for projective curves and for projective surfaces. These formulas are used to show that certain minimal surfaces of general type (generic hypersurfaces of degree at least 5 in…
In this paper we construct a bicategory of (super) algebra bundles over a smooth manifold, where the 1-morphisms are bundles of bimodules. The main point is that naive definitions of bimodule bundles will not lead to a well-defined…
We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf…
We consider stable and semistable principal bundles over a smooth projective real algebraic curve, equipped with a real or pseudo-real structure in the sense of Atiyah. After fixing suitable topological invariants, one can build a suitable…
We present a Mathai-Quillen interpretation of topological sigma models. The key to the construction is a natural connection in a suitable infinite dimensional vector bundle over the space of maps from a Riemann surface (the world sheet) to…
We compare spaces of non-singular algebraic sections of ample vector bundles to spaces of continuous sections of jet bundles. Under some conditions, we provide an isomorphism in homology in a range of degrees growing with the jet ampleness.…