More Like this

1. Generic Beauville’s Conjecture

   https://doi.org/10.1017/fms.2024.21  

   Coskun, Izzet; Larson, Eric; Vogt, Isabel (January 2024, Forum of Mathematics, Sigma)

   Abstract Let$$\alpha \colon X \to Y$$be a finite cover of smooth curves. Beauville conjectured that the pushforward of a general vector bundle under$$\alpha $$is semistable if the genus ofYis at least$$1$$and stable if the genus ofYis at least$$2$$. We prove this conjecture if the map$$\alpha $$is general in any component of the Hurwitz space of covers of an arbitrary smooth curveY. 

   more » « less
2. Multi-linear forms, graphs, and $L^p$-improving measures in $${\Bbb F}_q^d$$

   https://doi.org/10.4153/S0008414X2300086X  

   Bhowmik, Pablo; Iosevich, Alex; Koh, Doowon; Pham, Thang (February 2025, Canadian journal of mathematics)

   Abstract The purpose of this paper is to introduce and study the following graph-theoretic paradigm. Let$$ \begin{align*}T_Kf(x)=\int K(x,y) f(y) d\mu(y),\end{align*} $$where$$f: X \to {\Bbb R}$$,Xa set, finite or infinite, andKand$$\mu $$denote a suitable kernel and a measure, respectively. Given a connected ordered graphGonnvertices, consider the multi-linear form$$ \begin{align*}\Lambda_G(f_1,f_2, \dots, f_n)=\int_{x^1, \dots, x^n \in X} \ \prod_{(i,j) \in {\mathcal E}(G)} K(x^i,x^j) \prod_{l=1}^n f_l(x^l) d\mu(x^l),\end{align*} $$where$${\mathcal E}(G)$$is the edge set ofG. Define$$\Lambda _G(p_1, \ldots , p_n)$$as the smallest constant$$C>0$$such that the inequality(0.1)$$ \begin{align} \Lambda_G(f_1, \dots, f_n) \leq C \prod_{i=1}^n {||f_i||}_{L^{p_i}(X, \mu)} \end{align} $$holds for all nonnegative real-valued functions$$f_i$$,$$1\le i\le n$$, onX. The basic question is, how does the structure ofGand the mapping properties of the operator$$T_K$$influence the sharp exponents in (0.1). In this paper, this question is investigated mainly in the case$$X={\Bbb F}_q^d$$, thed-dimensional vector space over the field withqelements,$$K(x^i,x^j)$$is the indicator function of the sphere evaluated at$$x^i-x^j$$, and connected graphsGwith at most four vertices. 

   more » « less
3. On cohesive powers of linear orders

   https://doi.org/10.1017/jsl.2023.14  

   Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra A; Vatev, Stefan V (September 2023, The Journal of Symbolic Logic)

   Abstract Cohesive powersof computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let$$\omega $$,$$\zeta $$, and$$\eta $$denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of$$\omega $$. If$$\mathcal {L}$$is a computable copy of$$\omega $$that is computably isomorphic to the usual presentation of$$\omega $$, then every cohesive power of$$\mathcal {L}$$has order-type$$\omega + \zeta \eta $$. However, there are computable copies of$$\omega $$, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to$$\omega + \zeta \eta $$. For example, we show that there is a computable copy of$$\omega $$with a cohesive power of order-type$$\omega + \eta $$. Our most general result is that if$$X \subseteq \mathbb {N} \setminus \{0\}$$is a Boolean combination of$$\Sigma _2$$sets, thought of as a set of finite order-types, then there is a computable copy of$$\omega $$with a cohesive power of order-type$$\omega + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$$, where$$\boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$$denotes the shuffle of the order-types inXand the order-type$$\omega + \zeta \eta + \omega ^*$$. Furthermore, ifXis finite and non-empty, then there is a computable copy of$$\omega $$with a cohesive power of order-type$$\omega + \boldsymbol {\sigma }(X)$$. 

   more » « less
4. Polynomial progressions in topological fields

   https://doi.org/10.1017/fms.2024.104  

   Krause, Ben; Mirek, Mariusz; Peluse, Sarah; Wright, James (January 2024, Forum of Mathematics, Sigma)

   Abstract Let$$P_1, \ldots , P_m \in \mathbb {K}[\mathrm {y}]$$be polynomials with distinct degrees, no constant terms and coefficients in a general local field$$\mathbb {K}$$. We give a quantitative count of the number of polynomial progressions$$x, x+P_1(y), \ldots , x + P_m(y)$$lying in a set$$S\subseteq \mathbb {K}$$of positive density. The proof relies on a general$$L^{\infty }$$inverse theorem which is of independent interest. This inverse theorem implies a Sobolev improving estimate for multilinear polynomial averaging operators which in turn implies our quantitative estimate for polynomial progressions. This general Sobolev inequality has the potential to be applied in a number of problems in real, complex andp-adic analysis. 

   more » « less
5. Khintchine-type double recurrence in abelian groups

   https://doi.org/10.1017/etds.2024.29  

   ACKELSBERG, ETHAN (April 2024, Ergodic Theory and Dynamical Systems)

   Abstract We prove a Khintchine-type recurrence theorem for pairs of endomorphisms of a countable discrete abelian group. As a special case of the main result, if$$\Gamma $$is a countable discrete abelian group,$$\varphi , \psi \in \mathrm {End}(\Gamma )$$, and$$\psi - \varphi $$is an injective endomorphism with finite index image, then for any ergodic measure-preserving$$\Gamma $$-system$$( X, {\mathcal {X}}, \mu , (T_g)_{g \in \Gamma } )$$, any measurable set$$A \in {\mathcal {X}}$$, and any$${\varepsilon }> 0$$, there is a syndetic set of$$g \in \Gamma$$such that$$\mu ( A \cap T_{\varphi(g)}^{-1} A \cap T_{\psi(g)}^{-1} A ) > \mu(A)^3 - \varepsilon$$. This generalizes the main results of Ackelsberget al[Khintchine-type recurrence for 3-point configurations.Forum Math. Sigma10(2022), Paper no. e107] and essentially answers a question left open in that paper [Question 1.12; Khintchine-type recurrence for 3-point configurations.Forum Math. Sigma10(2022), Paper no. e107]. For the group$$\Gamma = {\mathbb {Z}}^d$$, the result applies to pairs of endomorphisms given by matrices whose difference is non-singular. The key ingredients in the proof are: (1) a recent result obtained jointly with Bergelson and Shalom [Khintchine-type recurrence for 3-point configurations.Forum Math. Sigma10(2022), Paper no. e107] that says that the relevant ergodic averages are controlled by a characteristic factor closely related to thequasi-affine(orConze–Lesigne) factor; (2) an extension trick to reduce to systems with well-behaved (with respect to$$\varphi $$and$$\psi $$) discrete spectrum; and (3) a description of Mackey groups associated to quasi-affine cocycles over rotational systems with well-behaved discrete spectrum. 

   more » « less