The quiver with superpotentials of a $d$-angulation of a marked surface

Basic Information

• Paper ID: 2501.00435
• Title: The quiver with superpotentials of a $d$-angulation of a marked surface
• Authors: Bo Le, Bin Zhu
• Classification: math.RT (Representation Theory), math.RA (Rings and Algebras)
• Publication Date: December 31, 2024 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2501.00435

Abstract

This paper associates to each $d$-angulation of an unpunctured marked surface a quiver with superpotential. The authors prove that, in the sense of quasi-isomorphism, flips of $d$-angulations are compatible with Oppermann mutations (of Ginzburg algebras) of the corresponding quivers with superpotential, thereby partially generalizing results from LF09. This is applied to the generalized $(d-2)$-cluster categories associated with quivers with superpotential, proving that certain almost complete $(d-2)$-cluster tilting objects in higher cluster categories have exactly $d-1$ complements.

Research Background and Motivation

1. Core Problem: This paper aims to establish a correspondence between geometric objects ($d$-angulations) and algebraic objects (quivers with superpotential and their Ginzburg algebras), and to study the compatibility of these objects under mutation operations.
2. Significance:
   • Cluster algebra theory is an interdisciplinary field spanning algebraic geometry, representation theory, and combinatorics with important theoretical value
   • Geometric models provide intuitive understanding of abstract algebraic structures
   • Geometric realization of higher cluster categories facilitates understanding of more complex mathematical structures
3. Limitations of Existing Methods:
   • Labardini-Fragoso's work LF09 only addressed the case $d=3$ (triangulations)
   • Lack of systematic study of the relationship between general $d$-angulations and quivers with superpotential
   • Technical difficulties in handling self-folding arcs
4. Research Motivation:
   • Generalize the geometric-algebraic correspondence to more general $d$-angulations
   • Provide geometric models for generalized higher cluster categories
   • Study the problem of counting complements of almost complete cluster tilting objects

Core Contributions

1. Established correspondence between $d$-angulations and quivers with superpotential: For each $d$-angulation $D$ of an unpunctured marked surface, constructed the corresponding quiver with superpotential $(Q_D, W_D)$
2. Proved compatibility of flips and mutations: In the sense of quasi-isomorphism, the flip operation on $d$-angulations is compatible with Oppermann mutations of the corresponding Ginzburg algebras
3. Generalized Labardini-Fragoso's results: Extended results from LF09 concerning triangulations ($d=3$) to general $d$-angulations
4. Determined the number of complements: Proved that for almost complete $(d-2)$-cluster tilting objects corresponding to non-self-folding arcs, the number of complements is exactly $d-1$

Methodology Details

Problem Formulation

Given an unpunctured marked surface $(S,M)$ and its $d$-angulation $D$, construct the corresponding quiver with superpotential $(Q_D, W_D)$, and study the relationship between the flip operation $\mu_i(D)$ and the quiver mutation $\mu'_i(Q_D, W_D)$.

Model Architecture

Definition of $d$-angulations

• Marked surface: $(S,M)$, where $S$ is a compact connected oriented Riemann surface and $M \subset \partial S$ is a finite set of marked points
• $d$-angulation: A compatible collection of arcs $D$ that partitions the surface into $d$-gons
• Flip operation: For an arc $i \in D$, obtain a new arc $\mu_D(i)$ by moving the endpoints counterclockwise along the boundary to the next marked point

Construction of Quivers with Superpotential

For each $d$-gon $D_i$, construct a graded directed complete graph $Q(D_i)$:

• Vertices: Indexed by non-boundary edges of $D_i$
• Arrows: Each arrow $\phi$ has degree $|\phi| = -n$, where $n$ is the number of other edges lying between $s(\phi)$ and $t(\phi)$ in the clockwise direction
• Superpotential: $W(D_i)$ is the sum of all 3-cycles, satisfying $\{W(D_i), W(D_i)\} = 0$

Mutation Operations

Two types of mutations are defined:

1. Oppermann mutation: Standard mutation of quivers with superpotential $\mu_i(Q,W)$
2. Modified mutation: $\mu'_i(Q,W)$, obtained by removing redundant arrow pairs and adjusting the superpotential

Technical Innovations

1. Handling self-folding arcs: When arc $i$ is self-folding (i.e., contained in the same $d$-gon), special treatment is required for loops and composite arrows generated during the mutation process
2. Quasi-isomorphism proof: Using the arrow elimination technique in Lemma 3.1, prove that $\Gamma_1$ and $\Gamma_2$ (Ginzburg algebras corresponding to the two types of mutations) are quasi-isomorphic
3. Graded quiver structure: Through carefully designed grading structure, ensure that the Ginzburg algebra satisfies homological smoothness and Calabi-Yau property

Experimental Setup

Theoretical Verification

This paper is primarily theoretical work, verifying results through mathematical proofs rather than numerical experiments:

1. Concrete Examples:
   • Example 2.11: 4-angulation on the torus
   • Example 2.17: Specific calculations of flip-mutation compatibility
   • Example 4.12: Analysis of self-folding arc special cases
2. Geometric Models:
   • Geometric realization of types $A_n$ and $\tilde{A}_n$
   • Comparison with classical $m$-cluster categories

Evaluation Criteria

