Chevalley’s Theorem on constructible images made constructive
Duration: 52 mins 45 secs
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Barakat, M
Thursday 30th January 2020 - 09:10 to 10:00 |
|---|
| Created: | 2020-01-30 10:38 |
|---|---|
| Collection: | Groups, representations and applications: new perspectives |
| Publisher: | Isaac Newton Institute |
| Copyright: | Barakat, M |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | 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. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video | 640x360 | 1.93 Mbits/sec | 764.36 MB | View | Download | |
| WebM | 640x360 | 475.54 kbits/sec | 183.79 MB | View | Download | |
| iPod Video | 480x270 | 522.18 kbits/sec | 201.75 MB | View | Download | |
| MP3 | 44100 Hz | 249.79 kbits/sec | 96.60 MB | Listen | Download | |
| Auto * | (Allows browser to choose a format it supports) | |||||