More Like this

1. On the Moduli of Lipschitz Homology Classes

   https://doi.org/10.1007/s12220-025-01916-6  

   Kangasniemi, Ilmari; Prywes, Eden (February 2025, The Journal of Geometric Analysis)

   Abstract We define a type of modulus$$\operatorname {dMod}_p$$ ${dMod}_p$for Lipschitz surfaces based on$$L^p$$ $L^p$-integrable measurable differential forms, generalizing the vector modulus of Aikawa and Ohtsuka. We show that this modulus satisfies a homological duality theorem, where for Hölder conjugate exponents$$p, q \in (1, \infty )$$ $p,q\in (1,\infty )$, every relative Lipschitzk-homology classchas a unique dual Lipschitz$$(n-k)$$ $(n-k)$-homology class$$c'$$ $c^{\prime }$such that$$\operatorname {dMod}_p^{1/p}(c) \operatorname {dMod}_q^{1/q}(c') = 1$$ ${dMod}_p^{1/p}\left(c\right){dMod}_q^{1/q}\left(c^{\prime }\right)=1$and the Poincaré dual ofcmaps$$c'$$ $c^{\prime }$to 1. As$$\operatorname {dMod}_p$$ ${dMod}_p$is larger than the classical surface modulus$$\operatorname {Mod}_p$$ ${Mod}_p$, we immediately recover a more general version of the estimate$$\operatorname {Mod}_p^{1/p}(c) \operatorname {Mod}_q^{1/q}(c') \le 1$$ ${Mod}_p^{1/p}\left(c\right){Mod}_q^{1/q}\left(c^{\prime }\right)\le 1$, which appears in works by Freedman and He and by Lohvansuu. Our theory is formulated in the general setting of Lipschitz Riemannian manifolds, though our results appear new in the smooth setting as well. We also provide a characterization of closed and exact Sobolev forms on Lipschitz manifolds based on integration over Lipschitzk-chains. 

   more » « less
2. Equality Conditions for the Fractional Superadditive Volume Inequalities

   https://doi.org/10.1007/s00454-024-00672-8  

   Meyer, Mark (July 2025, Discrete & Computational Geometry)

   Abstract While studying set function properties of Lebesgue measure, F. Barthe and M. Madiman proved that Lebesgue measure is fractionally superadditive on compact sets in$$\mathbb {R}^n$$ $R^n$. In doing this they proved a fractional generalization of the Brunn–Minkowski–Lyusternik (BML) inequality in dimension$$n=1$$ $n=1$. In this paper we will prove the equality conditions for the fractional superadditive volume inequalites for any dimension. The non-trivial equality conditions are as follows. In the one-dimensional case we will show that for a fractional partition$$(\mathcal {G},\beta )$$ $(G,\beta )$and nonempty sets$$A_1,\dots ,A_m\subseteq \mathbb {R}$$ $A_1,\cdots ,A_m\subseteq R$, equality holds iff for each$$S\in \mathcal {G}$$ $S\in G$, the set$$\sum _{i\in S}A_i$$ ${\sum }_{i\in S}{A}_i$is an interval. In the case of dimension$$n\ge 2$$ $n\ge 2$we will show that equality can hold if and only if the set$$\sum _{i=1}^{m}A_i$$ ${\sum }_{i=1}^m{A}_i$has measure 0. 

   more » « less
