Algorithm to Compute Orbit Zariski Closure in Affine Plane
Abstract
The article demonstrates the procedure how to compute the Zariski closure of an orbit by an algebraic action of finitely generated group on the affine plane. First half of the algorithm is about deciding whether given finitely generated group is contained in an algebraic group. For the next half, we compute the totality of the invariant subvarieties for a single triangular automorphism. Then, the computation for the individual generators is applied to compute the orbit Zariski closure for a finitely generated group.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.