Showing 1–50 of 87 results for author: Grabowski, J

Equivalence functors in graded supergeometry

Authors: Katarzyna Grabowska, Janusz Grabowski, Mikołaj Rotkiewicz

Abstract: It has been recently proved that the category of N-manifolds of degree $n$, i.e., $\mathbb N$-graded supermanifolds of degree $n$ in which the parity agrees with the gradation, is equivalent to the category of purely even $n$-tuple vector superbundles with a certain action of the symmetry group $S_n$ permuting the vector bundle structures; this can be viewed as a desuperization of N-manifolds. We… ▽ More It has been recently proved that the category of N-manifolds of degree $n$, i.e., $\mathbb N$-graded supermanifolds of degree $n$ in which the parity agrees with the gradation, is equivalent to the category of purely even $n$-tuple vector superbundles with a certain action of the symmetry group $S_n$ permuting the vector bundle structures; this can be viewed as a desuperization of N-manifolds. We put this result into a much wider context of graded structures on supermanifolds and describe explicitly several canonical equivalences of the corresponding categories in a purely geometrical and constructive way; the desuperization equivalence functor is a composition of some of them. Our constructions are completely canonical, we use such tools of supergeometry as the iterated tangent functor, the parity reversion in vector superbundles, and the modern view of $n$-tuple vector bundles as a sequence of commuting Euler vector fields of the vector bundle structures in question. All this opens new horizons in the land of graded supergeometry. △ Less

Submitted 9 May, 2025; originally announced May 2025.

Comments: 22 pages

MSC Class: 58A50; 58C50; 57R22; 58A05

The regularity and products in contact geometry

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We study regular contact manifolds $(M,η)$ whose Reeb vector field is complete and prove that they are canonically principal bundles with the structure group $S^1$ or $\mathbb{R}$. For compact $M$, our proof is very short and elementary and covers the celebrated Boothby-Wang theorem, but we do not assume compactness from the very beginning. However, to prove our result in full generality we use so… ▽ More We study regular contact manifolds $(M,η)$ whose Reeb vector field is complete and prove that they are canonically principal bundles with the structure group $S^1$ or $\mathbb{R}$. For compact $M$, our proof is very short and elementary and covers the celebrated Boothby-Wang theorem, but we do not assume compactness from the very beginning. However, to prove our result in full generality we use some topological tools adapted to smooth fibrations. In the second part of the paper, we describe a natural concept of contact products of general contact manifolds as well as a product of principal contact manifolds, which exists if the periods of the Reeb vector fields are commensurate, and corresponds to the construction of products of prequantization bundles of symplectic manifolds. △ Less

Submitted 29 December, 2024; originally announced December 2024.

Comments: 20 pages. arXiv admin note: substantial text overlap with arXiv:2304.05891

MSC Class: 53D10; 53D35; 37C10; 37C86

Sasaki structures on general contact manifolds

Authors: Katarzyna Grabowska, Janusz Grabowski, Rouzbeh Mohseni

Abstract: We extend the concept of a Sasakian structure on a cooriented contact manifold, given by a compatibility between the contact form $η$ and a Riemannian metric $g_M$ on $M$, to the case of a general contact structure understood as a contact distribution. Traditionally, the compatibility can be expressed as the fact that the symplectic form $ω=\mathrm{d}(s^2η)$ and the metric… ▽ More We extend the concept of a Sasakian structure on a cooriented contact manifold, given by a compatibility between the contact form $η$ and a Riemannian metric $g_M$ on $M$, to the case of a general contact structure understood as a contact distribution. Traditionally, the compatibility can be expressed as the fact that the symplectic form $ω=\mathrm{d}(s^2η)$ and the metric $g(x,s)=\mathrm{d} s\otimes\mathrm{d} s+s^2g_M(x)$ define on the cone $\mathcal{M}=M\times\mathbb{R}_+$ a Kähler structure. Since general contact structures can be realized as homogeneous symplectic structures $ω$ on $\mathrm{GL}(1;\mathbb{R})$-principal bundles $P\to M$, it is natural to understand Sasakian structures in full generality as related to `homogeneous Kähler structures' on $P$. The difficulty is that, even locally, contact distributions do not provide any preferred contact form, so the standard approach cannot be directly applied. However, we succeeded in characterizing homogeneous Kähler structures on $(P,ω)$ and discovering a canonical lift of Riemannian metrics from the contact manifold $M$ to $P$, which allowed us to define Sasakian structures for general contact manifolds. This approach is completely conceptual and avoids ad hoc choices. Moreover, it provides a natural concept of Sasakian manifold products which we develop in detail. △ Less

Submitted 21 December, 2024; originally announced December 2024.

Comments: 34 pages

MSC Class: 53C25; 53D10; 53D05; 32V05; 53D35

Principal bundles in the category of $\mathbb{Z}_2^n$-manifolds

Authors: Andrew James Bruce, Janusz Grabowski

Abstract: We introduce and examine the notion of principal $\mathbb{Z}_2^n$-bundles, i.e., principal bundles in the category of $\mathbb{Z}_2^n$-manifolds. The latter are higher graded extensions of supermanifolds in which a $\mathbb{Z}_2^n$-grading replaces $\mathbb{Z}_2$-grading. These extensions have opened up new areas of research of great interest in both physics and mathematics. In principle, the geom… ▽ More We introduce and examine the notion of principal $\mathbb{Z}_2^n$-bundles, i.e., principal bundles in the category of $\mathbb{Z}_2^n$-manifolds. The latter are higher graded extensions of supermanifolds in which a $\mathbb{Z}_2^n$-grading replaces $\mathbb{Z}_2$-grading. These extensions have opened up new areas of research of great interest in both physics and mathematics. In principle, the geometry of $\mathbb{Z}_2^n$-manifolds is essentially different than that of supermanifolds, as for $n>1$ we have formal variables of even parity, so local smooth functions are formal power series. On the other hand, a full version of differential calculus is still valid. We show in this paper that the fundamental properties of classical principal bundles can be generalised to the setting of this `higher graded' geometry, with properly defined frame bundles of $\mathbb{Z}_2^n$-vector bundles as canonical examples. However, formulating these concepts and proving these results relies on many technical upshots established in earlier papers. A comprehensive introduction to $\mathbb{Z}_2^n$-manifolds is therefore included together with basic examples. △ Less

Submitted 19 December, 2024; v1 submitted 17 December, 2024; originally announced December 2024.

Comments: 22 pages, editorial changes in one section

MSC Class: 14A22; 18F15; 58A50; 58D19

