Small additive groups with $A+ξA=\mathbb R$

Liang Yu

Home/Archive/arXiv

arXiv · 2609.38970

Small additive groups with $A+ξA=\mathbb R$

Liang Yu

View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that, for every irrational $ξ$, any $F_σ$ additive subgroup of $\R$ has an $F_σ$ $\Q$-vector space extension of the same Hausdorff dimension satisfying $A+ξA=\R$. Iteration gives simultaneous surjectivity for any prescribed countable family of irrational multipliers. Such a space exists in every prescribed dimension $d\in[0,1)$. We also construct in ZFC a zero-dimensional lightface $Δ^0_3$ $\Q$-vector subspace $A$ for which $A+ξA=\R$ holds for every irrational $ξ$, answering both parts of Question~2 of Ye, Yu, and Zhao. This universal group is a difference of two $F_σ$ sets, but is neither $F_σ$ nor $G_δ$. Both constructions use direct inductions on finite binary strings and admit effective versions. As applications, we obtain zero-dimensional $F_σ$ groups whose Cartesian squares have Hausdorff dimension one, and relate their dilate sums to Marstrand's projection theorem.

Explore related subjects

math.LO math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Liang Yu. 2026-09-30. Small additive groups with $A+ξA=\mathbb R$. https://arxiv.org/abs/2609.38970

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Proof Theory for Non-Contingency Logic

{Non-contingency logic $(\KWL)$ replaces the usual necessity operator of modal logic with an operator expressing that a proposition is necessarily true or necessarily false. Besides its intrinsic logical interest, it admits natural interpretations as knowing whether in epistemic logic and as decidability under the arithmetical interpretation of provability logic. Although the semantics of non-contingency logic have been extensively studied, its proof theory remains comparatively underdeveloped. In this paper, we develop a uniform proof-theoretic framework for $\KWL$ over a broad class of frame conditions. Our approach is based on generalized path conditions (GPCs), a grammar-theoretic formalism that uniformly captures many standard modal frame properties. For every finite set $\gpc$ of GPCs, we construct a corresponding labelled sequent calculus. All calculi share a common set of logical rules and differ only by a single structural rule generated from $\gpc$, which captures the underlying frame conditions. We prove that these calculi are sound and complete with respect to their corresponding frame classes, thereby providing a uniform proof theory for a large family of non-contingency logics.}

math.LO↗

arXiv2026

Shelah's Main Gap and the generalized Borel-reducibility

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel reducibility notions of complexity. For any $κ$ satisfying $κ=λ^+=2^λ$ and $2^{\mathfrak{c}}\leqλ=λ^{ω_1}$, we show that if $T$ is a classifiable theory and $T'$ is a non-classifiable theory, then the isomorphism of models of $T'$ is strictly above the isomorphism of models of $T$ with respect to Borel-reducibility. We also show that the following can be forced: for any countable first-order theory in a countable vocabulary, $T$, the isomorphism of models of $T$ is either analytic co-analytic, or analytically-complete.

math.LO↗

arXiv2026

Minimal and intrinsic topologies on monoids of elementary embeddings

To every $ω$-categorical structure $\mathrm{Aut}M$ one can associate two spaces of symmetries which determine the structure up to first-order bi-interpretability: the topological group $\mathrm{Aut}(M)$ of its automorphisms and the topological monoid $\mathrm{EEmb}(M)$ of its elementary embeddings, both equipped with the topology of pointwise convergence $τ_{\mathrm{pw}}$. We investigate the relation of $τ_{\mathrm{pw}}$ to other topologies on these spaces: in particular, when $τ_{\mathrm{pw}}$ is minimal, i.e. does not admit any strictly coarser Hausdorff semigroup topology. A common method to prove minimality of $τ_{\mathrm{pw}}$ on $\mathrm{EEmb}(M)$ is to show that it coincides with the algebraically defined semigroup Zariski topology $τ_{\mathrm{Z}}$. We show that $τ_{\mathrm{pw}}$ differs from $τ_{\mathrm{Z}}$ on $\mathrm{EEmb}(M)$ whenever $\mathrm{Aut}(M)$ has a non-trivial centre. In spite of this, we then prove that whenever algebraic closure on $M$ is modular, $τ_{\mathrm{pw}}$ is minimal on $\mathrm{EEmb}(M)$. This covers, for example, countable vector spaces and projective spaces over finite fields. Turning to $\mathrm{Aut}(M)$, we describe the semigroup topologies coarser than $τ_{\mathrm{pw}}$ on the automorphism groups of structures for which algebraic independence satisfies independent 3-amalgamation. We conclude by proving that for the real and the rational Urysohn space and sphere, the metric pointwise topology $τ_{\mathrm{mp}}$ is minimal on $\mathrm{EEmb}(M)$, equals $τ_{\mathrm{Z}}$, and is strictly coarser than $τ_{\mathrm{pw}}$.

math.LO↗