Regular orbit closures in module varieties

Nguyen Quang Loc,Grzegorz Zwara
DOI: https://doi.org/10.48550/arXiv.math/0612541
2006-12-19
Abstract:Let A be a finitely generated associative algebra over an algebraically closed field. We characterize the finite dimensional modules over A whose orbit closures are regular varieties.
Algebraic Geometry,Representation Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the regularity conditions of orbit closures in the moduli space. Specifically, the authors study the conditions for finite - dimensional modules to have their orbit closures become regular varieties. They consider a finitely generated associative algebra \(A\) over an algebraically closed field, and the space \(\text{mod }A(d)\) of \(A\)-module structures. In this space, orbits are defined by the conjugation action of the general linear group \(\text{GL}(d)\), and these orbits correspond to the isomorphism classes of \(d\)-dimensional \(A\)-modules. The main result of the paper is to give a necessary and sufficient condition for the orbit closure \(\overline{O_M}\) of a \(d\)-dimensional \(A\)-module \(M\) to become a regular variety, that is: \[ \overline{O_M}\text{ is a regular variety} \iff B = A/\text{Ann}(M)\text{ is a hereditary algebra and }\text{Ext}_B^1(M, M) = 0. \] Here, \(\text{Ann}(M)\) represents the annihilator of the module \(M\), that is, the kernel of the algebraic homomorphism from \(A\) to \(\text{End}_k(M)\); \(B = A/\text{Ann}(M)\) is a finite - dimensional algebra; and \(\text{Ext}_B^1(M, M)\) represents the first - order extension group of the module \(M\). This result not only provides an important characterization of the geometric properties of orbit closures in the moduli space, but also has a close connection with other problems in representation theory (such as the properties of orbit closures of quiver representations). Through these studies, the authors provide a new perspective for understanding the geometric structure of the moduli space.