---
title: Quotient Perverse Schober
url: https://www.emergentmind.com/topics/quotient-perverse-schober
type: topic
---

# Quotient Perverse Schober

A quotient perverse schober is, in the most precise current sense, a perverse-schober construction whose global sections realize the categorical effect of collapsing a subsurface and passing to a Verdier quotient. In "Categorical realization of collapsing subsurfaces and perverse schobers" [2510.00104], the construction starts from a graded weighted decorated marked surface \(\mathbb S\), a subsurface \(\Sigma\subset \mathbb S\), and the quotient triangulated category
\[
D(\overline{\mathbb S}) \;:=\; D(\mathbb S)\big/ D(\Sigma),
\]
then produces a quotient perverse schober on the collapsed ribbon graph whose global sections recover this quotient. In the broader schober literature, however, quotient-language is heterogeneous: perverse schobers are generally categorifications of perverse sheaves, and their global categories are often obtained by gluing via limits rather than by quotienting in the Verdier sense [1411.2772; 2303.18249].

## 1. Local categorical structure

The foundational one-point model of a perverse schober is a spherical functor. In the original formulation, a perverse schober on a disk with one singular point is given by an exact functor
\[
S:\mathcal{D}_0 \to \mathcal{D}_1
\]
with left and right adjoints and associated twist and cotwist functors; this is the categorical analogue of the quiver description of \(\operatorname{Perv}(\Delta,0)\) [1411.2772]. In stable \(\infty\)-categorical language, an adjunction
\[
F:\mathcal A \rightleftarrows \mathcal B:G
\]
is spherical when the twist and cotwist are equivalences, and the relative Waldhausen construction
\[
S_n(F)=S_{n+1}\mathcal B\times_{S_n\mathcal B}S_n\mathcal A
\]
provides a local model for the stalks of a schober at a singularity; \(S_1(F)\) is the section category of the Grothendieck construction of \(F\) [2106.02873].

For ribbon-graph models, the local singularity is a spider. A perverse schober on the \(1\)-spider is a spherical adjunction
\[
F\colon \mathcal{V}\longleftrightarrow \mathcal{N}\cocolon G,
\]
while for \(n\ge 2\) it is a collection
\[
(F_i\colon \mathcal{V}^n\longleftrightarrow \mathcal{N}_i\cocolon G_i)_{i\in \mathbb Z/n}
\]
satisfying
\[
G_i \text{ fully faithful},\qquad F_iG_{i+1} \text{ an equivalence},\qquad F_iG_j\simeq 0 \text{ for } j\neq i,i+1,
\]
together with
\[
\mathrm{fib}(\mathrm{radj}(G_{i+1}))=\mathrm{fib}(F_i).
\]
Globalizing this, a parametrized perverse schober on a ribbon graph \(\Gamma\) is a functor
\[
F\colon \mathrm{Exit}(\Gamma)\rightarrow \mathrm{LinCat}_k
\]
whose restriction near each vertex is a perverse schober on the corresponding spider [2303.18249].

This local package is essential for quotient perverse schobers: the quotient construction does not replace the local spherical data, but reorganizes it around a collapsed vertex.

## 2. Surface-theoretic input and collapse

The geometric input in the quotient construction is a graded weighted decorated marked surface
\[
\mathbb S=(S,M,\Delta,w),
\]
where \(S\) is a compact oriented surface with nonempty boundary, \(M\subset \partial S\) is a finite nonempty set of marked points, \(\Delta\subset S\) is a finite nonempty set of decorations, and \(w:\Delta\to \mathbb Z_{\ge -1}\) is a weight function [2510.00104]. The grading is a foliation \(\nu\) on \(S\setminus (M\cup\Delta)\) satisfying
\[
\operatorname{ind}_\nu(x)=w(x)+2
\]
for each \(x\in \Delta\).

A mixed-angulation \(A\) is a finite set of graded open arcs cutting \(S\) into polygons such that a decoration \(z\) of weight \(w(z)\) is enclosed in a \((w(z)+2)\)-gon, and if \(\widetilde\gamma_1,\widetilde\gamma_2\) are successive edges around a polygon then
\[
\operatorname{index}_p(\widetilde\gamma_1,\widetilde\gamma_2)=0.
\]
Forward flips define the exchange graph \(EG(\mathbb S)\) [2510.00104].

