Source author record

Mauro Porta

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AT math.CV math.SG

Catalog footprint

Research overview

7works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2016arXiv

Formal gluing along non-linear flags

In this paper we prove formal glueing along an arbitrary closed substack $Z$ of an arbitrary Artin stack $X$ (locally of finite type over a field $k$ ), for the stacks of (almost) perfect complexes , and of $G$ -bundles on $X$ (for $G$ a smooth affine algebraic $k$ -group scheme). By iterating this result, we get a decomposition of these stacks along an arbitrary nonlinear flag of closed substacks in $X$ . By taking points over the base field, we deduce from this both a formal glueing, and a flag-related decomposition formula for the corresponding symmetric monoidal derived $\infty$ -categories of (almost) perfect modules. When $X$ is a quasi-compact and quasi-separated scheme, we also prove a localization theorem for almost perfect complexes on $X$ , which parallels Thomason's localization results for perfect complexes. This is one of the main ingredients we need to provide a global characterization of the category of almost perfect complexes on the punctured formal neighbourhood. We then extend all of the previous results - i.e. the formal glueing and flag-decomposition formulas - to the case when $X$ is a derived Artin stack (locally almost of finite type over a field $k$ ), for the derived versions of the stacks of (almost) perfect modules, and of $G$ -bundles on $X$ . We close the paper by highlighting some expected progress in the subject matter of this paper, related to a Geometric Langlands program for higher dimensional varieties. In an Appendix (for $X$ a variety), we give a precise comparison between our formal glueing results and the rigid-analytic approach of Ben-Bassat and Temkin.

preprint2016arXiv

Higher analytic stacks and GAGA theorems

We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem for derived direct images under proper morphisms. We define analytification functors and prove the analog of Serre's GAGA theorems for higher stacks. We use the language of infinity category to simplify the theory. In particular, it enables us to circumvent the functoriality problem of the lisse-étale sites for sheaves on stacks. Our constructions and theorems cover the classical 1-stacks as a special case.

preprint2015arXiv

Derived complex analytic geometry II: square-zero extensions

We continue the explorations of derived \canal geometry started in [DAG-IX] and in http://arxiv.org/abs/1506.09042. We describe the category of $\mathcal O_X$ -modules over a derived complex analytic space $X$ as the stabilization of a suitable category of analytic algebras over $\mathcal O_X$ . Finally, we apply this description to introduce the notion of analytic square-zero extension and prove a fundamental structure theorem for them.

preprint2015arXiv

Infinitesimal and square-zero extensions of simplicial algebras

We introduce the notions of infinitesimal extension and square-zero extension in the context of simplicial commutatie algebras. We next investigate their mutual relationship and we show that the Postnikov tower of a simplicial commutative algebra is built out of square-zero extensions. We conclude the notes with two applications: we give connectivity estimates for the cotangent complex and we show how obstructions can be seen as deformations over simplicial rings.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Mauro Porta

Research overview

Is this your work?

7 publications

Non-archimedean quantum K-invariants

Representability theorem in derived analytic geometry

The homotopy-invariance of constructible sheaves

Formal gluing along non-linear flags

Higher analytic stacks and GAGA theorems

Derived complex analytic geometry II: square-zero extensions

Infinitesimal and square-zero extensions of simplicial algebras

See the researcher in context

Building this map preview