An infinite differential ideal
type: Item
instance of: scholarly article
title: An infinite differential ideal
zbMATH Open document ID: 0948.83038
DOI: 10.1023/A:1026682120405
published in: General Relativity and Gravitation
publication date: 2000-04-25T00:00:00Z
review text: The author presents an infinite differential ideal which can be applied to structural problems in relativity and twistor theory. Suppose \(\mathbb A\) to be a Grassmann \(\mathbb Z\)-algebra with twist map \(\tau_{m, n}=(-1)^{mn}\), \((m,n)\in\mathbb Z^2,\) and polynomial over the set \(S\) in the grade zero component of \(\mathbb A\) (as a Grassmann algebra) with compatible gradings. Then \(\mathbb A\) with the induced \(\mathbb Z^2\) grading is called a \(\mathbb GS\)-algebra. Let \(\mathbb A^n\) be the grade \(n\)-component of \(\mathbb A\) as a Grassmann algebra, \(\mathbb A_m\) be the grade \(m\)-component of \(\mathbb A\) as an algebra polynomial over \(S\) and \(\mathbb A_m^n=\mathbb A^n\cap\mathbb A_m.\) In the appropriate way, the spaces of derivations \(\mathbb D_\mathbb Z(\mathbb A)\) and \(\mathbb D_{\mathbb Z^2}(\mathbb A)\) are introduced. For a \(\mathbb GS\)-pair \((\mathbb A',\mathbb A),\) we denote by \(\mathbb D(\mathbb A'|\mathbb A)\) the subalgebra of \(\mathbb D(\mathbb A')\) consisting of all derivations in \(\mathbb D(\mathbb A')\) that annihilate \(\mathbb A.\) For any \((m,n)\in \mathbb Z^2,\) we denote by \(\mathbb D_m(\mathbb A'|\mathbb A)\), \(\mathbb D^n(\mathbb A'|\mathbb A)\) and \(\mathbb D_m^n(\mathbb A'|\mathbb A)\) the respective intersections of \(\mathbb D_m(\mathbb A')\), \(\mathbb D^n(\mathbb A')\) and \(\mathbb D_m^n(\mathbb A')\) with \(\mathbb D(\mathbb A'|\mathbb A).\) The main result of the paper is the deduction of the formulas which consistently give recursive definitions for a sequence \((x),\) a pair of sequences \((x,r),\) and a triple of sequences \((x,r,\lambda),\) where \(x\equiv\{x_n\in\mathbb A^0_n\}\), \(r\equiv\{r_n\in \mathbb D^0_n(\mathbb A'|\mathbb A)\}\) and \(\lambda\equiv\{\lambda_n\in\mathbb A^{-1}_n\}\). The bulk of the text involves giving the requisite definitions and setting the stage for these formulas.
Mathematics Subject Classification ID: 83C60
Mathematics Subject Classification ID: 53C28
zbMATH DE Number: 1434522
zbMATH Keywords: twistor theory
zbMATH Keywords: Grassmann \(\mathbb Z\)-algebra
zbMATH Keywords: gradings
zbMATH Keywords: twist map
zbMATH Keywords: iterated commutators
zbMATH Keywords: polynomial algebra
zbMATH Keywords: differential pair
zbMATH Keywords: recursive definition for sequences
zbMATH Keywords: algebra of inductive step
author: George Sparling
reviewed by: Serguey M. Pokas
MaRDI profile type: Publication
cites work: Inversion for the Radon line transform in higher dimensions
full work available at URL: a:1026682120405
OpenAlex ID: W110183504
description: scientific article; zbMATH DE number 1434522