数論幾何学と代数幾何学の違いってなんですか?
■ このスレッドは過去ログ倉庫に格納されています
行列式の理論を可能な限り使わないのは
AxlerのLinear Algebra done rightとかいう
ちょっと癖のある教科書とかもそうで、
最近は割とこういうやり方取る人も多い気はする 元々は、線型だったが、頭の悪い文部科学省が用語の整理をしして、線形と決めた。
集合の元も要素に言い換えようとしてるが、数学をやってない奴が決めてるから、実状に合ってない。
元は、素元、既約元、可逆元など幅広く使われてるから、おかしな事になっている。 >>76
まぁアレは、「意識高い系」の数学書だから >>83
フェルマーの最終定理の証明についての本を日米で書けるような意識高い系なら、
そうでない意識低い系より全然良いと思うけど ベクトルが数学Cになるみたいだけど、それでマジでいいのか!? >>85
高校数学のベクトルってなんか役に立つかな?
物理系にはいるだろうけど やはりテキストは自主ゼミで盛り上がれるようなのが良い linearlyとlineallyは区別して使っている やっぱスキームがよくわからん
たとえば、
x^2 + y^2 - 1 = 0
をℚで考えたのは
X = Spec(ℂ[x, y]/(x^2 + y^2 - 1))
のℚ値点Hom(Spec(ℚ), X)なのか、
Spec(ℚ[x, y]/(x^2 + y^2 - 1))
なのか。前者だとしたら、後者は古典的な代数幾何学では何に対応するのか 前者はℂを取るのと、ℚの代数的閉包を取るのと何が違うのか…… 何か混乱してるようなのでマジレス
X = Spec(ℂ[x, y]/(x^2 + y^2 - 1))
のℚ値点Hom(Spec(ℚ), X)は空集合
Y=Spec(ℚ[x, y]/(x^2 + y^2 - 1))が ℚ上のスキームで
Hom(Spec(ℚ), Y)= { (x,y)∈ℚ^2 | x^2 + y^2 - 1=0}は
半径1の円 Hom(Spec(R), Y)= { (x,y)∈R^2 | x^2 + y^2 - 1=0} の有理点
以上単に定義から ありがとうございます
C値点を考えたいときは
Hom(Spec(C), X)とHom(Spec(C), Y)
どっちを考えればいいのでしょうか? >>97
Hom(Spec(C), X)≅Hom(Spec(C), Y)
どちらも同じ 補足
k代数AとBに対して
Hom_{Spec k}(SpecB, SpecA)≅ Hom_{k-alg}(A, B) 代数幾何学と数論幾何学って、どっちのが難しいんですか? >>35
体操の離れ業にありそうだな
アラケロフIVまでありそう >>80
型と形の意味の違いを理解する必要がある
たい焼き屋に行く
材料を流し込んで焼く黒い鉄板がある あれが型だ
その鉄板で焼かれて出来上がるたい焼き あれが形だ
個々のリニアなものを抽象化して扱うのだから線型が正しい >>4
代数幾何を数論に応用したものを数論幾何という。 そもそも原点らしい代数幾何(スキーム論)が数論目的で
それを代数多様体の分類とか幾何学的な方面へ利用したのが
いまの代数幾何では ? >>109
まぁそうだな。
グロタンは、ベイユ予想を解けるような強力な理論建設を目指していたからね。 志村多様体
まず定義から理解できん
あと、これをどう設定すれば、古典的なモジュラー曲線になるの? 群多様体の演算って、スキーム論の場合どうなってんの?
たとえば、A^1を加法群として見ると、
A^1 × A^1 → A^1
(x, y) → x + y
という射が演算になるけど、スキーム論だとA^1 × A^1は閉点だけじゃなくて、既約な曲線に対応する点も含むよね
そういう点はどこいくの? 体上有限型の群スキームの圏(定義から群多様体も対象となる)で同型定理が成り立つ
特にKerが存在する
よって古典的な意味のKerもスキームになる >>111
群がGL_2の場合に定義を丁寧に書き下してみたらいいんじゃね
知らんけど なるほど
スキームの圏における群対象を群スキームというのか
群スキームや代数群についてまとまった文献はSGAしか無いのか 群スキームはともかく、代数群の本ならいくらでもあるでしょう そもそも可換出なかったらアーベル圏もクソもないやろ
アーベル多様体絡みなら可換にはなるけどそっちは難しすぎてほとんど資料がない
アフィン群と固有群で文化が二分される >>121
固有群ってなんぞ?
アフィン群なら層や小難しい代数幾何の予備知識抜きに(ホップ代数から)入門できるから入りやすくていいね >>122
係数体上固有である(i.e. 構造射 G→speck が固有射であるスキーム)群スキーム
アーベル多様体ともいう
アーベル多様体は必ず可換
メッサムズイ あ、しかし固有群スキームというと連結性は仮定しないかな?
アーベル多様体というと普通連結と仮定する
難しすぎて一次元=楕円曲線の場合が研究のほとんどで高次元のはあまり研究進んでない希ガス >>124
連結性仮定しない場合って射影代数群とは同じにならなかったりするん?
連結だと射影代数群と完備代数群は同じよね? 数論幾何が日本の数学をダメにした
もっと解析数論をやれ ■ このスレッドは過去ログ倉庫に格納されています