A formally Kähler structure on a knot space of a \(G_2\)-manifold
type: Item
instance of: scholarly article
title: A formally Kähler structure on a knot space of a \(G_2\)-manifold
zbMATH Open document ID: 1255.53021
author: Misha Verbitsky
published in: Selecta Mathematica. New Series
publication date: 2012-09-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/1003.3174
review text: Similar to \(C^{\infty}(M)\) one can define a Fréchet structure on the space of smooth sections of a vector bundle over a finite-dimensional smooth manifold \(M\). The space \(\text{Imm}(S^1,M)\) of smooth immersions of the circle \(S^1\) in \(M\) turns out to be a Fréchet manifold. Put \(\text{Knot}(S^1,M)=\text{Imm}(S^1,M)/\text{Diff}(S^1)\), then it becomes a Fréchet orbifold. Put \(X=\text{Imm}(S^1,M)\). The tangent space \(TX\) is the sheaf of continuous derivations which supports a Lie algebra structure with a bracket of derivations. As usual, an almost complex structure is an endomorphism \(J:TX\rightarrow TX\) with \(J^2=-\text{id}\). When \(TX\otimes{ \mathbb C}=T^{1,0}X\oplus T^{0,1}X\) is the eigenvalue decomposition, if \([T^{1,0}X,T^{1,0}X]\subset T^{1,0}X\), then \(J\) is integrable, or a complex structure on \(X\). \((X,J)\) is then called a complex Fréchet manifold. Given a Hermitian structure \(g\) on \((X,J)\), \((X,g,J)\) is said to be a formally Kähler (Fréchet) manifold if the fundamental \(2\)-form is closed. In this paper, the author constructs a \(CR\)-twistor space from a holonomy \(G_2\)-manifold \(M\). Using this \(CR\)-structure bundle, \(\text{Knot}(S^1,M)\) gets a complex structure \(J\) for which it becomes a complex Fréchet manifold. Moreover, the author observes that Movshev's \(2\)-form \(\omega\) gives a Hermitian form on \((\text{Knot}(S^1,M),J)\). One of the main theorems of this paper is the following one. Theorem. Let \(M\) be a holonomy \(G_2\)-manifold. Then \((\text{Knot}(S^1,M), \omega,J)\) is formally Kähler.
reviewed by: Yoshinobu Kamishima
Mathematics Subject Classification ID: 53B35
Mathematics Subject Classification ID: 53C38
Mathematics Subject Classification ID: 53C29
Mathematics Subject Classification ID: 58D10
Mathematics Subject Classification ID: 57M99
zbMATH DE Number: 6085753
zbMATH Keywords: \(G_2\)-manifolds
zbMATH Keywords: knot space
zbMATH Keywords: infinite-dimensional manifold
zbMATH Keywords: Kähler manifold
zbMATH Keywords: symplectic manifold
zbMATH Keywords: Fréchet manifold
MaRDI profile type: Publication
OpenAlex ID: W2078426906
arXiv ID: 1003.3174
cites work: Sur les groupes d'holonomie homogènes de variétés à connexion affine et des variétés riemanniennes
cites work: Q4720334
cites work: On the construction of some complete metrics with exceptional holonomy
cites work: Loop spaces, characteristic classes and geometric quantization
cites work: Gauge theory in higher dimensions. II
cites work: Q4400509
cites work: Riemannian manifolds with structure group \(G_ 2\)
cites work: Compact Riemannian 7-manifolds with holonomy \(G_ 2\). I
cites work: Q4523708
cites work: Higher dimensional knot spaces for manifolds with vector cross products
cites work: Instantons and branes in manifolds with vector cross products
cites work: A Kahler structure on the space of string worldsheets
cites work: Loop spaces as complex manifolds
cites work: The Dolbeault complex in infinite dimensions I
cites work: Complex analytic coordinates in almost complex manifolds
cites work: A singularity removal theorem for Yang-Mills fields in higher dimensions
cites work: Gauge theory and calibrated geometry. I
cites work: Hypercomplex varieties
cites work: A CR twistor space of a \(G_{2}\)-manifold
DOI: 10.1007/S00029-011-0077-8
description: scientific article; zbMATH DE number 6085753