skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Attention:

The DOI auto-population feature in the Public Access Repository (PAR) will be unavailable from 4:00 PM ET on Tuesday, July 8 until 4:00 PM ET on Wednesday, July 9 due to scheduled maintenance. We apologize for the inconvenience caused.


Title: Rigidity of Ext and Tor with Coefficients in Residue Fields of a Commutative Noetherian Ring
Abstract Let 𝔭 be a prime ideal in a commutative noetherian ring R . It is proved that if an R -module M satisfies $${\rm Tor}_n^R $$ ( k (𝔭), M ) = 0 for some n β©Ύ R 𝔭 , where k (𝔭) is the residue field at 𝔭, then $${\rm Tor}_i^R $$ ( k (𝔭), M ) = 0 holds for all i β©Ύ n . Similar rigidity results concerning $${\rm Tor}_R^{\ast} $$ ( k (𝔭), M ) are proved, and applications to the theory of homological dimensions are explored.  more » « less
Award ID(s):
1503044
PAR ID:
10095175
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Proceedings of the Edinburgh Mathematical Society
Volume:
62
Issue:
2
ISSN:
0013-0915
Page Range / eLocation ID:
305 to 321
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract Let $$u_{k}$$ u k be a solution of the Helmholtz equation with the wave number k , $$\varDelta u_{k}+k^{2} u_{k}=0$$ Ξ” u k + k 2 u k = 0 , on (a small ball in) either $${\mathbb {R}}^{n}$$ R n , $${\mathbb {S}}^{n}$$ S n , or $${\mathbb {H}}^{n}$$ H n . For a fixed point p , we define $$M_{u_{k}}(r)=\max _{d(x,p)\le r}|u_{k}(x)|.$$ M u k ( r ) = max d ( x , p ) ≀ r | u k ( x ) | . The following three ball inequality $$M_{u_{k}}(2r)\le C(k,r,\alpha )M_{u_{k}}(r)^{\alpha }M_{u_{k}}(4r)^{1-\alpha }$$ M u k ( 2 r ) ≀ C ( k , r , Ξ± ) M u k ( r ) Ξ± M u k ( 4 r ) 1 - Ξ± is well known, it holds for some $$\alpha \in (0,1)$$ Ξ± ∈ ( 0 , 1 ) and $$C(k,r,\alpha )>0$$ C ( k , r , Ξ± ) > 0 independent of $$u_{k}$$ u k . We show that the constant $$C(k,r,\alpha )$$ C ( k , r , Ξ± ) grows exponentially in k (when r is fixed and small). We also compare our result with the increased stability for solutions of the Cauchy problem for the Helmholtz equation on Riemannian manifolds. 
    more » « less
  2. This work concerns a map Ο† : R β†’ S \varphi \colon R\to S of commutative noetherian rings, locally of finite flat dimension. It is proved that the AndrΓ©-Quillen homology functors are rigid, namely, if D n ( S / R ; βˆ’ ) = 0 \mathrm {D}_n(S/R;-)=0 for some n β‰₯ 1 n\ge 1 , then D i ( S / R ; βˆ’ ) = 0 \mathrm {D}_i(S/R;-)=0 for all i β‰₯ 2 i\ge 2 and Ο† {\varphi } is locally complete intersection. This extends Avramov’s theorem that draws the same conclusion assuming D n ( S / R ; βˆ’ ) \mathrm {D}_n(S/R;-) vanishes for all n ≫ 0 n\gg 0 , confirming a conjecture of Quillen. The rigidity of AndrΓ©-Quillen functors is deduced from a more general result about the higher cotangent modules which answers a question raised by Avramov and Herzog, and subsumes a conjecture of Vasconcelos that was proved recently by the first author. The new insight leading to these results concerns the equivariance of a map from AndrΓ©-Quillen cohomology to Hochschild cohomology defined using the universal Atiyah class of Ο† \varphi . 
    more » « less
  3. Meka, Raghu (Ed.)
    A Matching Vector (MV) family modulo a positive integer m β‰₯ 2 is a pair of ordered lists U = (u_1, β‹―, u_K) and V = (v_1, β‹―, v_K) where u_i, v_j ∈ β„€_m^n with the following property: for any i ∈ [K], the inner product ⟨u_i, v_i⟩ = 0 mod m, and for any i β‰  j, ⟨u_i, v_j⟩ β‰  0 mod m. An MV family is called r-restricted if inner products ⟨u_i, v_j⟩, for all i,j, take at most r different values. The r-restricted MV families are extremely important since the only known construction of constant-query subexponential locally decodable codes (LDCs) are based on them. Such LDCs constructed via matching vector families are called matching vector codes. Let MV(m,n) (respectively MV(m, n, r)) denote the largest K such that there exists an MV family (respectively r-restricted MV family) of size K in β„€_m^n. Such a MV family can be transformed in a black-box manner to a good r-query locally decodable code taking messages of length K to codewords of length N = m^n. For small prime m, an almost tight bound MV(m,n) ≀ O(m^{n/2}) was first shown by Dvir, Gopalan, Yekhanin (FOCS'10, SICOMP'11), while for general m, the same paper established an upper bound of O(m^{n-1+o_m(1)}), with o_m(1) denoting a function that goes to zero when m grows. For any arbitrary constant r β‰₯ 3 and composite m, the best upper bound till date on MV(m,n,r) is O(m^{n/2}), is due to Bhowmick, Dvir and Lovett (STOC'13, SICOMP'14).In a breakthrough work, Alrabiah, Guruswami, Kothari and Manohar (STOC'23) implicitly improve this bound for 3-restricted families to MV(m, n, 3) ≀ O(m^{n/3}). In this work, we present an upper bound for r = 3 where MV(m,n,3) ≀ m^{n/6 +O(log n)}, and as a result, any 3-query matching vector code must have codeword length of N β‰₯ K^{6-o(1)}. 
    more » « less
  4. F or c e d at a f or a fl a p pi n g f oil e n er g y h ar v e st er wit h a cti v e l e a di n g e d g e m oti o n o p er ati n g i n t h e l o w r e d u c e d fr e q u e n c y r a n g e i s c oll e ct e d t o d et er mi n e h o w l e a di n g e d g e m oti o n aff e ct s e n er g y h ar v e sti n g p erf or m a n c e. T h e f oil pi v ot s a b o ut t h e mi dc h or d a n d o p er at e s i n t h e l o w r e d u c e d fr e q u e n c y r a n g e of 𝑓𝑓 𝑓𝑓 / π‘ˆπ‘ˆ ∞ = 0. 0 6 , 0. 0 8, a n d 0. 1 0 wit h 𝑅𝑅 𝑅𝑅 = 2 0 ,0 0 0 βˆ’ 3 0 ,0 0 0 , wit h a pit c hi n g a m plit u d e of πœƒπœƒ 0 = 7 0 ∘ , a n d a h e a vi n g a m plit u d e of β„Ž 0 = 0. 5 𝑓𝑓 . It i s f o u n d t h at l e a di n g e d g e m oti o n s t h at r e d u c e t h e eff e cti v e a n gl e of att a c k e arl y t h e str o k e w or k t o b ot h i n cr e a s e t h e lift f or c e s a s w ell a s s hift t h e p e a k lift f or c e l at er i n t h e fl a p pi n g str o k e. L e a di n g e d g e m oti o n s i n w hi c h t h e eff e cti v e a n gl e of att a c k i s i n cr e a s e d e arl y i n t h e str o k e s h o w d e cr e a s e d p erf or m a n c e. I n a d diti o n a di s cr et e v ort e x m o d el wit h v ort e x s h e d di n g at t h e l e a di n g e d g e i s i m pl e m e nt f or t h e m oti o n s st u di e d; it i s f o u n d t h at t h e m e c h a ni s m f or s h e d di n g at t h e l e a di n g e d g e i s n ot a d e q u at e f or t hi s p ar a m et er r a n g e a n d t h e m o d el c o n si st e ntl y o v er pr e di ct s t h e a er o d y n a mi c f or c e s. 
    more » « less
  5. Abstract We investigate the rigidity of global minimizers u β‰₯ 0 u\ge 0 of the Alt-Phillips functional involving negative power potentials ∫ Ξ© ( ∣ βˆ‡ u ∣ 2 + u βˆ’ Ξ³ Ο‡ { u > 0 } ) d x , Ξ³ ∈ ( 0 , 2 ) , \mathop{\int }\limits_{\Omega }(| \nabla u{| }^{2}+{u}^{-\gamma }{\chi }_{\left\{u\gt 0\right\}}){\rm{d}}x,\hspace{1.0em}\gamma \in \left(0,2), when the exponent Ξ³ \gamma is close to the extremes of the admissible values. In particular, we show that global minimizers in R n {{\mathbb{R}}}^{n} are one-dimensional if Ξ³ \gamma is close to 2 and n ≀ 7 n\le 7 , or if Ξ³ \gamma is close to 0 and n ≀ 4 n\le 4 . 
    more » « less