The Rees algebra and analytic spread of a divisorial filtration
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913928452243456 |
|---|---|
| author | Cutkosky, Steven Dale |
| author_facet | Cutkosky, Steven Dale |
| contents | In this paper we investigate some properties of Rees algebras of divisorial filtrations and their analytic spread. A classical theorem of McAdam shows that the analytic spread of an ideal $I$ in a formally equidimensional local ring is equal to the dimension of the ring if and only if the maximal ideal is an associated prime of $R/\overline{I^n}$ for some $n$. We show in Theorem 1.5 that McAdam's theorem holds for $\mathbb Q$-divisorial filtrations in an equidimensional local ring which is essentially of finite type over an excellent local ring of dimension less than or equal to 3. This generalizes an earlier result for $\mathbb Q$-divisorial filtrations in an equicharacteristic zero excellent local domain by the author. This theorem does not hold for more general filtrations.
We consider the question of the asymptotic behavior of the function $n\mapsto λ_R(R/I_n)$ for a $\mathbb Q$-divisorial filtration $\mathcal I=\{I_n\}$ of $m_R$-primary ideals on a $d$-dimensional normal excellent local ring. It is known from earlier work of the author that the multiplicity $$ e(\mathcal I)=d! \lim_{n\rightarrow\infty}\frac{λ_R(R/I_n)}{n^d} $$ can be irrational. We show in Lemma 4.1 that the limsup of the first difference function $$ \limsup_{n\rightarrow\infty}\frac{λ_R(I_n/I_{n+1})}{n^{d-1}} $$ is always finite for a $\mathbb Q$-divisorial filtration. We then give an example in Section 4 showing that this limsup may not exist as a limit.
In the final section, we give an example of a symbolic filtration $\{P^{(n)}\}$ of a prime ideal $P$ in a normal two dimensional excellent local ring which has the property that the set of Rees valuations of all the symbolic powers $P^{(n)}$ of $P$ is infinite. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_19585 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Rees algebra and analytic spread of a divisorial filtration Cutkosky, Steven Dale Commutative Algebra Algebraic Geometry 13H15, 13A18, 14C17 In this paper we investigate some properties of Rees algebras of divisorial filtrations and their analytic spread. A classical theorem of McAdam shows that the analytic spread of an ideal $I$ in a formally equidimensional local ring is equal to the dimension of the ring if and only if the maximal ideal is an associated prime of $R/\overline{I^n}$ for some $n$. We show in Theorem 1.5 that McAdam's theorem holds for $\mathbb Q$-divisorial filtrations in an equidimensional local ring which is essentially of finite type over an excellent local ring of dimension less than or equal to 3. This generalizes an earlier result for $\mathbb Q$-divisorial filtrations in an equicharacteristic zero excellent local domain by the author. This theorem does not hold for more general filtrations. We consider the question of the asymptotic behavior of the function $n\mapsto λ_R(R/I_n)$ for a $\mathbb Q$-divisorial filtration $\mathcal I=\{I_n\}$ of $m_R$-primary ideals on a $d$-dimensional normal excellent local ring. It is known from earlier work of the author that the multiplicity $$ e(\mathcal I)=d! \lim_{n\rightarrow\infty}\frac{λ_R(R/I_n)}{n^d} $$ can be irrational. We show in Lemma 4.1 that the limsup of the first difference function $$ \limsup_{n\rightarrow\infty}\frac{λ_R(I_n/I_{n+1})}{n^{d-1}} $$ is always finite for a $\mathbb Q$-divisorial filtration. We then give an example in Section 4 showing that this limsup may not exist as a limit. In the final section, we give an example of a symbolic filtration $\{P^{(n)}\}$ of a prime ideal $P$ in a normal two dimensional excellent local ring which has the property that the set of Rees valuations of all the symbolic powers $P^{(n)}$ of $P$ is infinite. |
| title | The Rees algebra and analytic spread of a divisorial filtration |
| topic | Commutative Algebra Algebraic Geometry 13H15, 13A18, 14C17 |
| url | https://arxiv.org/abs/2407.19585 |