3. Products of primes in arithmetic progressions

   https://doi.org/10.1515/crelle-2023-0096  

   Matomäki, Kaisa; Teräväinen, Joni (January 2024, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract A conjecture of Erdős states that, for any large primeq, every reduced residue class $\left(\mathrm{mod}q\right)${(\operatorname{mod}q)}can be represented as a product $p_1{p}_2${p_{1}p_{2}}of two primes $p_1,p_2\le q${p_{1},p_{2}\leq q}. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integerq, every reduced residue class $\left(\mathrm{mod}q\right)${(\operatorname{mod}q)}can be written as $p_1{p}_2{p}_3${p_{1}p_{2}p_{3}}with $p_1,p_2,p_3\le q${p_{1},p_{2},p_{3}\leq q}primes. We also show that, for any $\epsilon >0${\varepsilon>0}and any sufficiently large integerq, at least $\left(\frac{2}{3}-\epsilon \right)\phi \left(q\right)${(\frac{2}{3}-\varepsilon)\varphi(q)}reduced residue classes $\left(\mathrm{mod}q\right)${(\operatorname{mod}q)}can be represented as a product $p_1{p}_2${p_{1}p_{2}}of two primes $p_1,p_2\le q${p_{1},p_{2}\leq q}.The problems naturally reduce to studying character sums. The main innovation in the paper is the establishment of a multiplicative dense model theorem for character sums over primes in the spirit of the transference principle. In order to deal with possible local obstructions we establish bounds for the logarithmic density of primes in certain unions of cosets of subgroups of ${\mathbb{Z}}_q^{\times }${\mathbb{Z}_{q}^{\times}}of small index and study in detail the exceptional case that there exists a quadratic character $\psi \left(\mathrm{mod}q\right)${\psi~{}(\operatorname{mod}\,q)}such that $\psi \left(p\right)=-1${\psi(p)=-1}for very many primes $p\le q${p\leq q}. 

   more » « less
4. Towards a Schinzel–Wójcik theorem for number fields

   https://doi.org/10.1007/s40879-025-00819-8  

   Pollack, Paul (April 2025, European Journal of Mathematics)

   Abstract Schinzel and Wójcik have shown that for every$$\alpha ,\beta \in \mathbb {Q}^{\times }\hspace{0.55542pt}{\setminus }\hspace{1.111pt}\{\pm 1\}$$ $\alpha ,\beta \in Q^{\times }\backslash \{\pm 1\}$, there are infinitely many primespwhere$$v_p(\alpha )=v_p(\beta )=0$$ $v_p\left(\alpha \right)=v_p\left(\beta \right)=0$and where$$\alpha $$ $\alpha$and$$\beta $$ $\beta$generate the same multiplicative group modp. We prove a weaker result in the same direction for algebraic numbers$$\alpha , \beta $$ $\alpha ,\beta$. Let$$\alpha , \beta \in \overline{\mathbb {Q}} ^{\times }$$ $\alpha ,\beta \in {\overline{Q}}^{\times }$, and suppose$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\alpha )|\ne 1$$ $|N_{Q(\alpha ,\beta )/Q}\left(\alpha \right)|\ne 1$and$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\beta )|\ne 1$$ $|N_{Q(\alpha ,\beta )/Q}\left(\beta \right)|\ne 1$. Then for some positive integer$$C = C(\alpha ,\beta )$$ $C=C(\alpha ,\beta )$, there are infinitely many prime idealsPof Equation missing<#comment/>where$$v_P(\alpha )=v_P(\beta )=0$$ $v_P\left(\alpha \right)=v_P\left(\beta \right)=0$and where the group$$\langle \beta \bmod {P}\rangle $$ $⟨\beta modP⟩$is a subgroup of$$\langle \alpha \bmod {P}\rangle $$ $⟨\alpha modP⟩$with$$[\langle \alpha \bmod {P}\rangle \,{:}\, \langle \beta \bmod {P}\rangle ]$$ $[⟨\alpha modP⟩:⟨\beta modP⟩]$dividingC. A key component of the proof is a theorem of Corvaja and Zannier bounding the greatest common divisor of shiftedS-units. 

   more » « less
5. VC-Dimension of Hyperplanes Over Finite Fields

   https://doi.org/10.1007/s00373-025-02909-6  

   Ascoli, Ruben; Betti, Livia; Cheigh, Justin; Iosevich, Alex; Jeong, Ryan; Liu, Xuyan; McDonald, Brian; Milgrim, Wyatt; Miller, Steven_J; Romero_Acosta, Francisco; et al (March 2025, Graphs and Combinatorics)

   Abstract Let$$\mathbb {F}_q^d$$ $F_q^d$be thed-dimensional vector space over the finite field withqelements. For a subset$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$and a fixed nonzero$$t\in \mathbb {F}_q$$ $t\in F_q$, let$$\mathcal {H}_t(E)=\{h_y: y\in E\}$$ $H_t\left(E\right)=\{h_y:y\in E\}$, where$$h_y:E\rightarrow \{0,1\}$$ $h_y:E\to \{0,1\}$is the indicator function of the set$$\{x\in E: x\cdot y=t\}$$ $\{x\in E:x·y=t\}$. Two of the authors, with Maxwell Sun, showed in the case$$d=3$$ $d=3$that if$$|E|\ge Cq^{\frac{11}{4}}$$ $\left|E\right|\ge C{q}^{\frac{11}{4}}$andqis sufficiently large, then the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$is 3. In this paper, we generalize the result to arbitrary dimension by showing that the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$isdwhenever$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$with$$|E|\ge C_d q^{d-\frac{1}{d-1}}$$ $\left|E\right|\ge C_d{q}^{d-\frac{1}{d-1}}$. 

   more » « less