おしえてえらいひと - 1141967630

1：ウゴウゴ：2006/03/10(金) 14:13:50: わからないことがあったら、とりあえずきいてみようね♪
310：ぷるぷる：2022/05/01(日) 15:33:54: なんか色々トラブルに巻き込まれそうなので、
丸精油行きは断念！
ただでキャンセルできたけど、時間は結構無駄にしたな
結局某本航空の予約サイトのルートはインチキっぽいね。
鶴居の時もトラブったし、寛容な俺でも流石にもう使う気にならんよな。

ルーマニア行く人、面白いことが起きたらブログでレポお願いします。
311：みーしゃ：2022/05/01(日) 22:57:48: そういう不自由なんか誰のためにも地球のためにもならんことだし，
これからCO2やなんやかやの問題に人類が対処していかねばならん時に
ほんといらんことしてくれたわ奴は．
一体どれだけの人の人生がこれまで，これから狂っていくのだろうか．
２月２３日の日付のままの小学校の黒板に心が痛むわ．
312：のろうゐるす：2022/08/30(火) 14:38:42: C*環 A が可分単純非可換のとき、Aの超冪はnonzero characterを持たない？
当たり前のような、そうでないような。
313：さとう：2022/08/30(火) 15:16:32: ラーダムとロバートが似たことを考えていましたよ。Aを動かして超羃にすれば持つような気がします。
https://arxiv.org/abs/1106.5523
314：のろうゐるす：2022/08/30(火) 17:37:42: なるほど。ありがとう。これでmathoverflowの問題が解けた。
315：のろうゐるす：2022/08/30(火) 17:40:41: 追伸：Aを動かさなければ、持たないね。
316：ぷるぷる：2022/08/30(火) 17:44:15: >>315 ホント？ユニっタルならもちろんそうですが・・・
317：のろうゐるす：2022/08/30(火) 17:49:41: ああ、そうだ。ユニっタルじゃなければ、>>313の反例をc_0直和した
ものが反例になるな。
318：のろうゐるす：2022/08/30(火) 17:50:23: あれっ？単純にしたかったんだっけ？そこをなんとか。
319：ぷるぷる：2022/11/07(月) 18:09:32: 第二可算局所コンパクト群は有限生成局所コンパクトに閉に埋め込めるんでしたでしょうか？
と聞こうと思ったけど、できないらしいどすねえ　ふっしぎ～😮
https://www.normalesup.org/~cornulier/embed.pdf
(>>309は離散でなくてもひねるところ変えればできたっぽいけど、有限生成じゃないと今のところダメなんよね😓)
320：のろうゐるす：2023/06/26(月) 21:09:13: C*環 A の元 x の極分解をしたいのだが、 x = u|x| として、
p := 1_[ε,∞](|x|) in A^{**} としたとき、
partial isometry v in A で || xp - v|x|p || < ε となるものは
存在しますか？
321：ぷるぷる：2023/06/26(月) 23:08:40: 非自明射影がなくて安定階数2以上なら無理なんじゃないでしょうかね😉　可換でも無理やろな😥
結局xpもxに近い(絶対値も同様)から、もしあれば可逆元で近似できてしまうやん😌
というか回転数考えれば円盤でも当たり前か🙂
322：のろうゐるす：2023/06/27(火) 09:56:06: >>321 すまん。εが重なってた。 p:= 1_[1/2,∞] にしてくれ。
sr=1のときはぺ打線が示してるらしいな。さとうがそう言ってた。
323：のろうゐるす：2023/06/27(火) 10:53:55: うむ。ダメだな。
324：＜削除＞：＜削除＞: ＜削除＞
325：＜削除＞：＜削除＞: ＜削除＞
326：ぷるぷる：2023/07/12(水) 14:52:46: お、再来週夜の部で教えてくれるのかな？☺️

https://www.uni-muenster.de/MathematicsMuenster/events/2023/cstar-algebras.shtml
僕は所用で行けなくなったけど、君津さんのお話が面白そう😊
327：のろうゐるす：2023/07/14(金) 09:15:36: 政治犯として隔離されていた（らしい）キル老師が西側へ放り出されたとき、
君津が拾ったんだ。職を手配するにあたって、江風呂須らに評価を頼んだら、
自分には理解不能だがとにかく天才であるみたいな返答が来たそうだよ。
それで君津が頑張って職にねじ込んだんだけど、論文を全然出さないんで、
君津が借金取りばりに苛斂誅求して論文を書かせたそうだ。君津は、人類に
貢献したって回想してたよ。キル老師はその業績をもとに大学を移ったので、
以後単著論文が出なくなったんだ。
328：ぷるぷる：2023/07/14(金) 11:17:38: 感動的なエピソードよね
キルの論文は直接読んだことあんまないけど、徒然なるままに書いてあって訳がわからんかったわい😔
分類論文くらい、禿げさんのときみたいに、誰か整備して出版すればええのにね😌
結局あれは何があったんや？😟

