Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/9812060

Donaldson invariants and wall-crossing formulas. I: Continuity of gluing maps

Paul M. N. Feehan·Thomas G. Leness
View original source ↗Read source document ↗Export metadata ↓

Abstract

The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy type of the four-manifold and the degree of the invariant. Our principal interest in this conjecture is due to the fact that its proof is expected to resemble that of an important intermediate step towards a proof of Witten's conjecture concerning the relation between Donaldson and Seiberg-Witten invariants (hep-th/9411102, hep-th/9709193), using PU(2) monopoles as described in (dg-ga/9709022, dg-ga/9712005). Moreover, it affords us another venue in which to address some of the technical difficulties arising in our work on Witten's conjecture. The additional difficulties in the case of PU(2) monopoles are due to the more complicated gluing theory, the presence of obstructions to deformation and gluing, and the need to consider links of positive-dimensional families of `reducibles' even in the presence of `simple type' assumptions. Witten's conjecture should then follow from a final step analogous to Goettsche's computation of the wall-crossing terms, assuming that the Kotschick-Morgan conjecture holds (alg-geom/9506018).

Explore related subjects

math.DGhep-thmath-phmath.AGmath.APmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Paul M. N. Feehan, Thomas G. Leness. 1999-02-03. Donaldson invariants and wall-crossing formulas. I: Continuity of gluing maps. https://arxiv.org/abs/math/9812060

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

KEEP EXPLORING

Related papers

arXiv2026

Transformation theorem and monotonicity of the numbers of almost Euclidean factors of geodesic balls

In \cite{HH}, H. Huang-X.Huang introduced the generalized Reifenberg condition which describes the non-increasing property of numbers of almost Euclidean factors of geodesic balls and gave a transformation theorem under this condition. In this note, we study how almost Euclidean factors of concentric geodesic balls interact with harmonic splitting maps under a lower Ricci curvature bound and prove a dimension gap for harmonic functions of almost linear growth and then derive a transformation theorem under a non-decreasing property compared with the non-increasing property above. We also construct complete manifolds with nonnegative Ricci curvature whose balls are uniformly almost $1$-Euclidean at every scale, but for which no single harmonic function can be transformed into a splitting function at all smaller scales which give a negative answer to the existence question for all-scale splitting functions in \cite{HH}.

math.DG↗
arXiv2026

Schwarzian Residue of the Samuelson Obstruction in Tangent Lagrangian 2-Webs

The Samuelson condition, a classical area-ratio condition for planar Lagrangian $2$-webs, is equivalent in local web coordinates $(u,v)$ to $\partial_u\partial_v\log|J_F(u,v)|=0$, where $F$ is the inverse web-coordinate map and $J_F$ is its Jacobian. For the tangent-line family $L_t: y=tx+h(t)$, with $h$ smooth on an open interval, let $Ψ(u,v)$, for $u\neq v$, be the intersection map of $L_u$ and $L_v$, write $J_Ψ$ for its Jacobian, and set $S_h(u,v) := \partial_u\partial_v\log|J_Ψ(u,v)|$ where $J_Ψ(u,v)\neq0$. Near each diagonal point $(t_0,t_0)$ with $h''(t_0)\neq0$, the obstruction admits the decomposition $S_h(u,v) = \frac{1}{(v-u)^2} + R_h(u,v)$, where $R_h$ extends smoothly across the diagonal near $(t_0,t_0)$. The universal pole yields $S_h(u,v)>0$ off the diagonal in a sufficiently small neighborhood of $(t_0,t_0)$, so the tangent web does not satisfy the Samuelson condition there. We call $R_h(t,t)$ the Schwarzian residue and show that $R_h(t,t) = \frac{1}{2}\{σ,t\} = -κ_{\mathrm{aff}}(σ) \left(\frac{dσ}{dt}\right)^2$. Here $σ$ is the equi-affine arclength parameter of the envelope $γ(t)=(-h'(t),h(t)-t h'(t))$, and $\{σ,t\}$ denotes the Schwarzian derivative of $σ$ with respect to $t$. The equi-affine curvature $κ_{\mathrm{aff}}$ is defined by $γ_{σσσ}+κ_{\mathrm{aff}}γ_σ=0$. We also derive the transformation law of the residue under reparametrization of the tangent-line family.

math.DG↗
arXiv2026

Projective Rigidity of $U(k)$-Radial Ricci-Flat Kähler Metrics

We study Kähler immersions of Ricci-flat metrics into finite- or infinite-dimensional complex projective space. Let $L^{\otimes k}\simeq K_X$ over a real-analytic Kähler manifold $X$. Let $ϕ$ be a base potential and $s$ the canonical squared fibre norm on $L^{\oplus k}$. Consider Ricci-flat potentials $ϕ+h(s)$ near the zero section, with $h$ independent of the base point. We prove that local projective inducibility forces the base to be Ricci-flat and the metric to split locally as $X\times\mathbb C^k$. In that case projective inducibility is equivalent to that of the base. The proof combines Calabi's criterion, positivity of the homogeneous fibre-degree blocks, and the singularities of the radial profile. A related obstruction along holomorphic curves excludes every positive multiple of the Taub--NUT metric and Calabi's hyperkähler metrics on $T^{*1,0}\mathbb{CP}^n$. Applications also include the resolved conifold, canonical-bundle metrics in non-Einstein classes, and Cifarelli's rank-two Type-2 metric.

math.DG↗