20/09/06 22:56:00.81 rCjTzdM1.net
>>223
>歴史的には、「正則」（＝解析的）が先にあった
>岡とか小平とか
正しくは、解析空間に関する 岡の連接定理が先にあった
（小平は特に関係ない）
>そこから発展して、カルタン、セール、グロタンディークへと繋がる
H.カルタンとセールが、岡の発見した連接性を、
代数多様体に応用して「代数的連接層」を考えた
（なお、わざわざH.カルタンとつけるのは、
父親も有名な数学者のE.カルタンだから）
グロタンディクはさらにそこから
エタール射によるエタール層
を考え出した
「層」が重要なわけではない