Resurgence numbers of fiber products of projective schemes

  • PDF / 1,319,363 Bytes
  • 10 Pages / 439.37 x 666.142 pts Page_size
  • 61 Downloads / 149 Views

DOWNLOAD

REPORT


Resurgence numbers of fiber products of projective schemes Sankhaneel Bisui1 · Huy Tài Hà1   · A. V. Jayanthan2 · Abu Chackalamannil Thomas1 Received: 22 May 2020 / Accepted: 3 November 2020 © Universitat de Barcelona 2020

Abstract We investigate the resurgence and asymptotic resurgence numbers of fiber products of projective schemes. Particularly, we show that while the asymptotic resurgence number of the k-fold fiber product of a projective scheme remains unchanged, its resurgence number could strictly increase. Keywords  Resurgence number · Asymptotic resurgence · Points · Symbolic powers · Containments between powers Mathematics Subject Classification  13F20 · 14N05 · 13A02 · 13P10

1 Introduction Inspired by the well-celebrated result of Ein et  al.  [11], Hochster and Huneke [19], and driven by a series of conjectures and questions due to Harbourne and Huneke [16], containments between symbolic and ordinary powers of ideals have evolved to be a highly active research topic in recent years (cf. [1–6, 9, 10, 21–24]). The resurgence number (defined by Bocci and Harbourne [3]) and the asymptotic resurgence number (defined by Guardo et al. [14]) are measures of the non-containments between these powers of ideals. Specifically, for a nonzero proper ideal I in a polynomial ring, the resurgence number and the asymptotic resurgence number of I are given by

* Huy Tài Hà [email protected] Sankhaneel Bisui [email protected] A. V. Jayanthan [email protected] Abu Chackalamannil Thomas [email protected] 1

Department of Mathematics, Tulane University, 6823 St. Charles Ave., New Orleans, LA 70118, USA

2

Department of Mathematics, Indian Institute of Technology Madras, Chennai, Tamil Nadu 600036, India



13

Vol.:(0123456789)



S. Bisui et al.

𝜌(I) = sup

{

m | (m) | I ⊈ Ir r |

}

and 𝜌a (I) = sup

{

} m | (mt) ⊈ I rt , t ≫ 0 . |I r |

It is easy to see that 𝜌a (I) ≤ 𝜌(I) for any ideal I. However, a priori, it is not quite clear how different these invariants could be. In fact, if one replaces the ordinary power of I by its integral closure and defines { } { } m | (m) m | (mt) ⊈ I rt , t ≫ 0 , 𝜌(I) = sup | I ⊈ I r and 𝜌a (I) = sup |I r | r | then the main result of a recent work of DiPasquale et al. [7] shows that

𝜌(I) = 𝜌a (I) = 𝜌a (I). Moreover, since these invariants are hard to compute, there are very few examples where 𝜌(I) and 𝜌a (I) are known explicitly (cf.  [8]). Our goal in this paper is to study the resurgence and asymptotic resurgence numbers of fiber products of projective schemes. Particularly, we exhibit a pathological example of the difference between these two invariants, and provide a large family of ideals for which the asymptotic resurgence number could be computed explicitly. Our results show that while the asymptotic resurgence of a fiber product of projective schemes can be computed via that of given schemes, it is not necessarily the case for the ] , X = Proj A∕I  , and resurgence number. To be more specific, let A = 𝕜[ℙN𝕜 ] , B = 𝕜[ℙM 𝕜 Y = Proj B∕J  , for homogeneous ideals I ⊆ A and J ⊆