Homogeneity supermanifolds and homogeneous Darboux theorem

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We develop the concept of a homogeneity supermanifold, which is more general than most of the approaches to graded manifolds present in the literature. Instead of doing it via ringed spaces and sheaves of graded algebras, we prefer a purely differential geometric language and view gradings as provided by an additional structure on supermanifolds, namely the weight vector field. This gives us a pri… ▽ More We develop the concept of a homogeneity supermanifold, which is more general than most of the approaches to graded manifolds present in the literature. Instead of doing it via ringed spaces and sheaves of graded algebras, we prefer a purely differential geometric language and view gradings as provided by an additional structure on supermanifolds, namely the weight vector field. This gives us a privileged atlas with homogeneous local coordinates. The fact that the transition maps `preserve weights' is then automatic, but weights of homogeneous coordinates may vary from one chart to the other. Moreover, such local homogeneous coordinates may have arbitrary real weights, not only integers. We study homogeneity submanifolds, homogeneity Lie supergroups, tangent and cotangent lifts of homogeneity structures, homogeneous distributions and codistributions, and other related concepts. The main achievements in this framework are proofs of the homogeneous Poincaré Lemma and a homogeneous analog of the Darboux Theorem. △ Less

Submitted 1 November, 2024; originally announced November 2024.

Comments: 39 pages

MSC Class: 53D05; 53D10; 53B99; 57N16; 58A50 (Primary); 14A22; 17A30; 58A05; 58A50 (Secondary)

Jacobi algebroids and Jacobi sigma models

Authors: Fabio Di Cosmo, Katarzyna Grabowska, Janusz Grabowski

Abstract: The definition of an action functional for the Jacobi sigma models, known for Jacobi brackets of functions, is generalized to \emph{Jacobi bundles}, i.e., Lie brackets on sections of (possibly nontrivial) line bundles, with the particular case of contact manifolds. Different approaches are proposed, but all of them share a common feature: the presence of a \emph{homogeneity structure} appearing as… ▽ More The definition of an action functional for the Jacobi sigma models, known for Jacobi brackets of functions, is generalized to \emph{Jacobi bundles}, i.e., Lie brackets on sections of (possibly nontrivial) line bundles, with the particular case of contact manifolds. Different approaches are proposed, but all of them share a common feature: the presence of a \emph{homogeneity structure} appearing as a principal action of the Lie group $\mathbb{R}^{\times}=\mathrm{GL}(1;\mathbb{R})$. Consequently, solutions of the equations of motions are morphisms of certain \emph{Jacobi algebroids}, i.e., principal $\mathbb{R}^{\times}$-bundles equipped additionally with a compatible Lie algebroid structure. Despite the different approaches we propose, there is a one-to-one correspondence between the space of solutions of the different models. The definition can be immediately extended to \emph{almost Poisson} and \emph{almost Jacobi brackets}, i.e., to brackets that do not satisfy the Jacobi identity. Our sigma models are geometric and fully covariant. △ Less

Submitted 22 September, 2024; originally announced September 2024.

Comments: 35 pages

MSC Class: 81T45; 81T40; 70S99; 57R56; 53D17

Journal ref: Reviews in 2 Mathematical Physics 3 (2025) 2550004 (42 pages)

Contactifications: a Lagrangian description of compact Hamiltonian systems

Authors: Katarzyna Grabowska, Janusz Grabowski, Marek Kuś, Giuseppe Marmo

Abstract: If $η$ is a contact form on a manifold $M$ such that the orbits of the Reeb vector field form a simple foliation $\mathcal{F}$ on $M$, then the presymplectic 2-form $dη$ on $M$ induces a symplectic structure $ω$ on the quotient manifold $N=M/\mathcal{F}$. We call $(M,η)$ a $\textit contactification$ of the symplectic manifold $(N,ω)$. First, we present an explicit geometric construction of contact… ▽ More If $η$ is a contact form on a manifold $M$ such that the orbits of the Reeb vector field form a simple foliation $\mathcal{F}$ on $M$, then the presymplectic 2-form $dη$ on $M$ induces a symplectic structure $ω$ on the quotient manifold $N=M/\mathcal{F}$. We call $(M,η)$ a $\textit contactification$ of the symplectic manifold $(N,ω)$. First, we present an explicit geometric construction of contactifications of some coadjoint orbits of connected Lie groups. Our construction is a far going generalization of the well-known contactification of the complex projective space $\mathbb{C}P^{n-1}$, being the unit sphere $S^{2n-1}$ in $\mathbb{C}^{n}$, and equipped with the restriction of the Liouville 1-form on $\mathbb{C}^n$. Second, we describe a constructive procedure for obtaining contactification in the process of the Marsden-Weinstein-Meyer symplectic reduction and indicate geometric obstructions for the existence of compact contactifications. Third, we show that contactifications provide a nice geometrical tool for a Lagrangian description of Hamiltonian systems on compact symplectic manifolds $(N,ω)$, on which symplectic forms never admit a `vector potential'. △ Less

Submitted 30 April, 2024; originally announced April 2024.

Comments: 30 pages

MSC Class: 53D05; 53D10 (Primary) 53D35; 70Hxx; 70H25; 70S05 (Secondary)

Journal ref: J. Phys. A: Math. Theor. 57 (2024) 395204 (31pp)

Regular contact manifolds: a generalization of the Boothby-Wang theorem

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: A regular contact manifold is a manifold $M$ equipped with a globally defined contact form $η$ such that the topological space $M/\mathcal{R}$ of orbits (trajectories) of the Reeb vector field $\mathcal{R}$ of $η$ carries a smooth manifold structure, so the canonical projection $p:M\to M/\mathcal{R}$ is a smooth fibration. We show that, under the additional assumption that $\mathcal{R}$ is a compl… ▽ More A regular contact manifold is a manifold $M$ equipped with a globally defined contact form $η$ such that the topological space $M/\mathcal{R}$ of orbits (trajectories) of the Reeb vector field $\mathcal{R}$ of $η$ carries a smooth manifold structure, so the canonical projection $p:M\to M/\mathcal{R}$ is a smooth fibration. We show that, under the additional assumption that $\mathcal{R}$ is a complete vector field, this fibration is actually either an $S^1$- or an $\mathbb{R}$-principal bundle. Moreover, there exists a unique symplectic form $ω$ on $M/\mathcal{R}$ such that $p^*(ω)=\mathrm{d}η$ which is $ρ$-integral in the $S^1$-bundle case, where $ρ$ is the minimal period of the $S^1$-action, so the symplectic manifold $(M/\mathcal{R},ω)$ admits a prequantization. We do not assume that $M$ is compact. △ Less

Submitted 26 July, 2023; v1 submitted 12 April, 2023; originally announced April 2023.

Comments: 13 pages, the paper has been reorganized and one false statement removed

MSC Class: 53D10; 53D35; 37C10; 37C86

Reductions: precontact versus presymplectic

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We show that contact reductions can be described in terms of symplectic reductions in the traditional Marsden-Weinstein-Meyer as well as the constant rank picture. The point is that we view contact structures as particular (homogeneous) symplectic structures. A group action by contactomorphisms is lifted to a Hamiltonian action on the corresponding symplectic manifold, called the symplectic cover… ▽ More We show that contact reductions can be described in terms of symplectic reductions in the traditional Marsden-Weinstein-Meyer as well as the constant rank picture. The point is that we view contact structures as particular (homogeneous) symplectic structures. A group action by contactomorphisms is lifted to a Hamiltonian action on the corresponding symplectic manifold, called the symplectic cover of the contact manifold. In contrast to the majority of the literature in the subject, our approach includes general contact structures (not only co-oriented) and changes the traditional view point: contact Hamiltonians and contact moment maps for contactomorphism groups are no longer defined on the contact manifold itself, but on its symplectic cover. Actually, the developed framework for reductions is slightly more general than purely contact, and includes a precontact and presymplectic setting which is based on the observation that there is a one-to-one correspondence between isomorphism classes of precontact manifolds and certain homogeneous presymplectic manifolds. △ Less

Submitted 9 May, 2025; v1 submitted 30 November, 2022; originally announced November 2022.

Comments: 33 pages, some corrections in Section 5

MSC Class: 53D20; 53D10; 53D35; 70H33; 70G45; 70S05

Journal ref: Annali di Matematica Pura ed Applicata (1923 -) (2023) 202:2803-2839

Contact geometric mechanics: the Tulczyjew triples

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We propose a generalization of the classical Tulczyjew triple as a geometric tool in Hamiltonian and Lagrangian formalisms which serves for contact manifolds. The rôle of the canonical symplectic structures on cotangent bundles in Tulczyjew's case is played by the canonical contact structures on the bundles $J^1L$ of first jets of sections of line bundles $L\to M$. Contact Hamiltonians and contact… ▽ More We propose a generalization of the classical Tulczyjew triple as a geometric tool in Hamiltonian and Lagrangian formalisms which serves for contact manifolds. The rôle of the canonical symplectic structures on cotangent bundles in Tulczyjew's case is played by the canonical contact structures on the bundles $J^1L$ of first jets of sections of line bundles $L\to M$. Contact Hamiltonians and contact Lagrangians are understood as sections of certain line bundles, and they determine (generally implicit) dynamics on the contact phase space $J^1L$. We also study a contact analog of the Legendre map and the Legendre transformation of generating objects in both contact formalisms. Several explicit examples are offered. △ Less

Submitted 15 August, 2024; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: 35 pages, minor changes, a few references added, to appear in Advances in Theoretical and Mathematical Physics

MSC Class: 37J39; 70Hxx; 70S05; 53D35; 53D10; 53D35; 70G45

Journal ref: Adv. Theor. Math. Phys. Volume 28, Number 2, 599-654, 2024

