Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorDavid_Corfield
   • CommentTimeSep 22nd 2016
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexWe don't have a page for local cohomology. Is it there under some other name? Someone has made Grothendieck's book on the subject [available](http://matematicas.unex.es/~navarro/res/localcohomology.pdf). Akhil Mathew has a number of [posts](https://amathew.wordpress.com/tag/local-cohomology/) on the topic.

   We don’t have a page for local cohomology. Is it there under some other name?

   Someone has made Grothendieck’s book on the subject available.

   Akhil Mathew has a number of posts on the topic.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeSep 22nd 2016
   • (edited Sep 22nd 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexIn as far as local cohomology is the operation of torsion approximation (as recalled in Akhil's first article in the series [here](https://amathew.wordpress.com/2012/08/09/local-cohomology-i/)) then this would be one of the operations of "arithmetic cohesion" recalled [here](https://ncatlab.org/nlab/show/differential%20cohesion%20and%20idelic%20structure#ArithmeticCohesion), I suppose. This is amplified in [Barthel-Heard 15](https://ncatlab.org/nlab/show/fracture+theorem#BarthelHeard15). Which reminds me: I had given up on "arithmetic cohesion" because it only worked for non-unital rings. But yesterday Thomas Nikolaus tells me about him generalizing some key facts to non-unital ring theory. For instance the basic fact of "Kontsevich-style non-commutative algebraic geometry" or "non-commutative motives" that compactly generated stable $\infty$-categories are $\infty$-categories of modules over $A_\infty$-ring(oid)s generalizes to the non-unital case.

   In as far as local cohomology is the operation of torsion approximation (as recalled in Akhil’s first article in the series here) then this would be one of the operations of “arithmetic cohesion” recalled here, I suppose. This is amplified in Barthel-Heard 15.

   Which reminds me: I had given up on “arithmetic cohesion” because it only worked for non-unital rings. But yesterday Thomas Nikolaus tells me about him generalizing some key facts to non-unital ring theory. For instance the basic fact of “Kontsevich-style non-commutative algebraic geometry” or “non-commutative motives” that compactly generated stable $\infty$-categories are $\infty$-categories of modules over $A_\infty$-ring(oid)s generalizes to the non-unital case.

3. • CommentRowNumber3.
   • CommentAuthorDavid_Corfield
   • CommentTimeSep 22nd 2016
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexIt seems Barthel-Heard-Valenzuela aim for full generality: "a simple abstract categorical framework which allows the construction of local cohomology and homology in general categorical contexts", just given a collection of compact objects of a closed symmetric monoidal, presentable stable category. >Which reminds me: I had given up on “arithmetic cohesion” because it only worked for non-unital rings. Was that after [this](https://nforum.ncatlab.org/discussion/6178/sphere-augmentation-and-cohesive-arithmetic-geometry/)?: >I am beginning to wonder if the appearance of nonunital $E_\infty$-geometry in "arithmetic cohesion" is more of a virtue than a bug.

   It seems Barthel-Heard-Valenzuela aim for full generality: “a simple abstract categorical framework which allows the construction of local cohomology and homology in general categorical contexts”, just given a collection of compact objects of a closed symmetric monoidal, presentable stable category.

   Which reminds me: I had given up on “arithmetic cohesion” because it only worked for non-unital rings.

   Was that after this?:

   I am beginning to wonder if the appearance of nonunital $E_\infty$-geometry in “arithmetic cohesion” is more of a virtue than a bug.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeSep 22nd 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexYes, I had been beginning to wonder that way, but then I didn't really sort out what to make of it. Something to look into again.

   Yes, I had been beginning to wonder that way, but then I didn’t really sort out what to make of it. Something to look into again.