Table of Contents
Fetching ...

Deformations and Simultaneous Resolution of Determinantal Surfaces

Brian Makonzi

TL;DR

This work develops a noncommutative framework for the simultaneous resolution of determinantal surface singularities by extending reconstruction algebras with Ringel's canonical relation and then deforming the remaining relations alongside a GIT variation. The authors introduce deformed reconstruction algebras $\Lambda_{\boldsymbol{\upgamma}}$ parametrized by $\boldsymbol{\upgamma}$ in a base $\Delta$, and show that the corresponding moduli spaces $\mathcal{M}_{\upvartheta_0}(\Lambda_{\boldsymbol{\upgamma}},\boldsymbol{\updelta})$ are two-dimensional and smooth, enabling a deformation family whose fibers align with the determinantal singularity via a flat map $\uppi$. A separate invariant representation variety $\EuScript{R}^G$ is analyzed and shown to be generated by explicit cycles, allowing the construction of a smooth morphism $\upphi$ from a moduli space to $\Delta$ and leading to a diagram that provides a simultaneous resolution: $\upphi$ is smooth and $\uppi$ is flat, with the origin fiber recovering $\mathrm{Spec}\,R$. The results extend prior cyclic and Gorenstein cases to broader determinantal singularities and furnish a coherent noncommutative-geometry mechanism for simultaneous resolution via deformed reconstruction algebras and their moduli.

Abstract

This paper uses reconstruction algebras to construct simultaneous resolution of determinantal surfaces. The main new difference to the classical case is that, in addition to the quiver of the reconstruction algebra, certain noncommutative relations, namely those of the canonical algebra of Ringel, are required. All the relations of the reconstruction algebra except the canonical relation are then deformed, and these deformed relations together with variation of the GIT quotient achieve the simultaneous resolution.

Deformations and Simultaneous Resolution of Determinantal Surfaces

TL;DR

This work develops a noncommutative framework for the simultaneous resolution of determinantal surface singularities by extending reconstruction algebras with Ringel's canonical relation and then deforming the remaining relations alongside a GIT variation. The authors introduce deformed reconstruction algebras parametrized by in a base , and show that the corresponding moduli spaces are two-dimensional and smooth, enabling a deformation family whose fibers align with the determinantal singularity via a flat map . A separate invariant representation variety is analyzed and shown to be generated by explicit cycles, allowing the construction of a smooth morphism from a moduli space to and leading to a diagram that provides a simultaneous resolution: is smooth and is flat, with the origin fiber recovering . The results extend prior cyclic and Gorenstein cases to broader determinantal singularities and furnish a coherent noncommutative-geometry mechanism for simultaneous resolution via deformed reconstruction algebras and their moduli.

Abstract

This paper uses reconstruction algebras to construct simultaneous resolution of determinantal surfaces. The main new difference to the classical case is that, in addition to the quiver of the reconstruction algebra, certain noncommutative relations, namely those of the canonical algebra of Ringel, are required. All the relations of the reconstruction algebra except the canonical relation are then deformed, and these deformed relations together with variation of the GIT quotient achieve the simultaneous resolution.
Paper Structure (14 sections, 13 theorems, 61 equations)

This paper contains 14 sections, 13 theorems, 61 equations.

Key Result

Theorem 1.1

The diagram \begin{tikzpicture} \node (A) at (0,0) {$\Rep(\mathbb{C}Q/I,~\updelta)~ /\!\!\!\!/_{\upvartheta_0} \mathrm{GL}$}; \node (B) at (4,0) {$\text{Spec}~ \mathcal{\scrR}^G$}; \node (b) at (4,-2) {$\Delta$}; \draw[->] (A)-- node[above] {} (B); \draw[densely dotted,->] (A)-- node[belo

Theorems & Definitions (32)

  • Theorem 1.1: \ref{['thm: main']}
  • Definition 2.1
  • Lemma 3.1
  • proof
  • Proposition 3.2
  • proof
  • Corollary 3.3
  • proof
  • Definition 3.4
  • Remark 3.6
  • ...and 22 more