arXiv subjects

Sarah Scherotzke

Publications and source records attributed to Sarah Scherotzke.

At least 19 recordsLinked to original sources

arXiv2025

Hochschild-Kostant-Rosenberg isomorphism for derived Deligne-Mumford stacks

We prove a Hochschild--Konstant--Rosenberg (HKR) theorem for arbitrary derived Deligne--Mumford (DM) stacks, extending the results of Arinkin-C\u{a}ld\u{a}raru-Hablicsek in the smooth, global quotient case, although with different methods. To formulate our result, we introduce the notion of orbifold inertia stack of a derived DM stack; this supplies a finely tuned derived enhancement of the classical inertia stack, which does not always coincide with the classical truncation of the free loop space. We show that, in characteristic 0, given a derived DM stack, the shifted tangent bundle of its orbifold inertia stack is equivalent to its free loop space. This yields a canonical HKR isomorphism of algebras between the Hochschild homology of a derived DM stack and the cohomology of differential forms on its orbifold inertia stack. Moreover, this isomorphism intertwines the natural circle action and the de Rham differential. Similarly, HKR theorems for derived DM stacks are established for Hochschild cohomology, cyclic homology, negative cyclic homology, and periodic cyclic homology. As applications, we provide a rich supply of computations of Hochschild homology and Hochschild cohomology for interesting derived DM stacks, such as weighted projective lines, root stacks, quotients by algebraic groups, and mapping stacks, among others.

math.AG↗

arXiv2025

Fourier--Mukai equivalences for formal groups and elliptic Hochschild homology

This paper establishes a unifying framework for various forms of twisted Hochschild homology by comparing two definitions of elliptic Hochschild homology: one introduced by Moulinos--Robalo--Toën and the other by Sibilla--Tomasini. Central to our approach is a new Fourier--Mukai duality for formal groups. We prove that when $\widehat{E}$ is the formal group associated to an elliptic curve $E$, the resulting $\widehat{E}$-Hochschild homology coincides with the mapping stack construction of Sibilla--Tomasini. This identification also recovers ordinary and Hodge Hochschild homology as degenerate limits corresponding to nodal and cuspidal cubics, respectively. Building on this, we introduce global versions of elliptic Hochschild homology over the moduli stacks of elliptic and cubic curves, which interpolate between these theories and suggest a universal form of TMF-Hochschild homology.

math.AG↗

arXiv2024

Topological field theories associated with Calabi-Yau categories

We construct symmetric monoidal higher categories of iterated Calabi-Yau cospans, that are noncommutative analogs of iterated lagrangian correspondences. We actually give a general (and functorial) procedure that applies to iterated nondegenerate cospans on certain comma categories. This allows us to factor the AKSZ fully extended TFT associated with the moduli of objects of a Calabi-Yau category (taking values in iterated lagrangian correspondences) through a fully extended TFT taking values in iterated Calabi-Yau cospans.

math.AT↗

arXiv2024

Calabi-Yau structures on (quasi-)bisymplectic algebras

We show that relative Calabi--Yau structures on noncommutative moment maps give rise to (quasi-)bisymplectic structures, as introduced by Crawley-Boevey-Etingof-Ginzburg (in the additive case) and Van den Bergh (in the multiplicative case). We prove along the way that the fusion process (a) corresponds to the composition of Calabi-Yau cospans with "pair-of-pants" ones, and (b) preserves the duality between non-degenerate double quasi-Poisson structures and quasi-bisymplectic structures. As an application we obtain that Van den Bergh's Poisson structures on the moduli spaces of representations of deformed multiplicative preprojective algebras coincide with the ones induced by the 2-Calabi-Yau structures on (dg-versions of) these algebras.

math.RT↗

arXiv2024

Relative critical loci and quiver moduli

In this paper we identify the cotangent to the derived stack of representations of a quiver $Q$ with the derived moduli stack of modules over the Ginzburg dg-algebra associated with $Q$. More generally, we extend this result to finite type dg-categories, to a relative setting as well, and to deformations of these. It allows us to recover and generalize some results of Yeung, and leads us to the discovery of seemingly new lagrangian subvarieties in the Hilbert scheme of points in the plane.

math.RT↗

