Root stacks and periodic decompositions

For an effective Cartier divisor D on a scheme X we may form an nth root stack. Its derived category is known to have a semiorthogonal decomposition with components given by D and X. We show that this decomposition is 2n-periodic. For n=2 this gives a purely triangulated proof of the existence of a known spherical functor, namely the pushforward along the embedding of D. For n>2 we find a higher spherical functor in the sense of recent work of Dyckerhoff, Kapranov and Schechtman. We use a realization of the root stack construction as a variation of GIT, which may be of independent interest.


Introduction
For an effective Cartier divisor D on a scheme X it is known that the derived pushforward functor from D b (D) to D b (X) is spherical.In this paper we explain how this spherical functor arises from a geometric 4-periodic semiorthogonal decomposition of D b X/D , where X/D is the square root stack for the divisor D. We furthermore exhibit a higher spherical functor, namely a 2n-spherical functor, in this setting by giving an analogous 2n-periodic semiorthogonal decomposition of D b n X/D for n ≥ 2.
Along the way we improve on existing semiorthogonal decomposition results, in particular by working with the bounded coherent derived category, without smoothness assumptions.
1.1.Spherical functors and periodic decompositions.In the original formulation by R. Anno and T. Logvinenko [AL17] a spherical functor is a DG functor F : A → B between pretriangulated DG categories with left and right adjoints L and R, such that the cones of the L ⊣ F adjunction counit and unit induce autoequivalences of the homotopy categories of A and B respectively.In [HLS16] D. Halpern-Leistner and I. Shipman proved that if F is spherical then the category T glued from A and B via F , see [KL15], admits a 4-periodic semiorthogonal decomposition, see Definition 4.Moreover, given a 4-periodic semiorthogonal decomposition (1.A), the gluing functor ι R A ι B is spherical.These results suggest that one might consider an analogue of a spherical functor for triangulated categories without choosing a DG enhancement.
Similar ideas appeared in the work of M. Kapranov and V. Schechtman who in [KS14] noted that, given a 4-periodic semiorthogonal decomposition (1.A) of a triangulated category T in a suitably-enhanced1 setting, the functor ι R A ι B is 'spherical' in the sense that the cones of adjunction unit and counit are well-defined and are autoequivalences.Indeed, the functorial exact triangles for decompositions B, C and D, A respectively imply that the ι L B ι A ⊣ ι R A ι B adjunction unit and counit fit into functorial exact triangles as follows.
The functorial cones of the unit and counit are compositions of mutation functors ι R A ι C , ι R C ι A , ι L B ι D and ι L D ι B , hence they are equivalences by [Bon89].By analogy with this, given a triangulated category T with a 4-periodic semiorthogonal decomposition as in (1.A), we shall say that the gluing functor ι R A ι B is triangle-spherical.The first example of a geometric 4-periodic decomposition appeared in [BB22].There the appropriate quotient of the derived category of the fiber product of two varieties X + and X − related by a flop was proved to have a 4-periodic semiorthogonal decomposition with components D b (X ± ) and D b (A f ± ) for abelian null categories A f ± ⊂ Coh(X ± ).
1.2.Divisors and spherical functors.A basic example of a spherical functor is i D * : D b (D) → D b (X) for a scheme X and the inclusion i D : D → X of a Cartier divisor.This spherical functor appeared in the original paper of R. Anno [Ann07] defining spherical functors and later in the work of N. Addington [Add16], though both statements were without proofs.Note that, in [Ann07] a DG enhancement was not present while in [Add16] the author considered Fourier-Mukai kernels instead of functors between derived categories.In the case when both D and X are smooth, A. Bondal and D. Orlov [BO95] proved that the cone of the i * D ⊣ i D * adjunction unit is an autoequivalence of D b (X).Under the same assumptions, but allowing D and X to be stacks, A. Without the smoothness assumption the first named author and A. Bondal in [BB22, Theorem 3.1] proved that, for unbounded derived categories of quasi-coherent sheaves, i D * : D QCoh (D) → D QCoh (X) and its left adjoint form a spherical couple, i.e. the adjunction unit and counit fit into functorial exact triangles as follows.
Note that a spherical couple, unlike a spherical functor, requires an adjoint on only one side.More precisely, it is a 2-categorical adjunction in the bicategory FM whose objects are quasi-compact, quasi-separated schemes over a field while Hom FM (X, Y ) is the category D QCoh (X ×Y ).As the latter is triangulated, once a lifting of the adjunction (co)unit to a 2-morphism in FM is fixed, one can consider the cone and check if it is an equivalence.
1.3.Root stacks and higher spherical functors.In this paper we consider the root stacks n X/D for n ≥ 2. Informally speaking, the root stack construction takes a scheme X and modifies it along an effective Cartier divisor D to get a stack with stabilizer groups µ n along D. As explained in Section 2.4, the stacky weighted projective line P(1, n) is an instance of this construction, which becomes important and natural when passing from the setting of schemes to that of stacks.
We 1.4.Variation of GIT.To construct the 2n-periodic decomposition we express the passage from X to the root stack n X/D as a wall crossing in geometric invariant theory (GIT), also known as a 'variation of GIT'.There exists a general framework, see [HLS16], for associating spherical functors to balanced wall crossings in GIT.The wall crossing in our case is not balanced, but for n = 2 a spherical functor still arises from it, as we shall see from the viewpoint of periodic decompositions.
Previous work including [BFK19,HL15] has shown that stacks naturally arise when studying schemes and their derived categories.The present paper further illustrates this theme.
1.5.Results.For an effective Cartier divisor D on a scheme X we write n X/D for the associated n th root stack.This may be described in a number of ways, which we explain in detail in Section 2. The most useful description for us is by a variation of GIT for a G m -action on a scheme X defined as follows.
Proposition 1.1 (Proposition 2.9).Write X for the subscheme {yz n = s} of the total space of O X (D)⊕O X with fiber coordinates (y, z) and s the canonical section of O X (D).
Let G m act fiberwise with weights (−n, 1).Then the GIT quotients are as follows.
Base changing the root stack construction to the divisor D itself, we obtain a square where n O D (D) is the root stack of the given line bundle on D, see Definition 2.3.Theorem 1.2 (Theorem 3.7).We have semiorthogonal decompositions as follows.Remark 1.3.The similarity of these decompositions with the Orlov decomposition for a blowup provides part of the justification for thinking of n X/D as a stacky 'blowup in codimension one'.
Our main theorem is then the following.
Theorem 1.4 (Theorem 4.3).Take a full subcategory Then the semiorthogonal decomposition is 2n-periodic, in the sense that its 2n th right dual decomposition is the original decomposition, see Definition 4.2.
In particular, for n = 2 we get a 4-periodic decomposition as in (1.A) We calculate the gluing functors for the above decompositions in Proposition 4.4.
In particular, we have the following.Notation.We write n X/D for the n th root stack associated to a scheme X with an effective Cartier divisor D. For a noetherian scheme or stack X we denote by D b (X) the bounded derived category of coherent sheaves on X.For the quotient stack of a scheme X with an action of G we write [X /G] or simply X /G.
Acknowledgements.The first author was partially supported by Polish National Science Centre grants 2018/31/D/ST1/03375 and 2021/41/B/ST1/03741.The second author was supported by Yau MSC, Tsinghua University, Yanqi Lake BIMSA, and the Thousand Talents Plan.The authors are grateful for discussions with N. Addington, R. Anno, A. Bondal, J. Jelisiejew, T. Kuwagaki, T. Logvinenko and E. Segal, and for helpful comments from an anonymous referee.

