RECORD
The Tor Spectral Sequence and Flat Morphisms in Homotopical $D$-Geometry
Algebraic Topology · Submitted 15 Dec 2022
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim The remaining part covers the study of \'etale and flat morphisms in the category of differential graded $D$-algebras and is based on the Tor spectral sequence which connects the graded Tor functors in homology with the homology of the derived tensor product of two differential graded $D$-modules over a differential graded $D$-algebra.
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
Homotopical algebraic $D$-geometry combines aspects of homotopical algebraic geometry of Toen and Vezzosi and $D$-geometry of Beilinson and Drinfeld. It was introduced by the paper's last two authors and di Brino as a suitable framework for a coordinate-free study of the Batalin-Vilkovisky complex and more generally for the study of non-linear partial differential equations and their symmetries. In order to consolidate the foundation of the theory, we have to prove that the standard methods of linear and commutative algebra are available in the context of homotopical algebraic $D$-geometry, and we must show that in this context the \'etale topology is a kind of homotopical Grothendieck topology and that the notion of smooth morphism is, roughly speaking, local for the \'etale topology. The first half of this work was done. The remaining part covers the study of \'etale and flat morphisms in the category of differential graded $D$-algebras and is based on the Tor spectral sequence which connects the graded Tor functors in homology with the homology of the derived tensor product of two differential graded $D$-modules over a differential graded $D$-algebra.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Homotopical algebraic $D$-geometry combines aspects of homotopical algebraic geometry of Toen and Vezzosi and $D$-geometry of Beilinson and Drinfeld. | background 1.00 | 0.05 | 0.03 | asserted 1.00 |
| s1 | It was introduced by the paper's last two authors and di Brino as a suitable framework for a coordinate-free study of the Batalin-Vilkovisky complex and more generally for the study of non-linear partial differential equations and their symmetries. | background 0.98 | 0.44 | 0.03 | asserted 1.00 |
| s2 | In order to consolidate the foundation of the theory, we have to prove that the standard methods of linear and commutative algebra are available in the context of homotopical algebraic $D$-geometry, and we must show that in this context the \'etale topology is a kind of homotopical Grothendieck topology and that the notion of smooth morphism is, roughly speaking, local for the \'etale topology. | gap 0.68 | 0.24 | 0.14 | asserted 0.98 |
| s3 | The first half of this work was done. | gap 0.35 | 0.79 | 0.03 | asserted 0.99 |
| s4 | The remaining part covers the study of \'etale and flat morphisms in the category of differential graded $D$-algebras and is based on the Tor spectral sequence which connects the graded Tor functors in homology with the homology of the derived tensor product of two differential graded $D$-modules over a differential graded $D$-algebra. | contribution 0.72 | 0.80 | 0.22 | 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
Homotopical algebraic $D$-geometry combines aspects of homotopical algebraic geometry of Toen and Vezzosi and $D$-geometry of Beilinson and Drinfeld. It was introduced by the paper's last two authors and di Brino as a suitable framework for a coordinate-free study of the Batalin-Vilkovisky complex and more generally for the study of non-linear partial differential equations and their symmetries. In order to consolidate the foundation of the theory, we have to prove that the standard methods of linear and commutative algebra are available in the context of homotopical algebraic $D$-geometry, and we must show that in this context the \'etale topology is a kind of homotopical Grothendieck topology and that the notion of smooth morphism is, roughly speaking, local for the \'etale topology. The first half of this work was done. The remaining part covers the study of \'etale and flat morphisms in the category of differential graded $D$-algebras and is based on the Tor spectral sequence which connects the graded Tor functors in homology with the homology of the derived tensor product of two differential graded $D$-modules over a differential graded $D$-algebra.
Human review
How the literature uses it
What this paper does with the arXiv papers it cites
What it cites · 2 sentences without a confident label
Cites as support 1 paper
-
Moreover [ref] , if $C_MX$ is any cofibrant replacement of $X ,$ there is a canonical $Ho(N)$-isomorphism F(C̃_MX)≐F(C_MX) .In view of [ref] and [ref] the value of a derived functor at an object is well-defined only up to isomorphism of the target homotopy category.
Indeterminacies and models of homotopy limits · Zooming in on derivatives in model categories · 0.96
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.