arXiv subjects

Rina Anno

Publications and source records attributed to Rina Anno.

14 recordsLinked to original sources

arXiv2025

The Hochschild homology of a noncommutative symmetric quotient stack

We prove an orbifold type decomposition theorem for the Hochschild homology of the symmetric powers of a small DG category $\mathcal{A}$. In noncommutative geometry, these can be viewed as the noncommutative symmetric quotient stacks of $\mathcal{A}$. We use this decomposition to show that the total Hochschild homology of the symmetric powers of $\mathcal{A}$ is isomorphic to the symmetric algebra $S^*(\mathrm{HH}_\bullet(\mathcal{A}) \otimes t \mathbb{k}[t])$. Our methods are explicit - we construct mutually inverse homotopy equivalences of the standard Hochschild complexes involved. These explicit maps are then used to induce from the symmetric algebra onto the total Hochschild homology the structures of the Fock space for the Heisenberg algebra of $\mathcal{A}$, of a Hopf algebra, and of a free $\lambda$-ring generated by $\mathrm{HH}_\bullet(\mathcal{A})$.

math.AG↗

arXiv2023

$A_{\infty}$-structures in monoidal DG categories and strong homotopy unitality

We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong homotopy unitality and bimodule homotopy unitality to work in this level of generality. For a strong homotopy unital $A_{\infty}$-algebra we construct Free-Forgetful homotopy adjunction, its Kleisli category, and its derived category of modules. Analogous constructions for $A_{\infty}$-coalgebras require bicomodule homotopy counitality. We define homotopy adjunction for $A_{\infty}$-algebra and $A_{\infty}$-coalgebra and show such pair to be derived module-comodule equivalent. As an application, we obtain the notions of an $A_{\infty}$-monad and of an enhanced exact monad. We also show that for any adjoint triple $(L,F,R)$ of functors between enhanced triangulated categories the adjunction monad $RF$ and the adjunction comonad $LF$ are derived module-comodule equivalent.

math.CT↗

arXiv2023

Unbounded twisted complexes

We define unbounded twisted complexes and bicomplexes generalising the notion of a (bounded) twisted complex over a DG category [BK90]. These need to be considered relative to another DG category $B$ admitting countable direct sums and shifts. The resulting DG category of unbounded twisted complexes has a fully faithful convolution functor into Mod-$B$ which filters through $B$ if the latter admits change of differential. As an application, we rewrite definitions of $A_{\infty}$-structures in terms of twisted complexes to make them work in an arbitrary monoidal DG category or a DG bicategory.

math.CT↗

arXiv2020

Bar category of modules and homotopy adjunction for tensor functors

Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is defined intrinsically in the language of DG-categories and requires no complex machinery or sign conventions of A-infinity categories. We define for these bar categories Tensor and Hom bifunctors, dualisation functors, and a convolution of twisted complexes. The intended application is to working with DG-bimodules as enhancements of exact functors between triangulated categories. As a demonstration we develop homotopy adjunction theory for tensor functors between derived categories of DG-categories. It allows us to show in an enhanced setting that given a functor F with left and right adjoints L and R the functorial complex $FR \rightarrow FRFR \rightarrow FR \rightarrow Id$ lifts to a canonical twisted complex whose convolution is the square of the spherical twist of F. We then write down four induced functorial Postnikov towers computing this convolution.

math.CT↗

arXiv2020

On uniqueness of P-twists

We prove that for any $\mathbb{P}^n$-functor all the convolutions (double cones) of the three-term complex $FHR \xrightarrowψ FR \xrightarrow{tr} Id$ defining its $\mathbb{P}$-twist are isomorphic. We also introduce a new notion of a non-split $\mathbb{P}^n$-functor.

math.AG↗

arXiv2019

$\mathbb{P}^n$-functors

We propose a new theory of (non-split) P^n-functors. These are F: A -> B for which the adjunction monad RF is a repeated extension of Id_A by powers of an autoequivalence H and three conditions are satisfied: the monad condition, the adjoints condition, and the highest degree term condition. This unifies and extends the two earlier notions of spherical functors and split P^n-functors. We construct the P-twist of such F and prove it to be an autoequivalence. We then give a criterion for F to be a P^n-functor which is stronger than the definition but much easier to check in practice. It involves only two conditions: the strong monad condition and the weak adjoints condition. For split P^n-functors, we prove Segal's conjecture on their relation to spherical functors. Finally, we give four examples of non-split P^n-functors: spherical functors, extensions by zero, cyclic covers, and family P-twists. For the latter, we show the P-twist to be the derived monodromy of associated Mukai flop, the so-called `flop-flop = twist' formula.

math.AG↗

arXiv2016

Affine tangles and irreducible exotic sheaves

We construct a weak representation of the category of framed affine tangles on a disjoint union of triangulated categories ${\mathcal D}_{2n}$. The categories we use are that of coherent sheaves on Springer fibers over a nilpotent element of $sl_{2n}$ with two equal Jordan blocks. This representation allows us to enumerate the irreducible objects in the heart of the exotic $t$-structure on ${\mathcal D}_{2n}$ by crossingless matchings of $2n$ points on a circle. We also describe the algebra of endomorphisms of the direct sum of the irreducible objects.