Root stacks as variation of GIT
We give definitions and a number of descriptions of the root stack.
The n th root stack n X/D for n ≥ 1 is given by the following fiber product, where e n is induced by taking the n th power.
Notation 2.2.Write X/D for the n = 2 case, namely the square root stack.Recall that any invertible sheaf gives a G m -torsor and any G m -torsor can be obtained in this way.Hence, the stack BG m represents the functor which to a scheme B assigns the groupoid of invertible sheaves on B. Given M ∈ Pic(X) let µ : X → BG m be the morphism given by M.
Definition 2.3.[AGV08] The n th root stack of a line bundle n √ M for n ≥ 1 is given by the following fiber product, where e n is induced by taking the n th power.2.2.Quotient description of root stacks.The stack n X/D can be also viewed as a quotient stack, following [AGV08].Write T for the total space of O X (D) and T • for the total space of the associated G m -bundle, namely T with the zero section removed. On as a subscheme of the total space T , and let V ⊂ T • × A 1 k be its inverse image.Then Proof.Let u i be a local coordinate on T • , z a coordinate on A 1 k , and Note that z is a section of the trivial line bundle O V −1 with G m -weight −1.
by the definition of V, the pullback p * (s) of the canonical section s of O X (D).Hence, N ≃ p * O X (D) and z defines a section of a line bundle on V whose n th power is identified by the isomorphism y with p * (s).
To define a morphism [V/G m ] → n X/D consider a scheme B and a morphism of the canonical section s of O X (D).Indeed, applying the isomorphism π * , one gets In the opposite direction, let f : B → X be a morphism of schemes, t : O B → L a morphism of invertible sheaves and a : and Hence, It is straightforward to check that the above constructions yield mutually inverse Remark 2.5.The proof of Proposition 2.4 implies that O V −n is isomorphic to the pullback of O X (D).
To view n √ M as a global quotient stack, we have the following, by a similar argument to Proposition 2.4.
Proposition 2.6.Consider the G m -bundle Proof.Let p : M • → X be the canonical projection.From the definition of M • it follows that there exists an isomorphism y : a It is straightforward to check that the above constructions yield mutually inverse Remark 2.7.The proof of Proposition 2.6 implies that O M • −n is isomorphic to the pullback of M.
2.3.GIT description of the root stack n X/D.For a scheme X with a G m -action, we denote the fixed locus by Z. Then are the unstable loci.Write X ± = X − S ± for the semistable loci.Note that here we allow finite stabilizers in these loci, so that the GIT quotients [X ± /G m ] may be Deligne-Mumford stacks, not necessarily schemes.
To construct the root stack as a GIT quotient, we make the following definition.This construction previously appeared, in a certain dimension 2 example for n = 2, in work of the second named author and T. Kuwagaki [DK21, Proposition 5, second case].
Definition 2.8.Let T n be the total space of the rank 2 vector bundle O X (D) ⊕ O X with fiber coordinates (y, z), and a fiberwise G m -action with weights (−n, 1).Let X n be the hypersurface given by where s is the canonical section of O X (D).
The equation yz n = s is valued in O X (D) and is G m -invariant by construction.
We explicitly describe X n using the representative {U i , f i } of D. Classically, we can view the invertible sheaf O X (D) as an ideal sheaf in the sheaf K X of total fractions.
Namely, take O X (D) to be the sub-O X -module of K X generated by Chapter II.6].Then multiplication with f i is an isomorphism allow us to consider fiber coordinates (y i , z i ) on T n | U i .The scheme X n is then glued Noting that the G m -action on T n restricts to X n , we now describe the GIT quotients for X n .
Proposition 2.9.Consider X n from Definition 2.8 with its G m -action.The associated GIT quotients are as follows.Proof.We first describe the unstable loci for X n , which are given by restricting the unstable loci for T n .Since the G m -action on T n is fiberwise, the unstable loci for a given linearization can be computed for the action of G m on A 2 k with weights (−n, 1) and coordinates (y, z).The fixed locus of this action is (0, 0), with unstable loci {y = 0} and {z = 0}.For T n therefore the fixed locus Z is the zero section, and the unstable loci over the open set U i are S + = {y i = 0} and S − = {z i = 0}, so the description of the unstable loci follows.
The rest of the (+) side follows from an isomorphism of X + n and V as G m -schemes, see Proposition 2.4.For the (−) side, note that X − n is a G m -torsor over X.Indeed, G m acts freely on the total space of the G m -bundle associated to O X and the coordinate y i along the fiber of O X (D) is uniquely determined by a point of X and the value of z i in the fiber over it.It follows that X is the geometric quotient of X − n by G m , hence a categorical one [MFK94, Proposition 0.1].As [X − n /G m ] is the categorical quotient too, the required isomorphism follows from the uniqueness of the quotient.
Remark 2.10.Combining the above proposition and the proof of Proposition 2.4 gives that 2.4.Toric example.For concreteness, we give the following.
Example 2.11.Let X = P 1 with coordinates (x 0 : x 1 ), and let D be the point (1 : 0) so that O X (D) ≃ O X (1).Then n X/D is isomorphic to the stacky weighted projective line P(1, n).To see this, note first that X may be viewed as [A 2 k /G m ] − {x 0 , x 1 = 0} where coordinates and G m -weights are as follows.
x 0 x 1 1 1 Then X n with its G m -action may be presented as and X + n is given by removing {y = 0}.Changing basis in the torus G 2 m corresponds to row operations, so we may take weights as follows.
x 0 x 1 y z Now setting y = 1 using the G m factor corresponding to the first row, we deduce that This is isomorphic to [A 2 k /G m ] − {y 0 , y 1 = 0} with weights as follows, giving the claim.

