Compact self-dual manifolds with torus actions (Q1609784): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115203155 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.4310/jdg/1090340879 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1562706504 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:59, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Compact self-dual manifolds with torus actions |
scientific article |
Statements
Compact self-dual manifolds with torus actions (English)
0 references
15 August 2002
0 references
Let \(M\) be a compact connected oriented 4-manifold which admits a smooth and effective action of a 2-torus \(K\). In the case \(M=m{\mathbb{C} P}^2\), the connected sum of complex projective planes, \textit{D. Joyce} [Duke Math. J. 77, 519-552 (1995; Zbl 0855.57028)] constructed examples of conformal self-dual metrics which are invariant under the \(K\)-action, and conjectured that these are the only examples for simply connected \(M\). The main theorem of this paper confirms Joyce's conjecture by proving that any simply connected \(M\) with non-zero Euler characteristic admitting a \(K\)-invariant self-dual metric is necessarily a connected sum of complex projective planes, with the metric being one of Joyce's. The lengthy and impressive proof considers the lift of the \(K\)-action on \(M\) to a holomorphic \(G={\mathbb C}^*\times {\mathbb C}^*\) action on the twistor space \(Z\) of \(M\). The author shows that every \(G\)-orbit has an analytic closure and that there exists a canonical meromorphic quotient \(\overline{f}:Z\to {\mathbb{C} P}^1\) of the \(G\)-action on \(Z\). The general fiber of \(\overline{f}\) is a smooth toric surface determined by an invariant of the given torus action on \(M\), and the proof demonstrates that this invariant completely determines \(Z\).
0 references