24/11/26 19:13:10.86 WZSoAOjM.net
局所コンパクトじゃないと測度が定義できないからなあ
25:１３２人目の素数さん
24/11/26 19:25:23.97 WZSoAOjM.net
イデール類群も0次K群もイデアル類群の一般化
26:１３２人目の素数さん
24/11/26 19:36:24.50 XqqTFfvs.net
n次イデール類群やn次イデアル類群も定義できないか?
27:１３２人目の素数さん
24/11/26 19:47:33.40 kmz+Ar0t.net
できるぞ
28:１３２人目の素数さん
24/11/26 19:50:42.71 0RZP70Bb.net
GL(n, A_K)を、K×を対角に埋め込んだ部分群でわる
29:１３２人目の素数さん
24/11/26 21:34:25.37 +whJRXyz.net
コホモロジー群もアデール代数群も、ベクトルバンドルの亜種だよね
30:１３２人目の素数さん
24/11/26 21:37:07.94 XqqTFfvs.net
ゼータ函数に対してフーリエ変換が結びつくなら
L函数には、表現付きのフーリエ変換が対応するわけか
31:１３２人目の素数さん
24/11/26 21:56:22.78 XqqTFfvs.net
>>29
そ、そうなのかい？
局所的なコホモロジーというのがあるんかな
32:１３２人目の素数さん
24/11/26 23:22:52.25 YUnZXm2V.net
せやな
指標は2次元以上では既約表現になるだろう
33:１３２人目の素数さん
24/11/28 19:26:57.00 QZ2H7P+W.net
ℚがアデール環A_ℚでは格子になるから、A_ℚ/ℚ上の関数をフーリエ級数展開できるってのは感動した
34:１３２人目の素数さん
24/12/04 06:42:49.56 lM4uVDs9.net
K/k: 1変数代数函数体
0 → L(D) → L(D + p) → k(p)
→A/(K + L(D)) → A/(K + L(D + p)) → 0
がコホモロジー長完全列のかわり
ω∈Hom(A, k)で、あるDがあって、ω∈{ω∈Hom(A, k): ω|(K + L(D)) = 0}～Hom(A/(K + L(D)), k)となっているものが、微分？
35:１３２人目の素数さん
24/12/04 08:53:58.98 LUeIswa5.net
dualizing sheafの1次元版やね
URLﾘﾝｸ(en.m.wikipedia.org)
36:１３２人目の素数さん
24/12/04 10:20:16.73 ubrY3C+A.net
A/(K + L(D))がどうやってH^1と同型になるのだろうか
37:１３２人目の素数さん
24/12/04 12:01:23.23 N6rJnT++.net
アデール環自体にセール双対性が組み込まれてる
ボッジ分解もそう
38:１３２人目の素数さん
24/12/07 02:00:50.03 rdcB2xXp.net
アデール代数群を考えるなら、コホモロジー環を係数とした代数群も考えられるのだろうか？
39:１３２人目の素数さん
24/12/28 18:43:38.55 b8LzAV4/.net
指標の代わりに、その群の線形表現を使って変換したらどうなの？
指標は表現行列のTraceだから、アーベル群のように1次の表現しかない場合以外では弱い気がする。
40:１３２人目の素数さん
24/12/28 22:34:27.05 EP+mbAyL.net
非可換な場合はそうやってる
41:１３２人目の素数さん
24/12/31 20:10:55.50 xeRxaJy4.net
>>1
一般化ってどういう意味なんかね
フーリエ変換てレゾリューションだと思ってるとか？
42:１３２人目の素数さん
24/12/31 20:12:26.31 xeRxaJy4.net
>>31
局所係数コホモロジーのこと？
43:１３２人目の素数さん
25/04/02 15:37:19.76 W0pnyR2L.net
群上の調和解析
丸山 徹
丸善
2023年1月
44:１３２人目の素数さん
25/04/10 03:33:35.43 8LmiwBUT.net
コンパクトな一般的な多様体を与えたときに、その空間内でのフーリエ変換の一般化はどうなるのかな。