コンパクト連結アーベル群で和集合の小ささから形を決める
Geometric lifting and Freiman's $3k-4$ theorem in compact connected abelian groups
この論文をやさしく読む
ひとことで言うと
集合を自分自身と足したときあまり大きくならないなら、元の集合の形は強く制限されることを示す数学研究です。
何に役立つ？
コンパクト群の加法的組合せ論で、和集合の大きさから集合の構造を調べる際に役立つ。
この研究の面白いところ
Freimanの定理に対応する結果に加え、射影後の倍加定数に改善できない鋭い上界を与える。
どこまで分かった？
結論には群の連結性、集合の十分小さい正の測度、Kの範囲などの条件がある。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
著者らは、コンパクト連結アーベル群での逆和集合問題に向け、幾何学的な持ち上げ法を開発する。最初の結果はFreimanの3k−4定理に対応するものである。十分に小さいハール測度を持つ任意のコンパクト集合Aが、AとAの和集合の測度がAの測度の3倍未満という条件を満たすなら、Aは一次元のBohr集合に含まれ、そのBohr集合の測度は和集合の測度からAの測度を引いた値以下である。この結果はChristとIliopoulouの問いを解決する。証明はBiluの定理と、はみ出しを扱う議論の幾何学的な改良を組み合わせる。さらに鋭い射影定理も示す。核が連結な連続全射準同型の下で、十分に小さい正の測度を持ち、倍加定数Kが2≦K＜3であるコンパクト集合の像は、倍加定数が高々2K−2となる。この係数は改善できない。追加の帰結には、多数の組で表される和集合に対する3k−4定理の変種や、Taoの畳み込み不等式についての逆定理が含まれる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We develop a geometric lifting method for inverse sumset problems in compact connected abelian groups. The first result is an analogue of Freiman's $3k-4$ theorem, that is every compact set $A\subseteq G$ of sufficiently small Haar measure satisfying $\mu_G(A+A)<3\mu_G(A)$ is contained in a one dimensional Bohr set of measure at most $\mu_G(A+A)-\mu_G(A)$. This resolves a question of Christ and Iliopoulou. The proof combines Bilu's theorem with a geometric refinement of the spillover argument. We also establish a sharp projection theorem. Under a continuous surjective homomorphism with connected kernel, a compact set of sufficiently small positive measure and doubling at most $K$, where $2\le K<3$, has image of doubling at most $2K-2$, and this factor is best possible. Further consequences include variants of the $3k-4$ theorem for popular sumsets and an inverse theorem for Tao's convolution inequality.
arXiv ID: 2609.27322 ／ 要約の誤りについて