Related papers: $K$-theoretic pullbacks for Lagrangians on derived…

We construct shifted symplectic derived enhancements on rigidified moduli spaces of sheaves on Calabi-Yau varieties of dimension at least two. More generally, we prove that any $B\mathbb{G}_m$-action on a non-positively-shifted symplectic…

This paper gives a new way of constructing Landau-Ginzburg mirrors using deformation theory of Lagrangian immersions motivated by the works of Seidel, Strominger-Yau-Zaslow and Fukaya-Oh-Ohta-Ono. Moreover we construct a canonical functor…

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…

We extend a recent result of Pantev-Toen-Vaquie-Vezzosi, who constructed shifted symplectic structures on derived mapping stacks having a Calabi-Yau source and a shifted symplectic target. Their construction gives a clear conceptual…

Recently, Oh and Thomas constructed algebraic virtual cycles for moduli spaces of sheaves on Calabi-Yau 4-folds. The purpose of this paper is to provide a virtual pullback formula between these Oh-Thomas virtual cycles. We find a natural…

This paper is a follow-up to arXiv:2407.08471. Let $X$ be a a $(-1)$-shifted symplectic derived Deligne--Mumford stack. Thanks to the Darboux lemma of Brav--Bussi--Joyce, $X$ is locally modeled by derived critical loci of a function $f$ on…

Coupling arguments are a central tool for bounding the deviation between two stochastic processes, but traditionally have been limited to Wasserstein metrics. In this paper, we apply the shifted composition rule--an information-theoretic…

We provide a geometric interpretation for the connecting homomorphism in the localization sequence of Hermitian $K$-theory. As an application, we compute the Hermitian $K$-theory of projective bundles and Grassmannians in the regular case.…

We compute the trace of an endomorphism in equivariant bivariant K-theory for a compact group G in several ways: geometrically using geometric correspondences, algebraically using localisation, and as a Hattori-Stallings trace. This results…

The critical loci of a map $f:X\to Y$ between smooth schemes over a field $k$ are the locally closed subschemes $\Sigma^i(f)\subseteq X$ where the differential of $f$ has constant rank. We prove that if $f : X\to \mathbb A^r$ is the general…

Goodwillie's rational isomorphism between relative algebraic K-theory and relative cyclic homology, together with the lambda decomposition of cyclic homology, illustrates the close relationships among algebraic K-theory, cyclic homology,…

We introduce mappings between spaces of functions on (super)manifolds that generalize pullbacks with respect to smooth maps but are, in general, nonlinear (actually, formal). The construction is based on canonical relations and generating…

Let $X$ be a (-1)-shifted symplectic derived Deligne--Mumford stack. In this paper we introduce the Darboux stack of $X$, parametrizing local presentations of $X$ as a derived critical locus of a function $f$ on a smooth formal scheme $U$.…

We give a conjectural formula for sheaves supported on (irreducible) conormal varieties inside the cotangent bundle of the Grassmannian, such that their equivariant $K$-class is given by the partition function of an integrable loop model,…

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…

Given a compact oriented manifold of dimension $n$ with a conically smooth stratification, we show that the moduli of $\mathcal{D}(k)$-valued constructible sheaves and the moduli of perverse sheaves are $(2-n)$-shifted Lagrangian. The…

A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…

We prove an explicit combinatorial formula for the structure constants of the Grothendieck ring of a Grassmann variety with respect to its basis of Schubert structure sheaves. We furthermore relate K-theory of Grassmannians to a bialgebra…

Following Hopkins and Singer, we give a definition for the differential equivariant K-theory of a smooth manifold acted upon by a finite group. The ring structure for differential equivariant K-theory is developed explicitly. We also…