The collapse operation starts from a subsurface \(\Sigma\subset \mathbb S\). If \(c_{ij}=\partial \Sigma_i\) is a boundary component of a connected component \(\Sigma_i\), then each \(c_{ij}\) is required to be either internal to \(S\) or an actual boundary component of \(S\), with the number of marked points on \(c_{ij}\) matching its winding number plus \(2\). The collapsed surface \(\overline{\mathbb S}\) is obtained by filling each \(c_{ij}\) with a disc carrying one new decoration of weight
\[
w_{ij}=\operatorname{ind}(c_{ij})-2.
\]

The resulting slogan is that a subsurface is “shrunk to a point,” and its topology is converted into a weighted decorated singularity. The paper emphasizes that this setup includes simple poles, i.e. weight \(-1\), which were not treated in the earlier work of Barbieri–Möller–Qiu–So [2510.00104]. This suggests that quotient perverse schobers are not merely abstract categorical quotients: they encode a geometric collapse in the same combinatorial language that already governs mixed-angulations and quadratic differentials.

## 3. Verdier quotient and the quotient schober

On the triangulated side, the quotient construction assumes a category \(D(\mathbb S)\) attached to the surface and satisfying three CHQ-type hypotheses: every graded closed arc \(\widetilde\gamma\) determines an object \(X_{\widetilde\gamma}\in D(\mathbb S)\); smoothing two closed arcs at an intersection corresponds to a cone; and the dual arcs of a mixed-angulation generate a finite heart \(H_A\) [2510.00104]. Concretely, if \(\widetilde e,\widetilde h\) intersect at a decoration \(z\) with
\[
\operatorname{index}_z(\widetilde e,\widetilde h)=d,
\]
then there is a unique morphism
\[
X_{\widetilde e}\to X_{\widetilde h}[d]
\]
whose cone is the object of the smoothed arc:
\[
\operatorname{Cone}\bigl(X_{\widetilde e}\to X_{\widetilde h}[d]\bigr)\simeq X_{\widetilde e\wedge_z \widetilde h}.
\]

Let \(D(\Sigma)\) be the thick subcategory generated by objects associated to arcs lying entirely inside \(\Sigma\). The quotient category is the Verdier quotient
\[
D(\overline{\mathbb S}) \;:=\; D(\mathbb S)\big/ D(\Sigma),
\]
with short exact sequence
\[
\begin{tikzcd}
0 \ar[r] & D(\Sigma) \ar[r] & D(\mathbb S) \ar[r,"\pi"] & D(\overline{\mathbb S}) \ar[r] & 0.
\end{tikzcd}
\]
The arc-to-object correspondence descends: for a graded closed arc \(\gamma\) on \(\overline{\mathbb S}\), choose a lift \(\widetilde\gamma\) upstairs and define
\[
X_\gamma:=\pi(X_{\widetilde\gamma}).
\]
This is well-defined because arcs that become homotopic after collapse map to isomorphic objects in the quotient [2510.00104].

