Finite separating sets and quasi-affine quotients

Nagata’s famous counterexample to Hilbert’s fourteenth problem shows that the ring of invariants of an algebraic group action on an affine algebraic variety is not always finitely generated. In some sense, however, invariant rings are not far from affine. Indeed, invariant rings are always quasi-aff...

Full description

Bibliographic Details
Main Author: Dufresne, E
Format: Journal article
Published: Elsevier 2012
_version_ 1826285576005877760
author Dufresne, E
author_facet Dufresne, E
author_sort Dufresne, E
collection OXFORD
description Nagata’s famous counterexample to Hilbert’s fourteenth problem shows that the ring of invariants of an algebraic group action on an affine algebraic variety is not always finitely generated. In some sense, however, invariant rings are not far from affine. Indeed, invariant rings are always quasi-affine, and there always exist finite separating sets. In this paper, we give a new method for finding a quasi-affine variety on which the ring of regular functions is equal to a given invariant ring, and we give a criterion to recognize separating algebras. The method and criterion are used on some known examples and in a new construction.
first_indexed 2024-03-07T01:30:54Z
format Journal article
id oxford-uuid:938f8fe9-30e0-433f-81b8-a37f024c659a
institution University of Oxford
last_indexed 2024-03-07T01:30:54Z
publishDate 2012
publisher Elsevier
record_format dspace
spelling oxford-uuid:938f8fe9-30e0-433f-81b8-a37f024c659a2022-03-26T23:33:09ZFinite separating sets and quasi-affine quotientsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:938f8fe9-30e0-433f-81b8-a37f024c659aSymplectic Elements at OxfordElsevier2012Dufresne, ENagata’s famous counterexample to Hilbert’s fourteenth problem shows that the ring of invariants of an algebraic group action on an affine algebraic variety is not always finitely generated. In some sense, however, invariant rings are not far from affine. Indeed, invariant rings are always quasi-affine, and there always exist finite separating sets. In this paper, we give a new method for finding a quasi-affine variety on which the ring of regular functions is equal to a given invariant ring, and we give a criterion to recognize separating algebras. The method and criterion are used on some known examples and in a new construction.
spellingShingle Dufresne, E
Finite separating sets and quasi-affine quotients
title Finite separating sets and quasi-affine quotients
title_full Finite separating sets and quasi-affine quotients
title_fullStr Finite separating sets and quasi-affine quotients
title_full_unstemmed Finite separating sets and quasi-affine quotients
title_short Finite separating sets and quasi-affine quotients
title_sort finite separating sets and quasi affine quotients
work_keys_str_mv AT dufresnee finiteseparatingsetsandquasiaffinequotients