arXiv Science⌕ Search

arXiv · 2610.09319

Derived Picard reconstruction for graded surfaces with stops

Abstract

We study reconstruction of graded surfaces with stops $(S,M,η)$ from their mapping class groups and the derived Picard groups of their partially wrapped Fukaya categories. In genus at least two, we prove that the ungraded mapping class group determines the surface with stops $(S,M)$, while the derived Picard group with the shift distinguished determines the underlying graded surface $(S,η)$. Nevertheless, the derived Picard group with both the shift and the Serre functor distinguished has countably infinite fibres. We also construct arbitrarily large finite families of pairwise non-equivalent categories with the same invariant and Grothendieck rank. For line fields induced by nowhere-vanishing vector fields, we show that the rational Serre representation determines the surface with stops $(S,M)$ in every genus. For arbitrary line fields in genus at least two, the full integral derived Picard representation, with the shift distinguished, has fibres of cardinality at most four. It completely determines the graded surface with stops $(S,M,η)$ when $S$ has one or at least five boundary components, while non-singleton fibres occur for two, three, and four boundary components.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Wen Chang, Dongjian Wu. 2026-10-07. Derived Picard reconstruction for graded surfaces with stops. https://arxiv.org/abs/2610.09319

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The double super Yangians in type A for arbitrary $0^m 1^n$-sequences and their bosonic representations

In this paper, we introduce the double super Yangian $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ associated with any fixed $0^{m}1^{n}$-sequence $\mathfrak{s}$. First, we establish an explicit isomorphism between the Drinfeld and R-matrix presentations of $\mathrm{DY}_{h}(\mathfrak{gl}^{\mathfrak{s}}_{m|n})$. We then generalize the notion of the quantum Berezinian to $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$, and employ it to construct the R-matrix presentation of $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ and prove that it is isomorphic to the Drinfeld presentation. As an application, we present level-1 bosonic representations for $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ in terms of their Drinfeld current generators.

math.RT↗

Tilting mutation of gentle algebras and its combinatorial description

Tilting mutation provides a natural way to construct derived-equivalent algebras by replacing an indecomposable summand of a tilting object. Holm, Schröer and Zimmermann~\cite{HSZ01} (see also the appendix of~\cite{AA08}) have described combinatorial transformations of the quiver and relations of a gentle algebra that yield derived equivalences via tilting complexes. In this paper, we develop a self-contained module-theoretic framework for tilting mutation via generalized $\mathrm{BB}$-tilting modules. For a gentle algebra $A=\mathbb{k} Q/\langle I\rangle$ and a vertex $k\in Q_0$, we first give a necessary and sufficient condition, expressed in terms of the arrows and relations incident with $k$, for the corresponding minimal left approximation of $P(k)$ to yield a tilting mutation. This criterion applies uniformly to vertices with or without loops. When the mutation exists, we determine the irreducible morphisms between the indecomposable summands of the mutated tilting module and use them to construct explicitly the Gabriel quiver and defining relations of its endomorphism algebra. In particular, we also provide a combinatorial mutation $(Q,I)\mapsto(Q',I')$ of gentle pairs such that $μ_k^+(A)\cong \mathbb{k} Q'/\langle I'\rangle,$ so the resulting algebra is again gentle and derived equivalent to $A$. Finally, we formulate the dual cotilting mutation and its combinatorial description via opposite gentle pairs.

math.RT↗

Tensor Product Does Not Behave Additively on Delooping Level

The Finitistic Dimension Conjecture is one of the most important homological conjectures in the representation theory of finite-dimensional algebras. Recently, Gélinas arXiv:2004.04828 proposed the notion of "delooping level" to study the finitistic dimension Conjecture. This article reports a misconception between the delooping level and the tensor product of algebras. Namely, for finite-dimensional algebras $A$ and $B$, the difference $\operatorname{dell}(A\otimes_{\mathbf{k}}B) - \left(\operatorname{dell}(A)+ \operatorname{dell}(B)\right)$ can be arbitrarily large or negative.

math.RT↗