という記号の の部分の言い訳をしておこう。 これは ind-scheme の -値点の意味である。 をいろいろ変えて眺めてみたいので、このような記号になった次第。 じつはこれは「第二量子化」などの考えの影響を受けていて、 環の元自体が観測の対象になるような理論になることを予定している。 そこまで考えを進めたときに、 として非可換な環を考えるとどうか。 の元と と可換と仮定してよいものか。 それらの問題は大事である。しかしここではとりあえず は可換環であるとしておこう。とくに が可換体のときを主に考察する。
の中心 は 個の元 を 自由生成元として持つような 上の多項式環と同型で、 自身は 上の matrix bundle の section の全体と 同一視できる。