Pluripotential theory on quaternionic manifolds (Q413696): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The author develops a theory of plurisubharmonic functions on a quaternionic manifold \(M^{4n}\) with \(n>1\), defined as sections of a real line bundle. In the first section he reviews the aspects of the theory of quaternionic manifolds that he will need during the rest of the paper. Consider the subgroup \[ \mathcal{G}=\big\{(A,q)\in \mathrm{GL}_n(\mathbb{H})\times \mathrm{GL}_1(\mathbb{H})\,\big|\;\det A\cdot |q|=1\big\}; \] it is assumed that the structure group of the tangent bundle \(TM\) lifts to \(\mathcal{G}\). Let \(G_0\) be the corresponding principal \(\mathcal{G}-\)bundle and define \(\mathcal{E}_0= G_0\times_{\mathcal{G}} \mathbb{H}^n\) and \(\mathcal{H}_0= G_0\times_{\mathcal{G}} \mathbb{H}\). These are a bundle of right \(\mathbb{H}\)-vector spaces of rank \(n\) and a line bundle of left \(\mathbb{H}\)-vector spaces, respectively, and they satisfy \(TM\cong\mathcal{E}_0\otimes_\mathbb{H} \mathcal{H}_0 \). Then he describes the construction of the holomorphic and of the smooth Bastion complexes of sheaves over a quaternionic manifold. One of the operators appearing in these complexes is a second order operator \(\Delta: \mathcal{C}^{\infty}(M, \det \mathcal{H}_0^*)\rightarrow \mathcal{C}^{\infty}(M, \wedge^2 \mathcal{E}_0^*\left[-2\right])\), which coincides with the quaternionic Hessian operator in the flat case. One of the new results of the paper is the proof of a new multiplicative property for such an operator. After introducing a notion of positivity for the fibers of \(\wedge^2 \mathcal{E}_0^*\left[-2\right]_{\mathbb{R}}\), a plurisubharmonic function \(h\) is defined as a continuous section of \(( \det \mathcal{H}_0^*)_{\mathbb{R}}\) such that \(\Delta h\) is nonnegative. This definition and the properties of the Bastion operator are what is needed to prove an estimate of Chern-Levine-Nirenberg type. A Monge-Ampère operator is defined on sections of \((\det\mathcal{H}_0^*)_\mathbb{R}\) via \(h\mapsto (\Delta h)^n\). The main theorem of the paper is the following: if \(\{ h_N\}\) is a sequence of \(\mathcal{C}^2\) plurisubharmonic sections converging to a \(\mathcal{C}^2\)-section \(h\) in the \(\mathcal{C}^0\)-topology, then \((\Delta h_N)^n\rightarrow (\Delta h)^n\) in the sense of measures. In the last section the author proves that the theory in the flat case, which he developed in [Bull. Sci. Math. 127, No. 1, 1--35 (2003; Zbl 1033.15013)], is a special case of the theory of the present paper. | |||
Property / review text: The author develops a theory of plurisubharmonic functions on a quaternionic manifold \(M^{4n}\) with \(n>1\), defined as sections of a real line bundle. In the first section he reviews the aspects of the theory of quaternionic manifolds that he will need during the rest of the paper. Consider the subgroup \[ \mathcal{G}=\big\{(A,q)\in \mathrm{GL}_n(\mathbb{H})\times \mathrm{GL}_1(\mathbb{H})\,\big|\;\det A\cdot |q|=1\big\}; \] it is assumed that the structure group of the tangent bundle \(TM\) lifts to \(\mathcal{G}\). Let \(G_0\) be the corresponding principal \(\mathcal{G}-\)bundle and define \(\mathcal{E}_0= G_0\times_{\mathcal{G}} \mathbb{H}^n\) and \(\mathcal{H}_0= G_0\times_{\mathcal{G}} \mathbb{H}\). These are a bundle of right \(\mathbb{H}\)-vector spaces of rank \(n\) and a line bundle of left \(\mathbb{H}\)-vector spaces, respectively, and they satisfy \(TM\cong\mathcal{E}_0\otimes_\mathbb{H} \mathcal{H}_0 \). Then he describes the construction of the holomorphic and of the smooth Bastion complexes of sheaves over a quaternionic manifold. One of the operators appearing in these complexes is a second order operator \(\Delta: \mathcal{C}^{\infty}(M, \det \mathcal{H}_0^*)\rightarrow \mathcal{C}^{\infty}(M, \wedge^2 \mathcal{E}_0^*\left[-2\right])\), which coincides with the quaternionic Hessian operator in the flat case. One of the new results of the paper is the proof of a new multiplicative property for such an operator. After introducing a notion of positivity for the fibers of \(\wedge^2 \mathcal{E}_0^*\left[-2\right]_{\mathbb{R}}\), a plurisubharmonic function \(h\) is defined as a continuous section of \(( \det \mathcal{H}_0^*)_{\mathbb{R}}\) such that \(\Delta h\) is nonnegative. This definition and the properties of the Bastion operator are what is needed to prove an estimate of Chern-Levine-Nirenberg type. A Monge-Ampère operator is defined on sections of \((\det\mathcal{H}_0^*)_\mathbb{R}\) via \(h\mapsto (\Delta h)^n\). The main theorem of the paper is the following: if \(\{ h_N\}\) is a sequence of \(\mathcal{C}^2\) plurisubharmonic sections converging to a \(\mathcal{C}^2\)-section \(h\) in the \(\mathcal{C}^0\)-topology, then \((\Delta h_N)^n\rightarrow (\Delta h)^n\) in the sense of measures. In the last section the author proves that the theory in the flat case, which he developed in [Bull. Sci. Math. 127, No. 1, 1--35 (2003; Zbl 1033.15013)], is a special case of the theory of the present paper. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Chiara Camere / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30G35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 31C10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6031310 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quaternionic manifolds | |||
Property / zbMATH Keywords: quaternionic manifolds / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
plurisubharmonic functions | |||
Property / zbMATH Keywords: plurisubharmonic functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Monge-Ampère operator | |||
Property / zbMATH Keywords: Monge-Ampère operator / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963812509 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1010.3534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-commutative linear algebra and plurisubharmonic functions of quaternionic variables. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Valuations on convex sets, non-commutative determinants, and pluripotential theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Plurisubharmonic functions on the octonionic plane and \(Spin (9)\)-invariant valuations on convex sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Plurisubharmonic functions on hypercomplex manifolds and HKT-geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quaternionic Monge-Ampère equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quaternionic Monge-Ampère equation and Calabi problem for HKT-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Balanced HKT metrics and strong HKT metrics on hypercomplex manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to potential theory in calibrated geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality of positive currents and plurisubharmonic functions in calibrated geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Plurisubharmonicity in a General Geometric Context / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quaternionic Kaehler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4720334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quaternionic complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact hypercomplex and quaternionic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5722475 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5601113 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4196688 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3746086 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quaternionic determinants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4725278 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3191861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypercomplex structures associated to quaternionic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant operators on manifolds with almost Hermitian symmetric structures, II. Normal Cartan connections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Dolbeault-type double complex on quaternionic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4528987 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4398855 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symmetry, Representations, and Invariants / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:28, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pluripotential theory on quaternionic manifolds |
scientific article |
Statements
Pluripotential theory on quaternionic manifolds (English)
0 references
7 May 2012
0 references
The author develops a theory of plurisubharmonic functions on a quaternionic manifold \(M^{4n}\) with \(n>1\), defined as sections of a real line bundle. In the first section he reviews the aspects of the theory of quaternionic manifolds that he will need during the rest of the paper. Consider the subgroup \[ \mathcal{G}=\big\{(A,q)\in \mathrm{GL}_n(\mathbb{H})\times \mathrm{GL}_1(\mathbb{H})\,\big|\;\det A\cdot |q|=1\big\}; \] it is assumed that the structure group of the tangent bundle \(TM\) lifts to \(\mathcal{G}\). Let \(G_0\) be the corresponding principal \(\mathcal{G}-\)bundle and define \(\mathcal{E}_0= G_0\times_{\mathcal{G}} \mathbb{H}^n\) and \(\mathcal{H}_0= G_0\times_{\mathcal{G}} \mathbb{H}\). These are a bundle of right \(\mathbb{H}\)-vector spaces of rank \(n\) and a line bundle of left \(\mathbb{H}\)-vector spaces, respectively, and they satisfy \(TM\cong\mathcal{E}_0\otimes_\mathbb{H} \mathcal{H}_0 \). Then he describes the construction of the holomorphic and of the smooth Bastion complexes of sheaves over a quaternionic manifold. One of the operators appearing in these complexes is a second order operator \(\Delta: \mathcal{C}^{\infty}(M, \det \mathcal{H}_0^*)\rightarrow \mathcal{C}^{\infty}(M, \wedge^2 \mathcal{E}_0^*\left[-2\right])\), which coincides with the quaternionic Hessian operator in the flat case. One of the new results of the paper is the proof of a new multiplicative property for such an operator. After introducing a notion of positivity for the fibers of \(\wedge^2 \mathcal{E}_0^*\left[-2\right]_{\mathbb{R}}\), a plurisubharmonic function \(h\) is defined as a continuous section of \(( \det \mathcal{H}_0^*)_{\mathbb{R}}\) such that \(\Delta h\) is nonnegative. This definition and the properties of the Bastion operator are what is needed to prove an estimate of Chern-Levine-Nirenberg type. A Monge-Ampère operator is defined on sections of \((\det\mathcal{H}_0^*)_\mathbb{R}\) via \(h\mapsto (\Delta h)^n\). The main theorem of the paper is the following: if \(\{ h_N\}\) is a sequence of \(\mathcal{C}^2\) plurisubharmonic sections converging to a \(\mathcal{C}^2\)-section \(h\) in the \(\mathcal{C}^0\)-topology, then \((\Delta h_N)^n\rightarrow (\Delta h)^n\) in the sense of measures. In the last section the author proves that the theory in the flat case, which he developed in [Bull. Sci. Math. 127, No. 1, 1--35 (2003; Zbl 1033.15013)], is a special case of the theory of the present paper.
0 references
quaternionic manifolds
0 references
plurisubharmonic functions
0 references
Monge-Ampère operator
0 references
0 references
0 references
0 references