参考文献：
[Asterisque126]Séminaire Palaiseau,
Géométrie des surfaces K3: modules et périodes,
(K3曲面の幾何： モジュライと周期)
Astérisque 126, Soc. Math. France (1985).
---------------------------------------------------
ExposeIV.
K3曲面の基本的性質
ExposeV.
K3曲面に対する局所トレリ定理
ExposeVI.
K3曲面が単連結であること
ExposeVII
K3曲面の周期についての準備 (By Beauville)
ExposeVIII
Kummer曲面に対するトレリ定理 (By Beauville)
ExposeIX
K3曲面に対する（大域的）トレリ定理 －証明の完了－ (By Beauville)
ExposeX
周期写像の全射性 (By Beauville)
ExposeXI
Betti数が偶数であるコンパクト複素曲面のstandard metric
ExposeXII
すべてのK3曲面はケーラーである
ExposeXIII
モジュライ空間の応用
ExposeXIV
RP^3の中の実4次代数曲面の位相型 (By Risler)
この章は，局所トレリ定理を用いたKharlamovの論文：
The topological types of nonsingular surfaces in RP^3 of degree four,
Funct. Anal. Appl. 10 (1976)
の紹介．これ以前の章で，複素数上の場合に，局所トレリ定理（ExposeV.など・・・）について，複素幾何の専門家が解説済みなので，それを引用しているところが良い．
次のExpose以降は，私には，あまり関係ない．