A novel approach to contact Hamiltonians and contact Hamilton-Jacobi theory

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We propose a novel approach to contact Hamiltonian mechanics which, in contrast to the one dominating in the literature, serves also for non-trivial contact structures. In this approach Hamiltonians are no longer functions on the contact manifold M itself but sections of a line bundle over M or, equivalently, 1-homogeneous functions on a certain GL(1,R)-principal bundle P\to M which is equipped wi… ▽ More We propose a novel approach to contact Hamiltonian mechanics which, in contrast to the one dominating in the literature, serves also for non-trivial contact structures. In this approach Hamiltonians are no longer functions on the contact manifold M itself but sections of a line bundle over M or, equivalently, 1-homogeneous functions on a certain GL(1,R)-principal bundle P\to M which is equipped with a homogeneous symplectic form ω. In other words, our understanding of contact geometry is that it is not an `odd-dimensional cousin' of symplectic geometry but rather a part of the latter, namely `homogeneous symplectic geometry'. This understanding of contact structures is much simpler than the traditional one and very effective in applications, reducing the contact Hamiltonian formalism to the standard symplectic picture. We develop in this language contact Hamiltonian mechanics in autonomous, as well as time-dependent case, and the corresponding Hamilton-Jacobi theory. Fundamental examples are based on canonical contact structures on the first jet bundles J^1(L) of sections of line bundles L, which play in contact geometry a fundamental role similar to that played by cotangent bundles in symplectic geometry. △ Less

Submitted 2 November, 2022; v1 submitted 10 July, 2022; originally announced July 2022.

Comments: 31 pages

MSC Class: 53D10; 53D35; 35F21; 70H20; 70G45; 70S05

Journal ref: J. Phys. A: Math. Theor. 55 (2022), 435204 (34pp)

Lifting statistical structures

Authors: Katarzyna Grabowska, Janusz Grabowski, Marek Kuś, Giuseppe Marmo

Abstract: We consider some natural (functorial) lifts of geometric objects associated with statistical manifolds (metric tensor, dual connections, skewness tensor, etc.) to higher tangent bundles. It turns out that the lifted objects form again a statistical manifold structure, this time on the higher tangent bundles, with the only difference that the metric tensor is pseudo-Riemannian. What is more, natura… ▽ More We consider some natural (functorial) lifts of geometric objects associated with statistical manifolds (metric tensor, dual connections, skewness tensor, etc.) to higher tangent bundles. It turns out that the lifted objects form again a statistical manifold structure, this time on the higher tangent bundles, with the only difference that the metric tensor is pseudo-Riemannian. What is more, natural lifts of potentials (called also divergence or contrast functions) turn out to be again potentials, this time for the lifted statistical structures. We propose an analogous procedure for lifting statistical structures on Lie algebroids and lifting contrast functions which are defined on Lie groupoids. In particular, we study in detail Lie groupoid structures of higher tangent bundles of Lie groupoids. Our geometric constructions of lifts are illustrated by explicit examples, including some important statistical models and potential functions on Lie groupoids. △ Less

Submitted 18 November, 2022; v1 submitted 6 March, 2022; originally announced March 2022.

Comments: 44 pages, the version to be published in Rev. Math. Phys

MSC Class: 53B12; 58H05; 22A22; 53B05

Journal ref: Rev. Math. Phys. 35 (2023), no. 2, Paper No. 2250042, 51 pp

VB-structures and generalizations

Authors: Janusz Grabowski, Katarzyna Grabowska, Zohreh Ravanpak

Abstract: Motivated by properties of higher tangent lifts of geometric structures, we introduce concepts of weighted structures for various geometric objects on a manifold F equipped with a homogeneity structure. The latter is a smooth action on F of the monoid of multiplicative reals. Vector bundles are particular cases of homogeneity structures with the action being the multiplication of vectors by reals,… ▽ More Motivated by properties of higher tangent lifts of geometric structures, we introduce concepts of weighted structures for various geometric objects on a manifold F equipped with a homogeneity structure. The latter is a smooth action on F of the monoid of multiplicative reals. Vector bundles are particular cases of homogeneity structures with the action being the multiplication of vectors by reals, and weighted structures on them we call VB-structures. In the case of Lie algebroids and Lie groupoids, the weighted structures include the concepts of VB-algebroids and VB-groupoids, intensively studied recently in the literature. Investigating various weighted structures, we prove some interesting results about their properties. △ Less

Submitted 27 March, 2022; v1 submitted 13 August, 2021; originally announced August 2021.

Comments: 46 pages

MSC Class: 53C15; 57R22; 58A32; (Primary) 58A20; 58A30; 58D19 (Secondary)

Journal ref: Annals of Global Analysis and Geometry (2022) 62, 235-284

Symplectic $\mathbb{Z}_2^n$-manifolds

Authors: Andrew James Bruce, Janusz Grabowski

Abstract: Roughly speaking, $\mathbb{Z}_2^n$-manifolds are `manifolds' equipped with $\mathbb{Z}_2^n$-graded commutative coordinates with the sign rule being determined by the scalar product of their $\mathbb{Z}_2^n$-degrees. We examine the notion of a symplectic $\mathbb{Z}_2^n$-manifold, i.e., a $\mathbb{Z}_2^n$-manifold equipped with a symplectic two-form that may carry non-zero $\mathbb{Z}_2^n$-degree.… ▽ More Roughly speaking, $\mathbb{Z}_2^n$-manifolds are `manifolds' equipped with $\mathbb{Z}_2^n$-graded commutative coordinates with the sign rule being determined by the scalar product of their $\mathbb{Z}_2^n$-degrees. We examine the notion of a symplectic $\mathbb{Z}_2^n$-manifold, i.e., a $\mathbb{Z}_2^n$-manifold equipped with a symplectic two-form that may carry non-zero $\mathbb{Z}_2^n$-degree. We show that the basic notions and results of symplectic geometry generalise to the `higher graded' setting, including a generalisation of Darboux's theorem. △ Less

Submitted 12 July, 2021; v1 submitted 27 February, 2021; originally announced March 2021.

Comments: 19 pages, minor typos corrected and clarifying comments added. The exposition has been improved. Comments welcomed

MSC Class: 14A22; 17B63; 17B75; 53D05; 53D15; 58A50

Journal ref: Journal of Geometric Mechanics, 2021

Nonassociative analogs of Lie groupoids

Authors: Janusz Grabowski, Zohreh Ravanpak

Abstract: We introduce nonassociative geometric objects generalising naturally Lie groupoids and called (smooth) quasiloopoids and loopoids. We prove that the tangent bundles of smooth loopoids are canonically smooth loopoids again (it is nontrivial in the case of loopoids). We show also that this is not true if the cotangent bundles are concerned. After providing a few natural constructions, we show how th… ▽ More We introduce nonassociative geometric objects generalising naturally Lie groupoids and called (smooth) quasiloopoids and loopoids. We prove that the tangent bundles of smooth loopoids are canonically smooth loopoids again (it is nontrivial in the case of loopoids). We show also that this is not true if the cotangent bundles are concerned. After providing a few natural constructions, we show how the Lie-like functor associates with loopoids skew-algebroids and almost Lie algebroids and how discrete mechanics on Lie groupoids can be reformulated in the nonassociative case. △ Less

Submitted 3 March, 2022; v1 submitted 17 January, 2021; originally announced January 2021.

Comments: 31 pages

Journal ref: Differential Geometry and its Applications, Volume 82, June 2022, 101887

Discrete mechanics on unitary octonions

Authors: Janusz Grabowski, Zohreh Ravanpak

Abstract: In this article we generalize the discrete Lagrangian and Hamiltonian mechanics on Lie groups to non-associative objects generalizing Lie groups (smooth loops). This shows that the associativity assumption is not crucial for mechanics and opens new perspectives. As a working example we obtain the discrete Lagrangian and Hamiltonian mechanics on unitary octonions. In this article we generalize the discrete Lagrangian and Hamiltonian mechanics on Lie groups to non-associative objects generalizing Lie groups (smooth loops). This shows that the associativity assumption is not crucial for mechanics and opens new perspectives. As a working example we obtain the discrete Lagrangian and Hamiltonian mechanics on unitary octonions. △ Less

Submitted 25 August, 2020; originally announced August 2020.

Comments: 19 pages

MSC Class: 17B66; 17Dxx; 20N05; 22A22; 70G45; 70Hxx

Journal ref: International Journal of Geometric Methods in Modern Physics Vol. 18, No. 6 (2021) 2150093 (20 pages)

Riemannian structures on $\mathbb{Z}_2^n$-manifolds

Authors: Andrew James Bruce, Janusz Grabowski