• Mathematical Rigor: All main results have complete mathematical proofs
• Consistency: Construction is consistent with known triangulation cases
• Completeness: All possible cases are handled (including self-folding arcs)

Main Results

Core Theorems

Theorem 2.16: For the quiver with superpotential $(Q,W)$ corresponding to a $d$-angulation $(S,M,D)$, $\mu'_i(Q,W)$ is the quiver with superpotential corresponding to $(S,M,\mu_i(D))$.

Theorem 3.5: There exists a quasi-isomorphism $\Gamma_1 \to \Gamma_2$, where $\Gamma_1$ and $\Gamma_2$ are the Ginzburg algebras corresponding to $\mu_i(Q,W)$ and $\mu'_i(Q,W)$ respectively.

Theorem 3.6: The following diagram commutes in the sense of quasi-isomorphism:

$(S,M,D)$ ——————————→ $(Q,W)$
    |                     |
   flip                mutation
    ↓                     ↓
$(S,M,\mu_i(D))$ ————→ $\mu_i(Q,W)$

Theorem 4.10: Let $T$ be a cluster tilting object with indecomposable direct summands $T_j$. If the corresponding arc $j$ is not self-folding, then the almost complete $(d-2)$-cluster tilting object $T/T_j$ has exactly $d-1$ complements.

Important Corollaries

• Provides a geometric model for generalized $(d-2)$-cluster categories
• Establishes complete correspondence between geometric flips and algebraic mutations
• Determines the exact number of complements in higher cluster categories

Related Work

Main Research Directions

1. Cluster Algebra Theory: Cluster algebra theory pioneered by Fomin-Zelevinsky FZ02
2. Geometric Models: Geometric approach by Fomin-Shapiro-Thurston FST08
3. Higher Cluster Categories: Higher cluster category theory by Keller Kel05 and others
4. Quivers with Superpotential: Mutation theory by Derksen-Weyman-Zelevinsky DWZ08

Position of This Work

• Direct Generalization: Generalization from $d=3$ to general $d$ of Labardini-Fragoso LF09
• Methodological Innovation: Using Oppermann's Opp17 mutation rules to handle higher-dimensional cases
• Technical Improvements: Handling technical difficulties such as self-folding arcs

Comparison with Related Work

• Distinction from Jacquet-Malo JM24: Detailed comparison of two different construction methods in Section 6
• Advantages: This paper's construction more directly corresponds to geometric flip operations

Conclusions and Discussion

Main Conclusions

1. Successfully established a bijective correspondence between $d$-angulations and quivers with superpotential
2. Proved compatibility of geometric flips and algebraic mutations in the sense of quasi-isomorphism
3. Provided concrete geometric models for higher cluster categories
4. Resolved the counting problem for complements of almost complete cluster tilting objects

Limitations

1. Scope of Application: Limited to unpunctured marked surfaces
2. Self-folding Arcs: Handling of self-folding arcs is complex, with some results not fully applicable
3. Computational Complexity: Computation becomes extremely complex for large $d$-angulations

Future Directions

1. Extension to Punctured Surfaces: Handle cases with interior marked points
2. Refinement of Self-folding Arc Theory: Provide complete characterization of the number of complements in self-folding arc cases
3. Computational Methods: Develop efficient algorithms for handling large-scale cases
4. Application Extensions: Explore applications in other mathematical fields

In-Depth Evaluation

Strengths

1. Theoretical Innovation: Generalizes the classical results of Labardini-Fragoso to more general cases with important theoretical value
2. Technical Rigor: All main results have complete and detailed mathematical proofs with meticulous technical handling
3. Geometric Intuition: Provides intuitive geometric interpretation for abstract higher cluster categories
4. Completeness: Systematically handles various cases, including technically difficult self-folding arc cases

Weaknesses

1. Technical Complexity: The proof process is quite complex, particularly the quasi-isomorphism proof involves substantial technical details
2. Readability: High threshold for understanding by non-specialists
3. Practical Applicability: Primarily theoretical results with limited direct application value

Impact

1. Academic Contribution: Provides important theoretical tools for representation theory and cluster algebra theory
2. Methodological Value: Technical methods for handling self-folding arcs may provide insights for other related problems
3. Foundation for Future Research: Establishes foundation for further research on geometric models of higher cluster categories

Applicable Scenarios

1. Representation Theory Research: Provides geometric tools for studying higher cluster categories
2. Algebraic Geometry: Study of correspondence between geometric structures on surfaces and algebraic objects
3. Combinatorics: Study of associations between combinatorial structures and algebraic structures

References

The paper cites 35 related references, mainly including:

• FZ02 Fomin-Zelevinsky: Foundational work on cluster algebras
• FST08 Fomin-Shapiro-Thurston: Geometric approach to cluster algebras
• LF09 Labardini-Fragoso: Correspondence between triangulations and quivers with potential
• DWZ08 Derksen-Weyman-Zelevinsky: Mutation theory for quivers with potential
• Opp17 Oppermann: Mutation rules for non-positively graded quiver algebras

Overall Assessment: This is a high-quality mathematical theory paper that makes important contributions to cluster algebra theory and representation theory. Although technically demanding, it provides important tools for understanding the geometric structure of higher cluster categories and possesses significant academic value.