Derived category of the root stack
We first explain general theory, before applying to our setting.
3.1.Derived category of GIT quotients.Take G m acting on a scheme X with fixed locus Z and unstable loci S ± as in Section 2.3.Recall that X ± = X − S ± , and let i ± : X ± → X be the inclusions.Write π ± : S ± → Z for the maps which send x to lim λ→0 λ • x and lim Proposition 3.1.[HL15, Lemma 2.9, Theorem 2.10] Assume (A) π ± : S ± → Z are locally trivial bundles of affine spaces, and (R) the inclusions S ± → X are regular embeddings.
Under assumption (R) the derived restriction along the closed immersions Z → S ± of the relative cotangent complex We make the following further assumption.
(L) det N ∓1 S ± |X | Z has positive G m -weight η ± .Then the derived restriction functor i * ± gives an equivalence of Proof.By [HL15, Theorem 2.10] the conditions (A) and (L) imply an equivalence of ) have weights < ω where we notate morphisms as follows.
Then the argument in the proof of [HL15, Lemma 2.9] shows that if (R) holds the category G ω can be described as C [ω,ω+η ± ) in (3.A).
Remark 3.2.The positive integer η ± is known as the window width.It is calculated in our setting in Proposition 3.6 below.
Under the assumptions (A), (R) and (L) the references [BFK19, HL15] furthermore give semiorthogonal decompositions of C [0,η ± +l) for a positive integer l.For simplicity of notation, we give the (−) side, as this is the one we will use, and write η = η − .
Proposition 3.3.[HL15, Amplification 2.11] The full subcategories can be completed to semiorthogonal decompositions where Finally, there is an equivalence of D b (Z) with A w .For this, set notation Then we have the following.
Lemma 3.4.[HL15, Remark 2.13, Corollary 3.28] The functor Remark 3.5.For comparison with the original paper [HL15], note that there the group acts on a scheme denoted X, and X is the quotient stack, while for us X is the scheme.
We denote the fixed locus by Z as in [HL15], but we denote the semistable loci by X ± , in contrast with X ss in [HL15].Since we consider a torus action, for a one-parameter subgroup λ the 'blade' Y λ,Z coincides with the stratum S λ,Z by [HL15, Remark 2.1].
We denote the latter by S ± , depending on whether the one-parameter subgroup λ is G m itself, or is given by inversion.We now obtain decompositions for the root stack.
Theorem 3.7.The category D b n X/D admits semiorthogonal decompositions By the description of X + n in Proposition 2.9, the right-hand square is Cartesian, so by flat base change we have Tensor-pullback distributivity and the projection formula then give that We thence get the required description of the embeddings of D b (D), namely Embeddings of D b (X).First, we find an inverse of the equivalence i * Furthermore using the projection formula and commutativity of square (3.C) gives Recall [Bon89] that given a semiorthogonal decomposition When N is equal to 4, we simply say that the functor is triangle-spherical.
prove that D b X/D admits a 4-periodic semiorthogonal decomposition with components equivalent to D b (D) and D b (X), with gluing functor i D * so that in particular i D * is triangle-spherical, see below.More generally, we prove that D b n X/D admits a 2n-periodic semiorthogonal decomposition with n − 1 components equivalent to D b (D) and one component equivalent to D b (X).Such decompositions, without the periodicity statement, have previously been obtained by A. Ishii and K. Ueda for smooth D and X [IU15, Theorem 1.6], as well as by D. Bergh, V. Lunts and O. Schnürer for perfect complexes [BLS16, Theorem 4.7].The 2n-periodicity of a semiorthogonal decomposition for a root stack has previously been discussed by A. Bondal [Bon18], speaking on joint work with T. Logvinenko.In recent work, T. Dyckerhoff, M. Kapranov and V. Schechtman define N-spherical functors of stable infinity categories [DKS23].In particular, their 4-spherical functors are analogues of spherical functors for DG categories.They prove that a semiorthogonal decomposition of a stable infinity category is N-periodic if and only if the gluing functor is N-spherical.Hence, one can think of the 2n-periodicity of the semiorthogonal decomposition of D b X/D as 2n-sphericity of the gluing functor.
weight 1, and the embeddings of D b (X) and D b (D) are respectively p * and i * q * .The last decomposition, twisted by O 1 − n , has been previously obtained but in the smooth setting [IU15, Theorem 1.6] or for perfect complexes [BLS16, Theorem 4.7].