Abstract: Very loosely, $\mathbb{Z}_2^n$-manifolds are `manifolds' with $\mathbb{Z}_2^n$-graded coordinates and their sign rule is determined by the scalar product of their $\mathbb{Z}_2^n$-degrees. A little more carefully, such objects can be understood within a sheaf-theoretical framework, just as supermanifolds can, but with subtle differences. In this paper, we examine the notion of a Riemannian… ▽ More Very loosely, $\mathbb{Z}_2^n$-manifolds are `manifolds' with $\mathbb{Z}_2^n$-graded coordinates and their sign rule is determined by the scalar product of their $\mathbb{Z}_2^n$-degrees. A little more carefully, such objects can be understood within a sheaf-theoretical framework, just as supermanifolds can, but with subtle differences. In this paper, we examine the notion of a Riemannian $\mathbb{Z}_2^n$-manifold, i.e., a $\mathbb{Z}_2^n$-manifold equipped with a Riemannian metric that may carry non-zero $\mathbb{Z}_2^n$-degree. We show that the basic notions and tenets of Riemannian geometry directly generalise to the setting of $\mathbb{Z}_2^n$-geometry. For example, the Fundamental Theorem holds in this higher graded setting. We point out the similarities and differences with Riemannian supergeometry. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Comments: 17 pages. Comments welcomed

MSC Class: 14A22; 53B05; 53C50; 58A50

Journal ref: Mathematics 2020, 8, 1469

Information geometry on groupoids: the case of singular metrics

Authors: Katarzyna Grabowska, Janusz Grabowski, Marek Kus, Giuseppe Marmo

Abstract: We use the general setting for contrast (potential) functions in statistical and information geometry provided by Lie groupoids and Lie algebroids. The contrast functions are defined on Lie groupoids and give rise to two-forms and three-forms on the corresponding Lie algebroid. We study the case when the two-form is degenerate and show how in sufficiently regular cases one reduces it to a pseudome… ▽ More We use the general setting for contrast (potential) functions in statistical and information geometry provided by Lie groupoids and Lie algebroids. The contrast functions are defined on Lie groupoids and give rise to two-forms and three-forms on the corresponding Lie algebroid. We study the case when the two-form is degenerate and show how in sufficiently regular cases one reduces it to a pseudometric structures. Transversal Levi-Civita connections for Riemannian foliations are generalized to the Lie groupoid/Lie algebroid case. △ Less

Submitted 13 June, 2020; originally announced June 2020.

Comments: 15 pages

Journal ref: Open Systems & Information Dynamics Vol. 27, No. 3 (2020) 2050015 (19 pages)

Odd Connections on Supermanifolds: Existence and relation with Affine Connections

Authors: Andrew James Bruce, Janusz Grabowski

Abstract: The notion of an odd quasi-connection on a supermanifold, which is loosely an affine connection that carries non-zero Grassmann parity, is examined. Their torsion and curvature are defined, however, in general, they are not tensors. A special class of such generalised connections, referred to as odd connections in this paper, have torsion and curvature tensors. Part of the structure is an odd invo… ▽ More The notion of an odd quasi-connection on a supermanifold, which is loosely an affine connection that carries non-zero Grassmann parity, is examined. Their torsion and curvature are defined, however, in general, they are not tensors. A special class of such generalised connections, referred to as odd connections in this paper, have torsion and curvature tensors. Part of the structure is an odd involution of the tangent bundle of the supermanifold and this puts drastic restrictions on the supermanifolds that admit odd connections. In particular, they must have equal number of even and odd dimensions. Amongst other results, we show that an odd connection is defined, up to an odd tensor field of type $(1,2)$, by an affine connection and an odd endomorphism of the tangent bundle. Thus, the theory of odd connections and affine connections are not completely separate theories. As an example relevant to physics, it is shown that $N= 1$ super-Minkowski spacetime admits a natural odd connection. △ Less

Submitted 21 September, 2020; v1 submitted 15 May, 2020; originally announced May 2020.

Comments: 17 pages including one Appendix. Parts of the exposition have been rewritte and further references added. Accepted for publication in the Journal of Physics A: Mathematical and Theoretical

MSC Class: 16W50; 17B66; 53B05; 58A50

Journal ref: 2020 J. Phys. A: Math. Theor. 53 455203

Transitive nilpotent Lie algebras of vector fields and their Tanaka prolongations

Authors: Katarzyna Grabowska, Janusz Grabowski, Zohreh Ravanpak

Abstract: Transitive local Lie algebras of vector fields can be easily constructed from dilations of $\mathbb{R}^n$ associating with coordinates positive weights (give me a sequence of $n$ positive integers and I will give you a transitive nilpotent Lie algebra of vector fields on $\mathbb{R}^n$). It is interesting that all transitive nilpotent local Lie algebra of vector fields can be obtained as subalgebr… ▽ More Transitive local Lie algebras of vector fields can be easily constructed from dilations of $\mathbb{R}^n$ associating with coordinates positive weights (give me a sequence of $n$ positive integers and I will give you a transitive nilpotent Lie algebra of vector fields on $\mathbb{R}^n$). It is interesting that all transitive nilpotent local Lie algebra of vector fields can be obtained as subalgebras of nilpotent algebras of this kind. Starting with a graded nilpotent Lie algebra one constructs graded parts of its Tanaka prolongations inductively as `derivations of degree 0, 1, etc. Of course, vector fields of weight $k$ with respect to the dilation define automatically derivations of weight $k$, so the Tanaka prolongation is in this case never finite. Are they all such derivations given by vector fields or there are additional `strange'ones? We answer this question. Except for special cases, derivations of degree 0 are given by vector fields of degree 0 and the Tanaka prolongation recovers the whole algebra of polynomial vectors defined by the dilation. However, in some particular cases of dilations we can find `strange' derivations which we describe in detail △ Less

Submitted 20 February, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: 11 pages. The title has been corrected

MSC Class: (primary) 17B30; 17B66 (secondary) 57R25; 57S20

Journal ref: Journal of Lie Theory Volume 31 (2021) 1003-1014

Solvable Lie Algebras of Vector Fields and a Lie's Conjecture

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional analytical solvable and transitive Lie algebras of vector fields whose derivative ideal is nilpotent can be adapted to this scheme. We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional analytical solvable and transitive Lie algebras of vector fields whose derivative ideal is nilpotent can be adapted to this scheme. △ Less

Submitted 10 July, 2020; v1 submitted 5 July, 2019; originally announced July 2019.

MSC Class: (primary) 17B30 17B66 (secondary) 57R25 57S20

Journal ref: SIGMA 16 (2020), 065, 14 pages

Lie groupoids in information geometry

Authors: Katarzyna Grabowska, Janusz Grabowski, Marek Kuś, Giuseppe Marmo

Abstract: We demonstrate that the proper general setting for contrast (potential) functions in statistical and information geometry is the one provided by Lie groupoids and Lie algebroids. The contrast functions are defined on Lie groupoids and give rise to two-forms and three-forms on the corresponding Lie algebroid. If the two-form is non-degenerate, it defines a `pseudo-Riemannian' metric on the Lie alge… ▽ More We demonstrate that the proper general setting for contrast (potential) functions in statistical and information geometry is the one provided by Lie groupoids and Lie algebroids. The contrast functions are defined on Lie groupoids and give rise to two-forms and three-forms on the corresponding Lie algebroid. If the two-form is non-degenerate, it defines a `pseudo-Riemannian' metric on the Lie algebroid and a family of Lie algebroid torsion-free connections, including the Levi-Civita connection of the metric. In this framework, the two-point functions are just functions on the pair groupoid $M\ti M$ with the `standard' metric and affine connection on the Lie algebroid $\sT M$. We study also reductions of such systems and infinite-dimensional examples. In particular, we find a contrast function defining the Fubini-Study metric on the Hilbert projective space. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Comments: 19 pages

MSC Class: 53A40; 53D17; 53Z05

Remarks on superdifferential equations

Authors: Janusz Grabowski, Javier de Lucas

Abstract: We show that the term `superdifferential equation' has been employed in the literature to refer to different types of differential equations with even and odd variables. It is justified on physical and mathematical grounds that a subclass of them, the hereafter called Grassmann-valued differential equations, cannot be effectively described through supergeometric techniques. Instead, we analyse the… ▽ More We show that the term `superdifferential equation' has been employed in the literature to refer to different types of differential equations with even and odd variables. It is justified on physical and mathematical grounds that a subclass of them, the hereafter called Grassmann-valued differential equations, cannot be effectively described through supergeometric techniques. Instead, we analyse them in terms of standard differential equations on Grassmann algebra bundles. Our considerations are illustrated through examples of physical and mathematical relevance. △ Less

Submitted 15 November, 2023; v1 submitted 7 October, 2018; originally announced October 2018.

Comments: This manuscript contains unclear and false statements

MSC Class: 34A26 (primary); 58A50; 15A75; 32C38 (secondary)

