Skip to content

cone for a ComplexMap of nonzero degree #4004

@mahrud

Description

@mahrud

There's a comment above cone(ComplexMap) saying:

-- sign convention: Using Conrad (Grothendieck Duality) sign choice for cone, pg 8 of intro.
-- NOTE: one could extend this to complex maps which commute, but have nonzero degree,
-- IF this would be useful at all.
cone ComplexMap := Complex => f -> (

@ggsmith @mikestillman I went back and forth between whether this is what I need or not, and I think it is actually what I need. In particular, taking cone of a map f of nonzero degree isn't the same as cone of map(target f, (source f)[-degree f], i -> f_(i-degree f)), is it?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions