The group structure for jet bundles over Lie groups

Cornelia Vizman

DOI: https://doi.org/10.48550/arXiv.1304.5024

2013-04-18

Abstract:The jet bundle $J^kG$ of $k$-jets of curves in a Lie group $G$ has a natural Lie group structure. We present an explicit formula for the group multiplication in the right trivialization and for the group 2-cocycle describing the abelian Lie group extension $\mathfrak{g}\to J^{k}G\to J^{k-1}G$.

Differential Geometry

What problem does this paper attempt to address?

Graded Jet Geometry

Jan Vysoky

2023-11-27

Abstract:Jet manifolds and vector bundles allow one to employ tools of differential geometry to study differential equations, for example those arising as equations of motions in physics. They are necessary for a geometrical formulation of Lagrangian mechanics and the calculus of variations. It is thus only natural to require their generalization in geometry of $\mathbb{Z}$-graded manifolds and vector bundles. Our aim is to construct the $k$-th order jet bundle $\mathfrak{J}^{k}_{\mathcal{E}}$ of an arbitrary $\mathbb{Z}$-graded vector bundle $\mathcal{E}$ over an arbitrary $\mathbb{Z}$-graded manifold $\mathcal{M}$. We do so by directly constructing its sheaf of sections, which allows one to quickly prove all its usual properties. It turns out that it is convenient to start with the construction of the graded vector bundle of $k$-th order (linear) differential operators $\mathfrak{D}^{k}_{\mathcal{E}}$ on $\mathcal{E}$. In the process, we discuss (principal) symbol maps and a subclass of differential operators whose symbols correspond to completely symmetric $k$-vector fields, thus finding a graded version of Atiyah Lie algebroid. Necessary rudiments of geometry of $\mathbb{Z}$-graded vector bundles over $\mathbb{Z}$-graded manifolds are recalled.

Differential Geometry,Mathematical Physics
Generalized Positive Energy Representations of Groups of Jets

Milan Niestijl

DOI: https://doi.org/10.4171/DM/920

2023-09-30

Abstract:Let $V$ be a finite-dimensional real vector space and $K$ a compact simple Lie group with Lie algebra $\mathfrak{k}$. Consider the Fréchet-Lie group $G := J_0^\infty(V; K)$ of $\infty$-jets at $0 \in V$ of smooth maps $V \to K$, with Lie algebra $\mathfrak{g} = J_0^\infty(V; \mathfrak{k})$. Let $P$ be a Lie group and write $\mathfrak{p} := \textrm{Lie}(P)$. Let $\alpha$ be a smooth $P$-action on $G$. We study smooth projective unitary representations $\bar{\rho}$ of $G \rtimes_\alpha P$ that satisfy a so-called generalized positive energy condition. In particular, this class captures representations that are in a suitable sense compatible with a KMS state on the von Neumann algebra generated by $\bar{\rho}(G)$. We show that this condition imposes severe restrictions on the derived representation $d\bar{\rho}$ of $\mathfrak{g} \rtimes \mathfrak{p}$, leading in particular to sufficient conditions for $\bar{\rho}\big|_{G}$ to factor through $J_0^2(V; K)$, or even through $K$.

Representation Theory,Mathematical Physics
Super Kähler structures on the complex Abelian Lie supergroups

Meng-Kiat Chuah,Fabio Gavarini

2024-08-25

Abstract:We consider a real Abelian Lie supergroup $G$ acting on its complexification $M$, equipped with a $G$-invariant super Kähler form. We extend the scheme of classical geometric quantization to this setting and construct a unitary $G$-representation. We show that the occurrences of its irreducible subrepresentations are governed by the image of the moment map of the super Kähler form. As an application, we construct a Gelfand model of $G$, namely a unitary $G$-representation in which every unitary irreducible representation occurs exactly once.

Differential Geometry
Natural Almost Hermitian Structures on Conformally Foliated 4-Dimensional Lie Groups with Minimal Leaves

Emma Andersdotter Svensson

DOI: https://doi.org/10.48550/arXiv.2203.01887

2022-03-04

Abstract:Let $(G,g)$ be a 4-dimensional Riemannian Lie group with a 2-dimensional left-invariant, conformal foliation $\mathcal{F}$ with minimal leaves. Let $J$ be an almost Hermitian structure on $G$ adapted to the foliation $\mathcal{F}$. The corresponding Lie algebra $\mathfrak{g}$ must then belong to one of 20 families $\mathfrak{g}_1,\dots,\mathfrak{g}_{20}$ according to S. Gudmundsson and M. Svensson. We classify such structures $J$ which are almost Kähler $(\mathcal{A}\mathcal{K})$, integrable $(\mathcal{I})$ or Kähler $(\mathcal{K})$. Hereby, we construct 16 multi-dimensional almost Kähler families, 18 integrable families and 11 Kähler families.

