In mathematics, the Kronheimer–Mrowka basic classes are elements of the second cohomology H 2 ( M ; Z ) {\displaystyle H^{2}(M;\mathbb {Z} )} of a simply connected, smooth 4-manifold M {\displaystyle M} of simple type that determine its Donaldson polynomials. They were introduced by Peter B. Kronheimer and Tomasz S. Mrowka (1994, 1995).
Description For a 4-manifold M {\displaystyle M} , its Donaldson invariants are an integer γ 0 ( M ) ∈ Z {\displaystyle \gamma _{0}(M)\in \mathbb {Z} } and maps γ d ( M ) : H 2 ( M , Z ) → Z [ 1 / 2 ] {\displaystyle \gamma _{d}(M)\colon H_{2}(M,\mathbb {Z} )\rightarrow \mathbb {Z} [1/2]} (into half-integers), which combine into the Donaldson polynomial:
D M : H 2 ( M , Z ) → R , D M ( x ) = ∑ d = 0 ∞ γ d ( M ) ( x ) d ! . {\displaystyle {\mathcal {D}}_{M}\colon H_{2}(M,\mathbb {Z} )\rightarrow \mathbb {R} ,{\mathcal {D}}_{M}(x)=\sum _{d=0}^{\infty }{\frac {\gamma _{d}(M)(x)}{d!}}.}
Peter Kronheimer and Tomasz Mrowka introduced a condition known as Kronheimer–Mrowka simple type (KM simple type), which is sufficient to obtain the separate Donaldson invariants from their common Donaldson polynomial. For a KM-simple manifold M {\displaystyle M} there are cohomology classes K 1 , … , K s ∈ H 2 ( M , Z ) {\displaystyle K_{1},\ldots ,K_{s}\in H^{2}(M,\mathbb {Z} )} , called Kronheimer–Mrowka basic classes (KM basic classes), as well as rational numbers a 1 , … , a s ∈ Q {\displaystyle a_{1},\ldots ,a_{s}\in \mathbb {Q} } , called Kronheimer–Mrowka coefficients (KM coefficients), so that:
D M ( x ) = exp ( Q M ( x , x ) / 2 ) ∑ r = 1 s a r exp ( K r ( x ) ) {\displaystyle {\mathcal {D}}_{M}(x)=\exp(Q_{M}(x,x)/2)\sum _{r=1}^{s}a_{r}\exp(K_{r}(x))}
… excerpt ends here. Continue reading the full article.