2. 1 .
Root stacks.Take an algebraically closed field k of characteristic zero and a reduced separated noetherian k-scheme X, with an effective Cartier divisor D given on an open cover by {U i , f i }.We denote by s the canonical section of O X (D).Recall that the quotient stack [A 1 k /G m ] represents the functor which to a scheme B assigns the groupoid of generalized Cartier divisors (L, ρ : L → O B ) on B with isomorphisms preserving the morphisms to the structure sheaf, see for instance [Ols16, Proposition 10.3.7].Let δ : X → [A 1 k /G m ] be the morphism given by For a scheme B, objects of the groupoid n X/D(B) are morphisms f : B → X and sections t : O B → L of invertible sheaves on B together with an isomorphism L ⊗n ∼ − → f * O X (D) which identifies t ⊗n with f * (s).Morphisms are isomorphisms of invertible sheaves L ∼ − → L ′ commuting with all the additional data.
For a base scheme B, an object of the groupoid n √ M(B) is a morphism f : B → X and an invertible sheaf L on B together with an isomorphism L ⊗n ∼ − → f * M. Morphisms are isomorphisms of invertible sheaves L ∼ − → L ′ commuting with the additional data.
linearized line bundles on C. As π * : Pic(B) ∼ − → Pic Gm (C) is an isomorphism, see [Bri18, Proposition 3.3.1],there exists a morphism t : O B → L in Pic(B) which pulls back to h * (z) along π.Similarly, there exists an isomorphism y : L ⊗n → f * O X (D) which pulls back to h * (y) : h * O V −n → h * p * O X (D).Then y • t ⊗n is the pullback via f consider a scheme B and a morphism B → [M • /G m ], i.e. take π a principal G m -bundle and h a G m -equivariant morphism fitting into a commutative diagram as follows.Note that f exists as p • h is G m -invariant and π is the categorical quotient.Thenh * (O M • −1 ) is a G m -linearized line bundle on C, and further there is an isomorphismh * (y) : h * (O M • −1 ) ⊗n ∼ − → h * p * M.It follows that there exists L ∈ Pic(B) with an isomorphism y : L ⊗n ∼ − → f * (M).Indeed, L and y are the preimages under the isomorphism π * : Pic(B)∼ − → Pic Gm (C), see [Bri18, Proposition 3.3.1], of h * (O M • −1 ) and h * (y) : h * (O M • −1 ) ⊗n → h * p * (M) ≃ π * f * (M).In the opposite direction, let f : B → X be a morphism of schemes, L ∈ Pic(B) and a : L ⊗n ∼ − → f * M. Let π : C → B be the G m -torsor associated with L. Consider h : C → Tot(M) given by the following element of Hom(O C , π * f * M).