Differential Geometry
Canonical Involution on Double Jet Bundles

Hulya Kadioglu

DOI: https://doi.org/10.48550/arXiv.1601.04334

2016-01-18

Abstract:In this study, we generalize double tangent bundles to double jet bundles. We present a secondary vector bundle structure on a 1-jet of a vector bundle. We show that 1-jet of a vector bundle carries two vector bundle structures, namely primary and secondary structures. We also show that the manifold charts induced by primary and secondary structures belong to the same atlas. We prove that double jet bundles can be considered as a quotient of second order jet bundle. We show that there exists a natural involution that interchanges between primary and secondary vector bundle structures on double jet bundles.

Differential Geometry
Affine Structures on Lie Groupoids

Honglei Lang,Zhangju Liu,Yunhe Sheng

DOI: https://doi.org/10.2140/pjm.2020.307.353

2020-01-01

Pacific Journal of Mathematics

Abstract:Affine structures on a Lie groupoid, including affine k-vector fields, k-forms and (p,q)-tensors are studied. We show that the space of affine structures is a 2-vector space over the space of multiplicative structures. Moreover, the space of affine multivector fields has a natural graded strict Lie 2-algebra structure and affine (1,1)-tensors constitute a strict monoidal category. Such higher structures can be seen as the categorification of multiplicative structures on a Lie groupoid.
Holomorphic sections of line bundles on the jet spaces of the Riemann sphere

Xiaokun Wang,Ning Zhang

DOI: https://doi.org/10.48550/arXiv.2203.02862

2022-03-08

Abstract:Fix a point $t_0$ in the circle $S^1$. The space $J^k(t_0, \mathbb{P}^1)$ of $k$-jets at $t_0$ of $C^{\infty}$ maps from $S^1$ to the Riemann sphere $\mathbb{P}^1$ is a $k+1$ dimensional complex algebraic manifold. We identify a class of holomorphic sections of line bundles on $J^k(t_0, \mathbb{P}^1)$.

Complex Variables,Algebraic Geometry,Combinatorics,Differential Geometry
On Twistor Transformations and Invariant Differential Operator of Simple Lie Group G2(2)

Wei Wang

DOI: https://doi.org/10.1063/1.4772492

IF: 1.469

2013-01-01

Journal of Mathematical Physics

Abstract:The twistor transformations associated to the simple Lie group G2 are described explicitly. We consider the double fibration \documentclass[12pt]{minimal}\begin{document}${\rm G}_2/P_2 \xleftarrow {\eta } {{\rm G}_2/B} \xrightarrow {\tau }{\rm G}_2/P_1$\end{document}G2/P2←ηG2/B→τG2/P1, where P1 and P2 are two parabolic subgroups of G2 and B is a Borel subgroup, and its local version: \documentclass[12pt]{minimal}\begin{document}$\mathcal {H}^*_2 \xleftarrow {\eta } \mathcal {F} \xrightarrow {\tau } \mathcal {H}_1$\end{document}H2*←ηF→τH1, where \documentclass[12pt]{minimal}\begin{document}$\mathcal {H}_1$\end{document}H1 is the Heisenberg group of dimension 5 embedded in the coset space G2/P1, \documentclass[12pt]{minimal}\begin{document}$\mathcal {F} = \mathbb {CP}^1 \times \mathcal {H}_1$\end{document}F=CP1×H1 and \documentclass[12pt]{minimal}\begin{document}$\mathcal {H}^*_2$\end{document}H2* contains the nilpotent Lie group \documentclass[12pt]{minimal}\begin{document}$\mathcal {H}_2$\end{document}H2 of step three. The Baker-Campbell-Hausdorff formula is used to parametrize the coset spaces, coordinates charts, their transition functions and the fibers of the projection η as complex curves. We write down the relative De-Rham sequence on \documentclass[12pt]{minimal}\begin{document}$\mathcal {F}$\end{document}F along the fibers and push it down to \documentclass[12pt]{minimal}\begin{document}$\mathcal {H}_1$\end{document}H1 to get a family of matrix-valued differential operators \documentclass[12pt]{minimal}\begin{document}${\mathscr D}_k$\end{document}Dk. Then we establish a kind of Penrose correspondence for G2: the kernel of \documentclass[12pt]{minimal}\begin{document}$\mathscr{D}_k$\end{document}Dk is isomorphic to the first cohomology of the sheaf \documentclass[12pt]{minimal}\begin{document}$\mathscr{O} (-k )$\end{document}O(−k) over \documentclass[12pt]{minimal}\begin{document}$\mathcal {H}^*_2$\end{document}H2*. We also give the Penrose-type integral transformation u = Pf for \documentclass[12pt]{minimal}\begin{document}$f\in \mathscr{O} (-k )$\end{document}f∈O(−k), which gives solutions to equations \documentclass[12pt]{minimal}\begin{document}${\mathscr D}_ku=0$\end{document}Dku=0. When restricted to the real Heisenberg group, the differential operators are invariant under the action of G2(2). Exchanging P1 and P2, we derive corresponding results on \documentclass[12pt]{minimal}\begin{document}$\mathcal {H}_2$\end{document}H2.
A Geometric Compactification Of The Moduli Stack Of Left Invariant Complex Structures On A Lie Group

