arXiv Science⌕ Search

arXiv · 0704.2638

Donaldson theory on non-Kählerian surfaces and class $VII$ surfaces with $b_2=1$

Abstract

We prove that any class $VII$ surface with $b_2=1$ has curves. This implies the "Global Spherical Shell conjecture" in the case $b_2=1$: Any minimal class $VII$ surface with $b_2=1$ admits a global spherical shell, hence it is isomorphic to one of the surfaces in the known list. The main idea of the proof is to show that a certain moduli space of PU(2)-instantons on a surface $X$ with no curves (if such a surface existed) would contain a closed Riemann surface $Y$ whose general points correspond to non-filtrable holomorphic bundles on $X$. Then we pass from a family of bundles on $X$ parameterized by $Y$ to a family of bundles on $Y$ parameterized by $X$, and we use the algebraicity of $Y$ to obtain a contradiction. The proof uses essentially techniques from Donaldson theory: compactness theorems for moduli spaces of PU(2)-instantons and the Kobayashi-Hitchin correspondence on surfaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrei Teleman. 2007-04-20. Donaldson theory on non-Kählerian surfaces and class $VII$ surfaces with $b_2=1$. https://arxiv.org/abs/0704.2638

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Strong generalized holomorphic principal bundles

We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group. We develop a de Rham cohomology for regular GC manifolds, and a Dolbeault cohomology for SGH vector bundles. Moreover, we establish a Chern-Weil theory for SGH principal $G$-bundles under certain mild assumptions on the leaf space of the GC structure. We also present a Hodge theory along with associated dualities and vanishing theorems for SGH vector bundles. Several examples of SGH fiber bundles are given.

math.DG↗

Llarull's theorem on odd dimensional manifolds: the noncompact case

Let $(M,g^{TM})$ be an odd dimensional ($\dim M\geq 3$) connected oriented noncompact complete spin Riemannian manifold. Let $k^{TM}$ be the associated scalar curvature. Let $f:M\to S^{\dim M}(1)$ be a smooth area decreasing map which is locally constant near infinity and of nonzero degree. Suppose $k^{TM}\geq ({\dim M})({\dim M}-1)$ on the support of ${\rm d}f$, we show that $\inf(k^{TM})<0$. This answers a question of Gromov.

math.DG↗

Asymptotic expansion of the variation of the Quillen metric and its moment map interpretation

In Kähler geometry, the Donaldson--Fujiki moment map picture interprets the scalar curvature of a Kähler metric as a moment map on the space of compatible almost complex structures on a fixed symplectic manifold. In this paper, we generalize this picture using the framework of equivariant determinant line bundles. Given a prequantization $P=(L,h,\nabla)$ of a compact symplectic manifold $(M,ω)$, let $\mathcal{G}=\mathrm{Aut}(P)$. For each $k\in\mathbb{N}$, we construct a $\mathcal{G}$-equivariant determinant line bundle $λ^{(k)}\rightarrow\mathcal{J}_{int}$ on the space of integrable compatible almost complex structures, equipped with the $\mathcal{G}$-invariant Quillen metric. The curvature form of $λ^{(k)}$ admits an asymptotic expansion whose coefficients yield a sequence of $\mathcal{G}$-invariant closed $2$-forms $Ω_j$ on $\mathcal{J}_{int}$ and corresponding moment maps $μ_j:\mathcal{J}_{int}\rightarrow C^\infty(M)$. Each $μ_j$ arises from the asymptotic expansion of the variation of the logarithm of the Quillen metric with respect to Kähler potentials, with the complex structure held fixed. This provides a natural generalization of the Donaldson--Fujiki moment map interpretation of scalar curvature. Moreover, we show that $μ_j$ coincide with the $Z$--critical equations introduced by Dervan--Hallam, and we state a generalization of Fujiki's fiber integral formula.

math.DG↗