サーストンノルム（英: Thurston norm）は、3次元多様体の第2ホモロジー群上に定義される関数であり、ウィリアム・サーストンによって導入された。このノルムは、曲面によって表されるホモロジー類のトポロジー的複雑性を自然な方法で測るものである。
定義 を微分可能多様体とし、 をそのホモロジー群の元とする。このとき は、境界を持たないコンパクトな（連結であるとは限らない）曲面 から への埋め込み によって表現される。
サーストンノルム は、以下で定義される。
,
ここで、最小値は を表す埋め込み曲面 （ は連結成分）全体にわたって取られる。また、 は、オイラー標数の絶対値を表すが、球面の場合は 0 と定義される。
この関数は以下の性質を満たす：
for ; for .
これらの性質により、 は 上の関数へ拡張され、さらに連続的に 上のセミノルム（半ノルム）へと拡張できる。 ポアンカレ双対性により、 上にもサーストンノルムを定義することができる。
が境界を持つコンパクト多様体である場合も、同様に相対ホモロジー群 とそのポアンカレ双対 上にノルムを定義することができる。
デイヴィッド・ガバイのさらなる研究によって、埋め込み曲面だけでなくイマーションされた曲面を用いてもサーストンノルムを定義できることが示された。
この結果は、サーストンノルムがグロモフノルムのちょうど半分に等しいことも意味する。
トポロジーへの応用 サーストンノルムは、ファイバリングや葉層構造（フォリエーション）に関する応用を念頭に置いて導入された。
3次元多様体 におけるサーストンノルムの単位球体 は、整数頂点を持つポリトープになる。これは、 が円周上のファイバーバンドルとして書ける場合の構造を記述するのに用いられる。すなわち、 がある曲面 上の微分同相写像 によるマッピングトーラスとして書けるとき、 の埋め込みは、 のある最大次元の面（あるいは開いた面）上のクラスを表す。また、その面上の他の整数点もすべて、同様のファイバリングのファイバーとなる。
同様に、あるホモロジー類においてサーストンノルムを最小化する埋め込み曲面は、 上の葉層構造の**閉じた葉**に一致する。
脚注
参考文献