On n-tuple principal bundles

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We develop the concept of a double (more generally n-tuple) principal bundle departing from a compatibility condition for a principal action of a Lie group on a groupoid. We develop the concept of a double (more generally n-tuple) principal bundle departing from a compatibility condition for a principal action of a Lie group on a groupoid. △ Less

Submitted 30 July, 2018; originally announced July 2018.

Comments: 16 pages

MSC Class: (primary) 22A22; 58H05; 57R22; (secondary) 18D05; 18B40

Journal ref: International Journal of Geometric Methods in Modern Physics Vol. 15, No. 12 (2018) 1850211 (18 pages)

Quasi-Lie schemes for PDEs

Authors: Jose F. Carinena, Janusz Grabowski, Javier de Lucas

Abstract: The theory of quasi-Lie systems, i.e. systems of first order ordinary differential equations which can be related via a generalised flow to Lie systems, is extended to systems of partial differential equations and its applications to obtaining $t$-dependent superposition rules and integrability conditions are analysed. We develop a procedure of constructing quasi-Lie systems through a generalisati… ▽ More The theory of quasi-Lie systems, i.e. systems of first order ordinary differential equations which can be related via a generalised flow to Lie systems, is extended to systems of partial differential equations and its applications to obtaining $t$-dependent superposition rules and integrability conditions are analysed. We develop a procedure of constructing quasi-Lie systems through a generalisation to PDEs of the so-called theory of quasi-Lie schemes. Our techniques are illustrated with the analysis of Wess-Zumino-Novikov-Witten models, generalised Abel differential equations, Baecklund transformations, as well as other differential equations of physical and mathematical relevance. △ Less

Submitted 29 March, 2018; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: 32 pages

MSC Class: 34A26 (Primary); 34A05; 34A34; 17B66; 22E70 (Secondary)

Journal ref: International Journal of Geometric Methods in Modern Physics Vol. 16, No. 7 (2019) 1950096 (36 pages)

Geometry of quantum dynamics in infinite dimension

Authors: Janusz Grabowski, Marek Kus, Giuseppe Marmo, Tatiana Shulman

Abstract: We develop a geometric approach to quantum mechanics based on the concept of the Tulczyjew triple. Our approach is genuinely infinite-dimensional and including a Lagrangian formalism in which self-adjoint (Schroedinger) operators are obtained as Lagrangian submanifolds associated with the Lagrangian. As a byproduct we obtain also results concerning coadjoint orbits of the unitary group in infinite… ▽ More We develop a geometric approach to quantum mechanics based on the concept of the Tulczyjew triple. Our approach is genuinely infinite-dimensional and including a Lagrangian formalism in which self-adjoint (Schroedinger) operators are obtained as Lagrangian submanifolds associated with the Lagrangian. As a byproduct we obtain also results concerning coadjoint orbits of the unitary group in infinite dimension, embedding of the Hilbert projective space of pure states in the unitary group, and an approach to self-adjoint extensions of symmetric relations. △ Less

Submitted 17 November, 2017; originally announced November 2017.

Comments: 32 pages

Journal ref: J. Phys. A: Math. Theor. 51 (2018) 165301 (35pp)

On the concept of a filtered bundle

Authors: Andrew James Bruce, Katarzyna Grabowska, Janusz Grabowski

Abstract: We present the notion of a filtered bundle as a generalisation of a graded bundle. In particular, we weaken the necessity of the transformation laws for local coordinates to exactly respect the weight of the coordinates by allowing more general polynomial transformation laws. The key examples of such bundles include affine bundles and various jet bundles, both of which play fundamental roles in ge… ▽ More We present the notion of a filtered bundle as a generalisation of a graded bundle. In particular, we weaken the necessity of the transformation laws for local coordinates to exactly respect the weight of the coordinates by allowing more general polynomial transformation laws. The key examples of such bundles include affine bundles and various jet bundles, both of which play fundamental roles in geometric mechanics and classical field theory. We also present the notion of double filtered bundles which provide natural generalisations of double vector bundles and double affine bundles. Furthermore, we show that the linearisation of a filtered bundle - which can be seen as a partial polarisation of the admissible changes of local coordinates - is well defined. △ Less

Submitted 8 July, 2017; originally announced July 2017.

Comments: 23 pages

MSC Class: 55R10; 58A20; 16W70; 13F20

Journal ref: International Journal of Geometric Methods in Modern Physics Vol. 15, No. 1 (2018) 1850013 (34 pages)

Representations up to homotopy from weighted Lie algebroids

Authors: Andrew James Bruce, Janusz Grabowski, Luca Vitagliano

Abstract: Weighted Lie algebroids were recently introduced as Lie algebroids equipped with an additional compatible non-negative grading, and represent a wide generalisation of the notion of a VB -algebroid. There is a close relation between two term representations up to homotopy of Lie algebroids and VB - algebroids. In this paper we show how this relation generalises to weighted Lie algebroids and in doi… ▽ More Weighted Lie algebroids were recently introduced as Lie algebroids equipped with an additional compatible non-negative grading, and represent a wide generalisation of the notion of a VB -algebroid. There is a close relation between two term representations up to homotopy of Lie algebroids and VB - algebroids. In this paper we show how this relation generalises to weighted Lie algebroids and in doing so we uncover new and natural examples of higher term representations up to homotopy of Lie algebroids. Moreover, we show how the van Est theorem generalises to weighted objects. △ Less

Submitted 24 April, 2018; v1 submitted 5 May, 2017; originally announced May 2017.

Comments: 23 pages (journal format)

MSC Class: 53D17; 58A50; 17B66

Journal ref: Journal of Lie Theory 28 (2018), No. 3, 711--733

Remarks on generalized Lie algebroids and related concepts

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We prove that "generalized Lie algebroid", a geometric object which appeared recently in the literature, is a misconception. We prove that "generalized Lie algebroid", a geometric object which appeared recently in the literature, is a misconception. △ Less

Submitted 25 January, 2017; originally announced January 2017.

Comments: 9 pages

MSC Class: 17B66; 53D17; 17B66; 53D17; 22A22; 53C15; 70G45; 70H33; 70S05

Journal ref: J. Math. Phys. 58 (2017), no. 2, 023505, 7 pp

Revisiting Lie integrability by quadratures from a geometric perspective

Authors: José F. Cariñena, Fernando Falceto, Janusz Grabowski, Manuel F. Rañada

Abstract: After a short review of the classical Lie theorem, a finite dimensional Lie algebra of vector fields is considered and the most general conditions under which the integral curves of one of the fields can be obtained by quadratures in a prescribed way will be discussed, determining also the number of quadratures needed to integrate the system. The theory will be illustrated with examples andbn an e… ▽ More After a short review of the classical Lie theorem, a finite dimensional Lie algebra of vector fields is considered and the most general conditions under which the integral curves of one of the fields can be obtained by quadratures in a prescribed way will be discussed, determining also the number of quadratures needed to integrate the system. The theory will be illustrated with examples andbn an extension of the theorem where the Lie algebras are replaced by some distributions will also be presented. △ Less

Submitted 14 January, 2017; originally announced January 2017.

Comments: 14 pages, proceedings of the conference "50th Seminar Sophus Lie", 25 September - 1 October 2016, Bedlewo, Poland

MSC Class: 37J35; 70H06

Journal ref: Banach Center Publ. 110 (2016), 25-40, Polish Acad. Sci., Warsaw, 2016

Duality for graded manifolds

Authors: Janusz Grabowski, Michał Jóźwikowski, Mikołaj Rotkiewicz

Abstract: We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different category than the initial ones, namely graded polynomial (co)algebra bundles and free graded Weil (co)algebra bundles. Our results are then applied to obtain elega… ▽ More We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different category than the initial ones, namely graded polynomial (co)algebra bundles and free graded Weil (co)algebra bundles. Our results are then applied to obtain elegant characterizations of double vector bundles and graded bundles of degree 2. All these results have their supergeometric counterparts. For instance, we give a simple proof of a nice characterisation of $N$-manifolds of degree 2, announced in the literature. △ Less

Submitted 6 October, 2016; originally announced October 2016.

Comments: 23 pages, comments are wellcome

MSC Class: 53C15; 57S25; 55R10; 58A50

Journal ref: Rep. Math. Phys. 80 (2017) pp. 115-141

Pre-Courant Algebroids

Authors: Andrew James Bruce, Janusz Grabowski

Abstract: Pre-Courant algebroids are `Courant algebroids' without the Jacobi identity for the Courant-Dorfman bracket. In this paper we examine the corresponding supermanifold description of pre-Courant algebroids and some direct consequences thereof - such as the definition of (sub-)Dirac structures and the notion of the naive quasi-cochain complex. In particular we define symplectic almost Lie 2-algebroid… ▽ More Pre-Courant algebroids are `Courant algebroids' without the Jacobi identity for the Courant-Dorfman bracket. In this paper we examine the corresponding supermanifold description of pre-Courant algebroids and some direct consequences thereof - such as the definition of (sub-)Dirac structures and the notion of the naive quasi-cochain complex. In particular we define symplectic almost Lie 2-algebroids and show how they correspond to pre-Courant algebroids. Moreover, the framework of supermanifolds allows us to economically define and work with pre-Courant algebroids equipped with a compatible non-negative grading. VB-Courant algebroids are natural examples of what we call weighted pre-Courant algebroids, and our approach drastically simplifies working with them. We remark that examples of pre-Courant algebroids are plentiful - natural examples include the cotangent bundle of any almost Lie algebroid. △ Less

Submitted 7 May, 2019; v1 submitted 4 August, 2016; originally announced August 2016.

Comments: Dedicated to the memory of James Alfred Bruce

MSC Class: 17A32; 53D17; 58A50

Solvability of a Lie algebra of vector fields implies their integrability by quadratures

Authors: J. F. Cariñena, F. Falceto, J. Grabowski

Abstract: We present a substantial generalisation of a classical result by Lie on integrability by quadratures. Namely, we prove that all vector fields in a finite-dimensional transitive and solvable Lie algebra of vector fields on a manifold can be integrated by quadratures. We present a substantial generalisation of a classical result by Lie on integrability by quadratures. Namely, we prove that all vector fields in a finite-dimensional transitive and solvable Lie algebra of vector fields on a manifold can be integrated by quadratures. △ Less

Submitted 7 October, 2016; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: 14 pages. Published version

MSC Class: 34A26; 37J15; 37J35; 70H06

Journal ref: J. Phys. A: Math. Theor. 49 (2016) 425202 (13pp)

Introduction to graded bundles

Authors: Andrew J. Bruce, K. Grabowska, J. Grabowski

Abstract: We review the concept of a graded bundle as a natural generalisation of a vector bundle. Such geometries are particularly nice examples of more general graded manifolds. With hindsight there are many examples of graded bundles that appear in the existing literature. We start with a discussion of graded spaces, passing through graded bundles and their linearisation to end with weighted (graded) Lie… ▽ More We review the concept of a graded bundle as a natural generalisation of a vector bundle. Such geometries are particularly nice examples of more general graded manifolds. With hindsight there are many examples of graded bundles that appear in the existing literature. We start with a discussion of graded spaces, passing through graded bundles and their linearisation to end with weighted (graded) Lie groupoids/algebroids. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: 11 pages, proceedings of the First International Conference of Differential Geometry, Fez (Morocco), April 11-15, 2016

MSC Class: 55R10; 58D19 (Primary); 53D17 (Secondary)

Splitting theorem for $\mathbb{Z}_2^n$-supermanifolds

Authors: Tiffany Covolo, Janusz Grabowski, Norbert Poncin

Abstract: Smooth $\mathbb{Z}_2^n$-supermanifolds have been introduced and studied recently. The corresponding sign rule is given by the "scalar product" of the involved $\mathbb{Z}_2^n$-degrees. It exhibits interesting changes in comparison with the sign rule using the parity of the total degree. With the new rule, nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not n… ▽ More Smooth $\mathbb{Z}_2^n$-supermanifolds have been introduced and studied recently. The corresponding sign rule is given by the "scalar product" of the involved $\mathbb{Z}_2^n$-degrees. It exhibits interesting changes in comparison with the sign rule using the parity of the total degree. With the new rule, nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise. The classical Batchelor-Gawcedzki theorem says that any smooth supermanifold is diffeomorphic to the "superization" $ΠE$ of a vector bundle $E$. It is also known that this result fails in the complex analytic category. Hence, it is natural to ask whether an analogous statement goes through in the category of $\mathbb{Z}_2^n$-supermanifolds with its local model made of formal power series. We give a positive answer to this question. △ Less

Submitted 20 September, 2016; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: 12 pages, substantial text overlap with arXiv:1408.2939, minor corrections and some explanations addedd; to appear in J. Geom. Phys

MSC Class: 17A70; 58A50; 13F25; 16L30

Journal ref: J. Geom. Phys. 110 (2016), 393-401

The category of $\mathbb{Z}_2^n$-supermanifolds

Authors: Tiffany Covolo, Janusz Grabowski, Norbert Poncin

