Connes埋め込み予想への具体的な多項式反例を構成
An Explicit Polynomial Counterexample to Connes' Embedding Conjecture
この論文をやさしく読む
ひとことで言うと
有限次元行列ではトレースが正になるのに、指定された作用素代数では負になる具体的な多項式を作っています。
何に役立つ？
Connes埋め込み予想の代数的な形が成り立たないことを、明示的な式として調べる材料になります。
この研究の面白いところ
反例の存在だけでなく、変数65個、次数12、整数係数という具体的な多項式の形を与えています。有限次元と指定された無限次元の構造の差を符号で示します。
どこまで分かった？
要旨は明示的な整数μを定めるとしていますが、その値自体は記載していません。この研究の中心は具体的な反例の構成であり、予想の歴史的な解決時点を述べたものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
65個の自己共役変数について、次数12で整数係数を持つ明示的なエルミート多項式fを構成する。この多項式の正規化トレースは、任意の次元の自己共役な縮小行列の任意の組で少なくとも3/4となる一方、群von Neumann代数の指定された自己共役ユニタリの組では−1に等しい。その結果、0≦ε＜1に対してf＋εは、交換子を法とした縮小条件の2次加群の外に位置し、Connesの埋め込み予想の代数的定式化に対する明示的な反例を与える。 KunとThomの群構成、Thomの正規化の議論、Alekseev、Liu、Thomのスペクトル補正定理を組み合わせ、次を満たす明示的な正の整数μを定める。f＝1−(PQ)²＋μΣ（ν＝1から825）Eν*Eν＋μΣ（j＝1から65）(1−Xj²)²。ここでPとQは共役な対合を符号化し、Eνは関係式からのずれを符号化する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We construct an explicit Hermitian polynomial $ f $ with integer coefficients, of degree $ 12 $ in $ 65 $ selfadjoint variables, whose normalized trace is at least $3/4$ on every tuple of selfadjoint matrix contractions, in every dimension, and equals $-1$ at a specified tuple of selfadjoint unitaries in a group von Neumann algebra. Consequently, $f+\varepsilon$ lies outside the contraction quadratic module modulo commutators for $0\le\varepsilon<1$, giving an explicit counterexample to the algebraic formulation of Connes' embedding conjecture. Combining the group construction of Kun and Thom with the normalization argument of Thom and the spectral correction theorem of Alekseev, Liu, and Thom, we determine an explicit positive integer $\mu$ for which $f=1-(P Q)^2+\mu\sum_{\nu=1}^{825}E_\nu^*E_\nu+\mu\sum_{j=1}^{65}(1-X_j^2)^2$. Here $P,Q$ encode conjugate involutions, and the $E_\nu$ encode relation defects.
著者のコメント
32 pages
arXiv ID: 2610.01536 ／ 要約の誤りについて