4維可微流形唐納森定理(Donaldson theo-rem on differentiable 4-manifolds)關於可微4維流形相交性質的一個定理.考察可微流形的情形，於此一個重要的事實是，與拓撲流形不同，並非每一個雙線性形式都是可微流形的相交形式.即存在著名的羅赫林定理:若M為緊緻單連通可微d型的4維流形，則M的相交形式的符號差是16的倍數，即在“對稱雙線性形式”條目中已經知道，每一個亞型形式的符號差必為8的倍數，因此對於l型么模對雙線性形式產，可以引人羅赫林不變數.羅赫林定理是說，非0羅赫林不變數的形式不是可微緊緻單連通亞型4維流形的相交形式.對於可微流形，更重要的是下列唐納森定理:若M為緊緻單連通光滑4維流形，其相交形式產是正定的，則產必定等價於對角形式，即}-(1)①...①(1).根據這個定理，對於光滑流形的相交形式，數目龐大的正定對稱雙線性形式可以不予考慮.結合弗里德曼定理與不定對稱雙線性形式的分類，可得緊緻單連通光滑4維流形同胚類與其相交形式之間關係的一個表，其中所列的那些4維流形M是所熟悉的同胚類的代表.