Abstract: In Physics and in Mathematics $\mathbb{Z}_2^n$-gradings, $n>1$, appear in various fields. The corresponding sign rule is determined by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The $\mathbb{Z}_2^n$-Supergeometry exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commut… ▽ More In Physics and in Mathematics $\mathbb{Z}_2^n$-gradings, $n>1$, appear in various fields. The corresponding sign rule is determined by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The $\mathbb{Z}_2^n$-Supergeometry exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise. In this article we develop the foundations of the theory: we define $\mathbb{Z}_2^n$-supermanifolds and provide examples in the ringed space and coordinate settings. We thus show that formal series are the appropriate substitute for nilpotency. Moreover, the class of $\mathbb{Z}_2^\bullet$-supermanifolds is closed with respect to the tangent and cotangent functors. We explain that any $n$-fold vector bundle has a canonical `superization' to a $\mathbb{Z}_2^n$-supermanifold and prove that the fundamental theorem describing supermorphisms in terms of coordinates can be extended to the $\mathbb{Z}_2^n$-context. △ Less

Submitted 27 June, 2016; v1 submitted 10 February, 2016; originally announced February 2016.

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1408.2755. Added references, added concluding remarks. To appear in Journal of Mathematical Physics

MSC Class: 17A70; 58A50; 13F25; 16L30

Journal ref: J. Math. Phys. 57 (2016), 073503 (16pp)

Polarisation of Graded Bundles

Authors: Andrew James Bruce, Janusz Grabowski, Mikolaj Rotkiewicz

Abstract: We construct the full linearisation functor which takes a graded bundle of degree $k$ (a particular kind of graded manifold) and produces a $k$-fold vector bundle. We fully characterise the image of the full linearisation functor and show that we obtain a subcategory of $k$-fold vector bundles consisting of symmetric $k$-fold vector bundles equipped with a family of morphisms indexed by the symmet… ▽ More We construct the full linearisation functor which takes a graded bundle of degree $k$ (a particular kind of graded manifold) and produces a $k$-fold vector bundle. We fully characterise the image of the full linearisation functor and show that we obtain a subcategory of $k$-fold vector bundles consisting of symmetric $k$-fold vector bundles equipped with a family of morphisms indexed by the symmetric group ${\mathbb S}_k$. Interestingly, for the degree 2 case this additional structure gives rise to the notion of a symplectical double vector bundle, which is the skew-symmetric analogue of a metric double vector bundle. We also discuss the related case of fully linearising $N$-manifolds, and how one can use the full linearisation functor to "superise" a graded bundle. △ Less

Submitted 2 November, 2016; v1 submitted 8 December, 2015; originally announced December 2015.

MSC Class: 55R10; 58A32; 58A50

Journal ref: SIGMA 12 (2016), 106, 30 pages

New developments in geometric mechanics

Authors: A. J. Bruce, K. Grabowska, J. Grabowski, P. Urbanski

Abstract: We review the concept of a graded bundle, which is a generalisation of a vector bundle, its linearisation, and a double structure of this kind. We then present applications of these structures in geometric mechanics including systems with higher order Lagrangian and the Plateau problem. We review the concept of a graded bundle, which is a generalisation of a vector bundle, its linearisation, and a double structure of this kind. We then present applications of these structures in geometric mechanics including systems with higher order Lagrangian and the Plateau problem. △ Less

Submitted 1 October, 2015; originally announced October 2015.

Comments: 16 pages, conference proceedings "Geometry of Jets and Fields" (Bedlewo, 10-16 May, 2015)

MSC Class: Primary 70H50; Secondary 53D17; 70H50; 83E30

Journal ref: Banach Center Publ. 110 (2016), 57-72, Polish Acad. Sci., Warsaw, 2016

Tulczyjew triples in the constrained dynamics of strings

Authors: Janusz Grabowski, Katarzyna Grabowska, Pawel Urbanski

Abstract: We show that there exists a natural Tulczyjew triple in the dynamics of objects for which the standard kinematic configuration space $TM$, i.e. the tangent bundle, is replaced with its $n$-th exterior power, i.e. the bundle of tangent $n$-vectors. In this framework, which is fully covariant, we geometrically derive phase equations, as well as Euler-Lagrange equations, including nonholonomic constr… ▽ More We show that there exists a natural Tulczyjew triple in the dynamics of objects for which the standard kinematic configuration space $TM$, i.e. the tangent bundle, is replaced with its $n$-th exterior power, i.e. the bundle of tangent $n$-vectors. In this framework, which is fully covariant, we geometrically derive phase equations, as well as Euler-Lagrange equations, including nonholonomic constraints into the picture. Dynamics of strings and a constrained Plateau problem in statics are particular cases of this framework. △ Less

Submitted 26 September, 2015; originally announced September 2015.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1401.6970

MSC Class: Primary: 70S05; 53C80 Secondary: 53D17; 58A20; 58A32; 70G45

Journal ref: Nuovo Cimento C 38 (2015) 162 (14pp)

Remarks on Contact and Jacobi Geometry

Authors: Andrew James Bruce, Katarzyna Grabowska, Janusz Grabowski

Abstract: We present an approach to Jacobi and contact geometry that makes many facts, presented in the literature in an overcomplicated way, much more natural and clear. The key concepts are Kirillov manifolds and linear Kirillov structures, i.e., homogeneous Poisson manifolds and, respectively, homogeneous linear Poisson manifolds. The difference with the existing literature is that the homogeneity of the… ▽ More We present an approach to Jacobi and contact geometry that makes many facts, presented in the literature in an overcomplicated way, much more natural and clear. The key concepts are Kirillov manifolds and linear Kirillov structures, i.e., homogeneous Poisson manifolds and, respectively, homogeneous linear Poisson manifolds. The difference with the existing literature is that the homogeneity of the Poisson structure is related to a principal ${\rm GL}(1,{\mathbb R})$-bundle structure on the manifold and not just to a vector field. This allows for working with Jacobi bundle structures on nontrivial line bundles and drastically simplifies the picture of Jacobi and contact geometry. Our results easily reduce to various basic theorems of Jacobi and contact geometry when the principal bundle structure is trivial, while giving new insights into the theory. △ Less

Submitted 26 July, 2017; v1 submitted 20 July, 2015; originally announced July 2015.

MSC Class: 53D05; 53D10; 53D17; 58E40; 58H05

Journal ref: SIGMA 13 (2017), 059, 22 pages

Graded Bundles in the Category of Lie Groupoids

Authors: Andrew James Bruce, Katarzyna Grabowska, Janusz Grabowski

Abstract: We define and make initial study of Lie groupoids equipped with a compatible homogeneity (or graded bundle) structure, such objects we will refer to as weighted Lie groupoids. One can think of weighted Lie groupoids as graded manifolds in the category of Lie groupoids. This is a very rich geometrical theory with numerous natural examples. Note that $\mathcal{VB}$-groupoids, extensively studied in… ▽ More We define and make initial study of Lie groupoids equipped with a compatible homogeneity (or graded bundle) structure, such objects we will refer to as weighted Lie groupoids. One can think of weighted Lie groupoids as graded manifolds in the category of Lie groupoids. This is a very rich geometrical theory with numerous natural examples. Note that $\mathcal{VB}$-groupoids, extensively studied in the recent literature, form just the particular case of weighted Lie groupoids of degree one. We examine the Lie theory related to weighted groupoids and weighted Lie algebroids, objects defined in a previous publication of the authors, which are graded manifolds in the category of Lie algebroids, showing that they are naturally related via differentiation and integration. In this work we also make an initial study of weighted Poisson-Lie groupoids and weighted Lie bi-algebroids, as well as weighted Courant algebroids. △ Less

Submitted 11 November, 2015; v1 submitted 21 February, 2015; originally announced February 2015.

MSC Class: 22A22; 55R10; 58E40; 58H05

Journal ref: SIGMA 11 (2015), 090, 25 pages

Higher order mechanics on graded bundles

Authors: Andrew James Bruce, Katarzyna Grabowska, Janusz Grabowski

Abstract: In this paper we develop a geometric approach to higher order mechanics on graded bundles in both, the Lagrangian and Hamiltonian formalism, via the recently discovered weighted algebroids. We present the corresponding Tulczyjew triple for this higher order situation and derive in this framework the phase equations from an arbitrary (also singular) Lagrangian or Hamiltonian, as well as the Euler-L… ▽ More In this paper we develop a geometric approach to higher order mechanics on graded bundles in both, the Lagrangian and Hamiltonian formalism, via the recently discovered weighted algebroids. We present the corresponding Tulczyjew triple for this higher order situation and derive in this framework the phase equations from an arbitrary (also singular) Lagrangian or Hamiltonian, as well as the Euler-Lagrange equations. As important examples, we geometrically derive the classical higher order Euler-Lagrange equations and analogous reduced equations for invariant higher order Lagrangians on Lie groupoids. △ Less

Submitted 9 December, 2014; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: 28 pages, comments welcomed. Minor typos and editing artefacts corrected. No major revision

MSC Class: 53C10; 53D17; 53Z05; 55R10; 70H03; 70H50

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 205203

Geometry of Lie integrability by quadratures

Authors: J. F. Cariñena, F. Falceto, J. Grabowski, M. F. Rañada

Abstract: In this paper we extend the Lie theory of integration in two different ways. First we consider a finite dimensional Lie algebra of vector fields and discuss the most general conditions under which the integral curves of one of the fields can be obtained by quadratures in a prescribed way. It turns out that the conditions can be expressed in a purely algebraic way. In a second step we generalize th… ▽ More In this paper we extend the Lie theory of integration in two different ways. First we consider a finite dimensional Lie algebra of vector fields and discuss the most general conditions under which the integral curves of one of the fields can be obtained by quadratures in a prescribed way. It turns out that the conditions can be expressed in a purely algebraic way. In a second step we generalize the construction to the case in which we substitute the Lie algebra of vector fields by a module (generalized distribution). We obtain much larger class of integrable systems replacing standard concepts of solvable (or nilpotent) Lie algebra with distributional solvability (nilpotency). △ Less

Submitted 26 September, 2014; originally announced September 2014.

Comments: 18 pages

MSC Class: 37J35; 34A34; 34C15; 70H06

Journal ref: Journal of Physics A. Mathematical and Theoretical 48(21), 2014

Linear duals of graded bundles and higher analogues of (Lie) algebroids

Authors: Andrew James Bruce, Katarzyna Grabowska, Janusz Grabowski

Abstract: Graded bundles are a class of graded manifolds which represent a natural generalisation of vector bundles and include the higher order tangent bundles as canonical examples. We present and study the concept of the linearisation of graded bundle which allows us to define the notion of the linear dual of a graded bundle. They are examples of double structures, graded-linear ($\mathcal{GL}$) bundles,… ▽ More Graded bundles are a class of graded manifolds which represent a natural generalisation of vector bundles and include the higher order tangent bundles as canonical examples. We present and study the concept of the linearisation of graded bundle which allows us to define the notion of the linear dual of a graded bundle. They are examples of double structures, graded-linear ($\mathcal{GL}$) bundles, including double vector bundles as a particular case. On $\mathcal{GL}$-bundles we define what we shall call weighted algebroids, which are to be understood as algebroids in the category of graded bundles. They can be considered as a geometrical framework for higher order Lagrangian mechanics. Canonical examples are reductions of higher tangent bundles of Lie groupoids. Weighted algebroids represent also a generalisation of $\mathcal{VB}$-algebroids as defined by Gracia-Saz & Mehta and the $\mathcal{LA}$-bundles of Mackenzie. The resulting structures are strikingly similar to Voronov's higher Lie algebroids, however our approach does not require the initial structures to be defined on supermanifolds. △ Less

Submitted 6 November, 2015; v1 submitted 1 September, 2014; originally announced September 2014.

Comments: The preprint has been reworked and improved, including several notational changes and further clarifying comments. 32 pages. Further comments are welcomed

MSC Class: 53C10; 53D17; 55R10; 58A50

Journal ref: Journal of Geometry and Physics Volume 101, March 2016, Pages 71-99

$\mathbb{Z}_2^n$-Supergeometry II: Batchelor-Gawedzki Theorem

Authors: Tiffany Covolo, Janusz Grabowski, Norbert Poncin

Abstract: Quite a number of $\mathbb{Z}_2^n$-gradings, $n\geq 2$, appear in Physics and in Mathematics. The corresponding sign rules are given by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The new theory exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommu… ▽ More Quite a number of $\mathbb{Z}_2^n$-gradings, $n\geq 2$, appear in Physics and in Mathematics. The corresponding sign rules are given by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The new theory exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise (the parity is the parity of the total degree). Formal series are the appropriate substitute for nilpotency; the category of $\mathbb{Z}_2^\bullet$-manifolds is closed with respect to the tangent and cotangent functors. The $\mathbb{Z}_2^n$-supergeometric viewpoint provides deeper insight and simplified solutions; interesting relations with Quantum Field Theory and Quantum Mechanics are expected. In this article, we introduce split $\mathbb{Z}_2^n$-manifolds as intrinsic superizations of $\mathbb{Z}_2^n\setminus\{0\}$-graded vector bundles and prove that, conversely, any $\mathbb{Z}_2^n$-manifold is noncanonically split. We thus provide a complete proof of the $\mathbb{Z}_2^n$-extension of the so-called Batchelor-Gawedzki Theorem. △ Less

Submitted 10 November, 2014; v1 submitted 13 August, 2014; originally announced August 2014.

Comments: 20 pages, more context in the introduction

MSC Class: 17A70; 58A50; 13F25; 16L30

$\mathbb{Z}_2^n$-Supergeometry I: Manifolds and Morphisms

Authors: Tiffany Covolo, Janusz Grabowski, Norbert Poncin

Abstract: In Physics and in Mathematics $\mathbb{Z}_2^n$-gradings, $n \geq 2$, do appear quite frequently. The corresponding sign rules are determined by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The present paper is the first of a series on $\mathbb{Z}_2^n$-Supergeometry. The new theory exhibits challenging differences with the classical one: nonzero degree even coordinates are not nil… ▽ More In Physics and in Mathematics $\mathbb{Z}_2^n$-gradings, $n \geq 2$, do appear quite frequently. The corresponding sign rules are determined by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The present paper is the first of a series on $\mathbb{Z}_2^n$-Supergeometry. The new theory exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise (the parity is the parity of the total degree). It is based on the hierarchy: ` $\mathbb{Z}_2^0$-Supergeometry (classical differential Geometry) contains the germ of $\mathbb{Z}_2^1$-Supergeometry (standard Supergeometry), which in turn contains the sprout of $\mathbb{Z}_2^2$-Supergeometry, etc.' The $\mathbb{Z}_2^n$-supergeometric viewpoint provides deeper insight and simplified solutions; interesting relations with Quantum Field Theory and Quantum Mechanics are expected. In this article, we define $\mathbb{Z}_2^n$-supermanifolds and provide examples in the atlas, the ringed space and coordinate settings. We thus show that formal series are the appropriate substitute for nilpotency. Moreover, the category of $\mathbb{Z}_2^n$-supermanifolds is closed with respect to the tangent and cotangent functors. The fundamental theorem describing supermorphisms in terms of coordinates is extended to the $\mathbb{Z}_2^n$-context. △ Less

