Abstract:In 2022, using methods from ergodic theory, Kra, Moreira, Richter, and Robertson resolved a longstanding conjecture of Erdős about sumsets in large subsets of the natural numbers. In this paper, we extend this result to several important classes of amenable groups, including all finitely generated virtually nilpotent groups, and all abelian groups $(G,+)$ with the property that the subgroup $2G := \{g+g : g\in G\}$ has finite index. We prove that in any group $G$ from the above classes, any $A\subset G$ with positive upper Banach density contains a shifted product set of the form $\{tb_ib_j\colon i<j\}$, for some infinite sequence $(b_n)_{n\in\mathbb{N}}$ and some $t\in G$. In fact, we show this result for all amenable groups that posses a property which we call square absolute continuity. Our results provide answers to several questions and conjectures posed in a recent survey of Kra, Moreira, Richter and Robertson.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find the existence of product sets in some important classes of measurable groups. Specifically, the paper extends the results of a long - standing conjecture (Erdős' conjecture) on the existence of sum sets in large subsets of natural numbers to several important classes of measurable groups, including all finitely - generated virtually nilpotent groups and all abelian groups \((G, +)\) in which the subgroup \(2G=\{g + g:g\in G\}\) has a finite index. The paper proves that in any group \(G\) of the above - mentioned classes, any subset \(A\subset G\) with positive upper Banach density contains a shifted product set of the form \(\{tb_ib_j:i < j\}\), where \((b_n)_{n\in\mathbb{N}}\) is an infinite sequence and \(t\in G\). Moreover, the paper also proves that this result applies to all measurable groups with the so - called "square - absolutely continuous" property.
### Main contributions of the paper
1. **Extension of the results of Erdős' conjecture**:
- The paper extends the results of Erdős' conjecture from the set of natural numbers to several important classes of measurable groups, including finitely - generated virtually nilpotent groups and some abelian groups.
2. **Introduction of square - absolute continuity**:
- The paper defines a new property - square - absolute continuity, and proves that measurable groups with this property satisfy the conclusion of the main theorem.
3. **Proof of the main theorem**:
- The main theorem (Theorem 1.5) states that in a square - absolutely continuous group \(G\), any subset \(A\) with positive left - upper Banach density contains a shifted product set of the form \(\{tb_ib_j:i < j\}\).
4. **Application to specific classes of groups**:
- The paper proves that all torsion - free finitely - generated nilpotent groups are square - absolutely continuous, so these groups satisfy the conclusion of the main theorem.
5. **Further generalization**:
- The paper also generalizes the results of the main theorem to all finitely - generated virtually nilpotent groups, and verifies that in some abelian groups, the double subgroups with finite index also satisfy the conclusion of the main theorem.
### Structure of the paper
- **Introduction**: Introduces the research background and main problems.
- **Preliminaries**: Provides necessary definitions and theorems, including measurable groups, Følner sequences, upper Banach density, etc.
- **Main results**: States the main theorem and its corollaries in detail.
- **Proof ideas**: Outlines the main steps and methods of the proof.
- **More product sets and open problems**: Discusses other types of product sets and some unsolved problems.
- **Appendix**: Provides some technical proofs and supplementary materials.
Through these contributions, the paper not only extends the results of Erdős' conjecture, but also provides new tools and methods for future research.