( + )
We have [X + n /G m ] ≃ n X/D.The unstable locus S + = {y = 0} is isomorphic to the total space of O D with fiberwise G m -action of weight 1. (−) We have [X − n /G m ] ≃ X.The unstable locus S − = {z = 0} is isomorphic to the total space of O D (D) with fiberwise G m -action of weight −n.The fixed locus Z = {y, z = 0} is isomorphic to D.
The subcategories denoted here by G ω and C [ω,ω+η ± ) both appear as G ω in [HL15, Definition 2.8] and [HL15, Lemma 2.9] respectively.The subcategory which we denote by A ω is D b S − /Gm (X /G m ) ω from [HL15, Amplification 3.27].Indeed, if condition (R) is satisfied then [HL15, Lemma 2.9] holds, giving the above definition of A ω .By [HL15, Amplifications 3.18 and 3.27] this subcategory Db S − /Gm (X /G m ) ω is equivalent to D b (Z/G m ) ω which appears in [HL15, Amplification 2.11].3.2.Derived category of the root stack n X/D.We now apply the above theory to the GIT problem X n from Definition 2.8.We begin by calculating the window widths η ± .Proposition 3.6.For η ± the G m -weight of det N ∓1 S ± |X | Z we haveη + = n, η − = 1.Proof.Over U i , S + = {y i = 0} and S − = {z i = 0}.Hence, locally, I S + /I 2 S + is spanned by y i , while I S − /I 2 S − is spanned by z i .The statement follows as the G m action is given by λ • y i = λ −n y i and λ • z i = λz i .Base changing the root stack construction to the divisor D itself, we obtainD n O D (D) n O D (D)is the root stack of the given line bundle on D, see Definition 2.3, compare [IU15, Section 5].Indeed, consider Tot(O D (D) ⊕ O D ) with local fiber coordinates (z i , y i ).Then the pullback of X + n to D is Y n ⊂ Tot(O D (D) ⊕ O D ) given by {y i z n i = 0, y i = 0}.As y i is non-zero, Y n is isomorphic to the total space of the G m -bundle associated to O D (D).The G m action on Y n is fiberwise with weight −n.The isomorphism with n O D (D) then follows from Proposition 2.6.