Submitted 10 November, 2014; v1 submitted 12 August, 2014; originally announced August 2014.

Comments: 29 pages, added references, more context in the introduction and in section 3.2

MSC Class: 17A70; 58A50; 13F25; 16L30

Geometry of Lagrangian and Hamiltonian formalisms in the dynamics of strings

Authors: Katarzyna Grabowska, Janusz Grabowski, Pawel Urbanski

Abstract: The Lagrangian description of mechanical systems and the Legendre Transformation (considered as a passage from the Lagrangian to the Hamiltonian formulation of the dynamics) for point-like objects, for which the infinitesimal configuration space is TM, is based on the existence of canonical symplectic isomorphisms of double vector bundles T*TM, T*TM, and TT*M. We show that there exist an analogous… ▽ More The Lagrangian description of mechanical systems and the Legendre Transformation (considered as a passage from the Lagrangian to the Hamiltonian formulation of the dynamics) for point-like objects, for which the infinitesimal configuration space is TM, is based on the existence of canonical symplectic isomorphisms of double vector bundles T*TM, T*TM, and TT*M. We show that there exist an analogous picture in the dynamics of objects for which the configuration space is the vector bundle of n-vectors, if we make use of certain graded bundle structures of degree n, i.e. objects generalizing vector bundles (for which n=1). For instance, the role of TT*M is played in our approach by the vector bundle of n-vectors on the bundle of n-covectors, which is canonically a graded bundle of degree n over the bundle of n-vectors. Dynamics of strings and the Plateau problem in statics are particular cases of this framework. △ Less

Submitted 5 June, 2014; v1 submitted 27 January, 2014; originally announced January 2014.

Comments: 24 pages, the version to appear in J. Geom. Mech

MSC Class: Primary: 70S05; 5730; Secondary: 53D05; 58A20; 58A32

Journal ref: J. Geom. Mech. 6 (2014), 503-526

Modular classes revisited

Authors: Janusz Grabowski

Abstract: We present a graded-geometric approach to modular classes of Lie algebroids and their generalizations, introducing in this setting an idea of relative modular class of a Dirac structure for a certain type of Courant algebroids, called projectable. This novel approach puts several concepts related to Poisson geometry and its generalizations in a new light and simplifies proofs. It gives, in particu… ▽ More We present a graded-geometric approach to modular classes of Lie algebroids and their generalizations, introducing in this setting an idea of relative modular class of a Dirac structure for a certain type of Courant algebroids, called projectable. This novel approach puts several concepts related to Poisson geometry and its generalizations in a new light and simplifies proofs. It gives, in particular, a nice geometric interpretation of modular classes of twisted-Poisson structures on Lie algebroids. △ Less

Submitted 29 August, 2014; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: 10 pages, slightly revised version to appear in Int. J. Geom. Meth. Mod. Phys

MSC Class: Primary 53D17; 58A50; Secondary 17B56; 17B66; 17B70; 58A32; 58C50

Journal ref: Int. J. Geom. Methods Mod. Phys. 11 (2014) 140042 (11 pages)

Convex bodies of states and maps

Authors: Janusz Grabowski, Alberto Ibort, Marek Kuś, Giuseppe Marmo

Abstract: We give a general solution to the question when the convex hulls of orbits of quantum states on a finite-dimensional Hilbert space under unitary actions of a compact group have a non-empty interior in the surrounding space of all density states. The same approach can be applied to study convex combinations of quantum channels. The importance of both problems stems from the fact that, usually, only… ▽ More We give a general solution to the question when the convex hulls of orbits of quantum states on a finite-dimensional Hilbert space under unitary actions of a compact group have a non-empty interior in the surrounding space of all density states. The same approach can be applied to study convex combinations of quantum channels. The importance of both problems stems from the fact that, usually, only sets with non-vanishing volumes in the embedding spaces of all states or channels are of practical importance. For the group of local transformations on a bipartite system we characterize maximally entangled states by properties of a convex hull of orbits through them. We also compare two partial characteristics of convex bodies in terms of largest balls and maximum volume ellipsoids contained in them and show that, in general, they do not coincide. Separable states, mixed-unitary channels and k-entangled states are also considered as examples of our techniques. △ Less

Submitted 13 June, 2013; originally announced June 2013.

Comments: 18 pages, 1 figure

MSC Class: 81P40; 52A20; 22C05

Tulczyjew triples: from statics to field theory

Authors: Katarzyna Grabowska, Janusz Grabowski

Abstract: We propose a geometric approach to dynamical equations of physics, based on the idea of the Tulczyjew triple. We show the evolution of these concepts, starting with the roots lying in the variational calculus for statics, through Lagrangian and Hamiltonian mechanics, and concluding with Tulczyjew triples for classical field theories, illustrated with a numer of important examples. We propose a geometric approach to dynamical equations of physics, based on the idea of the Tulczyjew triple. We show the evolution of these concepts, starting with the roots lying in the variational calculus for statics, through Lagrangian and Hamiltonian mechanics, and concluding with Tulczyjew triples for classical field theories, illustrated with a numer of important examples. △ Less

Submitted 18 January, 2014; v1 submitted 12 June, 2013; originally announced June 2013.

Comments: corrected version, presentation improved (26 pages, 14 figures)

MSC Class: 53D05; 58A20; 70S05; 70H03; 70H05

Journal ref: J. Geom. Mech. 5 (2013), 445-472