Finiteness of associated primes for local cohomology modules of excellent locally unramified regular rings of finite Krull dimension
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866913985246265344 |
|---|---|
| author | Murayama, Takumi |
| author_facet | Murayama, Takumi |
| contents | Thirty years ago, Huneke (for local rings) and Lyubeznik (in general) conjectured that for all regular rings $R$, the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals. We prove substantial new cases of their conjecture by proving that the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals whenever $R$ is an excellent regular ring of finite Krull dimension such that $R/pR$ is regular and $F$-finite for every prime number $p$. Our result is new even for excellent regular $\mathbf{Q}$-algebras of finite Krull dimension, for example for finitely generated rings over formal power series rings over fields of characteristic zero. Our proof uses perverse sheaves, $\mathscr{D}$-modules, the Riemann-Hilbert correspondence for smooth complex varieties, Néron-Popescu desingularization, and a delicate Noetherian approximation argument. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_17875 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Finiteness of associated primes for local cohomology modules of excellent locally unramified regular rings of finite Krull dimension Murayama, Takumi Commutative Algebra Algebraic Geometry 13D45, 13H05 (Primary) 14B15, 32S60, 13A35, 14F10 (Secondary) Thirty years ago, Huneke (for local rings) and Lyubeznik (in general) conjectured that for all regular rings $R$, the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals. We prove substantial new cases of their conjecture by proving that the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals whenever $R$ is an excellent regular ring of finite Krull dimension such that $R/pR$ is regular and $F$-finite for every prime number $p$. Our result is new even for excellent regular $\mathbf{Q}$-algebras of finite Krull dimension, for example for finitely generated rings over formal power series rings over fields of characteristic zero. Our proof uses perverse sheaves, $\mathscr{D}$-modules, the Riemann-Hilbert correspondence for smooth complex varieties, Néron-Popescu desingularization, and a delicate Noetherian approximation argument. |
| title | Finiteness of associated primes for local cohomology modules of excellent locally unramified regular rings of finite Krull dimension |
| topic | Commutative Algebra Algebraic Geometry 13D45, 13H05 (Primary) 14B15, 32S60, 13A35, 14F10 (Secondary) |
| url | https://arxiv.org/abs/2506.17875 |