Theoretical analysis demonstrates that positive-definite intersection forms of smooth four-manifolds diagonalize over integers, suggesting fundamental constraints on four-dimensional topology.
Soit X une u-variete compacte reguliere simplement connexe orientee avec la propriete que la forme associee Q est definie positive. Alors cette forme est equivalente, sur les entiers, a la forme diagonale standard, soit dans une base: Q(u 1 ,u 2 ,...u 2 )=u 2 1 +u 2 2 +...+u 2 2
No takes yet. Share an insight, caveat, or question.
Simon Donaldson (1983) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: