Related papers: Ind-geometric stacks
We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups…
This is an abstract for my talk at the 68th Geometry Symposium on August 31, 2021. It is based on my joint work in progress with Dinakar Muthiah: a conjectural characterization of the equivariant costalk of the intersection cohomology…
The Cox construction presents a toric variety as a quotient of affine space by a torus. The category of coherent sheaves on the corresponding stack thus has an evident description as invariants in a quotient of the category of modules over…
We discuss the structure of the derived category of coherent sheaves on cubic fourfolds of three types: Pfaffian cubics, cubics containing a plane and singular cubics, and discuss its relation to the rationality of these cubics.
Using sheaf theory, I introduce a continuous theory of persistence for mappings between compact manifolds. In the case both manifolds are orientable, the theory holds for integer coefficients. The sheaf introduced here is stable to…
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…
We remark that the combination of the works of Ben-Bassat-Brav-Bussi-Joyce and Alper-Hall-Rydh imply the conjectured local description of the moduli stacks of semi-Schur objects in the derived category of coherent sheaves on projective…
We introduce a new logarithmic structure on the moduli stack of stable curves, admitting logarithmic gluing maps. Using this we define cohomological field theories taking values in the logarithmic Chow cohomology ring, a refinement of the…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
We develop a unified categorical framework for gauging both continuous and finite symmetries in arbitrary spacetime dimensions. Our construction applies to geometric categories i.e. categories internal to stacks. This generalizes the…
In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log \'etale maps and use this to define derived log stacks.
Inspired by the homological mirror symmetry conjecture of Kontsevich, we construct new classes of automorphisms of the bounded derived category of coherent sheaves on a smooth Calabi-Yau variety.
We introduce in this note the notion of the category of twisted Chow-Witt correspondences $CHW(k)$ over a field $k$ of characteristic different from $2$. Moreover, we show that over an infinite perfect field this category $CHW(k)$ admits a…
Let $\Sigma$ be a fan inside the lattice $\mathbb{Z}^n$, and $\mathcal{E}:\mathbb{Z}^n \rightarrow \operatorname{Pic}{S}$ be a map of abelian groups. We introduce the notion of a principal toric fibration $\mathcal{X}_{\Sigma, \mathcal{E}}$…
Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…
In this paper, we shall consider some finiteness of ind-sheaves with ring actions. As the main result of this paper, there exists an equivalence of categories between the abelian category of coherent ind-$\beta\mathcal{A}$-modules and the…
In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space…
We show that an n-geometric stack may be regarded as a special kind of simplicial scheme, namely a Duskin n-hypergroupoid in affine schemes, where surjectivity is defined in terms of covering maps, yielding Artin n-stacks, Deligne-Mumford…
We construct new examples of derived autoequivalences for a family of higher-dimensional Calabi-Yau varieties. Specifically, we take the total spaces of certain natural vector bundles over Grassmannians G(r,d) of r-planes in a d-dimensional…
In this paper we study cobordism categories consisting of manifolds which are endowed with geometric structure. Examples of such geometric structures include symplectic structures, flat connections on principal bundles, and complex…