平坦射

平坦射（へいたんしゃ、英: flat morphism）とは、数学の代数幾何学におけるスキーム論の用語で、スキーム X からスキーム Y への射fであって茎に誘導される写像がすべて環の平坦写像になるもののことをいう。つまり、X のすべての点 P に対して が平坦写像になるもののことをいう。環の写像が平坦とは、準同型であってこれによりBが平坦 A 加群になることである。スキームの射が全射かつ平坦であるとき、忠実平坦という。 平坦射の感覚的な理解のうえでは次の2つが基本的である。 * 平坦性はである（このことを以下ではと呼ぶ）。つまり、（ある有限性の条件の下で）スキームの射はほとんどの点で平坦であり、平坦性が崩れるのは例外的な部分集合においてである。このことは可換環論における一般自由性の帰結である。 * 平坦射ではファイバーの等次元性が成り立つ。また、ある仮定のもとではファイバーが等次元であれば平坦である（）。このことから、平坦性とはすなわちファイバーが等次元であることと思える。この点に特に着目し、ファイバーに等次元性の条件を課したいときに平坦性を仮定することがある。また、平坦射は等次元のファイバーの族であることを強調したいとき、平坦射を平坦族ということも多い。例えば、双有理幾何学での代数曲面のブローダウンという操作では、ある特定の1点でのの次元は1であるが、他の点での次元はすべて0なので、平坦ではない。 平坦射は色々な種類のやの定義に使われる。これらは深い理論で、扱いやすいものではない。平坦射はエタール射の定義、ひいてはエタール・コホモロジーの定義にも使われる。エタール射とは、平坦かつ有限型かつ不分岐な射のことであった。