--- title: Representational Desingularization Overview url: https://www.emergentmind.com/topics/representational-desingularization type: topic --- # Representational Desingularization Overview Searching arXiv for the supplied papers and closely related formulations of desingularization across representation-theoretic settings. arXiv search: representational desingularization, quiver Grassmannian desingularization, singular Artin monoid desingularization, orbit closure noncommutative desingularization. Representational desingularization denotes a family of constructions in which a singular object is replaced by a smooth, non-singular, tame, or finite-homological-dimension object built from additional representation-theoretic, categorical, or combinatorial data. Across the cited works, the singular object may be a quiver Grassmannian, an orbit closure in a linear representation, a simplicial set, a semialgebraic set, a function field, a Lie groupoid, an Artin stack with good moduli space, or a singular Artin monoid; the desingularizing object may be a smooth moduli space of lifted subobjects, a blowup or projective bundle over a homogeneous space, a reflector \(D\), a noncommutative algebra \(\mathcal A=\mathcal{E}nd_X(\mathcal F)\), or a categorical action on \(D^b(\mathcal O)\) [1305.7502], [1105.0127], [2001.05758], [1204.0488], [1710.03220], [2205.12039]. A plausible synthesis is that the common mechanism is to embed the original problem into a larger ambient structure with better homological, equivariant, or combinatorial control, and then descend back to the original object by restriction, pushforward, or quotient. ## 1. Recurring pattern and basic forms The surveyed literature exhibits several recurring templates. In quiver-theoretic settings, one replaces submodules of a non-rigid module \(M\) by submodules of a related rigid object such as \(\mathrm{KLR}(M)\) or \(\widehat M\), and the desingularization map is induced by restriction of submodules [1305.7502], [1209.3960]. In orbit-closure settings, one starts from a \(G\)-stable subvariety defined by invariant equations and resolves it by a blowup along a closed orbit or by passing to an endomorphism algebra on a commutative resolution [1105.0127], [1204.0488]. In simplicial homotopy theory, desingularization is the reflector \[ D : sSet \rightleftarrows nsSet : U, \] with \(DX\) characterized by the universal property of representing all maps from \(X\) into non-singular simplicial sets [2001.05758]. In stack-theoretic and Lie-groupoid settings, singular behavior is encoded by stabilizers or by the local structure of a Lie algebroid, and desingularization proceeds by canonical reduction of stabilizers or by replacing a unit space \(M\) with a blowup \([M:L]\) [1710.03220], [1512.08613]. | Domain | Singular object | Desingularizing object | |---|---|---| | Quiver geometry | \(\mathrm{Gr}_w(M)\) | \(\coprod_{v\in V_w(M)} \mathrm{Gr}^{\mathrm{bs}}_{(v,w)}(\mathrm{KLR}(M))\) | | Gravitational spinors | \(X=\operatorname{Proj}(A)\) | \(\widetilde X \cong \mathbb P(\mathcal E)\to \mathrm{OGr}(2,11)\) | | Simplicial sets | \(X\in sSet\) | \(DX\), obtained by iterated enforced collapse | | Good moduli spaces | \(\mathcal X \to X\) | \(\mathcal X_n \to \cdots \to \mathcal X_0=\mathcal X\) | | Orbit closures | \(\mathrm{Spec}\,R\) | \(\operatorname{End}_Z(p^*\mathrm{Til})\) | This diversity matters because it prevents reduction of representational desingularization to a single birational recipe. The same word “desingularization” can refer to a proper birational morphism from a smooth variety, a projective bundle over a homogeneous space, a reflective localization, a noncommutative algebra of finite global dimension, or a weak action of a singular Artin monoid on a derived category [1105.0127], [2001.05758], [1204.0488], [2205.12039]. ## 2. Quiver Grassmannians, rigidity, and graded quiver varieties For a finite acyclic quiver \(Q\), a representation \(M\), and a dimension vector \(\mathbf e\), the quiver Grassmannian \(\operatorname{Gr}_{\mathbf e}(M)\) parametrizes subrepresentations of \(M\) of dimension vector \(\mathbf e\). These varieties are projective but in general singular; Reineke showed every projective variety occurs as some quiver Grassmannian [1305.7502]. Cerulli–Feigin–Reineke constructed desingularizations for Dynkin quivers by replacing \(M\) with an auxiliary module \(A(M)\) over an algebra \(H_Q\), and then mapping submodules of \(A(M)\) down to submodules of \(M\) [1209.3960]. Keller–Scherotzke recast this picture through Nakajima categories and graded quiver varieties. With \(\mathcal S_C \subset \mathcal R_C\), restriction \[ \mathrm{res}^C:\mathrm{Mod}(\mathcal R_C)\to \mathrm{Mod}(\mathcal S_C) \] admits an intermediate extension \(\mathrm{KLR}\), obtained as an intermediate Kan extension. For an \(\mathcal S_C\)-module \(M\), the key rigidifying hypothesis is \[ \mathrm{Ext}^1_{\mathcal R_C}(\mathrm{KLR}(M),\mathrm{KLR}(M))=0. \] Under this hypothesis, each \(\mathrm{Gr}_{(v,w)}(\mathrm{KLR}(M))\) is smooth and equidimensional, and the main desingularization theorem produces \[ \pi^{\mathrm{bs}}: \coprod_{v\in V_w(M)} \mathrm{Gr}^{\mathrm{bs}}_{(v,w)}(\mathrm{KLR}(M)) \longrightarrow \mathrm{Gr}_w(M), \qquad L\mapsto \mathrm{res}(L), \] a desingularization of \(\mathrm{Gr}_w(M)\) [1305.7502]. The source is smooth, \(\pi^{\mathrm{bs}}\) is proper and surjective, and it induces an isomorphism on dense open strata labeled by Nakajima dimension vectors \(v\). Fiberwise, Theorem 3.13 identifies the fiber over \(U\subset M\) with a quiver Grassmannian of submodules of \(\mathrm{KLR}(M)/\mathrm{KLR}(U)\) [1305.7502]. This construction extends the Dynkin-quiver result of Cerulli–Feigin–Reineke in two directions. First, it identifies the CFR functor \(A\) with the restriction of \(\mathrm{KLR}\) in the Dynkin case. Second, it covers all modules over the repetitive algebra of any iterated tilted algebra \(A\) of Dynkin type, because for such \(A\) the relevant projective category is Frobenius and Lemma 2.6(c) implies rigidity of \(\mathrm{KLR}(M)\) [1305.7502]. In the older Dynkin-only formulation, the desingularizing variety is a quiver Grassmannian for an algebra \(B_Q\) derived equivalent to the Auslander algebra, and the map \[ \pi_{[N]}:\operatorname{Gr}_{\underline{\dim}\widehat N}(\widehat M)\to \operatorname{Gr}_{\mathbf e}(M) \] is induced by restriction of a \(B_Q\)-subrepresentation to a \(kQ\)-subrepresentation [1209.3960]. In both papers, the singular parameter space is replaced by a moduli space of subobjects of a more rigid object, and the geometry is controlled by vanishing of \(\operatorname{Ext}^1\) and global dimension \(\le 2\). A recurring point in this quiver-theoretic branch is that the desingularization is itself representation-theoretic: the source is again a quiver Grassmannian or a bistable locus in a quiver Grassmannian, and the fibers are again quiver Grassmannians [1209.3960], [1305.7502]. This suggests a particularly strong form of representational desingularization in which both the singularity and its resolution remain inside the same moduli-theoretic universe. ## 3. Orbit closures, invariant equations, and noncommutative models Movshev’s study of eleven-dimensional gravitational spinors is an explicit example where a singular representation variety is resolved by homogeneous geometry. The basic representation is the 32-dimensional spinor module \(S_{11}\) of \(\mathrm{Spin}(11)\), with invariant quadrics \[ \Gamma^i_{\alpha\beta}\lambda^\alpha\lambda^\beta=0,\qquad i=1,\dots,11, \] defining \[ A=\mathbb C[\lambda^1,\dots,\lambda^{32}]/(v^1,\dots,v^{11}), \qquad X=\operatorname{Proj}(A)\subset \mathbb P^{31}. \] Igusa’s orbit classification yields that \(X\) is the closure of the 22-dimensional orbit, its smooth locus is \(\mathcal O_{22}\), and its singular locus is the closed orbit \(\mathcal O_{15}\cong \mathrm{OGr}(5,11)\) [1105.0127]. The \(\Lambda^2V_{11}\)-component of \(\mathrm{Sym}^2S_{11}\) produces a rational \(\mathrm{Spin}(11)\)-map \[ p:X\dashrightarrow \mathrm{OGr}(2,11), \] undefined exactly on \(X_{\mathrm{sing}}\). The desingularization \(\widetilde X\) is the closure of the graph of \(p\), equivalently the blowup of \(X\) along \(\mathrm{OGr}(5,11)\). It is smooth and admits \[ \widetilde X \cong \mathbb P(\mathcal E)\to \mathrm{OGr}(2,11) \] with fiber \(\mathbb P^7\), while the exceptional divisor is the flag variety \[ Y\cong \mathrm{OFl}(2,5,11), \] a quadric bundle over \(\mathrm{OGr}(2,11)\) [1105.0127]. The same resolution mediates a reformulation of the linearized eleven-dimensional supergravity equations as CR-holomorphic data on the super-homogeneous space \[ L=\frac{\mathrm{Spin}(11)\ltimes \mathrm{SUSY}}{P_2\ltimes \Pi\mathfrak t}. \] Here the desingularization is representation-theoretically natural at every level: the singular variety is an orbit closure, the resolution is a projective bundle over a homogeneous space, and the exceptional divisor is itself homogeneous [1105.0127]. A different but closely related branch appears in noncommutative desingularization of orbit closures for some representations of \(GL_n\). For determinantal, symmetric determinantal, and Pfaffian varieties, the singular affine variety \(\mathrm{Spec}\,R\) is an orbit closure under a \(GL_n\)-action, and there is a commutative desingularization \[ q:Z\to \mathrm{Spec}\,R \] where \(Z\) is the total space of a \(G\)-equivariant vector bundle over a Grassmannian [1204.0488]. If \(\mathrm{Til}\) is a tilting bundle on the Grassmannian, then \(p^*\mathrm{Til}\) is a tilting bundle on \(Z\), and \[ A=\operatorname{End}_Z(p^*\mathrm{Til}) \] has finite global dimension. This gives a noncommutative weak desingularization, and in favorable cases an NCCR, of \(\mathrm{Spec}\,R\) [1204.0488]. For maximal minors of square matrices and symmetric matrices, the construction gives a non-commutative crepant resolution, while in the Pfaffian and lower-rank symmetric cases the endomorphism algebra is not maximal Cohen–Macaulay and not reflexive, so one obtains only a weak desingularization together with a reflexive hull [1204.0488]. The quiver with relations of these endomorphism algebras is computed from exceptional collections on partial flag varieties. The general theorem identifies simples as \[ S_\beta=R\mathrm{Hom}_Z\!\left(p^*\!\bigoplus_\alpha \mathcal A_\alpha,\;u_*\mathcal V_\beta\right), \] and arrows and relations are generated by \(\mathrm{Ext}^1\) and \(\mathrm{Ext}^2\) between these simples [1204.0488]. The resulting quivers are \(GL_n\)-equivariant: vertices are partitions, arrows are labeled by representations such as \(E\), \(\mathrm{Sym}^2E\), or \(\wedge^2E\), and relations are determined by Littlewood–Richardson multiplicities and Borel–Weil–Bott calculations [1204.0488]. In this sense the singularity is not only resolved but reorganized into a representation-theoretic algebra whose module category is derived equivalent to the commutative resolution. ## 4. Reflectors, monoid maps, and categorification In simplicial homotopy theory, desingularization is formulated as a reflector onto non-singular simplicial sets. A simplex \(x\in X_n\) is embedded when its representing map \(\bar x:\Delta[n]\to X\) is degreewise injective, and \(X\) is non-singular if every non-degenerate simplex is embedded. The inclusion \[ U:nsSet\hookrightarrow sSet \] has a left adjoint \(D\), and the unit \[ \eta_X:X\to DX \] is terminal among maps from \(X\) into non-singular targets [2001.05758]. The abstract construction \[ DX=\mathrm{im}\!\Big(X\to \prod_{f:X\to Y}Y\Big) \] is replaced by a transfinite iterative process based on the enforced collapse functor \(J=Cen\). The main theorem states that for each simplicial set \(X\) there exists an ordinal \(\lambda\) such that \[ X=Cen^0(X)\to Cen^1(X)\to\cdots\to Cen^\lambda(X)\cong UDX, \] and at stage \(\lambda\) the object is already non-singular [2001.05758]. The paper explicitly constructs the enforcer \(\rho_x:[n_x]\to [m_x]\) of a non-degenerate simplex \(x\), pushes out along all enforcers, and proves that every singular non-degenerate simplex at stage \(\beta\) becomes degenerate at stage \(\beta+1\). The representational aspect here is categorical rather than geometric: \(DX\) is the object that represents all maps from \(X\) into non-singular simplicial sets. For singular Artin monoids, the classical desingularization map is the monoid homomorphism \[ \Delta:SB(W)\to \mathbb Z(B(W)), \qquad \Delta(\sigma_s)=\sigma_s,\quad \Delta(\tau_s)=\sigma_s-\sigma_s^{-1}. \] The paper generalizes this to maps \[ \Delta_\phi(\tau_s)=\phi(K_s)[\sigma_s] \] depending on a Laurent polynomial \(\phi\) on connected components of the odd skeleton, and proves Zariski generic injectivity in type \(A\), in dihedral type \(I_2(n)\), and in right-angled types [2205.12039]. It also constructs Hecke-algebra-valued analogues and several finite diagrammatic quotients, including the double Catalan monoid, \(F_n^*\), \(IS_n\), \(SIS_n\), and Brauer-type monoids [2205.12039]. The main higher-representational step is a categorification via BGG category \(\mathcal O\). On \(D^b(\mathcal O_0)\), the braid generators act by shuffling functors \[ \sigma_s \longmapsto LC_s, \] and the singular generators act by the two-term complex \[ \widehat\Theta_s:\quad 0\to \Theta_s \xrightarrow{\beta_s} \Theta_s(2)\to 0. \] Theorem 35 proves that \[ \sigma_s\mapsto LC_s,\qquad \tau_s\mapsto \widehat\Theta_s \] extends to a weak action of the singular Artin monoid \(SB(W)\) on \(D^b(\mathcal O_0)\), giving a categorification of the classical desingularization map for finite Weyl groups [2205.12039]. The crucial point is that the singular crossing is realized as a cone of a natural transformation between braid-group functors, so the passage from \(\tau_s\) to \(\sigma_s-\sigma_s^{-1}\) becomes a passage from a singular generator to a mapping cone in the derived category. These two cases show that desingularization can be representational without being birational. In one case it is a reflective localization in \(sSet\); in the other it is a monoid map into a group algebra and then a weak action on a derived category [2001.05758], [2205.12039]. ## 5. Stabilizers, Lie algebroids, Nash corners, and valuation trees For Artin stacks with good moduli spaces, Edidin–Rydh prove that if \[ \pi:\mathcal X\to X \] is a stable good moduli space morphism, then there is a canonical sequence \[ \mathcal X_n\to \mathcal X_{n-1}\to \cdots \to \mathcal X_0=\mathcal X \] such that the maximum dimension of a stabilizer of a point of \(\mathcal X_{k+1}\) is strictly smaller than the maximum dimension of a stabilizer of \(\mathcal X_k\), and the final stack \(\mathcal X_n\) has constant stabilizer dimension [1710.03220]. The induced morphisms on good moduli spaces \[ X_{k+1}\to X_k \] are projective and birational. If \(\mathcal X\) is smooth, each intermediate stack is smooth, the final stack is a gerbe over a tame stack, and the algebraic space \(X_n\) has tame quotient singularities; combined with Bergh’s destackification theorem, this yields a full desingularization of \(X\) [1710.03220]. Here the singularity is encoded by stabilizer dimension, and desingularization is canonically achieved by successive saturated blowups or Reichstein transforms along the maximal stabilizer loci. In Lie-groupoid geometry, Nistor desingularizes a Lie groupoid \(G\rightrightarrows M\) along an \(A(G)\)-tame submanifold \(L\subset M\). The local structure theorem identifies \(G\) near \(L\) with a fibered pull-back groupoid, and the desingularization \[ [[G:L]] \] is obtained by replacing the unit space \(M\) with the blowup \([M:L]\) and gluing in an edge-modified local model built from the adiabatic groupoid [1512.08613]. The space of units of \([[G:L]]\) is \([M:L]\), and its Lie algebroid is canonically identified with the desingularized algebroid \[ A([[G:L]])\cong [[A(G):L]]. \] This construction is designed for analysis on singular spaces, especially edge pseudodifferential calculus and asymptotically hyperbolic variants [1512.08613]. The representational content lies in replacing a singular orbit structure by a groupoid whose boundary fibers are explicit solvable Lie groups, so that pseudodifferential operators and \(C^*\)-algebras become tractable. In semialgebraic geometry, strong desingularization replaces a semialgebraic set \(S\subset\mathbb R^m\) by a Nash manifold with corners \(Q\subset X\) of the same dimension inside a nonsingular real algebraic set \(X\), together with a proper surjective map \(f|_Q:Q\to S\) that is a Nash diffeomorphism away from a lower-dimensional set [2306.08093]. Theorem 1.5 gives, for a closed semialgebraic set connected by analytic paths, an irreducible nonsingular real algebraic \(X\), a connected Nash manifold with corners \(Q\subset X\), a polynomial map \(f:\mathbb R^n\to \mathbb R^m\) with \[ f(X)=S^{\mathrm{Zar}},\qquad f(Q)=S, \] and a closed semialgebraic subset \(R\subset S\) with \(\dim R