Searcharxiv⌕ Search

arXiv subjects

Mauro Porta

Publications and source records attributed to Mauro Porta.

At least 19 recordsLinked to original sources
arXiv2026

The derived moduli of perverse sheaves

We construct higher derived Artin stacks parametrizing constructible sheaves on complex algebraic varieties and compact real analytic varieties. Furthermore, we show that every perversity function gives rise to an open substack of perverse sheaves, which is a 1-Artin stack locally of finite presentation that generalizes usual character stacks. As a sample application of the derived structure, we construct new examples of cohomological Hall algebras associated to punctured Riemann surfaces.

math.AG↗
arXiv2026

Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians

This paper provides the first algebraic characterization of an algebra of cohomological Hecke operators associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), establishing a direct connection with Yangians. It is based on the theory of equivariant nilpotent cohomological Hall algebras $\mathbf{HA}^T_{X,Z}$, developed by the same authors. More precisely, let $X$ be a resolution of a Kleinian singularity (for example, $X = T^\ast\mathbb{P}^1$) and let $Z$ be the exceptional divisor. One of the main results of this paper is an explicit isomorphism $\mathbf{HA}^T_{X,Z} \simeq \mathbb{Y}^+_\infty$, where $\mathbb{Y}^+_\infty$ is a completed, nonstandard, positive half of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE Lie algebra $\mathfrak{g}$. Furthermore, the generators of $\mathbf{HA}^T_{X,Z}$--given by fundamental classes of substacks of zero-dimensional sheaves and of pushforwards of line bundles on $Z$--are expressed explicitly in terms of Yangian generators. Our main tools, which may be of independent interest, are: (i) a `continuity' theorem describing the behavior of cohomological Hall algebras of objects in the heart of $t$-structures $\tau_n$ when the sequence $(\tau_n)_n$ converges, in an appropriate sense, to a fixed $t$-structure $\tau_\infty$; (ii) the definition of a multi-parameter Yangian $\mathbb{Y}_Q$ for an arbitrary quiver $Q$, given by generators and relations; (iii) a theorem relating the algebraic action of the braid group $B_Q$ on the Yangian $\mathbb{Y}_Q$ to the action of $B_Q$ on the equivariant 2-dimensional cohomological Hall algebra $\mathbf{HA}^T_Q$ of $Q$, where the latter can be described in terms of derived reflection functors of the bounded derived category of modules over the preprojective algebra of $Q$.

math.AG↗
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

Standard $t$-structures

We provide a general construction of induced $t$-structures, that generalizes standard $t$-structures for $\infty$-categories of sheaves. More precisely, given a presentable $\infty$-category $\mathcal{X}$ and a presentable stable $\infty$-category $\mathcal{E}$ equipped with an accessible $t$-structure $\tau = (\mathcal{E}_{\geq 0}, \mathcal{E}_{\leq 0})$, we show that $\mathcal{X} \otimes \mathcal{E}$ is equipped with a canonical $t$-structure whose coconnective part is given in $\mathcal{X} \otimes \mathcal{E}_{\leq 0}$. When $\mathcal{X}$ is an $\infty$-topos, we give a more explicit description of the connective part as well.

math.CT↗
arXiv2025

The derived moduli of Stokes data

The goal of this paper is to show that Stokes data coming from flat bundles form a locally geometric derived stack locally of finite presentation. This generalizes existing geometricity results on Stokes data in four different directions: our result applies in any dimension, $\infty$-categorical coefficients are allowed, derived structures on moduli spaces are considered and more general spaces than those arising from flat bundles are permitted.

math.AG↗
arXiv2025

Nilpotent cohomological Hall algebras of surfaces

This paper develops a framework for systematically studying cohomological "Hecke operators" associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), using the theory of cohomological Hall algebras. More precisely, we construct a moduli stack of coherent sheaves $\mathbf{Coh}(\widehat{X}_Z)$ on $X$ with set-theoretic support $Z$ and we prove that its reduced is an Artin stack locally of finite type. This provides a vast generalization of the global nilpotent cone. Subsequently, we develop the needed background to define the (motivic, $T$-equivariant) cohomological Hall algebra $\mathbf{HA}^{T}_{X,Z}$ of the moduli stack of coherent sheaves on $X$ with set-theoretic support on $Z$, in the setting of a general motivic formalism $\mathbf{D}$ in the sense of Khan. The algebra $\mathbf{HA}^{\mathbf{D}, A}_{X,Z}$ is functorial with respect to closed immersions $Z' \subset Z$ and transformations of the motivic formalism $\mathbf{D}$, and only depends on the formal neighborhood $\widehat{X}_Z$ of $Z$ in $X$. In the companion paper arXiv:2603.03386, we use the nilpotent COHA $\mathbf{HA}^{T}_{X,Z}$ to answer a question previously raised in arXiv:2004.13685 about the precise relationship between the COHA of a minimal resolution of a Kleinian singularity and the corresponding preprojective COHA.

math.AG↗
arXiv2024

Exodromy beyond conicality

We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of the underlying homotopy types of these spaces. These stratifications are typically not conical; hence we cannot rely on the currently available exodromy equivalence between constructible sheaves on a stratified space, which requires conicality as a fundamental hypothesis. Building on ideas of Clausen and Jansen, we study the class of exodromic stratified spaces, for which the conclusion of the exodromy theorem holds. We prove two new fundamental properties of this class of stratified spaces: coarsenings of exodromic stratifications are exodromic, and every morphism between exodromic stratified spaces induces a functor between the associated exit path $\infty$-categories. As a consequence, we produce many new examples of exodromic stratified spaces, including: coarsenings of conical stratifications, locally finite subanalytic stratifications of real analytic spaces, and algebraic stratifications of real varieties. Our proofs are at the generality of stratified $\infty$-topoi, hence apply to even more general situations such as stratified topological stacks. In a subsequent paper, we use the previously mentioned finiteness results to construct derived moduli stacks of constructible and perverse sheaves.

math.AT↗
arXiv2023

McKay correspondence, cohomological Hall algebras and categorification

Let $π\colon Y\to X$ denote the canonical resolution of the two dimensional Kleinian singularity $X$ of type ADE. In the present paper, we establish isomorphisms between the cohomological and K-theoretical Hall algebras of $ω$-semistable properly supported sheaves on $Y$ with fixed slope $μ$ and $ζ$-semistable finite-dimensional representations of the preprojective algebra of affine type ADE of slope zero respectively, under some conditions on $ζ$ depending on the polarization $ω$ and $μ$. These isomorphisms are induced by the derived McKay correspondence. In addition, they are interpreted as decategorified versions of a monoidal equivalence between the corresponding categorified Hall algebras. In the type A case, we provide finer descriptions of the cohomological, K-theoretical and categorified Hall algebra of $ω$-semistable properly supported sheaves on $Y$ with fixed slope $μ$: for example, in the cohomological case, the algebra can be given in terms of Yangians of finite type ADE Dynkin diagrams.

math.AG↗
arXiv2023

GAGA problems for the Brauer group via derived geometry

This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general Beauville-Laszlo kind of statement for quasi-coherent sheaves of categories. Next, we prove that given any (derived) scheme $X$, proper over the spectrum of a quasi-excellent Henselian ring, the derived Brauer group of $X$ injects into the one of the Henselization of $X$ along the base, generalizing a classical result of Grothendieck and a more recent theorem of Geisser-Morin. As a separate application, we deduce that Grothendieck's existence theorem holds for the stable $\infty$-categories of twisted sheaves even when the corresponding $\bbG_m$-gerbe does not satisfy the resolution property, offering an improvement of a result of Alper, Rydh and Hall.

math.AG↗
arXiv2023

Flops and Hilbert schemes of space curve singularities

Using pagoda flop transitions between smooth projective threefolds, a relation is derived between the Euler numbers of moduli spaces of stable pairs which are scheme-theoretically supported on a fixed singular space curve and Euler numbers of Flag Hilbert schemes associated to a plane curve singularity. When the space curve singularity is locally complete intersection, one obtains a relation between the latter and Euler numbers of Hilbert schemes of the space curve singularity. It is also shown that this relation yields explicit results for a class of torus-invariant locally complete intersection singularities.

math.AG↗
arXiv2022

Two-dimensional categorified Hall algebras

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 $\mathsf{Coh}^{\mathsf{b}}(\mathbb{R}\mathsf{M})$ of complexes of sheaves with bounded coherent cohomology on a derived moduli stack $\mathbb{R}\mathsf{M}$. In the surface case, $\mathbb{R}\mathsf{M}$ is a suitable derived enhancement of the moduli stack $\mathsf{M}$ of coherent sheaves on the surface. This construction categorifies the K-theoretical and cohomological Hall algebras of coherent sheaves on a surface of Zhao and Kapranov-Vasserot. In the curve case, we define three categorified Hall algebras associated with suitable derived enhancements of the moduli stack of Higgs sheaves on a curve $X$, the moduli stack of vector bundles with flat connections on $X$, and the moduli stack of finite-dimensional local systems on $X$, respectively. In the Higgs sheaves case we obtain a categorification of the K-theoretical and cohomological Hall algebras of Higgs sheaves on a curve of Minets and Sala-Schiffmann, while in the other two cases our construction yields, by passing to $\mathsf K_0$, new K-theoretical Hall algebras, and by passing to $\mathsf H_\ast^{\mathsf{BM}}$, new cohomological Hall algebras. Finally, we show that the Riemann-Hilbert and the non-abelian Hodge correspondences can be lifted to the level of our categorified Hall algebras of a curve.

math.AG↗
arXiv2022

Topological exodromy with coefficients

The exodromy equivalence relates the derived $\infty$-category of constructible sheaves on a stratified space (X,P) with the $\infty$-category of representations of the exit-paths $\infty$-category of (X,P). Originally envisioned by MacPherson, it has been rigorously developed by Treumann and later improved by Lurie. This paper provides a new proof of the strongest version of this equivalence. This allows us to remove several limitations from Lurie's treatement; for instance we prove that the exodromy equivalence is functorial in arbitrary morphism of stratified spaces. We also remove all noetherianity assumptions, consider more general coefficients (e.g. compactly assembled or stable presentable $\infty$-categories), and we allow stratified spaces that have locally weakly contractible strata, rather than being locally of singular shape.

math.AT↗
arXiv2022

Non-archimedean Gromov-Witten invariants

Motivated by mirror symmetry and the enumeration of holomorphic disks, we construct the theory of Gromov-Witten invariants in the setting of non-archimedean analytic geometry. We build on our previous works on derived non-archimedean geometry and non-archimedean quantum K-invariants, as well as recent developments of rigid analytic motives and virtual fundamental classes in derived geometry. Our approach gives also a new perspective for the classical algebraic case.

math.AG↗
arXiv2022

The homotopy-invariance of constructible sheaves

The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is homotopy-invariant. To do this, we first establish a number of results in the unstratified setting, i.e., the setting of locally constant (hyper)sheaves. For example, if $X$ is a locally weakly contractible topological space and $\mathcal{E}$ is a presentable $\infty$-category, then we give a concrete formula for the constant hypersheaf functor $\mathcal{E}\to \mathrm{Sh}^{\mathrm{hyp}}(X;\mathcal{E})$. This formula lets us show that the constant hypersheaf functor is a right adjoint, and is fully faithful if $X$ is also weakly contractible. It also lets us prove a general monodromy equivalence and categorical Künneth formula for locally constant hypersheaves.

math.AT↗
arXiv2022

Non-archimedean quantum K-invariants

We construct quantum K-invariants in non-archimedean analytic geometry. Contrary to the classical approach in algebraic geometry via perfect obstruction theory, we build on our previous works on the foundations of derived non-archimedean geometry, the representability theorem and Gromov compactness. We obtain a list of natural geometric relations between the stacks of stable maps, directly at the derived level, with respect to elementary operations on graphs, namely, products, cutting edges, forgetting tails and contracting edges. They imply immediately the corresponding properties of quantum K-invariants. The derived approach produces highly intuitive statements and functorial proofs. The flexibility of our derived approach to quantum K-invariants allows us to impose not only simple incidence conditions for marked points, but also incidence conditions with multiplicities. This leads to a new set of enumerative invariants. For the proofs, we further develop the foundations of derived non-archimedean geometry in this paper: we study derived lci morphisms, relative analytification, and deformation to the normal bundle. Our motivations come from non-archimedean enumerative geometry and mirror symmetry.

math.AG↗
arXiv2022

Cohomological Hall algebras, their categorification, and their representations via torsion pairs

In this paper we provide a systematic way of producing representations of cohomological, K-theoretical and categorified Hall algebras, and study the output of our construction in several cases. We thus recover and categorify in a unified framework the action of the COHA of a quiver on the cohomology of Nakajima quiver variety, the action of the COHA of zero-dimensional sheaves on the the cohomology of Hilbert schemes of points and moduli spaces of Gieseker-stable sheaves on smooth surfaces, recovering the constructions of Negu\c{t} and DeHority. We also obtain new examples, associated to Pandharipande-Thomas stable pairs. Along the way, we explain carefully under which conditions one can associate to a pair $(\mathscr{C},\tau)$ consisting of a stable $\infty$-category with a t-structure a COHA. This requires a careful analysis and extension of Khan's theory of motivic Borel-Moore homology to the non quasi-compact setting, and it allows to produce new examples of COHAs arising from Bridgeland's stability conditions. The representations that we construct take an extra categorical input: that of a torsion pair $(\mathscr{T},\mathscr{F})$ on the heart $\mathscr{C}^\heartsuit$ of $\tau$. Under favorable conditions, the homology of the moduli stack associated to $\mathscr{T}$ acquires a Hall multiplication, that acts both on the left and on the right on the homology of the moduli stack associated to $\mathscr{F}$. The left action generalizes and categorifies Nakajima's positive operators, while the right action corresponds to negative operators.

math.AG↗
arXiv2022

Representability theorem in derived analytic geometry

We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and practical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theorem enables us to enhance various classical moduli spaces with derived structures, thus provides plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived mapping stacks via the representability theorem.

math.AG↗