University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Chevalley’s Theorem on constructible images made constructive

Chevalley’s Theorem on constructible images made constructive

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact info@newton.ac.uk.

GRAW02 - Computational and algorithmic methods

Chevalley proved that the image of an algebraic morphism between algebraic varieties is a constructible set. Examples are orbits of algebraic group actions. A constructible set in a topological space is a finite union of locally closed sets and a locally closed set is the difference of two closed subsets. Simple examples show that even if the source and target of the morphism are affine varieties the image may neither be affine nor quasi-affine. In this talk, I will present a Gröbner-basis-based algorithm that computes the constructible image of a morphism of affine spaces, along with some applications.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity