Codimension two singularities for representations of extended Dynkin quivers (Q2385053): Difference between revisions

Let \(k\) be an algebraically closed field. For a quiver \(Q=(Q_0 ,Q_1, s, e)\) and a dimension vector \(d\in\mathbb{Z}^{Q_0}\) we let rep\(_Q(d)\) be the vector space of representations corresponding to \(d\). Now \(\text{GL}(d)\) acts on rep\(_Q(d)\) in a natural way, hence given a representation \(V\) or \(Q\) we can consider the \(\text{GL}(d)\)-orbit in rep\(_Q(d),\) which consists of the representations isomorphic to \(V\) -- we shall write this orbit as \(\mathcal{O}_V.\) Let \(M\) and \(N\) be representations in rep\(_Q(d)\) such that \(\mathcal{O}_N\subset\mathcal{\bar{O}}_M,\) where \(\mathcal{\bar{O}}_M\) is the Zariski closure of \(\mathcal{O}_M\) in rep\(_Q(d).\) Write Sing\((M,N)\) for the set of smoothly equivalent classes of pointed varieties. The regular points form a type of singularity which we shall denote Reg. In the case where \(\mathcal{O}_N\) has codimension one in \(\mathcal{\bar{O}}_M\) it is known that Sing\((M,N) =\) Reg; furthermore of \(\mathcal{O}_N\) has codimension two and \(Q\) is a Dynkin quiver then again Sing\((M,N) =\) Reg. Here the author investigates the codimension two case when \(Q\) is an extended Dynkin quiver. In the case where \(Q\) is the Kronecker quiver one has two types of singularities, namely \(A_r=\) Sing\((\mathcal{A}_{r+1},0)\) and \(C_r=\) Sing\((\mathcal{C}_r,0)\), where \(\mathcal{A}_r=\{ ( uv, u^r, v^r) \in k^3\mid u,v\in k\} \) and \(\mathcal{C}_r=\{(u^r, u^{r-1}v,\dots,v^r) \in k^{r+1}\mid u,v\in k\} .\) Note that \(C_1=\) Reg, \(C_2=A_1\) and the remaining types are all distinct. The main result is that for \(Q\) an extended Dynkin quiver in the codimension two case we have Sing\((M,N) \) is one of the \(A_r\) or \(C_r\)'s. If \(Q\) is a cyclic quiver then Sing\((M,N) \neq C_r\) for \(r\geq3,\) i.e. Sing\((M,N) =A_r\) or Reg.