Chow form for projective subschemes

[bhutz]

The Chow form associated to a projective variety is a homogeneous equation in Plucker coordinates associated to the variety. It describes the variety as a hypersurface in a Grassmannian. It was introduced by Cayley and generalized by Chow and van der Warden.

This ticket has two tasks

• Given a projective subscheme, compute the associated Chow form

• Given a Chow form, compute the associated variety.

Chow form to variety: equations describing the variety set-theoretically can be found, but they only describe the variety scheme-theoretically if it is smooth or is a hypersurface.

Component: algebraic geometry

Author: Ben Hutz

Branch/Commit: ee28b37

Reviewer: Paul Fili

Issue created by migration from https://trac.sagemath.org/ticket/20227

[bhutz]

Branch: u/bhutz/ticket/20227

[bhutz]

New commits:

dff0605

20227: chow forms for projective subschemes

[bhutz]

Commit: dff0605

[bhutz]

Author: Ben Hutz

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

d61ce15

Merge 7.2.beta6 into t/20227/ticket/20227

[sagetrac-git]

Changed commit from dff0605 to d61ce15

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

3f17e6d

Merge branch 7.3.beta2 into t/20227/ticket/20227

[sagetrac-git]

Changed commit from d61ce15 to 3f17e6d

[sagetrac-git]

Changed commit from 3f17e6d to 98d09a4

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

98d09a4

Merge 7.3.beta8 into t/20227/ticket/20227

[pfili]

Reviewer: Paul Fili

[pfili]

comment:6

Everything looks good, examples tested all work.

[vbraun]

comment:7

Merge failure, wait for the next beta...

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

ee28b37

Merge 7.3.rc0 into t/20227/ticket/20227

[sagetrac-git]

Changed commit from 98d09a4 to ee28b37

[pfili]

comment:10

All tests passed, merge appears good, my own examples worked.

[vbraun]

Changed branch from u/bhutz/ticket/20227 to ee28b37