More Like this

1. 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
2. Relations between Poincaré series for quasi-complete intersection homomorphisms

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

   Pollitz, Josh; Şega, Liana (January 2025, Proceedings of the American Mathematical Society)

   In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism $\mathrm{\phi <\#comment/>}:<\#comment/>Q\to <\#comment/>R$, where $Q$is a local ring with maximal ideal $\mathfrak{m}$. In particular, we give a precise relationship between the Poincaré series ${\mathrm{P}}_M^Q\left(t\right)$of a finitely generated $R$-module $M$to ${\mathrm{P}}_M^R\left(t\right)$when the kernel of $\mathrm{\phi <\#comment/>}$is contained in $\mathfrak{m}{\mathrm{a}\mathrm{n}\mathrm{n}}_Q\left(M\right)$. This generalizes a classical result of Shamash for complete intersection homomorphisms. Our proof goes through base change formulas for Poincaré series under the map of dg algebras $Q\to <\#comment/>E$, with $E$the Koszul complex on a minimal set of generators for the kernel of $\mathrm{\phi <\#comment/>}$. 

   more » « less
3. Algebraic cobordism and a Conner–Floyd isomorphism for algebraic K-theory

   https://doi.org/10.1090/jams/1045  

   Annala, Toni; Hoyois, Marc; Iwasa, Ryomei (March 2024, Journal of the American Mathematical Society)

   We formulate and prove a Conner–Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\mathrm{\infty <\#comment/>}$-category of non- ${\mathbb{A}}^1$-invariant motivic spectra, which turns out to be equivalent to the $\mathrm{\infty <\#comment/>}$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\mathrm{\infty <\#comment/>}$-category satisfies ${\mathbb{P}}^1$-homotopy invariance and weighted ${\mathbb{A}}^1$-homotopy invariance, which we use in place of ${\mathbb{A}}^1$-homotopy invariance to obtain analogues of several key results from ${\mathbb{A}}^1$-homotopy theory. These allow us in particular to define a universal oriented motivic ${\mathbb{E}}_{\mathrm{\infty <\#comment/>}}$-ring spectrum $\mathrm{M}\mathrm{G}\mathrm{L}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$can be recovered from its $\mathrm{M}\mathrm{G}\mathrm{L}$-cohomology via a Conner–Floyd isomorphism\[ ${\mathrm{M}\mathrm{G}\mathrm{L}}^{\ast <\#comment/>\ast <\#comment/>}\left(X\right){\otimes <\#comment/>}_{\mathrm{L}}\mathbb{Z}\left[{\mathrm{\beta <\#comment/>}}^{\pm <\#comment/>1}\right]\simeq <\#comment/>\mathrm{K}{}^{\ast <\#comment/>\ast <\#comment/>}\left(X\right),$\]where $\mathrm{L}$is the Lazard ring and $\mathrm{K}{}^{p,q}\left(X\right)=\mathrm{K}{}_{2q-<\#comment/>p}\left(X\right)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{M}\mathrm{G}\mathrm{L}$. 

   more » « less
4. Dens, nests and the Loehr-Warrington conjecture

   https://doi.org/10.1090/jams/1057  

   Blasiak, J; Haiman, M; Morse, J; Pun, A; Seelinger, G (June 2025, Journal of the American Mathematical Society)

   We prove and extend the longest-standing conjecture in ‘ $q,t$-Catalan combinatorics,’ namely, the combinatorial formula for ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$conjectured by Loehr and Warrington, where $s_{\mathrm{\mu <\#comment/>}}$is a Schur function and $\mathrm{\nabla <\#comment/>}$is an eigenoperator on Macdonald polynomials. Our approach is to establish a stronger identity of infinite series of $G{L}_l$characters involvingSchur Catalanimals; these were recently shown by the authors to represent Schur functions $s_{\mathrm{\mu <\#comment/>}}[-<\#comment/>M{X}^{m,n}]$in subalgebras $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)\subset <\#comment/>\mathcal{E}$isomorphic to the algebra of symmetric functions $\mathrm{\Lambda <\#comment/>}$over $\mathbb{Q}(q,t)$, where $\mathcal{E}$is the elliptic Hall algebra of Burban and Schiffmann. We establish a combinatorial formula for Schur Catalanimals as weighted sums of LLT polynomials, with terms indexed by configurations of nested lattice paths callednests, having endpoints and bounding constraints controlled by data called aden. The special case for $\mathrm{\Lambda <\#comment/>}\left(X^{m,1}\right)$proves the Loehr-Warrington conjecture, giving ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. In general, for $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)$our formula implies a new $(m,n)$version of the Loehr-Warrington conjecture. In the case where each nest consists of a single lattice path, the nests in a den formula reduce to our previous shuffle theorem for paths under any line. Both this and the $(m,n)$Loehr-Warrington formula generalize the $(km,kn)$shuffle theorem proven by Carlsson and Mellit (for $n=1$) and Mellit. Our formula here unifies these two generalizations. 

   more » « less
5. Braid group action and quasi-split affine 𝚤quantum groups I

   https://doi.org/10.1090/ert/657  

   Lu, Ming; Wang, Weiqiang; Zhang, Weinan (October 2023, Representation Theory of the American Mathematical Society)

   This is the first of our papers on quasi-split affine quantum symmetric pairs $(\stackrel{~<\#comment/>}{\mathbf{U}}\left(\stackrel{^<\#comment/>}{\mathfrak{g}}\right),{\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}})$, focusing on the real rank one case, i.e., $\mathfrak{g}={\mathfrak{s}\mathfrak{l}}_3$equipped with a diagram involution. We construct explicitly a relative braid group action of type $A_2^{\left(2\right)}$on the affine $\mathrm{ı<\#comment/>}$quantum group ${\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}}$. Real and imaginary root vectors for ${\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}}$are constructed, and a Drinfeld type presentation of ${\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}}$is then established. This provides a new basic ingredient for the Drinfeld type presentation of higher rank quasi-split affine $\mathrm{ı<\#comment/>}$quantum groups in the sequels. 

   more » « less