BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Tiffany Covolo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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 developing the foundations of differential calculus on $\Zn$-supermanifolds.
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.
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.
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.
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.
We generalize linear superalgebra to higher gradings and commutation factors, given by arbitrary abelian groups and bicharacters. Our central tool is an extension, to monoidal categories of modules, of the Nekludova-Scheunert faithful functor between the categories of graded-commutative and supercommutative algebras. As a result we generalize (super-)trace, determinant and Berezinian to graded matrices over graded-commutative algebras. For instance, on homogeneous quaternionic matrices, we obtain a lift of the Dieudonné determinant to the skew-field of quaternions.
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.
We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in particular the quaternion algebra H. Following a cohomological approach, we introduce analogues of the notions of trace and determinant. Our construction reduces in the classical commutative case to the coordinate-free description of the determinant by means of the action of invertible matrices on the top exterior power, and in the supercommutative case it coincides with the well-known cohomological interpretation of the Berezinian.