Proof.
We check that under the equivalences A ω ≃ D b (Z) ≃ D b (D), see Lemma 3.4 and Proposition 2.9, and i * + :C [0,n) ∼ − → D b n X/D, see Propositions 3.1 and 3.6, the required semiorthogonal decompositions are the decompositions given by Proposition 3.3 withη = η − = 1 and l = n − 1, after noting that C [0,n) = C [0,η+n−1) .We first check that conditions (A), (R) and (L) of Proposition 3.1 are satisfied.By Proposition 2.9, over U i we have S + = {y i = 0}, S − = {z i = 0} and Z = {y i , z i = 0}.Furthermore, S + ≃ Tot(O D ) and S − ≃ Tot(O D (D)) are clearly locally trivial bundles of affine spaces over Z, and the embeddings S + → X and S − → X given by y i and z i respectively are regular.Finally, by Proposition 3.6, det N ∓1 S ± |X | Z has positive weights n and 1 respectively.Embeddings of D b (D).Recall from Lemma 3.4 the embedding Φ ω of D b (Z) into D b (X /G m ) with A ω as its essential image.We show that under the isomorphism Z ≃ D, i over Z with a G m -action of weight −n.By Proposition 2.9, this is isomorphic to the bundle O D (D) over D with G m -action of weight −n after removing the zero section.In other words we have an isomorphism S • /G m ≃ n O D (D), see Proposition 2.6.This fits in a commutative diagram as follows.
A) of a triangulated category C with A and B admissible the left and right dual semiorthogonal decompositions, L A B, A and B, R B A respectively, exist for the left mutation L A B of B over A and the right mutation R B A of A over B. We say that the semiorthogonal decomposition (4.A) is strongly admissible if the N th left and right dual decompositions exist for any N.Given such a decomposition the Artin braid group on two strands B 2 ∼ = Z acts on the set of the decomposition (4.A) and all its left and right duals.Definition 4.2.[DKS23, Section 4.2] A semiorthogonal decomposition (4.A) of a triangulated category C is N-periodic if the N th right dual decomposition is again (4.A), i.e. if the decomposition is strongly admissible and the action of Z factors through Z N .Our main theorem now follows rapidly.Theorem 4.3.Take a full subcategoryD = i * q * D b (D), i * q * D b (D) ⊗ O 1 , . . ., i * q * D b (D) ⊗ O n − 2 ⊂ D b n X/D .Then the following semiorthogonal decomposition is 2n-periodic.D b n X/D = p * D b (X), D (4.B)Proof.By Theorem 3.7, the decomposition right dual to p * D b (X), D isD, p * D b (X) ⊗ O n √ X/D n − 1and so the second right dual isp * D b (X) ⊗ O n √ X/D n − 1 , D ⊗ O n √ X/D n − 1 ,i.e. the twist of the original decomposition by O n √ X/D n − 1 .It follows that the 2k th right dual is the twist of the original decomposition by O n √ X/D k(n−1) .But then, using Proposition 4.1, the 2n th right dual decomposition is the original decomposition, namely p * D b (X), D .Finally we describe the gluing functors for the periodic decomposition above.Proposition 4.4.The gluing functor D → D b (X) for the decomposition (4.B) after restriction to i * q * D b (D) ⊗ O k ⊂ D is i D * [1] for k = 0, and zero otherwise.Proof.Write ι D for the embedding D → D b n X/D .Then the gluing functor for (4.B) is p * ι D [1] by [KL15, Section 2.2].Asp * − ⊗O n √ X/D k i * q * ≃ p * i * q * (−) ⊗ O n √ O D (D) k ≃ i D * q * q * (−) ⊗ O n √ O D (D) k , the statement follows from q * q * (−) ⊗ O n √ O D (D) k = Id for k = 0 0 for k = 1, . . ., n − 2.Local calculations of µ n -invariants show that q * q * ≃ Id D b (D) .The claimed vanishing for k = 1, . . ., n − 2 follows from the mutual orthogonality of the essential images of q * (−) ⊗ O n √ O D (D) k for k = 0, . . ., n − 2 in D b n O D (D) , see Remark 2.7 and the proof of [IU15, Theorem 1.5].As already discussed in Section 1.4, T. Dyckerhoff, M. Kapranov and V. Schechtman consider N-periodic semiorthogonal decompositions of stable infinity categories as well as N-spherical functors of such categories [DKS23].In particular, a 4-spherical functor is an analogue of a spherical functor of DG categories.In [DKS23, Theorem 4.2.1] the authors prove that a functor is N-spherical if and only if it is the gluing functor for an N-periodic semiorthogonal decomposition.Motivated by their work we give the following.Definition 4.5.The gluing functor ι R A ι B of an N-periodic semiorthogonal decomposition (4.A) of a triangulated category C is N-triangle-spherical.
Corollary 4.6.The functor i D * : D b (D) → D b (X) is triangle-spherical.The unit and the counit for the i * D ⊣ i D * adjunction fit into functorial exact triangles (1.D) and (1.E).