https://arxiv.org/abs/2307.06480
第一弾、でたね☺️
ちなみに従順作用でもできるのか、って我部さんに聞いたら
UCTを3回crucialなところで使うから
KKをどう見ればいいのかわからん😆、Wテンソルしておけばできるんじゃね😉
って言っとった🙂　ナワちゃん、ピンチ？😚
329：のろうゐるす：2023/07/14(金) 11:37:41: >>327 間違ってた。君津がハイデルベルグから移籍したんだった。
330：のろうゐるす：2023/07/14(金) 12:04:55: >>328 追悼集会に間に合わせてきたね。

俺も追悼集会のための論文を書いた。ずーっと前から頭の中で出来てたことを
書いたんだけど（ユニタリ群の弱従順性の話で普通の人は興味ない）、証明を
詰めてみたら、実はもっと簡単にもっといいことが示せることが分かった。
やっぱりちゃんと紙に打ち付けないとだめだな。キル老師は8年間ものあいだ
ろくな紙もなしによく数学を続けられたな。
331：＜削除＞：＜削除＞: ＜削除＞
332：ぷるぷる：2023/07/15(土) 17:59:18: https://www.nhk.or.jp/shutoken/chiba/article/014/29/
数おりには特に興味ないけど、中華は一位の常連国なんやな☺️
飛行機でIMOのTシャツ着てる人たちがたくさんおったわ😌
そういや昔サマースクールの講師やったけど、金払いが良くてびっくりしたわ😁

人口多いとはいえ、科学、少なくとも数学の世界で欧米が抜かれるのは時間の問題やろなぁ😙
人海戦術で虚偽論文告発し始めたら面白いんだけどねぇ😊
ほとんど何も残らなくなってしまう人、結構おると思う
ロビー活動、エッセイ・プレゼンコンペ、見切り発車の出鱈目論文濫造大会に堕落している現代欧州数学界では、
>>327のような美談が生まれることも今後なさそうやな😅
333：のろうゐるす：2023/07/15(土) 20:24:58: 1位中国、2位アメリカ、3位韓国だけど、アメリカの出場者の過半数はアジア系だぞ。
334：ぷるぷる：2023/08/06(日) 19:48:03: arXiv:2307.08267
これの最後に書いてあるquestionってK1見れば
円盤テンソルZでもダメだと思うけど、僕が何か忘れているんでしょうか・・・?😴
Cf. >>321
335：のろうゐるす：2023/08/06(日) 21:14:31: アレ、変なこと書いてあるね。str=1 はムリでも s(a) in closure(GL) に
なるかって聞こうと思ったはずだったんだよ。きっと時差ぼけのせいだな。
336：ぷるぷる：2023/08/06(日) 22:21:52: ほうほう、定数列(あるいは直行列)考えれば同じ理由でダメなんとちゃう？😷

