More Like this

1. Compatible ideals in ℚ-Gorenstein rings

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

   Polstra, Thomas; Schwede, Karl (October 2023, Proceedings of the American Mathematical Society)

   Suppose $R$is a $F$-finite and $F$-pure $\mathbb{Q}$-Gorenstein local ring of prime characteristic $p>0$. We show that an ideal $I\subseteq <\#comment/>R$is uniformly compatible ideal (with all $p^{-<\#comment/>e}$-linear maps) if and only if exists a module finite ring map $R\to <\#comment/>S$such that the ideal $I$is the sum of images of all $R$-linear maps $S\to <\#comment/>R$. In other words, the set of uniformly compatible ideals is exactly the set of trace ideals of finite ring maps. 

   more » « less
2. On regularity of \overline∂-solutions on 𝑎_{𝑞} domains with 𝐶² boundary in complex manifolds

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

   Gong, Xianghong (March 2025, Transactions of the American Mathematical Society)

   We study regularity of solutions $u$to $\stackrel{¯<\#comment/>}{\mathrm{\partial <\#comment/>}}u=f$on a relatively compact $C^2$domain $D$in a complex manifold of dimension $n$, where $f$is a $(0,q)$form. Assume that there are either $(q+1)$negative or $(n-<\#comment/>q)$positive Levi eigenvalues at each point of boundary $\mathrm{\partial <\#comment/>}D$. Under the necessary condition that a locally $L^2$solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain $1/2$derivative when $q=1$and $f$is in the Hölder–Zygmund space ${\mathrm{\Lambda <\#comment/>}}^r\left(D\right)$with $r>1$. For $q>1$, the same regularity for the solutions is achieved when $\mathrm{\partial <\#comment/>}D$is either sufficiently smooth or of $(n-<\#comment/>q)$positive Levi eigenvalues everywhere on $\mathrm{\partial <\#comment/>}D$. 

   more » « less
3. 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
4. An optimal approximation problem for free polynomials

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

   Arora, Palak; Augat, Meric; Jury, Michael; Sargent, Meredith (November 2023, Proceedings of the American Mathematical Society)

   Motivated by recent work on optimal approximation by polynomials in the unit disk, we consider the following noncommutative approximation problem: for a polynomial $f$in $d$freely noncommuting arguments, find a free polynomial $p_n$, of degree at most $n$, to minimize $c_n≔\Vert <\#comment/>p_{n}f-<\#comment/>1{\Vert <\#comment/>}^2$. (Here the norm is the ${\mathrm{\ell <\#comment/>}}^2$norm on coefficients.) We show that $c_n\to <\#comment/>0$if and only if $f$is nonsingular in a certain nc domain (the row ball), and prove quantitative bounds. As an application, we obtain a new proof of the characterization of polynomials cyclic for the $d$-shift. 

   more » « less
5. Colength one deformation rings

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

   Le, Daniel; Le_Hung, Bao; Morra, Stefano; Park, Chol; Qian, Zicheng (May 2024, Transactions of the American Mathematical Society)

   Let $K/{\mathbb{Q}}_p$be a finite unramified extension, $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}:\mathrm{G}\mathrm{a}\mathrm{l}\left({\stackrel{¯<\#comment/>}{\mathbb{Q}}}_p/K\right)\to <\#comment/>{\mathrm{G}\mathrm{L}}_n\left({\stackrel{¯<\#comment/>}{\mathbb{F}}}_p\right)$a continuous representation, and $\mathrm{\tau <\#comment/>}$a tame inertial type of dimension $n$. We explicitly determine, under mild regularity conditions on $\mathrm{\tau <\#comment/>}$, the potentially crystalline deformation ring $R_{\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}}^{\mathrm{\eta <\#comment/>},\mathrm{\tau <\#comment/>}}$in parallel Hodge–Tate weights $\mathrm{\eta <\#comment/>}=(n-<\#comment/>1,\cdots <\#comment/>,1,0)$and inertial type $\mathrm{\tau <\#comment/>}$when theshapeof $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}$with respect to $\mathrm{\tau <\#comment/>}$has colength at most one. This has application to the modularity of a class of shadow weights in the weight part of Serre’s conjecture. Along the way we make unconditional the local-global compatibility results of Park and Qian [Mém. Soc. Math. Fr. (N.S.) 173 (2022), pp. vi+150]. 

   more » « less