arXiv++ Combinatorics

Browse math.CO papers from arXiv

Species with potential arising from surfaces with orbifold points of order 2, Part II: arbitrary weights

Published: 2016-11-24 | Updated: 2017-04-11
Comments: v2: Conjecture 12.6 of v1 now proved for unpunctured surfaces; classification of non-degenerate SPs improved; Jacobi-finiteness of SPs established for unpunctured surfaces; examples added; reference added; font size increased following comments of some colleagues. 67 pages, 47 figures

Abstract

Let $\mathbfΣ=(Σ,M,O)$ be a surface with marked points and order-2 orbifold points which is either unpunctured or once-punctured closed, and $ω:O\rightarrow\{1,4\}$ a function. For each triangulation $τ$ of $\mathbfΣ$ we construct a cochain complex $C^\bullet(τ,ω)$. A colored triangulation is defined to be a pair consisting of a triangulation $τ$ and a 1-cocycle of $C^\bullet(τ,ω)$; the combinatorial notion of colored flip of colored triangulations is then defined as a refinement of the notion of flip of triangulations. Our main construction associates to each colored triangulation a species and a potential, and our main result shows that colored triangulations related by a colored flip have SPs related by the corresponding SP-mutation. We define the flip graph of $(Σ,M,O,ω)$, whose vertices are the pairs $(τ,x)$ with $τ$ a triangulation and $x$ a cohomology class in $H^1(C^\bullet(τ,ω))$, with an edge between $(τ,x)$ and $(σ,z)$ iff $(τ,ξ)$ and $(σ,ζ)$ are related by a colored flip for some cocycles $ξ$ and $ζ$ respectively representing $x$ and $z$. We prove that this graph is disconnected if $Σ$ is not contractible. For unpunctured surfaces we show that $(τ,ξ)$ and $(τ,ξ')$ yield isomorphic Jacobian algebras if and only if $[ξ]=[ξ']$ in cohomology. We prove that every SP-realization of any $(τ,ω)$ via a non-degenerate SP over a cyclic Galois extension with certain roots of unity is right-equivalent to one of the SPs we construct here. The species constructed here are species realizations of the $2^{|O|}$ skew-symmetrizable matrices assigned by Felikson-Shapiro-Tumarkin to any given $τ$. In the prequel to this paper we realized only one of these matrices via species, but therein we allowed the presence of arbitrarily many punctures.

BibTeX

Loading...