arXiv2023

Calabi-Yau structures for multiplicative preprojective algebras

In this paper we deal with Calabi-Yau structures associated with (differential graded versions of) deformed multiplicative preprojective algebras, of which we provide concrete algebraic descriptions. Along the way, we prove a general result that states the existence and uniqueness of negative cyclic lifts for non-degenerate relative Hochschild classes.

math.RT↗

arXiv2022

Equivariant elliptic cohomology, toric varieties, and derived equivalences

In this article we study the equivariant elliptic cohomology of complex toric varieties. We prove a partial reconstruction theorem showing that equivariant elliptic cohomology encodes considerable non-trivial information on the equivariant 1-skeleton of a toric variety X (although it stops short of being a complete invariant of its GKM graphs). Elliptic cohomology is supposed to encode higher categorical geometric data, and proposals have been made linking elliptic cocycles to categorified bundles. In particular, contrary to ordinary cohomology and K-theory, elliptic cohomology is expected not to be a derived invariant of algebraic varieties. Our second main result is to verify this prediction by showing that there exist pairs of equivariantly derived equivalent toric varieties with non-isomorphic equivariant elliptic cohomology.

math.AG↗

arXiv2020

The categorified Grothendieck-Riemann-Roch theorem

In this paper we prove a categorification of the Grothendieck-Riemann-Roch theorem. Our result implies in particular a Grothendieck-Riemann-Roch theorem for Toën and Vezzosi's secondary Chern character. As a main application, we establish a comparison between the Toën-Vezzosi Chern character and the classical Chern character, and show that the categorified Chern character recovers the classical de Rham realization.

math.KT↗

arXiv2020

Derived parabolic induction

The classical parabolic induction functor is a fundamental tool on the representation theoretic side of the Langlands program. In this article, we study its derived version. It was shown by the second author that the derived category of smooth $G$-representations over $k$, $G$ a $p$-adic reductive group and $k$ a field of characteristic $p$, is equivalent to the derived category of a certain differential graded $k$-algebra $H_G^\bullet$, whose zeroth cohomology is a classical Hecke algebra. This equivalence predicts the existence of a derived parabolic induction functor on the dg Hecke algebra side, which we construct in this paper. This relies on the theory of six-functor formalisms for differential graded categories developed by O.\ Schnürer. We also discuss the adjoint functors of derived parabolic induction.

math.RT↗

arXiv2020

Parabolic semi-orthogonal decompositions and Kummer flat invariants of log schemes

We construct semi-orthogonal decompositions on triangulated categories of parabolic sheaves on certain kinds of logarithmic schemes. This provides a categorification of the decomposition theorems in Kummer flat K-theory due to Hagihara and Nizioł. Our techniques allow us to generalize Hagihara and Nizioł's results to a much larger class of invariants in addition to K-theory, and also to extend them to more general logarithmic stacks.

math.AG↗

arXiv2020

Gluing semi-orthogonal decompositions

We introduce preordered semi-orthogonal decompositions (psod-s) of dg-categories. We show that homotopy limits of dg-categories equipped with compatible psod-s carry a natural psod. This gives a way to glue semi-orthogonal decompositions along faithfully-flat covers, extending some results of [4]. As applications we will construct semi-orthogonal decompositions for root stacks of log pairs (X,D) where D is a (not necessarily simple) normal crossing divisors, generalizing results from [17] and [3]. Further we will compute the Kummer flat K-theory of general log pairs (X,D), generalizing earlier results of Hagihara and Nizioł in the simple normal crossing case [15], [23].

math.AG↗

arXiv2019

On the profinite homotopy type of log schemes

We complete the program, initiated in [6], to compare the many different possible definitions of the underlying homotopy type of a log scheme. We show that, up to profinite completion, they all yield the same result, and thus arrive at an unambiguous definition of the profinite homotopy type of a log scheme. Specifically, in [6], we define this to be the profinite étale homotopy type of the infinite root stack, and show that, over $\mathbb{C},$ this agrees up to profinite completion with the Kato-Nakayama space. Other possible candidates are the profinite shape of the Kummer étale site $X_{\mbox{két}},$ or of the representable étale site of $\sqrt[\infty]{X}.$ Our main result is that all of these notions agree, and moreover the profinite étale homotopy type of the infinite root stack is not sensitive to whether or not it is viewed as a pro-system in stacks, or as an actual stack (by taking the limit of the pro-system). We furthermore show that in the log regular setting, all these notions also agree with the étale homotopy type of the classical locus $X^{\mbox{triv}}$ (up to an appropriate completion). We deduce that, over an arbitrary locally Noetherian base, the étale homotopy type of $\mathbb{G}_m^N$ agrees with that of $Bμ_\infty^N$ up to completion.

