Table of Contents
Fetching ...

Matrix factorization and the generic plane projection of curve a singularity

Joan Elias

TL;DR

The paper connects matrix factorizations to the generic plane projections of irreducible curve singularities in $\mathbb{C}^n$, using the plane projection to produce a complete intersection $\mathcal{O}_{(Y,0)}=\mathbb{C}\{x,y\}/(F)$ and a MF $(A,B)$ with $AB=BA=F\,\mathrm{Id}$, yielding a finite, flat family of MFs that specializes to each fiber. It establishes a global MF in the flat family and analyzes how the associated minimal resolutions reflect the equisingularity of the projection. A principal contribution is a bijective correspondence between orbits of matrix factorizations (modulo $Gl_b$ actions) and isomorphism classes of $\mathcal{O}_{(Y,0)}$-algebras arising as $\mathcal{O}_{(X,0)}$, parameterized by the minimal number of generators $b=\beta_{\mathcal{O}_{(Y,0)}}(\mathcal{O}_{(X,0)})$, thereby linking MF data to the algebraic structure of the space curve and its generic plane projection. The work also provides a concrete monomial-curve example and develops a general framework to classify MF corresponding to a fixed plane curve singularity via $\operatorname{MatRep}_{F,b}$ and a $Gl_b$-action, yielding a thorough correspondence between MF representations and $\mathcal{O}_{(Y,0)}$-algebra saturations of the same projection.

Abstract

We study the matrix factorizations defined by the generic plane projections of a curve singularity of $\mathbb{C}^3$. On the other hand, given a plane curve singularity $Y\subset \mathbb{C}^2$ we study the family of matrix factorizations defined by the space curve singularities $X\subset \mathbb{C}^3$ such that $Y$ is the generic plane projection of $X$.

Matrix factorization and the generic plane projection of curve a singularity

TL;DR

The paper connects matrix factorizations to the generic plane projections of irreducible curve singularities in , using the plane projection to produce a complete intersection and a MF with , yielding a finite, flat family of MFs that specializes to each fiber. It establishes a global MF in the flat family and analyzes how the associated minimal resolutions reflect the equisingularity of the projection. A principal contribution is a bijective correspondence between orbits of matrix factorizations (modulo actions) and isomorphism classes of -algebras arising as , parameterized by the minimal number of generators , thereby linking MF data to the algebraic structure of the space curve and its generic plane projection. The work also provides a concrete monomial-curve example and develops a general framework to classify MF corresponding to a fixed plane curve singularity via and a -action, yielding a thorough correspondence between MF representations and -algebra saturations of the same projection.

Abstract

We study the matrix factorizations defined by the generic plane projections of a curve singularity of . On the other hand, given a plane curve singularity we study the family of matrix factorizations defined by the space curve singularities such that is the generic plane projection of .

Paper Structure

This paper contains 5 sections, 12 theorems, 84 equations.

Key Result

Proposition 2.1

Let $(X,0)$ be a curve singularity of embedding dimension $n$. Then $(i)$$\mu(X,0)= 2 \delta(X,0) -r(X,0)+1$, where $r(X,0)$ is the number of branches of $(X,0)$. $(ii)$ It holds and $e_1(X,0)\le \binom{e_0(X,0)}{2}-\binom{n-1}{2}$. $(iii)$ If $X$ is singular then $\delta(X,0)+1 \le c(X,0)\le 2 \delta(X,0)$, and $c(X,0) = 2 \delta(X,0)$ if and only if ${\mathcal{O}}_{(X,0)}$ is a Gorenstein ring

Theorems & Definitions (38)

  • Proposition 2.1
  • proof
  • Proposition 3.1
  • Definition 3.2
  • Proposition 3.3
  • proof
  • Remark 3.4
  • Proposition 3.5
  • proof
  • Example 3.6
  • ...and 28 more