Laurent Meersseman

2024-08-29

Abstract:We describe a geometric compactification of the moduli stack of left invariant complex structures on a fixed real Lie group or a fixed quotient. The extra points are CR structures transverse to a real foliation.

Differential Geometry,Complex Variables,Geometric Topology
How an action that stabilizes a bundle gerbe gives rise to a Lie group extension

Bas Janssens,Peter Kristel

2024-01-24

Abstract:Let $\mathcal{G}$ be a bundle gerbe with connection on a smooth manifold $M$, and let $\rho: G \rightarrow \operatorname{Diff}(M)$ be a smooth action of a Fréchet--Lie group $G$ on $M$ that preserves the isomorphism class of $\mathcal{G}$. In this setting, we obtain an abelian extension of $G$ that consists of pairs $(g,A)$, where $g \in G$, and $A$ is an isomorphism from $\rho_{g}^{*}\mathcal{G}$ to $\mathcal{G}$. We equip this group with a natural structure of abelian Fréchet--Lie group extension of $G$, under the assumption that the first integral homology of $M$ is finitely generated. As an application, we construct the universal central extension (in the category of Fréchet--Lie groups) of the group of Hamiltonian diffeomorphisms of a symplectic surface. As an intermediate step, we obtain a central extension of the group of exact volume-preserving diffeomorphisms of a 3-manifold whose corresponding Lie algebra extension is conjectured to be universal.

Differential Geometry,Symplectic Geometry
Kaehler structures on T*G having as underlying symplectic form the standard one

Johannes Huebschmann,Karl Leicht

DOI: https://doi.org/10.48550/arXiv.1307.0454

2013-07-02

Abstract:For a connected Lie group G, we show that a complex structure on the total space TG of the tangent bundle of G that is left invariant and has the property that each left translation G-orbit is a totally real submanifold is induced from a smooth immersion of TG into the complexification of G. For G compact and connected, we then characterize left invariant and biinvariant complex structures on the total space T*G of the cotangent bundle of G which combine with the tautological symplectic structure to a Kaehler structure.

Differential Geometry,Mathematical Physics
Infinitesimal jet spaces of $\text{Bun}_G$ in positive characteristic

Nikolay Grantcharov

2024-02-16

Abstract: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 $P\in\text{Bun}_G$ without infinitesimal symmetries, we provide a description of all divided-power infinitesimal jet spaces, $J_P^{n,PD}(\text{Bun}_G)$, of $\text{Bun}_G$ at $P$. The description is in terms of differential forms on $X^n$ with logarithmic singularities along the diagonals and with coefficients in $(\mathfrak{g}_P^*)^{\boxtimes n}$. Furthermore, we show the pullback of these differential forms to the Fulton-Macpherson compactification of the configuration space, $\hat{X}^n$, is an isomorphism. Thus, we relate the two constructions of Beilinson-Drinfeld and Beilinson-Ginzburg, and as a consequence, give a connection between divided-power infinitesimal jet spaces of $\text{Bun}_G$ and the $\mathcal{L}ie$ operad.

Algebraic Geometry,Representation Theory
The Lie algebra of the group of bisections

Hirokazu Nishimura

DOI: https://doi.org/10.48550/arXiv.math/0612053

2006-12-02

Abstract:Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.

Differential Geometry
Complete group law for genus 2 Jacobians on Jacobian coordinates