math.AG↗

arXiv2016

Exotic t-structures for two-block Springer fibers

We study the exotic t-structure on the derived category of coherent sheaves on two-block Springer fibre (i.e. for a nilpotent matrix of type (m+n,n) in type A). The exotic t-structure has been defined by Bezrukavnikov and Mirkovic for Springer theoretic varieties in order to study representations of Lie algebras in positive characteristic. Using work of Cautis and Kamnitzer, we construct functors indexed by affine tangles, between categories of coherent sheaves on different two-block Springer fibres (i.e. for different values of n). After checking some exactness properties of these functors, we describe the irreducible objects in the heart of the exotic t-structure, and enumerate them by crossingless (m,m+2n) matchings. We compute the Ext's between the irreducible objects, and show that the resulting algebras are an annular variant of Khovanov's arc algebras. In subsequent work we will make a link with annular Khovanov homology, and use these results to give a positive characteristic analogue of some categorification results using two-block parabolic category O (by Bernstein-Frenkel-Khovanov, Brundan, Stroppel, et al).

math.RT↗

arXiv2015

Orthogonally spherical objects and spherical fibrations

We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z) and D(X) in a certain natural way. Most known examples come from subschemes of X fibred over Z. This categorifies to the notion of an object of D(Z x X) orthogonal over Z. We prove that such an object is spherical over Z if and only if it has certain cohomological properties similar to those in the original definition of a spherical object. We then interpret this geometrically in the case when our objects are actual flat fibrations in X over Z.

math.AG↗

arXiv2015

Spherical DG-functors

For two DG-categories A and B we define the notion of a spherical Morita quasi-functor A -> B. We construct its associated autoequivalences: the twist T of D(B) and the co-twist F of D(A). We give powerful sufficiency criteria for a quasi-functor to be spherical and for the twists associated to a collection of spherical quasi-functors to braid. Using the framework of DG-enhanced triangulated categories, we translate all of the above to Fourier-Mukai transforms between the derived categories of algebraic varieties. This is a broad generalisation of the results on spherical objects in [ST01] and on spherical functors in [Ann07]. In fact, this paper replaces [Ann07], which has a fatal gap in the proof of its main theorem. Though conceptually correct, the proof was impossible to fix within the framework of triangulated categories.

math.AG↗

arXiv2014

Stability conditions for Slodowy slices and real variations of stability

We provide examples of an explicit submanifold in Bridgeland stabilities space of a local Calabi-Yau, and propose a new variant of definition of stabilities on a triangulated category, which we call a "real variation of stability conditions". We discuss its relation to Bridgeland's definition; the main theorem provides an illustration of such a relation. We also state a conjecture by the second author and Okounkov relating this structure to quantum cohomology of symplectic resolutions and establish its validity in some special cases. More precisely, let X be the standard resolution of a transversal slice to an adjoint nilpotent orbit of a simple Lie algebra over C. An action of the affine braid group on the derived category of coherent sheaves on X and a collection of t-structures on this category permuted by the action have been constructed in arXiv:1101.3702 and arXiv:1001.2562 respectively. In this note we show that the t-structures come from points in a certain connected submanifold in the space of Bridgeland stability conditions. The submanifold is a covering of a submanifold in the dual space to the Grothendieck group, and the affine braid group acts by deck transformations. In the special case when dim (X)=2 a similar (in fact, stronger) result was obtained in arXiv:math/0508257.

math.AG↗

arXiv2013

Spherical functors

This paper has been withdrawn and replaced by arXiv:1309.5035. In this paper we describe some examples of so called spherical functors between triangulated categories, which generalize the notion of a spherical object. We also give sufficient conditions for a collection of spherical functors to yield a weak representation of the category of tangles, and prove a structure theorem for such representations under certain restrictions.

math.CT↗

arXiv2012

On adjunctions for Fourier-Mukai transforms

We show that the adjunction counits of a Fourier-Mukai transform $Φ$ from $D(X_1)$ to $D(X_2)$ arise from maps of the kernels of the corresponding Fourier-Mukai transforms. In a very general setting of proper separable schemes of finite type over a field we write down these maps of kernels explicitly -- facilitating the computation of the twist (the cone of an adjunction counit) of $Φ$. We also give another description of these maps, better suited to computing cones if the kernel of $Φ$ is a pushforward from a closed subscheme $Z$ of $X_1 \times X_2$. Moreover, we show that we can replace the condition of properness of the ambient spaces $X_1$ and $X_2$ by that of $Z$ being proper over them and still have this description apply as is. This can be used, for instance, to compute spherical twists on non-proper varieties directly and in full generality.

math.AG↗

arXiv2005

Multiplicative structure on the Hochschild cohomology of crossed product algebras

Consider a smooth affine algebraic variety $X$ over an algebraically closed field, and let a finite group $G$ act on it. We assume that the characteristic of the field is greater than the dimension of $X$ and the order of $G$. An explicit formula for multiplication on the Hochschild cohomology of a crossed product of $k[G]$ and $k[X]$ is given in terms of multivector fields on $X$ and $g$-invariant subvarieties of $X$ for $g\in G$.

math.QA↗