genkuroki / Googleのストレージ節約法.md

Last active August 24, 2026 08:52

https://x.com/i/grok/share/d4bb2b4217fd41b6b88228cf5c8218ec

スレッド全体のまとめ（@Alexie_Aiの投稿）

GoogleはGmailをいっぱいにしてからストレージ課金を始める。
著者は15GB中13.9GBまで埋まり、課金しそうになったが、重要なメールは1通も消さずに20分以内で空き容量を作った。

5つの手順：

プロモーション・ソーシャルメールを一括削除

genkuroki / PGL2(Fq) 01.md

Last active August 10, 2026 10:15

$q$ を素数の冪とし、$S_{q+1}$ を集合 $\Omega = \mathbb{F}_q \cup {\infty}$ 上の置換群とみなします。$PGL_2(\mathbb{F}_q)$ と同型な部分群の特徴付けおよび証明が容易な十分条件は以下の通りです。

1. シンプルな必要十分条件（作用による特徴付け）

【条件】: 部分群 $G \le S_{q+1}$ が $\Omega$ 上にシャープに 3 可移（sharply 3-transitive）に作用し、かつ任意の2点の安定化群が巡回群であること。
解説: Zassenhaus（ツァッセンハウス）の分類定理によると、有限集合上のシャープに 3 可移な群は $PGL_2(\mathbb{F}_q)$ または奇数乗の $2$ の冪 $q = 2^{2k+1}\ (k \ge 1)$ に対する群 $M(q)$ に限られます。2 点安定化群が巡回群（$\mathbb{F}q^\times \cong C{q-1}$ に同型）という条件を付加することで $M(q)$ が除外され、全一般の素数冪 $q$ に対して同型性が保証されます（※ $q$ が $2$ の奇数乗でない場合は、単に「シャープに 3 可移であること」のみで必要十分となります）。

2. シンプルで証明が易しい十分条件

文脈に応じて証明を直ちに行える 2 つの十分条件が挙げられます。

genkuroki / 1a.md

Last active July 27, 2026 17:09

2002.07744v1.pdf の定理4.1の第1の証明

論文 [2002.07744v1.pdf] の定理4.1の第1の証明の完全な解説

ここでは、Ostrikらによる論文内の定理4.1の直接的な証明（第1の証明）を詳しく噛み砕いて解説する。この証明は、OstrikとSunによる先行研究 (2014年) の戦略を踏襲し、共形埋め込み (conformal embedding) とテンソル圏 (tensor category) におけるétale代数 (étale algebra) の一般理論を巧みに組み合わせて構築されている。

1. 定理の主張と基本的な設定

定理4.1: 圏 $\mathcal{C}(\mathfrak{sp}{2n})k$ と $\mathcal{C}(\mathfrak{sp}{2k}){-n}$ の間には、対象 $\hat{\lambda}$ を $\hat{\lambda}^t$ に送る組み紐反転同値 (braid-reversing equivalence) が存在する。

ここで、各記号と概念の定義は以下の通りである。

genkuroki / 1a.md

Last active July 27, 2026 12:06

Strange dualities and coset construction in modular tensor categories

共形場理論（CFT）や頂点作用素代数（VOA）の数学的基礎となるモジュラーテンソル圏（MTC）において、「共形埋め込み（Conformal Embedding）」と「Étale（エタール）代数」は、代数的な拡大構造を圏論的に理解するための極めて重要な概念です。

これらの概念について詳しく解説し、具体的な対応例を挙げます。

Étale代数（Étale Algebra）とは何か

モジュラーテンソル圏や組み紐テンソル圏（braided tensor category）$\mathcal{C}$ における Étale代数 $A$ とは、圏 $\mathcal{C}$ の対象（オブジェクト）であり、以下の条件を満たす「可換かつ半単純な代数オブジェクト」として定義されます。

結合的かつ単位的（Associative and Unital）: 通常の代数と同じように、乗法（multiplication）を表す射 $\mu: A \otimes A \to A$ と、単位元を表す射 $\eta: \mathbf{1} \to A$ （$\mathbf{1}$ は単位対象）を持ちます。これらは結合律と単位律の公理を満たす必要があります。

