skip to main content

Attention:

The NSF Public Access Repository (PAR) system and access will be unavailable from 11:00 PM ET on Thursday, February 13 until 2:00 AM ET on Friday, February 14 due to maintenance. We apologize for the inconvenience.


Title: Uniform Lech’s inequality

Let(R,m)(R,\mathfrak {m})be a Noetherian local ring of dimensiond≥<#comment/>2d\geq 2. We prove that ife(R^<#comment/>red)>1e(\widehat {R}_{red})>1, then the classical Lech’s inequality can be improved uniformly for allm\mathfrak {m}-primary ideals, that is, there existsε<#comment/>>0\varepsilon >0such thate(I)≤<#comment/>d!(e(R)−<#comment/>ε<#comment/>)ℓ<#comment/>(R/I)e(I)\leq d!(e(R)-\varepsilon )\ell (R/I)for allm\mathfrak {m}-primary idealsI⊆<#comment/>RI\subseteq R. This answers a question raised by Huneke, Ma, Quy, and Smirnov [Adv. Math. 372 (2020), pp. 107296, 33]. We also obtain partial results towards improvements of Lech’s inequality when we fix the number of generators ofII.

 
more » « less
Award ID(s):
1901672 1952366
PAR ID:
10475348
Author(s) / Creator(s):
;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Proceedings of the American Mathematical Society
ISSN:
0002-9939
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. For each odd integern≥<#comment/>3n \geq 3, we construct a rank-3 graphΛ<#comment/>n\Lambda _nwith involutionγ<#comment/>n\gamma _nwhose realC∗<#comment/>C^*-algebraCR∗<#comment/>(Λ<#comment/>n,γ<#comment/>n)C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda _n, \gamma _n)is stably isomorphic to the exotic Cuntz algebraEn\mathcal E_n. This construction is optimal, as we prove that a rank-2 graph with involution(Λ<#comment/>,γ<#comment/>)(\Lambda ,\gamma )can never satisfyCR∗<#comment/>(Λ<#comment/>,γ<#comment/>)∼<#comment/>MEEnC^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )\sim _{ME} \mathcal E_n, and Boersema reached the same conclusion for rank-1 graphs (directed graphs) in [Münster J. Math.10(2017), pp. 485–521, Corollary 4.3]. Our construction relies on a rank-1 graph with involution(Λ<#comment/>,γ<#comment/>)(\Lambda , \gamma )whose realC∗<#comment/>C^*-algebraCR∗<#comment/>(Λ<#comment/>,γ<#comment/>)C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )is stably isomorphic to the suspensionSRS \mathbb {R}. In the Appendix, we show that theii-fold suspensionSiRS^i \mathbb {R}is stably isomorphic to a graph algebra iff−<#comment/>2≤<#comment/>i≤<#comment/>1-2 \leq i \leq 1.

     
    more » « less
  2. Proving the “expectation-threshold” conjecture of Kahn and Kalai [Combin. Probab. Comput. 16 (2007), pp. 495–502], we show that for any increasing propertyF\mathcal {F}on a finite setXX,\[pc(F)=O(q(F)log⁡<#comment/>ℓ<#comment/>(F)),p_c(\mathcal {F})=O(q(\mathcal {F})\log \ell (\mathcal {F})),\]wherepc(F)p_c(\mathcal {F})andq(F)q(\mathcal {F})are the threshold and “expectation threshold” ofF\mathcal {F}, andℓ<#comment/>(F)\ell (\mathcal {F})is the maximum of22and the maximum size of a minimal member ofF\mathcal {F}.

     
    more » « less
  3. In this paper we consider which families of finite simple groupsGGhave the property that for eachϵ<#comment/>>0\epsilon > 0there existsN>0N > 0such that, if|G|≥<#comment/>N|G| \ge NandS,TS, Tare normal subsets ofGGwith at leastϵ<#comment/>|G|\epsilon |G|elements each, then every non-trivial element ofGGis the product of an element ofSSand an element ofTT.

    We show that this holds in a strong and effective sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the formPSLn(q)\mathrm {PSL}_n(q)whereqqis fixed andn→<#comment/>∞<#comment/>n\to \infty. However, in the caseS=TS=TandGGalternating this holds with an explicit bound onNNin terms ofϵ<#comment/>\epsilon.

    Related problems and applications are also discussed. In particular we show that, ifw1,w2w_1, w_2are non-trivial words,GGis a finite simple group of Lie type of bounded rank, and forg∈<#comment/>Gg \in G,Pw1(G),w2(G)(g)P_{w_1(G),w_2(G)}(g)denotes the probability thatg1g2=gg_1g_2 = gwheregi∈<#comment/>wi(G)g_i \in w_i(G)are chosen uniformly and independently, then, as|G|→<#comment/>∞<#comment/>|G| \to \infty, the distributionPw1(G),w2(G)P_{w_1(G),w_2(G)}tends to the uniform distribution onGGwith respect to theL∞<#comment/>L^{\infty }norm.

     
    more » « less
  4. This is the first of our papers on quasi-split affine quantum symmetric pairs(U~<#comment/>(g^<#comment/>),U~<#comment/>ı<#comment/>)\big (\widetilde {\mathbf U}(\widehat {\mathfrak g}), \widetilde {{\mathbf U}}^\imath \big ), focusing on the real rank one case, i.e.,g=sl3\mathfrak g = \mathfrak {sl}_3equipped with a diagram involution. We construct explicitly a relative braid group action of typeA2(2)A_2^{(2)}on the affineı<#comment/>\imathquantum groupU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imath. Real and imaginary root vectors forU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imathare constructed, and a Drinfeld type presentation ofU~<#comment/>ı<#comment/>\widetilde {{\mathbf U}}^\imathis then established. This provides a new basic ingredient for the Drinfeld type presentation of higher rank quasi-split affineı<#comment/>\imathquantum groups in the sequels.

     
    more » « less
  5. Letffbe analytic on[0,1][0,1]with|f(k)(1/2)|⩽<#comment/>Aα<#comment/>kk!|f^{(k)}(1/2)|\leqslant A\alpha ^kk!for some constantsAAandα<#comment/>>2\alpha >2and allk⩾<#comment/>1k\geqslant 1. We show that the median estimate ofμ<#comment/>=∫<#comment/>01f(x)dx\mu =\int _0^1f(x)\,\mathrm {d} xunder random linear scrambling withn=2mn=2^mpoints converges at the rateO(n−<#comment/>clog⁡<#comment/>(n))O(n^{-c\log (n)})for anyc>3log⁡<#comment/>(2)/π<#comment/>2≈<#comment/>0.21c> 3\log (2)/\pi ^2\approx 0.21. We also get a super-polynomial convergence rate for the sample median of2k−<#comment/>12k-1random linearly scrambled estimates, whenk/mk/mis bounded away from zero. Whenffhas app’th derivative that satisfies aλ<#comment/>\lambda-Hölder condition then the median of means has errorO(n−<#comment/>(p+λ<#comment/>)+ϵ<#comment/>)O( n^{-(p+\lambda )+\epsilon })for anyϵ<#comment/>>0\epsilon >0, ifk→<#comment/>∞<#comment/>k\to \inftyasm→<#comment/>∞<#comment/>m\to \infty. The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number.

     
    more » « less