math.AG↗

arXiv2018

Generalized quiver varieties and triangulated categories

In this paper, we introduce generalized quiver varieties which include as special cases classical and cyclic quiver varieties. The geometry of generalized quiver varieties is governed by a finitely generated algebra P: the algebra P is self-injective if the quiver Q is of Dynkin type, and coincides with the preprojective algebra in the case of classical quiver varieties. We show that in the Dynkin case the strata of generalized quiver varieties are in bijection with the isomorphism classes of objects in proj P, and that their degeneration order coincides with the Jensen-Su-Zimmermann's degeneration order on the triangulated category proj P. Furthermore, we prove that classical quiver varieties of type A can be realized as moduli spaces of representations of an algebra S.

math.RT↗

arXiv2018

On a logarithmic version of the derived McKay correspondence

We globalize the derived version of the McKay correspondence of Bridgeland-King-Reid, proven by Kawamata in the case of abelian quotient singularities, to certain log algebraic stacks with locally free log structure. The two sides of the correspondence are given respectively by the infinite root stack and by a certain version of the valuativization (the projective limit of every possible log blow-up). Our results imply, in particular, that in good cases the category of coherent parabolic sheaves with rational weights is invariant under log blow-up, up to Morita equivalence.

math.AG↗

arXiv2017

Higher traces, noncommutative motives, and the categorified Chern character

We propose a categorification of the Chern character that refines earlier work of Toën and Vezzosi and of Ganter and Kapranov. If X is an algebraic stack, our categorified Chern character is a symmetric monoidal functor from a category of mixed noncommutative motives over X, which we introduce, to S1-equivariant perfect complexes on the derived free loop stack LX. As an application of the theory, we show that Toën and Vezzosi's secondary Chern character factors through secondary K-theory. Our techniques depend on a careful investigation of the functoriality of traces in symmetric monoidal (infinity,n)-categories, which is of independent interest.

math.KT↗

arXiv2016

Kato-Nakayama spaces, infinite root stacks, and the profinite homotopy type of log schemes

For a log scheme locally of finite type over $\mathbb{C}$, a natural candidate for its profinite homotopy type is the profinite completion of its Kato-Nakayama space. Alternatively, one may consider the profinite homotopy type of the underlying topological stack of its infinite root stack. Finally, for a log scheme not necessarily over $\mathbb{C}$, another natural candidate is the profinite étale homotopy type of its infinite root stack. We prove that, for a fine saturated log scheme locally of finite type over $\mathbb{C}$, these three notions agree. In particular, we construct a comparison map from the Kato-Nakayama space to the underlying topological stack of the infinite root stack, and prove that it induces an equivalence on profinite completions. In light of these results, we define the profinite homotopy type of a general fine saturated log scheme as the profinite étale homotopy type of its infinite root stack.

math.AG↗

arXiv2015

Quiver varieties and Hall algebras

In this paper we give a geometric construction of the quantum group Ut(G) using Nakajima categories, which were developed in [29]. Our methods allow us to establish a direct connection between the algebraic realization of the quantum group as Hall algebra by Bridgeland [1] and its geometric counterpart by Qin [24].

math.RT↗

arXiv2015

Component cluster for acyclic quiver

The theory of Caldero-Chapoton algebras of Cerulli-Irelli, Labardini-Fragoso and Schroer leads to a refinement of the notions of cluster variables and clusters, via so called component clusters. In this paper we compare component clusters to classical clusters for the cluster algebra of an acyclic quiver. We propose a definition of mutation between component clusters and determine the mutation relations of component clusters for affine quivers. In the case of a wild quiver, we provide bounds for the size of component clusters.

math.RT↗