genkuroki / LANA report 202607 の最後の節の翻訳.md

Created July 19, 2026 08:42

LANA report 202607 の最後の節の翻訳

https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf の最後の節のNotebook LMによる翻訳。

ご指定いただいた「ご指定いただいた「LANA_report_202607.pdf」の第10.5節「Provisional assessment（暫定的な評価）」の全文を、以下に翻訳します。

原文

genkuroki / コンパクトHausdorff空間の圏のカノニカル位相.md

Created July 8, 2026 06:10

コンパクトHausdorff空間の圏のカノニカル位相J_canを求めよ。証明もせよ。

コンパクトHausdorff空間の圏 $\mathbf{CompHaus}$ におけるカノニカル位相 $J_{\mathrm{can}}$ は、「有限結合全射位相（Finite Jointly Surjective Topology）」に一致します。

すなわち、対象 $X$ 上のふるい（sieve）$S$ が $J_{\mathrm{can}}(X)$ に属するための必要十分条件は、$S$ に含まれる有限個の射 ${f_i: Y_i \to X}{i=1}^n$ が存在して、それらの像の和集合が $X$ 全体を被覆すること（$\bigcup{i=1}^n f_i(Y_i) = X$）です。

以下にその証明を行います。圏論における標準的なアプローチ（正則圏・コヒーレント圏の性質）を用いると見通し良く証明できます。

genkuroki / Sokal and Gross-Levitt (1994).md

Last active July 6, 2026 14:36

Sokal (2008) and Gross-Levitt (1994)

Sokal (2008) における Gross-Levitt (1994) への言及

アラン・ソーカルの著書『Beyond the Hoax』(2008)において、Paul Gross（ポール・グロス）とNorman Levitt（ノーマン・レヴィット）およびその著書『Higher Superstition（高等迷信）』(1994)に言及している主要な箇所を原文のまま抽出し、翻訳します。

1. パロディ論文執筆の動機としての言及

序文において、ソーカルは自身の「実験（いたずら論文）」のきっかけが彼らの著書であったことを述べています。

genkuroki / Alan Sokal and Meera Nanda.md

Last active July 6, 2026 14:56

Alan Sokal and Meera Nanda

以下はNotebookLMに作成させた。NotebookLMには以下の資料を与えた:

Alan Sokal, Beyond the Hoax (2008)
Meera Nanda, The Science Wars in India (1997)
Meera Nanda, Prophets Facing Backward: Postmodern Critiques of Science and Hindu Nationalism in India (2003) に関するインターネットで見付けた情報

Sokal (2008) での Nanda への言及

genkuroki / Sokal and Epstein.md

Last active July 5, 2026 03:02

Alan Sokal と Barbara Epstein

以下はNotebookLMに作成させた。与えた資料は以下の3つである:

Alan Sokal, Beyond the Hoax (2008)
Barbara Epstein, Corporate culture and the academic left (2001) のPDF化
Barbara Epstein, Postmodernism and the Left (1997)

Sokal による論説 Epstein (2001) の引用

genkuroki / Sokal_BeyondTheHoax-pages13-14.md

Last active July 4, 2026 08:10

原文

Alan Sokal, "Beyond the Hoax" (2008)の序文より

https://physics.nyu.edu/faculty/sokal/Sokal_BeyondTheHoax.pdf#page13

It thus transpires that even sociologist of science Bruno Latour, who spent several decades stressing “the social construction of scientific facts”¹⁷, now laments the ammunition he fears he and his colleagues have given to the Republican right, helping them to deny or obscure the scientific consensus on global warming, biological evolution and a host of other issues:

>While we spent years trying to detect the real prejudices hidden behind the appearance of objective statements, do we now have to reveal the real objective and incontrovertible facts hidden behind the illusion of prejudices? And yet entire Ph.D. programs are still running to make sure that good American kids are learning the hard way that facts are made up, that there is no such thing as natural, unmediated, unbiased access to truth, that we are always prisoners of language, that we always speak from a particular stan

Gen Kuroki genkuroki