RECORD
On the equality of de Rham depth and formal grade in characteristic zero
Commutative Algebra · Submitted 20 Jun 2021
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim We show that in this case, the de Rham depth of $Y$ is the same as the so-called formal grade of $I$ in $R$.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
Let $Y \subset \mathbb{P}^n_k$ be a non-singular proper closed subset of projective $n$-space over a field $k$ of characteristic zero and let $I \subset R=k[x_0, \ldots, x_n]$ be the homogeneous defining ideal of $Y$. We show that in this case, the de Rham depth of $Y$ is the same as the so-called formal grade of $I$ in $R$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Let $Y \subset \mathbb{P}^n_k$ be a non-singular proper closed subset of projective $n$-space over a field $k$ of characteristic zero and let $I \subset R=k[x_0, \ldots, x_n]$ be the homogeneous defining ideal of $Y$. | background 0.99 | 0.07 | 0.03 | unclear 0.58 |
| s1 | We show that in this case, the de Rham depth of $Y$ is the same as the so-called formal grade of $I$ in $R$. | result 0.99 | 0.96 | 0.97 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
Let $Y \subset \mathbb{P}^n_k$ be a non-singular proper closed subset of projective $n$-space over a field $k$ of characteristic zero and let $I \subset R=k[x_0, \ldots, x_n]$ be the homogeneous defining ideal of $Y$. We show that in this case, the de Rham depth of $Y$ is the same as the so-called formal grade of $I$ in $R$.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.