Elif Ozbay Gurler,Huseyin Hisil

DOI: https://doi.org/10.1007/s13389-024-00351-7

2024-04-18

Journal of Cryptographic Engineering

Abstract:This manuscript provides complete, inversion-free, and explicit group law formulas in Jacobian coordinates for the genus 2 hyperelliptic curves of the form over a field K with . The formulas do not require the use of polynomial arithmetic operations such as resultant, mod, or gcd computations but only operations in K .

computer science, theory & methods
Invariant Geometric Structures on Almost Abelian Lie Groups

Zhirayr Avetisyan,Abigail Brauer,Oderico-Benjamin Buran,Jimmy Morentin,Tianyi Wang

2023-08-18

Abstract:An almost Abelian group is a non-Abelian Lie group with a codimension 1 Abelian subgroup. This paper investigates invariant Hermitian and Kähler structures on connected complex almost Abelian groups. We find explicit formulas for the left and right Haar measures, the modular function, and left and right generator vector fields on simply connected complex almost Abelian groups. From the generator fields, we obtain invariant vector and tensor field frames, allowing us to find an explicit form for all invariant tensor fields. Namely, all such invariant tensor fields have constant coefficients in the invariant frame. From this, we classify all invariant Hermitian forms on complex simply connected almost Abelian groups, and we prove the nonexistence of invariant Kähler forms on all such groups. Via constructions involving the pullback of the quotient map, we extend the explicit description of invariant Hermitian structures and the nonexistence of Kähler structures to connected almost Abelian groups.

Differential Geometry
Jet Graphs

Federico Galetto,Elisabeth Helmick,Molly Walsh

DOI: https://doi.org/10.2140/involve.2021.14.793

2021-06-28

Abstract:We define an operation of jets on graphs inspired by the corresponding notion in commutative algebra and algebraic geometry. We examine a few graph theoretic properties and invariants of this construction, including chromatic numbers, co-chordality, and vertex covers.

Combinatorics,Commutative Algebra
Automorphisms of moduli spaces of principal bundles over a smooth curve

Roberto Fringuelli

2024-04-15

Abstract:For any almost-simple group $G$ over an algebraically closed field $k$ of characteristic zero, we describe the automorphism group of the moduli space of semistable $G$-bundles over a connected smooth projective curve $C$ of genus at least $4$. The result is achieved by studying the singular fibers of the Hitchin fibration. As a byproduct, we provide a description of the irreducible components of two natural closed subsets in the Hitchin basis: the divisor of singular cameral curves and the divisor of singular Hitchin fibers.

Algebraic Geometry
Coadjoint orbits of Lie groupoids

Honglei Lang,Zhangju Liu

DOI: https://doi.org/10.1016/j.geomphys.2018.03.011

IF: 1.38

2018-01-01

Journal of Geometry and Physics

Abstract:For a Lie groupoid G with Lie algebroid A, we realize the symplectic leaves of the Lie–Poisson structure on A∗ as orbits of the affine coadjoint action of the Lie groupoid JG⋉T∗M on A∗, which coincide with the groupoid orbits of the symplectic groupoid T∗G over A∗. It is also shown that there is a fiber bundle structure on each symplectic leaf. In the case of gauge groupoids, a symplectic leaf is the universal phase space for a classical particle in a Yang–Mills field.

The group structure for jet bundles over Lie groups

Graded Jet Geometry

Generalized Positive Energy Representations of Groups of Jets

Super Kähler structures on the complex Abelian Lie supergroups

Natural Almost Hermitian Structures on Conformally Foliated 4-Dimensional Lie Groups with Minimal Leaves

Canonical Involution on Double Jet Bundles

Affine Structures on Lie Groupoids

Holomorphic sections of line bundles on the jet spaces of the Riemann sphere

On Twistor Transformations and Invariant Differential Operator of Simple Lie Group G2(2)

A Geometric Compactification Of The Moduli Stack Of Left Invariant Complex Structures On A Lie Group

How an action that stabilizes a bundle gerbe gives rise to a Lie group extension

Kaehler structures on T*G having as underlying symplectic form the standard one

Infinitesimal jet spaces of $\text{Bun}_G$ in positive characteristic

The Lie algebra of the group of bisections

Complete group law for genus 2 Jacobians on Jacobian coordinates

Invariant Geometric Structures on Almost Abelian Lie Groups

Jet Graphs

Automorphisms of moduli spaces of principal bundles over a smooth curve

Coadjoint orbits of Lie groupoids