-
The Tor Spectral Sequence and Flat Morphisms in Homotopical $D$-Geometry
Authors:
Alisa Govzmann,
Damjan Pištalo,
Norbert Poncin
Abstract:
Homotopical algebraic $D$-geometry combines aspects of homotopical algebraic geometry of Toen and Vezzosi and $D$-geometry of Beilinson and Drinfeld. It was introduced by the paper's last two authors and di Brino as a suitable framework for a coordinate-free study of the Batalin-Vilkovisky complex and more generally for the study of non-linear partial differential equations and their symmetries. I…
▽ More
Homotopical algebraic $D$-geometry combines aspects of homotopical algebraic geometry of Toen and Vezzosi and $D$-geometry of Beilinson and Drinfeld. It was introduced by the paper's last two authors and di Brino as a suitable framework for a coordinate-free study of the Batalin-Vilkovisky complex and more generally for the study of non-linear partial differential equations and their symmetries. In order to consolidate the foundation of the theory, we have to prove that the standard methods of linear and commutative algebra are available in the context of homotopical algebraic $D$-geometry, and we must show that in this context the étale topology is a kind of homotopical Grothendieck topology and that the notion of smooth morphism is, roughly speaking, local for the étale topology. The first half of this work was done. The remaining part covers the study of étale and flat morphisms in the category of differential graded $D$-algebras and is based on the Tor spectral sequence which connects the graded Tor functors in homology with the homology of the derived tensor product of two differential graded $D$-modules over a differential graded $D$-algebra.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
The Geometry of Supersymmetry / A concise introduction
Authors:
Norbert Poncin,
Sarah Schouten
Abstract:
This text is a short but comprehensive introduction to the basics of supergeometry and includes some of the recent advances in colored supergeometry. We do not aim for a standard text that states results and proves them more or less rigorously, but all too often offers little insight to the uninformed reader. Instead we opted for a smooth exposition of the successive themes, choosing an order and…
▽ More
This text is a short but comprehensive introduction to the basics of supergeometry and includes some of the recent advances in colored supergeometry. We do not aim for a standard text that states results and proves them more or less rigorously, but all too often offers little insight to the uninformed reader. Instead we opted for a smooth exposition of the successive themes, choosing an order and an approach which are close to the way these pieces of mathematics could have been or were discovered, thereby highlighting the reasons for the various choices and facilitating deeper understanding. We hope that the text will be useful for PhD students and researchers who wish to acquire knowledge in the geometry of supersymmetry.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
A new approach to model categorical homotopy fiber sequences
Authors:
Alisa Govzmann,
Damjan Pištalo,
Norbert Poncin
Abstract:
We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding that the homotopy theory of the model category's arrow category contains all homotopical information about its long fibration sequences.
We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding that the homotopy theory of the model category's arrow category contains all homotopical information about its long fibration sequences.
△ Less
Submitted 25 September, 2021;
originally announced September 2021.
-
Indeterminacies and models of homotopy limits
Authors:
Alisa Govzmann,
Damjan Pištalo,
Norbert Poncin
Abstract:
In \cite{CompTheo} we studied the indeterminacy of the value of a derived functor at an object using different definitions of a derived functor and different types of fibrant replacement. In the present work we focus on derived or homotopy limits, which of course depend on the model structure of the diagram category under consideration. The latter is not necessarily unique, which is an additional…
▽ More
In \cite{CompTheo} we studied the indeterminacy of the value of a derived functor at an object using different definitions of a derived functor and different types of fibrant replacement. In the present work we focus on derived or homotopy limits, which of course depend on the model structure of the diagram category under consideration. The latter is not necessarily unique, which is an additional source of indeterminacy. In the case of homotopy pullbacks, we introduce the concept of full homotopy pullback by identifying the homotopy pullbacks associated with three different model structures of the category of cospan diagrams, thus increasing the number of canonical representatives. Finally, we define generalized representatives or models of homotopy limits and full homotopy pullbacks. The concept of model is a unifying approach that includes the homotopy pullback used in \cite{JL} and the homotopy fiber square defined in \cite{Hir} in right proper model categories. Properties of the latter are generalized to models in any model category.
△ Less
Submitted 25 September, 2021;
originally announced September 2021.
-
Comparison theorems for Kan, faintly universal and strongly universal derived functors
Authors:
Alisa Govzmann,
Damjan Pištalo,
Norbert Poncin
Abstract:
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we show that Kan and faint derived functors coincide when we use the classical Kan homotopy category, and when we use the Quillen homotopy category, Kan and strong…
▽ More
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we show that Kan and faint derived functors coincide when we use the classical Kan homotopy category, and when we use the Quillen homotopy category, Kan and strong derived functors coincide. Our comparison results are based on the fact that the Kan homotopy category is a weak localization and that the Quillen homotopy category is a strict localization.
△ Less
Submitted 25 September, 2021;
originally announced September 2021.
-
Linear ${\mathbb Z}_2^n$-Manifolds and Linear Actions
Authors:
Andrew James Bruce,
Eduardo Ibarguengoytia,
Norbert Poncin
Abstract:
We establish the representability of the general linear ${\mathbb Z}_2^n$-group and use the restricted functor of points - whose test category is the category of ${\mathbb Z}_2^n$-manifolds over a single topological point - to define its smooth linear actions on ${\mathbb Z}_2^n$-graded vector spaces and linear ${\mathbb Z}_2^n$-manifolds. Throughout the paper, particular emphasis is placed on the…
▽ More
We establish the representability of the general linear ${\mathbb Z}_2^n$-group and use the restricted functor of points - whose test category is the category of ${\mathbb Z}_2^n$-manifolds over a single topological point - to define its smooth linear actions on ${\mathbb Z}_2^n$-graded vector spaces and linear ${\mathbb Z}_2^n$-manifolds. Throughout the paper, particular emphasis is placed on the full faithfulness and target category of the restricted functor of points of a number of categories that we are using.
△ Less
Submitted 16 June, 2021; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Local Forms of Morphisms of Colored Supermanifolds
Authors:
Tiffany Covolo,
Stephen Kwok,
Norbert Poncin
Abstract:
In \cite{Covolo:2016}, \cite{Covolo:2012} and \cite{Poncin:2016}, we introduced the category of colored supermanifolds ($\mathbb{Z}_2^n$-super\-ma\-ni\-folds or just $\mathbb{Z}_2^n$-manifolds ($\mathbb{Z}_2^n=\mathbb{Z}_2\times\ldots\times\mathbb{Z}_2$ ($n$ times))), explicitly described the corresponding $\mathbb{Z}_2^n$-Berezinian and gave first insights into $\mathbb{Z}_2^n$-integration theory…
▽ More
In \cite{Covolo:2016}, \cite{Covolo:2012} and \cite{Poncin:2016}, we introduced the category of colored supermanifolds ($\mathbb{Z}_2^n$-super\-ma\-ni\-folds or just $\mathbb{Z}_2^n$-manifolds ($\mathbb{Z}_2^n=\mathbb{Z}_2\times\ldots\times\mathbb{Z}_2$ ($n$ times))), explicitly described the corresponding $\mathbb{Z}_2^n$-Berezinian and gave first insights into $\mathbb{Z}_2^n$-integration theory. The present paper contains a detailed account of parts of the $\mathbb{Z}_2^n$-differential calculus and of the $\mathbb{Z}_2^n$-variants of the trilogy of local theorems, which consists of the inverse function theorem, the implicit function theorem and the constant rank theorem.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
The Schwarz-Voronov Embedding of ${\mathbb Z}_{2}^{n}$-Manifolds
Authors:
Andrew James Bruce,
Eduardo Ibarguengoytia,
Norbert Poncin
Abstract:
Informally, ${\mathbb Z}_2^n$-manifolds are 'manifolds' with ${\mathbb Z}_2^n$-graded coordinates and a sign rule determined by the standard scalar product of their ${\mathbb Z}_2^n$-degrees. Such manifolds can be understood in a sheaf-theoretic framework, as supermanifolds can, but with significant differences, in particular in integration theory. In this paper, we reformulate the notion of a…
▽ More
Informally, ${\mathbb Z}_2^n$-manifolds are 'manifolds' with ${\mathbb Z}_2^n$-graded coordinates and a sign rule determined by the standard scalar product of their ${\mathbb Z}_2^n$-degrees. Such manifolds can be understood in a sheaf-theoretic framework, as supermanifolds can, but with significant differences, in particular in integration theory. In this paper, we reformulate the notion of a ${\mathbb Z}_2^n$-manifold within a categorical framework via the functor of points. We show that it is sufficient to consider ${\mathbb Z}_2^n$-points, i.e., trivial ${\mathbb Z}_2^n$-manifolds for which the reduced manifold is just a single point, as 'probes' when employing the functor of points. This allows us to construct a fully faithful restricted Yoneda embedding of the category of ${\mathbb Z}_2^n$-manifolds into a subcategory of contravariant functors from the category of ${\mathbb Z}_2^n$-points to a category of Fréchet manifolds over algebras. We refer to this embedding as the Schwarz-Voronov embedding. We further prove that the category of ${\mathbb Z}_2^n$-manifolds is equivalent to the full subcategory of locally trivial functors in the preceding subcategory.
△ Less
Submitted 8 January, 2020; v1 submitted 24 June, 2019;
originally announced June 2019.
-
Differential graded Lie groups and their differential graded Lie algebras
Authors:
Benoit Jubin,
Alexei Kotov,
Norbert Poncin,
Vladimir Salnikov
Abstract:
In this paper we discuss the question of integrating differential graded Lie algebras (DGLA) to differential graded Lie groups (DGLG).
We first recall the classical problem of integration in the context, and present the construction for (non-graded) differential Lie algebras. Then, we define the category of differential graded Lie groups and study its properties. We show how to associate a diffe…
▽ More
In this paper we discuss the question of integrating differential graded Lie algebras (DGLA) to differential graded Lie groups (DGLG).
We first recall the classical problem of integration in the context, and present the construction for (non-graded) differential Lie algebras. Then, we define the category of differential graded Lie groups and study its properties. We show how to associate a differential graded Lie algebra to every differential graded Lie group and vice-versa. For the DGLA $\to$ DGLG direction, the main ``tools'' are graded Hopf algebras and Harish-Chandra pairs (HCP) -- we define the category of graded and differential graded HCPs and explain how those are related to the desired construction. We describe some near at hand examples and mention possible generalizations.
△ Less
Submitted 23 June, 2019;
originally announced June 2019.
-
Products in the category of $\mathbb{Z}_2 ^n$-manifolds
Authors:
Andrew James Bruce,
Norbert Poncin
Abstract:
We prove that the category of $\mathbb{Z}_2 ^n$-manifolds has all finite products. Further, we show that a $\mathbb{Z}_2 ^n$-manifold (resp., a $\mathbb{Z}_2 ^n$-morphism) can be reconstructed from its algebra of global $\mathbb{Z}_2 ^n$-functions (resp., from its algebra morphism between global $\mathbb{Z}_2 ^n$-function algebras). These results are of importance in the study of…
▽ More
We prove that the category of $\mathbb{Z}_2 ^n$-manifolds has all finite products. Further, we show that a $\mathbb{Z}_2 ^n$-manifold (resp., a $\mathbb{Z}_2 ^n$-morphism) can be reconstructed from its algebra of global $\mathbb{Z}_2 ^n$-functions (resp., from its algebra morphism between global $\mathbb{Z}_2 ^n$-function algebras). These results are of importance in the study of $\mathbb{Z}_2 ^n$ Lie groups. The investigation is all the more challenging, since the completed tensor product of the structure sheafs of two $\mathbb{Z}_2 ^n$-manifolds is not a sheaf. We rely on a number of results on (pre)sheaves of topological algebras, which we establish in the appendix.
△ Less
Submitted 31 July, 2018;
originally announced July 2018.
-
Functional analytic issues in $\mathbb{Z}_2^n$-Geometry
Authors:
Andrew James Bruce,
Norbert Poncin
Abstract:
We show that the function sheaf of a $\mathbb{Z}_2^n$-manifold is a nuclear Fréchet sheaf of $\mathbb{Z}_2^n$-graded $\mathbb{Z}_2^n$-commutative associative unital algebras. Further, we prove that the components of the pullback sheaf morphism of a $\mathbb{Z}_2^n$-morphism are all continuous. These results are essential for the existence of categorical products in the category of…
▽ More
We show that the function sheaf of a $\mathbb{Z}_2^n$-manifold is a nuclear Fréchet sheaf of $\mathbb{Z}_2^n$-graded $\mathbb{Z}_2^n$-commutative associative unital algebras. Further, we prove that the components of the pullback sheaf morphism of a $\mathbb{Z}_2^n$-morphism are all continuous. These results are essential for the existence of categorical products in the category of $\mathbb{Z}_2^n$-manifolds. All proofs are self-contained and explicit.
△ Less
Submitted 31 July, 2018;
originally announced July 2018.
-
Koszul-Tate resolutions as cofibrant replacements of algebras over differential operators
Authors:
Gennaro Di Brino,
Damjan Pistalo,
Norbert Poncin
Abstract:
Homotopical geometry over differential operators is a convenient setting for a coordinate-free investigation of nonlinear partial differential equations modulo symmetries. One of the first issues one meets in the functor of points approach to homotopical $\mathcal{D}$-geometry, is the question of a model structure on the category $\tt DGAlg(\mathcal{D})$ of differential non-negatively graded…
▽ More
Homotopical geometry over differential operators is a convenient setting for a coordinate-free investigation of nonlinear partial differential equations modulo symmetries. One of the first issues one meets in the functor of points approach to homotopical $\mathcal{D}$-geometry, is the question of a model structure on the category $\tt DGAlg(\mathcal{D})$ of differential non-negatively graded $\mathcal{O}$-quasi-coherent sheaves of commutative algebras over the sheaf $\mathcal{D}$ of differential operators of an appropriate underlying variety $(X,\mathcal{O})$. We define a cofibrantly generated model structure on $\tt DGAlg(\mathcal{D})$ via the definition of its weak equivalences and its fibrations, characterize the class of cofibrations, and build an explicit functorial `cofibration - trivial fibration' factorization. We then use the latter to get a functorial model categorical Koszul-Tate resolution for $\mathcal{D}$-algebraic `on-shell function' algebras (which contains the classical Koszul-Tate resolution). The paper is also the starting point for a homotopical $\mathcal{D}$-geometric Batalin-Vilkovisky formalism.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
On Koszul-Tate resolutions and Sullivan models
Authors:
Damjan Pistalo,
Norbert Poncin
Abstract:
We report on Koszul-Tate resolutions in Algebra, in Mathematical Physics, in Cohomological Analysis of PDE-s, and in Homotopy Theory. Further, we define an abstract Koszul-Tate resolution in the frame of $\mathcal{D}$-Geometry, i.e., geometry over differential operators. We prove Comparison Theorems for these resolutions, thus providing a dictionary between the different fields. Eventually, we sho…
▽ More
We report on Koszul-Tate resolutions in Algebra, in Mathematical Physics, in Cohomological Analysis of PDE-s, and in Homotopy Theory. Further, we define an abstract Koszul-Tate resolution in the frame of $\mathcal{D}$-Geometry, i.e., geometry over differential operators. We prove Comparison Theorems for these resolutions, thus providing a dictionary between the different fields. Eventually, we show that all these resolutions are of the new $\mathcal{D}$-geometric type.
△ Less
Submitted 20 August, 2017;
originally announced August 2017.
-
Homotopical Algebraic Context over Differential Operators
Authors:
Gennaro Di Brino,
Damjan Pistalo,
Norbert Poncin
Abstract:
Building on previous works, we show that the category of non-negatively graded chain complexes of $D_X$-modules -- where $X$ is a smooth affine algebraic variety over an algebraically closed field of characteristic zero -- fits into a homotopical algebraic context in the sense of Toen and Vezzosi.
Building on previous works, we show that the category of non-negatively graded chain complexes of $D_X$-modules -- where $X$ is a smooth affine algebraic variety over an algebraically closed field of characteristic zero -- fits into a homotopical algebraic context in the sense of Toen and Vezzosi.
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
The Frobenius theorem for $\mathbb{Z}^n_2$-supermanifolds
Authors:
Tiffany Covolo,
Stephen Kwok,
Norbert Poncin
Abstract:
We continue the development of $\mathbb{Z}^n_2$-supergeometry, a natural generalization of classical ($\mathbb{Z}_2$-graded) supergeometry, by proving the Frobenius theorem for integrable distributions on differentiable $\mathbb{Z}^n_2$-supermanifolds. Both the local and global versions of the theorem are addressed.
We continue the development of $\mathbb{Z}^n_2$-supergeometry, a natural generalization of classical ($\mathbb{Z}_2$-graded) supergeometry, by proving the Frobenius theorem for integrable distributions on differentiable $\mathbb{Z}^n_2$-supermanifolds. Both the local and global versions of the theorem are addressed.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
Differential calculus on $\mathbb{Z}^n_2$-supermanifolds
Authors:
Tiffany Covolo,
Stephen Kwok,
Norbert Poncin
Abstract:
The concept of $\Zn$-supermanifold has been recently proposed as a natural generalization of classical ($\Zs$-graded) supergeometry, allowing for more complicated commutativity constraints. Here we continue the study of $\Zn$-supergeometry by develo** the foundations of differential calculus on $\Zn$-supermanifolds.
The concept of $\Zn$-supermanifold has been recently proposed as a natural generalization of classical ($\Zs$-graded) supergeometry, allowing for more complicated commutativity constraints. Here we continue the study of $\Zn$-supergeometry by develo** the foundations of differential calculus on $\Zn$-supermanifolds.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
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.
-
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.
-
Model categorical Koszul-Tate resolution for algebras over differential operators
Authors:
Gennaro di Brino,
Damjan Pistalo,
Norbert Poncin
Abstract:
Derived D-Geometry is considered as a convenient language for a coordinate-free investigation of nonlinear partial differential equations up to symmetries. One of the first issues one meets in the functor of points approach to derived D-Geometry, is the question of a model structure on the category C of differential non-negatively graded quasi-coherent commutative algebras over the sheaf D of diff…
▽ More
Derived D-Geometry is considered as a convenient language for a coordinate-free investigation of nonlinear partial differential equations up to symmetries. One of the first issues one meets in the functor of points approach to derived D-Geometry, is the question of a model structure on the category C of differential non-negatively graded quasi-coherent commutative algebras over the sheaf D of differential operators of an appropriate underlying variety. In [BPP15a], we described a cofibrantly generated model structure on C via the definition of its weak equivalences and its fibrations. In the present article - the second of a series of works on the BV-formalism - we characterize the class of cofibrations, give explicit functorial cofibration-fibration factorizations, as well as explicit functorial fibrant and cofibrant replacement functors. We then use the latter to build a model categorical Koszul-Tate resolution for D-algebraic on-shell function algebras.
△ Less
Submitted 6 February, 2017; v1 submitted 29 May, 2015;
originally announced May 2015.
-
Model structure on differential graded commutative algebras over the ring of differential operators
Authors:
Gennaro di Brino,
Damjan Pistalo,
Norbert Poncin
Abstract:
We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X. The paper contains an extensive appendix on D-modules, sheaves versus global sections, some more technical model categorical issues, as well as on relative Sull…
▽ More
We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X. The paper contains an extensive appendix on D-modules, sheaves versus global sections, some more technical model categorical issues, as well as on relative Sullivan algebras. This article is the first of a series of works -located at the interface of homotopical algebra, algebraic geometry, and mathematical physics - on a derived D-geometric approach to the BV-formalism.
△ Less
Submitted 6 February, 2017; v1 submitted 28 May, 2015;
originally announced May 2015.
-
$\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.
-
$\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.
-
The Free Courant Algebroid
Authors:
Benoit Jubin,
Norbert Poncin,
Kyousuke Uchino
Abstract:
We introduce the category of generalized Courant algebroids and show that it admits a free object on any anchored vector bundle. The free Courant algebroid is built from two components: the generalized Courant algebroid associated to a symmetric Leibniz algebroid and the free symmetric Leibniz algebroid on an anchored vector bundle. Our construction is thus based on the new concept of symmetric Le…
▽ More
We introduce the category of generalized Courant algebroids and show that it admits a free object on any anchored vector bundle. The free Courant algebroid is built from two components: the generalized Courant algebroid associated to a symmetric Leibniz algebroid and the free symmetric Leibniz algebroid on an anchored vector bundle. Our construction is thus based on the new concept of symmetric Leibniz algebroid. We compare this subclass of Leibniz algebroids with the subclass of Loday algebroids that was introduced and studied in a previous paper of Grabowski, Khudaverdyan and Poncin.
△ Less
Submitted 28 July, 2014;
originally announced July 2014.
-
On the infinity category of homotopy Leibniz algebras
Authors:
David Khudaverdyan,
Norbert Poncin,
Jian Qiu
Abstract:
We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-simplices of the nerve of a complete Lie ${\infty}$-algebra. In the nilpotent case, this nerve is known to be a Kan complex \cite{Get09}. We argue that there is a quasi-category of $\infty$-algebras and show that for trun…
▽ More
We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-simplices of the nerve of a complete Lie ${\infty}$-algebra. In the nilpotent case, this nerve is known to be a Kan complex \cite{Get09}. We argue that there is a quasi-category of $\infty$-algebras and show that for truncated $\infty$-algebras, i.e. categorified algebras, this $\infty$-categorical structure projects to a strict 2-categorical one. The paper contains a shortcut to $(\infty,1)$-categories, as well as a review of Getzler's proof of the Kan property. We make the latter concrete by applying it to the 2-term $\infty$-algebra case, thus recovering the concept of homotopy of \cite{BC04}, as well as the corresponding composition rule \cite{SS07}. We also answer a question of \cite{BS07} about composition of $\infty$-homotopies of $\infty$-algebras.
△ Less
Submitted 6 September, 2013; v1 submitted 12 August, 2013;
originally announced August 2013.
-
A tale of three homotopies
Authors:
Vladimir Dotsenko,
Norbert Poncin
Abstract:
For a Koszul operad $\mathcal{P}$, there are several existing approaches to the notion of a homotopy between homotopy morphisms of homotopy $\mathcal{P}$-algebras. Some of those approaches are known to give rise to the same notions. We exhibit the missing links between those notions, thus putting them all into the same framework. The main nontrivial ingredient in establishing this relationship is…
▽ More
For a Koszul operad $\mathcal{P}$, there are several existing approaches to the notion of a homotopy between homotopy morphisms of homotopy $\mathcal{P}$-algebras. Some of those approaches are known to give rise to the same notions. We exhibit the missing links between those notions, thus putting them all into the same framework. The main nontrivial ingredient in establishing this relationship is the homotopy transfer theorem for homotopy cooperads due to Drummond-Cole and Vallette.
△ Less
Submitted 13 July, 2015; v1 submitted 23 August, 2012;
originally announced August 2012.
-
On the category of Lie n-algebroids
Authors:
Giuseppe Bonavolontà,
Norbert Poncin
Abstract:
Lie n-algebroids and Lie infinity algebroids are usually thought of exclusively in supergeometric or algebraic terms. In this work, we apply the higher derived brackets construction to obtain a geometric description of Lie n-algebroids by means of brackets and anchors. Moreover, we provide a geometric description of morphisms of Lie n-algebroids over different bases, give an explicit formula for t…
▽ More
Lie n-algebroids and Lie infinity algebroids are usually thought of exclusively in supergeometric or algebraic terms. In this work, we apply the higher derived brackets construction to obtain a geometric description of Lie n-algebroids by means of brackets and anchors. Moreover, we provide a geometric description of morphisms of Lie n-algebroids over different bases, give an explicit formula for the Chevalley-Eilenberg differential of a Lie n-algebroid, compare the categories of Lie n-algebroids and NQ-manifolds, and prove some conjectures of Sheng and Zhu [SZ11].
△ Less
Submitted 21 May, 2013; v1 submitted 16 July, 2012;
originally announced July 2012.
-
Higher Trace and Berezinian of Matrices over a Clifford Algebra
Authors:
Tiffany Covolo,
Valentin Ovsienko,
Norbert Poncin
Abstract:
We define the notions of trace, determinant and, more generally, Berezinian of matrices over a (Z_2)^n graded commutative associative algebra. The applications include a new approach to the classical theory of matrices with coefficients in a Clifford algebra, in particular of quaternionic matrices. In a special case, we recover the classical Dieudonné determinant of quaternionic matrices, but in g…
▽ More
We define the notions of trace, determinant and, more generally, Berezinian of matrices over a (Z_2)^n graded commutative associative algebra. The applications include a new approach to the classical theory of matrices with coefficients in a Clifford algebra, in particular of quaternionic matrices. In a special case, we recover the classical Dieudonné determinant of quaternionic matrices, but in general our quaternionic determinant is different. We show that the graded determinant of purely even (Z_2)^n graded matrices of degree 0 is polynomial in its entries. In the case of the algebra of quaternions, we calculate the formula for the Berezinian in terms of a product of quasiminors in the sense of Gelfand, Retakh, and Wilson. The graded trace is related to the graded Berezinian (and determinant) by a (Z_2)^n graded version of Liouville's formula.
△ Less
Submitted 16 October, 2014; v1 submitted 27 September, 2011;
originally announced September 2011.
-
The Supergeometry of Loday Algebroids
Authors:
Janusz Grabowski,
David Khudaverdyan,
Norbert Poncin
Abstract:
A new concept of Loday algebroid (and its pure algebraic version - Loday pseudoalgebra) is proposed and discussed in comparison with other similar structures present in the literature. The structure of a Loday pseudoalgebra and its natural reduction to a Lie pseudoalgebra is studied. Further, Loday algebroids are interpreted as homological vector fields on a `supercommutative manifold' associated…
▽ More
A new concept of Loday algebroid (and its pure algebraic version - Loday pseudoalgebra) is proposed and discussed in comparison with other similar structures present in the literature. The structure of a Loday pseudoalgebra and its natural reduction to a Lie pseudoalgebra is studied. Further, Loday algebroids are interpreted as homological vector fields on a `supercommutative manifold' associated with a shuffle product and the corresponding Cartan calculus is introduced. Several examples, including Courant algebroids, Grassmann-Dorfman and twisted Courant-Dorfman brackets, as well as algebroids induced by Nambu-Poisson structures, are given.
△ Less
Submitted 9 April, 2013; v1 submitted 30 March, 2011;
originally announced March 2011.
-
Lie superalgebras of differential operators
Authors:
J. Grabowski,
A. Kotov,
N. Poncin
Abstract:
We describe explicitly Lie superalgebra isomorphisms between the Lie superalgebras of first-order superdifferential operators on supermanifolds, showing in particular that any such isomorphism induces a diffeomorphism of the supermanifolds. We also prove that the group of automorphisms of such a Lie superalgebra is a semi-direct product of the subgroup induced by the supermanifold diffeomorphisms…
▽ More
We describe explicitly Lie superalgebra isomorphisms between the Lie superalgebras of first-order superdifferential operators on supermanifolds, showing in particular that any such isomorphism induces a diffeomorphism of the supermanifolds. We also prove that the group of automorphisms of such a Lie superalgebra is a semi-direct product of the subgroup induced by the supermanifold diffeomorphisms and another subgroup which consists of automorphisms determined by even superdivergences. These superdivergences are proven to exist on any supermanifold and their local form is explicitly described as well
△ Less
Submitted 8 November, 2010;
originally announced November 2010.
-
Higher categorified algebras versus bounded homotopy algebras
Authors:
David Khudaverdyan,
Ashis Mandal,
Norbert Poncin
Abstract:
We define Lie 3-algebras and prove that these are in 1-to-1 correspondence with the 3-term Lie infinity algebras whose bilinear and trilinear maps vanish in degree (1,1) and in total degree 1, respectively. Further, we give an answer to a question of [Roy07] pertaining to the use of the nerve and normalization functors in the study of the relationship between categorified algebras and truncated sh…
▽ More
We define Lie 3-algebras and prove that these are in 1-to-1 correspondence with the 3-term Lie infinity algebras whose bilinear and trilinear maps vanish in degree (1,1) and in total degree 1, respectively. Further, we give an answer to a question of [Roy07] pertaining to the use of the nerve and normalization functors in the study of the relationship between categorified algebras and truncated sh algebras.
△ Less
Submitted 16 June, 2011; v1 submitted 30 July, 2010;
originally announced July 2010.
-
Equivariant quantization of orbifolds
Authors:
N. Poncin,
F. Radoux,
R. Wolak
Abstract:
Equivariant quantization is a new theory that highlights the role of symmetries in the relationship between classical and quantum dynamical systems. These symmetries are also one of the reasons for the recent interest in quantization of singular spaces, orbifolds, stratified spaces... In this work, we prove existence of an equivariant quantization for orbifolds. Our construction combines an appr…
▽ More
Equivariant quantization is a new theory that highlights the role of symmetries in the relationship between classical and quantum dynamical systems. These symmetries are also one of the reasons for the recent interest in quantization of singular spaces, orbifolds, stratified spaces... In this work, we prove existence of an equivariant quantization for orbifolds. Our construction combines an appropriate desingularization of any Riemannian orbifold by a foliated smooth manifold, with the foliated equivariant quantization that we built in \cite{PoRaWo}. Further, we suggest definitions of the common geometric objects on orbifolds, which capture the nature of these spaces and guarantee, together with the properties of the mentioned foliated resolution, the needed correspondences between singular objects of the orbifold and the respective foliated objects of its desingularization.
△ Less
Submitted 2 February, 2010; v1 submitted 26 January, 2010;
originally announced January 2010.
-
Geometric structures encoded in the Lie structure of an Atiyah algebroid
Authors:
Janusz Grabowski,
Alexei Kotov,
Norbert Poncin
Abstract:
We investigate Atiyah algebroids, i.e. the infinitesimal objects of principal bundles, from the viewpoint of Lie algebraic approach to space. First we show that if the Lie algebras of smooth sections of two Atiyah algebroids are isomorphic, then the corresponding base manifolds are necessarily diffeomorphic. Further, we give two characterizations of the isomorphisms of the Lie algebras of sectio…
▽ More
We investigate Atiyah algebroids, i.e. the infinitesimal objects of principal bundles, from the viewpoint of Lie algebraic approach to space. First we show that if the Lie algebras of smooth sections of two Atiyah algebroids are isomorphic, then the corresponding base manifolds are necessarily diffeomorphic. Further, we give two characterizations of the isomorphisms of the Lie algebras of sections for Atiyah algebroids associated to principle bundles with semisimple structure groups. For instance we prove that in the semisimple case the Lie algebras of sections are isomorphic if and only if the corresponding Lie algebroids are, or, as well, if and only if the integrating principal bundles are locally diffeomorphic. Finally, we apply these results to describe the isomorphisms of sections in the case of reductive structure groups -- surprisingly enough they are no longer determined by vector bundle isomorphisms and involve divergences on the base manifolds.
△ Less
Submitted 8 May, 2009;
originally announced May 2009.
-
Lie algebaic characterization of supercommutative space
Authors:
Janusz Grabowski,
Alexei Kotov,
Norbert Poncin
Abstract:
During the last decades algebraization of space turned out to be a promising tool at the interface between Mathematics and Theoretical Physics. Starting with works by Gel'fand-Kolmogoroff and Gel'fand-Naimark, this branch developed as from the fortieth in two directions: algebraic characterization of usual geometric space on the one hand, and algebraically defined noncommutative space, which is…
▽ More
During the last decades algebraization of space turned out to be a promising tool at the interface between Mathematics and Theoretical Physics. Starting with works by Gel'fand-Kolmogoroff and Gel'fand-Naimark, this branch developed as from the fortieth in two directions: algebraic characterization of usual geometric space on the one hand, and algebraically defined noncommutative space, which is known to be tightly related with e.g. quantum gravity and super string theory, on the other hand. In this note, we combine both aspects, prove a superversion of Shanks and Pursell's classical result stating that any isomorphism of the Lie algebras of compactly supported vector fields is implemented by a diffeomorphism of underlying manifolds. We thus provide a super Lie algebraic characterization of super and graded spaces and describe explicitly isomorphisms of the super Lie algebras of super vector fields.
△ Less
Submitted 20 March, 2009;
originally announced March 2009.
-
Coalgebraic Approach to the Loday Infinity Category, Stem Differential for $2n$-ary Graded and Homotopy Algebras
Authors:
Mourad Ammar,
Norbert Poncin
Abstract:
We define a graded twisted-coassociative coproduct on the tensor algebra $TW$ of any $\Z^n$-graded vector space $W$. If $W$ is the desuspension space $\da V$ of a graded vector space $V$, the coderivations (resp. quadratic ``degree 1'' codifferentials, arbitrary odd codifferentials) of this coalgebra are 1-to-1 with sequences $\zp_s$, $s\ge 1$, of $s$-linear maps on $V$ (resp. $\Z^n$-graded Loda…
▽ More
We define a graded twisted-coassociative coproduct on the tensor algebra $TW$ of any $\Z^n$-graded vector space $W$. If $W$ is the desuspension space $\da V$ of a graded vector space $V$, the coderivations (resp. quadratic ``degree 1'' codifferentials, arbitrary odd codifferentials) of this coalgebra are 1-to-1 with sequences $\zp_s$, $s\ge 1$, of $s$-linear maps on $V$ (resp. $\Z^n$-graded Loday structures on $V$, sequences that we call Loday infinity structures on $V$). We prove a minimal model theorem for Loday infinity algebras, investigate Loday infinity morphisms, and observe that the $\op{Lod}_{\infty}$ category contains the $\op{L}_{\infty}$ category as a subcategory. Moreover, the graded Lie bracket of coderivations gives rise to a graded Lie ``stem'' bracket on the cochain spaces of graded Loday, Loday infinity, and $2n$-ary graded Loday algebras (the latter extend the corresponding Lie algebras in the sense of Michor and Vinogradov). These algebraic structures have square zero with respect to the stem bracket, so that we obtain natural cohomological theories that have good properties with respect to formal deformations. The stem bracket restricts to the graded Nijenhuis-Richardson and--up to isomorphism--to the Grabowski-Marmo brackets (the last bracket extends the Schouten-Nijenhuis bracket to the space of graded antisymmetric first order polydifferential operators), and it encodes, beyond the already mentioned cohomologies, those of graded Lie, graded Poisson, graded Jacobi, Lie infinity, as well as that of $2n$-ary graded Lie algebras.
△ Less
Submitted 25 September, 2008;
originally announced September 2008.
-
A First Approximation for Quantization of Singular Spaces
Authors:
Norbert Poncin,
Fabian Radoux,
Robert Wolak
Abstract:
Many mathematical models of physical phenomena that have been proposed in recent years require more general spaces than manifolds. When taking into account the symmetry group of the model, we get a reduced model on the (singular) orbit space of the symmetry group action. We investigate quantization of singular spaces obtained as leaf closure spaces of regular Riemannian foliations on compact man…
▽ More
Many mathematical models of physical phenomena that have been proposed in recent years require more general spaces than manifolds. When taking into account the symmetry group of the model, we get a reduced model on the (singular) orbit space of the symmetry group action. We investigate quantization of singular spaces obtained as leaf closure spaces of regular Riemannian foliations on compact manifolds. These contain the orbit spaces of compact group actions and orbifolds. Our method uses foliation theory as a desingularization technique for such singular spaces. A quantization procedure on the orbit space of the symmetry group - that commutes with reduction - can be obtained from constructions which combine different geometries associated with foliations and new techniques originated in Equivariant Quantization. The present paper contains the first of two steps needed to achieve these just detailed goals.
△ Less
Submitted 26 February, 2008;
originally announced February 2008.
-
Dequantized Differential Operators between Tensor Densities as Modules over the Lie Algebra of Contact Vector Fields
Authors:
Yaël Frégier,
Pierre Mathonet,
Norbert Poncin
Abstract:
In recent years, algebras and modules of differential operators have been extensively studied. Equivariant quantization and dequantization establish a tight link between invariant operators connecting modules of differential operators on tensor densities, and module morphisms that connect the corresponding dequantized spaces. In this paper, we investigate dequantized differential operators as mo…
▽ More
In recent years, algebras and modules of differential operators have been extensively studied. Equivariant quantization and dequantization establish a tight link between invariant operators connecting modules of differential operators on tensor densities, and module morphisms that connect the corresponding dequantized spaces. In this paper, we investigate dequantized differential operators as modules over a Lie subalgebra of vector fields that preserve an additional structure. More precisely, we take an interest in invariant operators between dequantized spaces, viewed as modules over the Lie subalgebra of infinitesimal contact or projective contact transformations. The principal symbols of these invariant operators are invariant tensor fields. We first provide full description of the algebras of such affine-contact- and contact-invariant tensor fields. These characterizations allow showing that the algebra of projective-contact-invariant operators between dequantized spaces implemented by the same density weight, is generated by the vertical cotangent lift of the contact form and a generalized contact Hamiltonian. As an application, we prove a second key-result, which asserts that the Casimir operator of the Lie algebra of infinitesimal projective contact transformations, is diagonal. Eventually, this upshot entails that invariant operators between spaces induced by different density weights, are made up by a small number of building bricks that force the parameters of the source and target spaces to verify Diophantine-type equations.
△ Less
Submitted 1 October, 2007;
originally announced October 2007.
-
Strongly r-matrix induced tensors, Koszul cohomology, and arbitrary-dimensional quadratic Poisson cohomology
Authors:
Mourad Ammar,
Guy Kass,
Mohsen Masmoudi,
Norbert Poncin
Abstract:
We introduce the concept of strongly $r$-matrix induced ({\small SRMI}) Poisson structure, report on the relation of this property with the stabilizer dimension of the considered quadratic Poisson tensor, and classify the Poisson structures of the Dufour-Haraki classification (DHC) according to their membership of the family of {\small SRMI} tensors. One of the main results of our work is a gene…
▽ More
We introduce the concept of strongly $r$-matrix induced ({\small SRMI}) Poisson structure, report on the relation of this property with the stabilizer dimension of the considered quadratic Poisson tensor, and classify the Poisson structures of the Dufour-Haraki classification (DHC) according to their membership of the family of {\small SRMI} tensors. One of the main results of our work is a generic cohomological procedure for {\small SRMI} Poisson structures in arbitrary dimension. This approach allows decomposing Poisson cohomology into, basically, a Koszul cohomology and a relative cohomology. Moreover, we investigate this associated Koszul cohomology, highlight its tight connections with Spectral Theory, and reduce the computation of this main building block of Poisson cohomology to a problem of linear algebra. We apply these upshots to two structures of the DHC and provide an exhaustive description of their cohomology. We thus complete our list of data obtained in previous works, see \cite{MP} and \cite{AMPN}, and gain fairly good insight into the structure of Poisson cohomology.
△ Less
Submitted 21 August, 2007;
originally announced August 2007.
-
Decomposition of symmetric tensor fields in the presence of a flat contact projective structure
Authors:
Yael Fregier,
Pierre Mathonet,
Norbert Poncin
Abstract:
Let $M$ be an odd-dimensional Euclidean space endowed with a contact 1-form $α$. We investigate the space of symmetric contravariant tensor fields on $M$ as a module over the Lie algebra of contact vector fields, i.e. over the Lie subalgebra made up by those vector fields that preserve the contact structure. If we consider symmetric tensor fields with coefficients in tensor densities, the vertic…
▽ More
Let $M$ be an odd-dimensional Euclidean space endowed with a contact 1-form $α$. We investigate the space of symmetric contravariant tensor fields on $M$ as a module over the Lie algebra of contact vector fields, i.e. over the Lie subalgebra made up by those vector fields that preserve the contact structure. If we consider symmetric tensor fields with coefficients in tensor densities, the vertical cotangent lift of contact form $α$ is a contact invariant operator. We also extend the classical contact Hamiltonian to the space of symmetric density valued tensor fields. This generalized Hamiltonian operator on the symbol space is invariant with respect to the action of the projective contact algebra $sp(2n+2)$. The preceding invariant operators lead to a decomposition of the symbol space (expect for some critical density weights), which generalizes a splitting proposed by V. Ovsienko.
△ Less
Submitted 1 October, 2007; v1 submitted 30 March, 2007;
originally announced March 2007.
-
Formal Poisson cohomology of twisted $r$-matrix induced structures
Authors:
Mourad Ammar,
Norbert Poncin
Abstract:
Quadratic Poisson tensors of the Dufour-Haraki classification read as a sum of an $r$-matrix induced structure twisted by a (small) compatible exact quadratic tensor. An appropriate bigrading of the space of formal Poisson cochains then leads to a vertically positive double complex. The associated spectral sequence allows to compute the Poisson-Lichnerowicz cohomology of the considered tensors.…
▽ More
Quadratic Poisson tensors of the Dufour-Haraki classification read as a sum of an $r$-matrix induced structure twisted by a (small) compatible exact quadratic tensor. An appropriate bigrading of the space of formal Poisson cochains then leads to a vertically positive double complex. The associated spectral sequence allows to compute the Poisson-Lichnerowicz cohomology of the considered tensors. We depict this modus operandi, apply our technique to concrete examples of twisted Poisson structures, and obtain a complete description of their cohomology. As richness of Poisson cohomology entails computation through the whole spectral sequence, we detail an entire model of this sequence. Finally, the paper provides practical insight into the operating mode of spectral sequences.
△ Less
Submitted 4 October, 2006;
originally announced October 2006.
-
On quantum and classical Poisson algebras
Authors:
Janusz Grabowski,
Norbert Poncin
Abstract:
Results on derivations and automorphisms of some quantum and classical Poisson algebras, as well as characterizations of manifolds by the Lie structure of such algebras, are revisited and extended. We prove in particular somehow unexpected fact that the algebras of linear differential operators acting on smooth sections of two real vector bundles of rank 1 are isomorphic as Lie algebras if and o…
▽ More
Results on derivations and automorphisms of some quantum and classical Poisson algebras, as well as characterizations of manifolds by the Lie structure of such algebras, are revisited and extended. We prove in particular somehow unexpected fact that the algebras of linear differential operators acting on smooth sections of two real vector bundles of rank 1 are isomorphic as Lie algebras if and only if the base manifolds are diffeomorphic, independently whether the line bundles themselves are isomorphic or not.
△ Less
Submitted 3 October, 2005;
originally announced October 2005.
-
On a general approach to the formal cohomology of quadratic Poisson structures
Authors:
Mohsen Masmoudi,
Norbert Poncin
Abstract:
We propose a general approach to the formal Poisson cohomology of $r$-matrix induced quadratic structures, we apply this device to compute the cohomology of structure 2 of the Dufour-Haraki classification, and provide complete results also for the cohomology of structure 7.
We propose a general approach to the formal Poisson cohomology of $r$-matrix induced quadratic structures, we apply this device to compute the cohomology of structure 2 of the Dufour-Haraki classification, and provide complete results also for the cohomology of structure 7.
△ Less
Submitted 8 March, 2006; v1 submitted 18 May, 2005;
originally announced May 2005.
-
Derivations of the Lie Algebras of Differential Operators
Authors:
J. Grabowski,
N. Poncin
Abstract:
This paper encloses a complete and explicit description of the derivations of the Lie algebra D(M) of all linear differential operators of a smooth manifold M, of its Lie subalgebra D^1(M) of all linear first-order differential operators of M, and of the Poisson algebra S(M)=Pol(T*M) of all polynomial functions on T*M, the symbols of the operators in D(M). It turns out that, in terms of the Chev…
▽ More
This paper encloses a complete and explicit description of the derivations of the Lie algebra D(M) of all linear differential operators of a smooth manifold M, of its Lie subalgebra D^1(M) of all linear first-order differential operators of M, and of the Poisson algebra S(M)=Pol(T*M) of all polynomial functions on T*M, the symbols of the operators in D(M). It turns out that, in terms of the Chevalley cohomology, H^1(D(M),D(M))=H^1_{DR}(M), H^1(D^1(M),D^1(M))=H^1_{DR}(M)\oplus\R^2, and H^1(S(M),S(M))=H^1_{DR}(M)\oplus\R. The problem of distinguishing those derivations that generate one-parameter groups of automorphisms and describing these one-parameter groups is also solved.
△ Less
Submitted 17 January, 2005; v1 submitted 8 December, 2003;
originally announced December 2003.
-
Lie algebraic characterization of manifolds
Authors:
Janusz Grabowski,
Norbert Poncin
Abstract:
Results on characterization of manifolds in terms of certain Lie algebras growing on them, especially Lie algebras of differential operators, are reviewed and extended. In particular, we prove that a smooth (real-analytic, Stein) manifold is characterized by the corresponding Lie algebra of linear differential operators, i.e. isomorphisms of such Lie algebras are induced by the appropriate class…
▽ More
Results on characterization of manifolds in terms of certain Lie algebras growing on them, especially Lie algebras of differential operators, are reviewed and extended. In particular, we prove that a smooth (real-analytic, Stein) manifold is characterized by the corresponding Lie algebra of linear differential operators, i.e. isomorphisms of such Lie algebras are induced by the appropriate class of diffeomorphisms of the underlaying manifolds.
△ Less
Submitted 3 February, 2005; v1 submitted 14 October, 2003;
originally announced October 2003.
-
Automorphisms of quantum and classical Poisson algebras
Authors:
Janusz Grabowski,
Norbert Poncin
Abstract:
We prove Pursell-Shanks type results for the Lie algebra D(M) of all linear differential operators of a smooth manifold M, for its Lie subalgebra D^1(M) of all linear first-order differential operators of M, and for the Poisson algebra S(M)=Pol(T*M) of all polynomial functions on the cotangent bundle T*M, the symbols of the operators in D(M). Chiefly however we provide explicit formulas describi…
▽ More
We prove Pursell-Shanks type results for the Lie algebra D(M) of all linear differential operators of a smooth manifold M, for its Lie subalgebra D^1(M) of all linear first-order differential operators of M, and for the Poisson algebra S(M)=Pol(T*M) of all polynomial functions on the cotangent bundle T*M, the symbols of the operators in D(M). Chiefly however we provide explicit formulas describing completely the automorphisms of the Lie algebras D^1(M), S(M), and D(M).
△ Less
Submitted 11 November, 2002;
originally announced November 2002.
-
Equivariant symbol calculus for differential operators acting on forms
Authors:
F. Boniver,
S. Hansoul,
P. Mathonet,
N. Poncin
Abstract:
We prove the existence and uniqueness of a projectively equivariant symbol map (in the sense of Lecomte and Ovsienko) for the spaces $D_p$ of differential operators transforming p-forms into functions. These results hold over a smooth manifold endowed with a flat projective structure.
As an application, we classify the Vect(M)-equivariant maps from $D_p$ to $D_q$ over any manifold M, recoverin…
▽ More
We prove the existence and uniqueness of a projectively equivariant symbol map (in the sense of Lecomte and Ovsienko) for the spaces $D_p$ of differential operators transforming p-forms into functions. These results hold over a smooth manifold endowed with a flat projective structure.
As an application, we classify the Vect(M)-equivariant maps from $D_p$ to $D_q$ over any manifold M, recovering and improving earlier results by N. Poncin. This provides the complete answer to a question raised by P. Lecomte about the extension of a certain intrinsic homotopy operator.
△ Less
Submitted 20 June, 2002;
originally announced June 2002.
-
Equivariant Operators between some Modules of the Lie Algebra of Vector Fields
Authors:
Norbert Poncin
Abstract:
The space D(k,p) of differential operators of order at most k, from the differential forms of degree p of a smooth manifold M into the functions of M, is a module over the Lie algebra of vector fields of M, when it's equipped with the natural Lie derivative. In this paper, we compute all equivariant i.e. intertwining operators from D(k,p) into D(k',p') and conclude that the preceding modules of…
▽ More
The space D(k,p) of differential operators of order at most k, from the differential forms of degree p of a smooth manifold M into the functions of M, is a module over the Lie algebra of vector fields of M, when it's equipped with the natural Lie derivative. In this paper, we compute all equivariant i.e. intertwining operators from D(k,p) into D(k',p') and conclude that the preceding modules of differential operators are never isomorphic. We also answer a question of P. Lecomte, who observed that the restriction to D(k,p) of some homotopy operator, introduced in one of his works, is equivariant for small values of k and p.
△ Less
Submitted 28 May, 2002;
originally announced May 2002.