The perverse-schober realization uses a ribbon graph \(G\), a connected subgraph \(sub\subset G\) corresponding to \(\Sigma\), and a \(G\)-parametrized perverse schober
\[
F:\operatorname{Exit}(G)\to \operatorname{LinCat}_k.
\]
Its global sections are
\[
C(G,F):=\varprojlim F.
\]
After collapsing \(sub\) to a single vertex \(v\), producing \(\overline G\), the restriction of \(F\) to \(sub\) gives a schober \(F'\), and the new local data at \(v\) are built from adjunctions
\[
(\overline F_i:\lim F' \rightleftarrows \mathcal N \cocolon \overline G_i)_{i\in \mathbb Z/N}.
\]
The paper verifies that these adjunctions satisfy the perverse-schober axioms. It then introduces a degenerate schober \(F_0\) supported on the collapsed part, with zero adjunctions, and identifies the quotient schober with the orthogonal complement. The resulting global sections fit into a cofiber sequence of stable \(\infty\)-categories
\[
C(sub,sub)\longrightarrow C(G,F)\longrightarrow C(\overline G,\overline F),
\]
and hence a short exact sequence on homotopy categories
\[
Ho\big(C(sub,sub)\big)\longrightarrow Ho\big(C(G,F)\big)\longrightarrow Ho\big(C(\overline G,\overline F)\big).
\]
This is the schober-theoretic realization of the Verdier quotient [2510.00104].

The distinctive feature of the quotient perverse schober is therefore exact: it packages a Verdier quotient as a local-to-global construction on a collapsed ribbon graph.

## 4. Hearts of quotient type, flips, and exchange graphs

The quotient category carries a distinguished class of hearts. If \(H_A\subset D(\mathbb S)\) is the heart attached to a refinement \(A\) of a mixed-angulation on the collapsed surface, then
\[
H_A\cap D(\Sigma)
\]
is a Serre subcategory, and the quotient
\[
H_A/(H_A\cap D(\Sigma))
\]
is a heart in \(D(\overline{\mathbb S})\). These are the hearts of quotient type [2510.00104].

The principal combinatorial-categorical theorem is the identification
\[
EG(\overline{\mathbb S})^{\mathrm{princ}}\cong EG\bigl(D(\overline{\mathbb S})\bigr)^{\mathrm{princ}}.
\]
More precisely, the principal part of the exchange graph of mixed-angulations on the collapsed surface is isomorphic to the principal part of the exchange graph of hearts in the quotient category, compatibly with forward and backward flips and simple tilting [2510.00104].

This quotient theorem extends a pattern already established for noncollapsed schober categories. In the surface-schober framework of [2303.18249], positivity of the arc system kit implies that the edge-objects form a simple-minded collection and hence a finite heart, with
\[
\mathrm{Ext}^i(L_e,L_h)\simeq
\begin{cases}
k & i=0,\ e=h,\\
0 & i=0,\ e\neq h,\\
0 & i<0.
\end{cases}
\]
In the same framework, flipping an edge in the \(S\)-graph corresponds to simple tilting of the heart at the corresponding simple object, and the backward tilt is described by
\[
(\mu_e^\flat)^{-1}\bigl(C(S^\flat,F^\flat)^\heartsuit\bigr).
\]
The quotient construction on collapsed surfaces preserves this flip/tilt paradigm, but the tilt now occurs after passing through the Verdier quotient [2303.18249].

A key technical step is that a flip on the collapsed surface can be lifted to a finite sequence of flips on a refinement upstairs. This is what makes the quotient exchange graph agree with the combinatorics of the collapsed surface [2510.00104].

## 5. Other meanings of “quotient” in the schober literature

The phrase “quotient perverse schober” should be distinguished from several earlier quotient-like uses of schober formalism.

| Context | Mechanism |
|---|---|
| Collapsing subsurfaces | Verdier quotient realized by a quotient schober [2510.00104] |
| Surface schobers and global sections | Limit/gluing, not Verdier quotient [2303.18249] |
| Ginzburg-algebra reconstruction | Homotopy colimit/pushout of local dg-categories [2101.01939] |
| Toric mutation wall-crossing | Inertia category of clean objects [1806.01381] |
| GIT and quotient-stack constructions | Subcategories of \(D(X/G)\), GIT quotients, factorization quotients [1908.04213; 2201.05902] |

In the weighted-surface theory of [2303.18249], the global section category is
\[
\Gamma(\Gamma,F)=\lim(F),
\]
equivalently the \(\infty\)-category of coCartesian sections. The paper explicitly states that global sections are not presented as a quotient in the usual Verdier sense; the fundamental mechanism is gluing via a limit. Quotient-flavored features do appear locally—semiorthogonal decompositions, mutations, contractions of ribbon graphs, and models such as \(\mathcal D(k[t_m])\) with restriction \(t_m\mapsto 0\)—but the basic construction remains a glued section category rather than a quotient [2303.18249].

The Ginzburg-algebra paper gives a parallel local-to-global picture. For an ideal triangulation \(\mathcal T\), there is a \(\Gamma_{\mathcal T}\)-parametrized perverse schober \(\mathcal F_{\mathcal T}\) with
\[
\mathcal{H}(\Gamma_{\mathcal T},\mathcal F_{\mathcal T}) \simeq \mathcal{D}(\mathscr{G}_{\mathcal T}),
\]
and an interior-supported version
\[
\mathcal{H}_{\Gamma^\circ}(\Gamma,\mathcal F_{\mathcal T}) \simeq \mathcal{D}\big(\mathscr{G}(Q^\circ_{\mathcal T},W'_{\mathcal T})\big).
\]
Here the global category is reconstructed from local disc categories by homotopy colimits and pushouts, so the quotient-like aspect is descent and support, not Verdier quotienting [2101.01939].

In the toric-mutation setting, a schober on the sphere or cylinder yields two embeddings of the inertia category of clean objects into the global sections, and their comparison produces the wall-crossing transformation
\[
(Y,m)\longmapsto (Y,m^{-1}\circ \frak m).
\]
This passage to inertia is quotient-like in the sense of objects equipped with monodromy automorphisms, but it is not a quotient schober in the collapsed-surface sense [1806.01381].

Finally, several schober constructions arise from quotient geometry rather than quotient categories. The GIT schober of [1908.04213] extends the Halpern-Leistner–Sam local system across a hyperplane arrangement using subcategories of \(D(X/G)\), while [2201.05902] uses the derived factorization quotient
\[
D^{abs}[\fact_G(X,\chi,W)] := [\fact_G(X,\chi,W)]/[\acyc_G(X,\chi,W)]
\]
and VGIT windows in the construction of a schober on \(P^1\). These are schobers built from quotient stacks or quotient categories, but not quotient perverse schobers in the specific Verdier-quotient-by-collapse sense.

## 6. Stability conditions and quadratic differentials

The principal application of the quotient perverse schober is the description of stability conditions by quadratic differentials on the collapsed surface. For a quadratic differential \(\varphi\) on a Riemann surface \(C\), the relevant local coordinates are periods on the anti-invariant hat-homology
\[
\widehat H_1(\varphi)=H_1(\widehat C\setminus \widehat P,\widehat Z;\mathbb C)^-,
\]
and on the saddle-free locus the stability function is
\[
Z_0(S_i)=\int_{\gamma_i}\sqrt{\varphi},
\]
where \(\gamma_i\) is the closed arc corresponding to the simple object \(S_i\). The main theorem is an isomorphism of complex manifolds
\[
\iota:\mathrm{FQuad}^{\bullet}(\mathbb S)\;\xrightarrow{\sim}\; \mathrm{Stab}^{\bullet}(D(\overline{\mathbb S})),
\]
extended from the saddle-free locus by the stratification by saddle and recurrent trajectories together with the “walls have ends” lemma [2510.00104].

This quotient theorem sits naturally beside the noncollapsed correspondence of [2303.18249], where
\[
FQuad(S)\to \mathrm{Stab}(\mathcal S)
\]
is a biholomorphism onto a union of connected components, and
\[
FQuad^{\bullet}(S)\to Stab^{\bullet}(\mathcal S)
\]
is an isomorphism onto its image. That framework already includes weighted marked surfaces with zeros, poles, boundary singularities, and exponential singularities, with local models such as an \((m+2)\)-gon for a zero of order \(m\), a \(1\)-gon for a simple pole, and \(n\) distinct \(\infty\)-gons for an exponential singularity of order \(n\) [2303.18249].

The quotient perverse schober adds a further operation to this dictionary: collapsing a subsurface, realizing the resulting category as a Verdier quotient, identifying its hearts with mixed-angulations of the collapsed surface, and then transporting the entire structure to the stability manifold. In that sense, it is a categorical device that converts geometric collapse into schober gluing, Verdier quotient, exchange-graph combinatorics, and finally a quadratic-differential description of stability conditions [2510.00104].

Source: https://www.emergentmind.com/topics/quotient-perverse-schober