ルーベン、ええなぁ。。。伝説よ再び、おみやげよろしくぅ
337：のろうゐるす：2023/08/07(月) 01:02:18: ふむう。Aが可換なら tsr( C*(F_\infty) \otimes A ) = 1 だと思ってたが違うのか？
338：ぷるぷる：2023/08/07(月) 12:02:44: >>337 やっぱり円盤→円周のK1考えると正しくないよね😷
>>336 で書いてあるのもなんか変だった
free generatorだから大熊-禿-羅ダムを読めばできるのかもね☺️
僕が証明を読んだのは自由群環のときだけや😁
339：のろうゐるす：2023/08/08(火) 17:13:15: ところでふと気になったのだが、単純核型C*環の分類って実係数の場合は
どうなってんの？たしか実C*環のほうが、KO群がたくさんあるんだよね？
実C*環 A_r の複素化 A_c は自分自身の複素共役と同型だけど、別の
実C*環 B_r の複素化 B_c が A_c と同型になっていると A_c になんか
変な共役自己同型ができるよね。きっとK理論になんか起きるんだよね？
340：のろうゐるす：2023/08/08(火) 17:18:21: 単に位数２の共役自己同型を分類するというだけの話だが、分類可能クラスでは
もうできてるのかのう？
341：ぷるぷる：2023/08/08(火) 19:38:00: 黒田の構成いじったらO2だけでも山ほどありそうやね・・・🙃
342：のろうゐるす：2023/08/09(水) 05:12:53: そういや分類には興味ないんだけど、UCT問題は O_2 の任意の位数２の自己同型の
固定点環に対するUCTに帰着できるってキル老子が主張してたことがあったけど、
キル文書には書いてないね。我部によると位数２＆位数３ならいいらしいけど。
343：＜削除＞：＜削除＞: ＜削除＞
344：ぷるぷる：2023/11/01(水) 11:21:20: arxiv:2310.20594
第二弾？出たね☺️
ぼちぼち腰を据えて読んでみるか😌
345：のろうゐるす：2023/11/01(水) 15:47:41: やった、査読者候補決定！
346：ぷるぷる：2023/11/06(月) 11:02:46: 内容フォローしてないけど、頑張っとるなインド人🇮🇳☺️🍛
arxiv:2311.01524
347：のろうゐるす：2024/01/19(金) 16:35:52: サカイの定理：「C*環Aに全双対があればvN環」ってやつなんだけど、
A^{**}がvN環(かつσ-weak = σ(A^{**},A^*))であることを認めれば
id: A -> A=(A_*)^*がweak*-weak*連続写像 \pi: A^{**} -> A に
拡張出来て、\piがσ-weak-denseなところ（つまりA）で*-homだから
全体でσ-weak-weak*連続*-homが分かって証明終了だと思うんだけど、
なんか間違ってるか？ふむう。
348：ぷるぷる：2024/01/19(金) 22:25:44: ふむふむ、Aの積がpredualの弱位相で連続かどうかわからないからダメみたいですよ、
0時の本に書いてあった☺️
349：のろうゐるす：2024/01/20(土) 08:10:23: なるほど。歴史がゆがんだかと思っちゃったよ。
350：ぷるぷる：2024/01/31(水) 18:14:50: ジンマー祭り@ポアンカレー、のろさんは行くのかな？🙂
剛性学校で連続講演聞いた時は最先端のハイテクツールが絡み合って
なかなかの大作だと思ったけど、その後進展はあったのかな？😌
351：のろうゐるす：2024/03/27(水) 19:24:20: >>257
N<G が従順正規部分群のとき、C*_r(G) -> C*_r(G/N) の核は
{ (1-n)g : n in N, g in G }で張られるものとばかり思ってきたが、
完全性がないとそれが分からんということか。ふむう。
352：ぷるぷる：2024/03/27(水) 21:23:34: StabilizationしたらG/Nの接合積だけど、
Nの自明表現はG-同変split持つから大丈夫ちゃうん？🙃
イデアルに射影作れるやろ😊

ナワちゃん、控訴しないって😥
353：のろうゐるす：2024/03/28(木) 14:22:30: stabilizationの話は知らんけど、それってC*_r(G)をG/Nの捩じれ接合積で
書くって話とたぶん同じなのでは。捩じれがあって旨くいかないんだけど。
354：ぷるぷる：2024/03/28(木) 15:57:15: Sectionが同変にならんのね😌
355：のろうゐるす：2024/06/06(木) 18:12:01: ほう。mathoverflowで任意のC*環は極大閉イデアルを持つかって
聞かれたんだけど、そんなことも分かっていなかったとは不覚。
単純商が存在するかという問題と同値だね。非可分の反例なら
あるけど、可分のときはどうなんだろ？Glimmとか使えないかな。
356：のろうゐるす：2024/06/07(金) 09:08:36: フツーに考えれば、任意の非単位的C*環 I に対して、非単位的拡大 I ◁ A で
I が A の唯一の極大閉イデアルになるようなものがあるよね？
357：のろうゐるす：2024/06/07(金) 12:51:29: K. R. Goodearl & F. Wehrung がイデアル格子をAF環で実現してた。
358：ぷべるる：2024/06/07(金) 20:21:21: 任意の位相力学系が極小閉集合を持つことになるけど、
さすがにうさんくさいのでは？😓その筋の人なら反例知ってるんじゃないかな☺️🇮🇱🚀
(正しいならどこかに書いとるやろ🙄)
359：ぷべるる：2024/06/07(金) 22:22:15: S^1 times R上の斜積でそういう例があるらしい☺️
これの接合積考えれば反例になるね🤗
http://www.math.sci.hiroshima-u.ac.jp/hmj/v32.2/P207-215.pdf