More Like this

1. A modular construction of unramified 𝑝-extensions of ℚ(ℕ^{1/𝕡})

   https://doi.org/10.1090/bproc/141  

   Lang, Jaclyn; Wake, Preston (October 2022, Proceedings of the American Mathematical Society, Series B)

   We show that for primes $N,p\ge <\#comment/>5$with $N\equiv <\#comment/>-<\#comment/>1modp$, the class number of $\mathbb{Q}\left(N^{1/p}\right)$is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N\equiv <\#comment/>-<\#comment/>1modp$, there is always a cusp form of weight $2$and level ${\mathrm{\Gamma <\#comment/>}}_0\left(N^2\right)$whose $\mathrm{\ell <\#comment/>}$th Fourier coefficient is congruent to $\mathrm{\ell <\#comment/>}+1$modulo a prime above $p$, for all primes $\mathrm{\ell <\#comment/>}$. We use the Galois representation of such a cusp form to explicitly construct an unramified degree- $p$extension of $\mathbb{Q}\left(N^{1/p}\right)$. 

   more » « less
2. The two-phase problem for harmonic measure in VMO and the chord-arc condition

   https://doi.org/10.1090/btran/197  

   Tolsa, Xavier; Toro, Tatiana (November 2024, Transactions of the American Mathematical Society, Series B)

   Let ${\mathrm{\Omega <\#comment/>}}^{+}\subset <\#comment/>{\mathbb{R}}^{n+1}$be a bounded $\mathrm{\delta <\#comment/>}$-Reifenberg flat domain, with $\mathrm{\delta <\#comment/>}>0$small enough, possibly with locally infinite surface measure. Assume also that ${\mathrm{\Omega <\#comment/>}}^{-<\#comment/>}={\mathbb{R}}^{n+1}\setminus <\#comment/>\stackrel{¯<\#comment/>}{{\mathrm{\Omega <\#comment/>}}^{+}}$is an NTA (non-tangentially accessible) domain as well and denote by ${\mathrm{\omega <\#comment/>}}^{+}$and ${\mathrm{\omega <\#comment/>}}^{-<\#comment/>}$the respective harmonic measures of ${\mathrm{\Omega <\#comment/>}}^{+}$and ${\mathrm{\Omega <\#comment/>}}^{-<\#comment/>}$with poles $p^{\pm <\#comment/>}\in <\#comment/>{\mathrm{\Omega <\#comment/>}}^{\pm <\#comment/>}$. In this paper we show that the condition that $\log <\#comment/>\frac{d{\mathrm{\omega <\#comment/>}}^{-<\#comment/>}}{d{\mathrm{\omega <\#comment/>}}^{+}}\in <\#comment/>\mathrm{VMO}<\#comment/>\left({\mathrm{\omega <\#comment/>}}^{+}\right)$is equivalent to ${\mathrm{\Omega <\#comment/>}}^{+}$being a chord-arc domain with inner unit normal belonging to $\mathrm{VMO}<\#comment/>\left({\mathcal{H}}^n{|}_{\mathrm{\partial <\#comment/>}{\mathrm{\Omega <\#comment/>}}^{+}}\right)$. 

   more » « less
3. Borel Vizing’s theorem for graphs of subexponential growth

   https://doi.org/10.1090/proc/17048  

   Bernshteyn, Anton; Dhawan, Abhishek (January 2025, Proceedings of the American Mathematical Society)

   We show that every Borel graph $G$of subexponential growth has a Borel proper edge-coloring with $\mathrm{\Delta <\#comment/>}\left(G\right)+1$colors. We deduce this from a stronger result, namely that an $n$-vertex (finite) graph $G$of subexponential growth can be properly edge-colored using $\mathrm{\Delta <\#comment/>}\left(G\right)+1$colors by an $O({\log }^{\ast <\#comment/>}<\#comment/>n)$-round deterministic distributed algorithm in theLOCALmodel, where the implied constants in the $O(\cdot <\#comment/>)$notation are determined by a bound on the growth rate of $G$. 

   more » « less
4. On a conjectural symmetric version of Ehrhard’s inequality

   https://doi.org/10.1090/tran/9177  

   Livshyts, Galyna (May 2024, Transactions of the American Mathematical Society)

   We formulate a plausible conjecture for the optimal Ehrhard-type inequality for convex symmetric sets with respect to the Gaussian measure. Namely, letting $J_{k-<\#comment/>1}\left(s\right)={\int <\#comment/>}_0^s{t}^{k-<\#comment/>1}{e}^{-<\#comment/>\frac{t^2}{2}}dt$and $c_{k-<\#comment/>1}=J_{k-<\#comment/>1}(+\mathrm{\infty <\#comment/>})$, we conjecture that the function $F:[0,1]\to <\#comment/>\mathbb{R}$, given by $F\left(a\right)=\underset{k=1}{\overset{n}{\sum <\#comment/>}}{1}_{a\in <\#comment/>E_k}\cdot <\#comment/>\left({\mathrm{\beta <\#comment/>}}_k{J}_{k-<\#comment/>1}^{-<\#comment/>1}\right(c_{k-<\#comment/>1}a)+{\mathrm{\alpha <\#comment/>}}_k)$(with an appropriate choice of a decomposition $[0,1]={\cup <\#comment/>}_i{E}_i$and coefficients ${\mathrm{\alpha <\#comment/>}}_i,{\mathrm{\beta <\#comment/>}}_i$) satisfies, for all symmetric convex sets $K$and $L$, and any $\mathrm{\lambda <\#comment/>}\in <\#comment/>[0,1]$, $F\left(\mathrm{\gamma <\#comment/>}\right(\mathrm{\lambda <\#comment/>}K+(1-<\#comment/>\mathrm{\lambda <\#comment/>})L\left)\right)\ge <\#comment/>\mathrm{\lambda <\#comment/>}F\left(\mathrm{\gamma <\#comment/>}\right(K\left)\right)+(1-<\#comment/>\mathrm{\lambda <\#comment/>})F\left(\mathrm{\gamma <\#comment/>}\right(L\left)\right).$We explain that this conjecture is “the most optimistic possible”, and is equivalent to the fact that for any symmetric convex set $K$, itsGaussian concavity power $p_s(K,\mathrm{\gamma <\#comment/>})$is greater than or equal to $p_s(R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k},\mathrm{\gamma <\#comment/>})$, for some $k\in <\#comment/>\{1,\dots <\#comment/>,n\}$. We call the sets $R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$round $k$-cylinders; they also appear as the conjectured Gaussian isoperimetric minimizers for symmetric sets, see Heilman [Amer. J. Math. 143 (2021), pp. 53–94]. In this manuscript, we make progress towards this question, and show that for any symmetric convex set $K$in ${\mathbb{R}}^n$, $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>\underset{F\in <\#comment/>L^2(K,\mathrm{\gamma <\#comment/>})\cap <\#comment/>Lip\left(K\right):\int <\#comment/>F=1}{sup}\left(2T_{\mathrm{\gamma <\#comment/>}}^F\right(K)-<\#comment/>Var(F\left)\right)+\frac{1}{n-<\#comment/>\mathbb{E}{X}^2},$where $T_{\mathrm{\gamma <\#comment/>}}^F\left(K\right)$is the $F-<\#comment/>$torsional rigidity of $K$with respect to the Gaussian measure.Moreover, the equality holds if and only if $K=R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$for some $R>0$and $k=1,\dots <\#comment/>,n$.As a consequence, we get $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>Q(\mathbb{E}|X{|}^2,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^4,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^2,r(K\left)\right),$where $Q$is a certain rational function of degree $2$, the expectation is taken with respect to the restriction of the Gaussian measure onto $K$, $\Vert <\#comment/>\cdot <\#comment/>{\Vert <\#comment/>}_K$is the Minkowski functional of $K$, and $r\left(K\right)$is the in-radius of $K$. The result follows via a combination of some novel estimates, the $L2$method (previously studied by several authors, notably Kolesnikov and Milman [J. Geom. Anal. 27 (2017), pp. 1680–1702; Amer. J. Math. 140 (2018), pp. 1147–1185;Geometric aspects of functional analysis, Springer, Cham, 2017; Mem. Amer. Math. Soc. 277 (2022), v+78 pp.], Kolesnikov and the author [Adv. Math. 384 (2021), 23 pp.], Hosle, Kolesnikov, and the author [J. Geom. Anal. 31 (2021), pp. 5799–5836], Colesanti [Commun. Contemp. Math. 10 (2008), pp. 765–772], Colesanti, the author, and Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139], Eskenazis and Moschidis [J. Funct. Anal. 280 (2021), 19 pp.]), and the analysis of the Gaussian torsional rigidity. As an auxiliary result on the way to the equality case characterization, we characterize the equality cases in the “convex set version” of the Brascamp-Lieb inequality, and moreover, obtain a quantitative stability version in the case of the standard Gaussian measure; this may be of independent interest. All the equality case characterizations rely on the careful analysis of the smooth case, the stability versions via trace theory, and local approximation arguments. In addition, we provide a non-sharp estimate for a function $F$whose composition with $\mathrm{\gamma <\#comment/>}\left(K\right)$is concave in the Minkowski sense for all symmetric convex sets. 

   more » « less
5. The structure of arbitrary Conze–Lesigne systems

   https://doi.org/10.1090/cams/31  

   Jamneshan, Asgar; Shalom, Or; Tao, Terence (February 2024, Communications of the American Mathematical Society)

   Let $\mathrm{\Gamma <\#comment/>}$be a countable abelian group. An (abstract) $\mathrm{\Gamma <\#comment/>}$-system $\mathrm{X}$- that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of $\mathrm{\Gamma <\#comment/>}$- is said to be aConze–Lesigne systemif it is equal to its second Host–Kra–Ziegler factor ${\mathrm{Z}}^2\left(\mathrm{X}\right)$. The main result of this paper is a structural description of such Conze–Lesigne systems for arbitrary countable abelian $\mathrm{\Gamma <\#comment/>}$, namely that they are the inverse limit of translational systems $G_n/{\mathrm{\Lambda <\#comment/>}}_n$arising from locally compact nilpotent groups $G_n$of nilpotency class $2$, quotiented by a lattice ${\mathrm{\Lambda <\#comment/>}}_n$. Results of this type were previously known when $\mathrm{\Gamma <\#comment/>}$was finitely generated, or the product of cyclic groups of prime order. In a companion paper, two of us will apply this structure theorem to obtain an inverse theorem for the Gowers $U^3\left(G\right)$norm for arbitrary finite abelian groups $G$. 

   more » « less