We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Commutative Algebra

Title: Diagonal F-splitting and Symbolic Powers of Ideals

Abstract: Let $J$ be any ideal in a strongly $F$-regular, diagonally $F$-split ring $R$ essentially of finite type over an $F$-finite field. We show that $J^{s+t} \subseteq \tau(J^{s - \epsilon}) \tau(J^{t-\epsilon})$ for all $s, t, \epsilon > 0$ for which the formula makes sense. We use this to show a number of novel containments between symbolic and ordinary powers of prime ideals in this setting, which includes all determinantal rings and a large class of toric rings in positive characteristic. In particular, we show that $P^{(2hn)} \subseteq P^n$ for all prime ideals $P$ of height $h$ in such rings.
Comments: 11 pages. Comments welcome
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
MSC classes: 13A15 (secondary), 13A35 (primary), 14B05
Cite as: arXiv:2208.00051 [math.AC]
  (or arXiv:2208.00051v1 [math.AC] for this version)

Submission history

From: Daniel Smolkin [view email]
[v1] Fri, 29 Jul 2022 19:34:49 GMT (25kb)

Link back to: arXiv, form interface, contact.