おしえてえらいひと - 1141967630

281：のろうゐるす：2022/01/11(火) 11:43:16: ふと気になったHecke環についての質問です。
(G,H)がHecke対、つまり H が G でcommensuratedなとき、
任意の G ユニタリ表現 (π,V) を V^H (H-invariant vectors) への
射影 p で切ると、V^H 上の Hecke環 H(G,H) の表現が出来る：
HgH -> p π(g) p
Hecke環 H(G,H) の任意の表現がこのような形をしているのは
どんなとき？
言い換えると、普遍包絡C*環 H_max(G,H) が p C*_max(G) p と
同型になるのはいつ？
282：のろうゐるす：2022/01/11(火) 18:03:38: 聞いたところによるとSchlichting completionを
考えたら当たり前らしいな。
283：名無しさん：2022/01/11(火) 18:24:38: ふ～ん。これのQ 6.16だったりする？(適当)
https://doi.org/10.1017/S0013091506001419
284：のろうゐるす：2022/01/12(水) 10:04:50: うむ。ありがとう。
Schlichting completionを考えても何の得にもならんかったな。
285：名無しさん：2022/01/19(水) 11:02:41: arXiv:2003.03469
一年以上ぐだぐだやって、結局主定理の一つは撤回か。
誰かが綺麗にしてくれるからって、
うんこやションベンその辺で垂れ流してるのとやってること変わらんな(^^;
286：のろうゐるす：2022/01/19(水) 18:06:20: ほうほう。荒れとるねえ。
ひょっとして1.6ってBCの定理から明らかなのでは？
287：ぷるぷ：2022/01/19(水) 18:24:51: そうだね。>1.6
俺はもう相手にするのはやめた。
次に周る人、頑張ってね。

結局この人たちはアレコレ名前つけた以外従順作用については何も貢献なかったね。
挙句人の定理の自明な系を自分の結果のように振る舞ったり、
どんどんどーでもいい自明なこと書き足していってページ水増ししていく醜悪さよ。
288：名無しさん：2022/01/21(金) 11:56:29: こんな論文でも権力やコネがあれば
何度でも不死鳥のように蘇って通るまでやり直しできるんだってな。(fair and balanced とは一体…?)
289：たれながさん：2022/02/10(木) 13:52:49: elibm.org/article/10012164

(悪意があるわけでなく，単純に無能力なんだろうが)
暗号解読と同じで，もっともらしいものをでっちあげる手間より
内容を検証して間違い探しするほうがずっとたいへんだよね．
くどくどと長文書いて，その中に一行嘘(願望)を仕込めば，なんでも「証明」できるからね．
そういえば，第三著者が入ってる100ページくらいの論文でも，肝心なところでお粗末で致命的なやらかしを見つけたこともあったな．
完全に時間の無駄よね．

内容に対する責任(研究費とか，ポジション）があとで追及されないような仕組みになっている以上，
破綻するのは必然で不可避であろう．
信頼度の低い論文を量産しているメイワクな人たちをシステムとして
どう排除・制裁していくかがカギとなるんじゃなかろうか．
290：のろうゐるす：2022/02/11(金) 23:03:34: ふむ。4.3で(AxG)xKと(AxK)xGの同一視がおかしいということかな。
たぶんこねくり回してたらうまくいったと思っちゃたんだろうな。
森田一貫性はG-cp写像と接合積との一貫性だから、ないと困るもんね。
ふむう。しかし正しくないような気がしないでもない。
291：ぷるぷる：2022/02/22(火) 12:15:48: arXiv:2202.09809
まだ準備論文だけだけど、本当にできるんだな。(正確な分類定理の主張はまだ出てないけど。)
分類定理の信頼できそうな証明も出るらしいし、
globalncgseminar.org/talks/tba-29/
群作用も含めて分類周辺(の意味があり、できそうなこと)は終わりやね
292：さとう：2022/02/22(火) 12:49:52: 僕が学生の頃から終わりだと言われてました
293：のろうゐるす：2022/02/22(火) 17:31:03: ほうほう。俺もずーっともう終わりだと言い続けてきた。
その間[TWW]が出たりもしたけど、いつかは予言が実現するもんな。
後はUCTとTW予想の完全解決だな。

それはそうとロシアのウクライナ進駐を受けていよいよICMも
開催が危ぶまれるな。多くの国が渡航中止勧告を出すだろうし。
294：名無しさん：2022/02/22(火) 21:31:18: 因縁でっち上げてちょっとずつ切り崩されて乗っ取られていく様は、
日本の大学の将来を見ているようですね！
295：のろうゐるす：2022/02/23(水) 16:21:45: https://www.ams.org/news?news_id=6987
早くも動きがあり。"AMS leadership"はleadershipという
だけのことはある。大勢は決したか？
296：のろうゐるす：2022/02/23(水) 22:00:04: ふむう。IMUは寄り合い所帯だしもっと責任重大だから、
何らかの発表があるのは1週間くらい先のことになるのかな。
最終的には完全オンライン化なんてどうじゃろうか？
297：ぷるぷり：2022/02/23(水) 22:15:42: せっかくの招待講演者たちがかわいそうだね。
なんで巴里にしなかったんだい？
298：ぷる：2022/03/12(土) 19:34:27: こんばんは。質問です。
ユニッタル(単純)AF環cl(/bigcup A_n) 上のステイト/phiがあったとき、
/int_[U(A_n)]/phi(u ・u*)du
は収束する？トレースに集積することはわかるんだけどね。
299：のろうゐるす：2022/03/14(月) 10:22:25: あまり正しそうな気がしないが、俺は単純AF環でmonotracialでないもの
の例すら知らんから、反例を作ることは出来ないな。
300：のろうゐるす：2022/03/16(水) 09:31:13: >>297
幾つかのソースから、IMUがロシアの提示したカネに釣られた
と聞いた。この度のキャンセルの結果、IMUはロシアから貰う
はずだったカネがなくなったので財政状況がずいぶん悪いらしい。
ICMもオリンピック同様カネ目の話だったのかしら。。。
辺留市区さんのコメント
https://www.facebook.com/dmitry.kleinbock/posts/10101689163963769
ICM2022がロシアに決まった際の俺のコメント
https://jbbs.shitaraba.net/bbs/read.cgi/study/7140/1473054478/217
301：名無しさん：2022/03/16(水) 11:57:32: ほうほう。某うちゅうといい、
数学者は毒饅頭とソーシャルハックにはめっぽう弱いのう。
302：のろうゐるす：2022/03/16(水) 12:24:49: プーチンのようなオイルリッチな独裁者は、自分の見栄えのいい写真を
撮るためになら10億円くらいポンと出してくれるからな。シベリア虎の
保護とか、ナントカ数えきれない。

まあプーチンを選んだ前総裁は責任なしというわけにはいかんだろう。
何か発言しとかないと立場が悪くなるんじゃないか。
303：のろうゐるす：2022/03/17(木) 13:51:43: IMUはそもそも大してお金持っていない。IMUによればICM開催には
現在７億円くらい必要で（なんでそんなに掛かるんでしょうね？）、
参加費１億円を引いた残りの６億円くらいをどうにか用意しないと
ならない。昔、日本でやった時は小平さんとかが必死に走り回って
企業から献金を集めたそうな。
304：ぷ：2022/03/17(木) 23:16:31: Zoomなのにそんなにかかるの？
まあ大きくて権威のある組織にはシロアリがいっぱいいるからねえ。
305：のろうゐるす：2022/03/18(金) 09:43:51: もちろんzoomならそんなに掛からないよ。
現地開催の場合。数字はIMUの資料による。
https://www.mathunion.org/icm/icm-2026
2026は中島総裁で会場はPhiladelphia。
トランプ大統領ではありませんように。
306：ぷる：2022/04/07(木) 14:57:31: 非可換(fg)自由群は(標準的な対称生成集合に対して)非有界正値調和関数を持つよね。
これって群の従順性と関係するんでしょうか。
Zだと等差数列なので正値にはならず、素人としては何か関係しそうですが。。
なんとなく病的分解と関係しそう？
307：のろうゐるす：2022/04/07(木) 20:15:04: 非定数有界調和関数の有無はLiouville propertyとしてよく研究されてるけど、
非有界正値調和関数はどうなんだろ。
abel群なら調和関数はadditive homに限る。
有界調和関数の空間 H^\infty(G) \cong L^\infty(\partial G) が無限次元なら
正値関数に対して、sup-norm と原点での値 f(e) (= \partial G 上の積分値)が
同値でないから、一様有界性原理で非有界正値調和関数を見つけられる。
ベキ零群とか扱いたいのならHarnack不等式とか？よく知らん。
308：ぷるっ：2022/04/08(金) 15:37:46: なるほど。遠くで大きくなるのを足し上げていくと確かに作れますね。さんくす
そういう分解を持たないものはどれくらいあるんだろう？
309：ぷる：2022/04/15(金) 14:30:19: >>291, 292 もうちょっとだけ続くらしいよ。
arXiv:2204.04480

　(でも抽象的な分類とかでたら、すぐに陥落するんじゃろな～)
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
360：のろうゐるす：2024/08/16(金) 09:13:03: むむっ。これ↓を非可換化できれば論文が一本書けるな。
https://mathoverflow.net/questions/476966/probability-vector-p-majorizes-its-normalized-entropy-vector-small-frac-p
361：のろうゐるす：2024/08/16(金) 09:37:37: 自分で言っておいて「非可換化」って何のことだか分からん。無意味か。
362：のろうゐるす：2024/09/07(土) 00:15:24: topo free => intersection property の反例みつけた。
https://1drv.ms/b/s!AqFEsaSkEkRigZIyYv3QJp4T2Ap9eg
363：ぷべるる：2024/09/07(土) 01:01:26: sigma_gはg(n)が無限遠で0じゃないと連続じゃないような。。。🙂‍↔️
364：のろうゐるす：2024/09/07(土) 09:23:44: うむ。そうだね。
365：のろうゐるす：2024/09/07(土) 11:25:26: これでどうだ。
https://1drv.ms/b/s!AqFEsaSkEkRigZI5nAoiyorvKBfM1w
次はloc cpt & minimal + topo free で反例だな。
366：のろうゐるす：2024/11/18(月) 15:39:16: 次のような例を知らないでしょうか？群はすべて捩じれなしとする。
群ΛがΓに作用していて（例えばΛ=Zとか）、
子犀来る u: Λ -> Γ (i.e., u_gh = u_g σ_g(h))があって、
u は群上では古馬産んだり(u_g=vσ_g(v^{-1}))じゃないけど
C*_rで古馬産んだりになってる。
367：名無しさん：2024/11/23(土) 22:06:55: まことふ！まことふ！おめでとう！！☺️🎊🎉
368：まことふ：2024/11/24(日) 01:23:50: ありがとう！ありがとう！乳豚研究所に行ってからもう少ししたら帰るよ。
373：のろうゐるす：2024/12/26(木) 10:31:34: ふと、任意の超有限III型vN環は強安定的なのかどうか気になったでござる。
可分前双対でない場合はII_1でもダメだから可分のときを考えるんだけど、
III_λとかIII_0が連続変形してても大丈夫なのか？分類はどうなっている？
374：みーしゃ：2024/12/26(木) 10:36:31: Flowが変わらないからそりゃそうですよ．
375：のろうゐるす：2024/12/26(木) 10:43:45: ほう。俺はぜんぜん知らんけど、因子環でなくてもflowで決まるのか。
376：みーしゃ：2024/12/26(木) 11:12:32: おおよく見たらfactorでないんですね．
直積分でOKだからOKでしょう．
377：のろうゐるす：2024/12/26(木) 11:36:50: なるほど。確かにfiberがほとんど至るところ強安定なら強安定な気がする。
ということはきっと分類も大丈夫で因子環でなくともflowで決まるんだろうな。
378：のろうゐるす：2024/12/26(木) 12:34:04: よし、次は連続W*束の分類だ。
379：ぷべるる：2024/12/26(木) 13:34:18: 幕ダフ追放派になってしまったのね😌
380：みーしゃ：2024/12/26(木) 13:36:45: 連続W*束がなんなのかよく知りませんが，
直積分なら，各fiberの\overline{Int}がu可縮なら，全体の\overline{Int}も
u可縮は少し評価したら簡単に出ると思いますよ．
ちなみに全体の\overline{Int}は，各fiberの\overline{Int}の直積分．
381：のろうゐるす：2024/12/26(木) 18:18:55: >幕ダフ追放
T崎IIIの記述に従った。II_1型因子環じゃないしね。
>連続W*束
巣取るツ・体躯ナに出てくる奴だよ。俺もよく知らんけど、多様体上なら
trivialになるんだろうな。
382：のろうゐるす：2025/02/02(日) 00:28:42: 講演の準備をしていて気になったんだけど、無限型vN(因子)環のユニタリ群が
ノルム位相で可縮かどうかって分かってないの？荒木スミス^2が π_1=0 を
示した論文(CMP, 1971)では可縮性は予想って書いてあるけど、更新あった？
383：ぷべるる：2025/02/02(日) 01:01:15: これ？☺️

http://hannesthiel.org/contractibility-of-unitary-groups-of-ii-1-factors
J. Brüning, W. Willgerodt, Eine Verallgemeinerung eines Satzes von N. Kuiper, Math. Ann. (1976) 47–58. https://doi.org/10.1007/bf01354528.
384：のろうゐるす：2025/02/02(日) 07:06:09: なるほど。独語か。みんな弱可縮から可縮を示すのね。直接できんもんかのう。
ところで1983に栗捨てん線がなんか書いてるのをルーマニアで発見。
https://library.imar.ro/cgi-bin/koha/opac-detail.pl?biblionumber=10236&shelfbrowse_itemnumber=11515
385：ぷべるる：2025/02/11(火) 15:41:38: これホント？😮
arxiv:2502.06697
386：のろうゐるす：2025/02/12(水) 11:03:49: ホントかどうかまでは知らんけど、MIP*=REの帰結として埋め込み不可のoeが
あってもおかしくないんじゃないか。ほう。そういや任意のII_1因子環 M が
軽痰を持つII_1因子環に埋め込めるかどうかって考えたこともなかったけど、
masa A を固定したら、勝手な元 x in M で台が小さいものは、Mの外に
出ちゃうけどnormarlizerに拡張できんもんかんね。ふむう。
387：のろうゐるす：2025/02/20(木) 17:44:10: 自由群因子環上の自由フリップはidに連続変形できるからダダペニで
Autが可縮となって、Out( LF_∞) がPolish群で K(Z,3) になると
思うのですが、何か意味がありませんでょうか？
388：のろうゐるす：2025/02/22(土) 13:32:30: ところでM=LF_dのとき、M*M上の自由フリップ in Autはいつidに連続変形可能？
自由ガウ試案関手があるから、O(2d)内でフリップがidに連続変形可能ならOK。
つまりd偶数でOK。じゃあ奇数の時は？どこかで宗麟が任意の補間自由群環で
大丈夫みたいなことを言っていたような。
389：ぷべるる：2025/02/24(月) 16:52:00: みんな大好き　AfD が倍増☺️ やったね😊🦀🇩🇪
>保守野党が第1党、政権復帰へ　極右躍進、与党は大敗　4月中旬にも連立合意・独総選挙
390：のろうゐるす：2025/03/12(水) 17:36:34: >>388
原田の定理(1951)でAut(L∞[0,1])は連結（実はさらに可縮）だった。
だから生成元 a を a^{-1} にひっくりかえせるので奇数でも大丈夫。
391：ぷべるる：2025/03/23(日) 13:42:31: もう決まったんだね、数学は森先生とルスティック☺️
講演で台湾ネタで放送事故になりかけたグロス先生もおるね😊
> 2025/3/21
森重文特任教授のBasic Science Lifetime Awardの受賞が決定しました

ピジエ先生もおめ🎊
https://my.conf.bimsa.cn/fileviewer/pdf/67b558f1-c6a8-4f1e-b4a1-65cd93b98634?name=Mathematics-2025
392：ぷべるる：2025/03/26(水) 11:11:26: arxiv:2202.09809v4
まだエラーあったんか、
ここはちゃんとチェックしたつもりやが、怖いのう😨😰
393：ぷべるる：2025/04/07(月) 13:40:38: arxiv:2504.03611
平均次元0=分類可能😮
こんなの夢物語で反例あると思ってたけどできてまうのね☺️
394：ぷべるる：2025/06/24(火) 15:10:25: >>392 yとユニッタリパスがほとんど交換になってないのがダメだったね🙂‍↔️
　新しい証明は直ってる🙂‍↕️
395：のろうゐるす：2025/07/03(木) 12:10:21: Hilbert空間に関するこの簡単な問題が分かりません！
https://mathoverflow.net/questions/496725/
解けたと思ってhallucinationを起こしちゃいました。
396：のろうゐるす：2025/07/07(月) 22:14:40: >>395
無事解決したけど、mathoverflowに投げるには長いからarxivに投げたら
"on hold"(審議)のランプがつきました。ついにvixraデビューか。
間違ってAI論文を投稿するためのコーナーに投げないようにしないとな。
https://ai.vixra.org/
397：のろうゐるす：2025/07/08(火) 11:44:55: ほうほう。arxivにアクセプトされたのでvixraデビューはお預け。
398：のろうゐるす：2025/07/14(月) 21:02:19: 問題は続く。
https://mathoverflow.net/questions/497672/perturbing-complete-sequences-in-banach-spaces
399：のろうゐるす：2025/07/15(火) 12:53:47: 続かなかった。

preserver問題： Out(Out(R)) = 1 ?