arXiv subjects
Publications and source records attributed to Mattia Talpo.
We show exactness of the homotopy sequence for the logarithmic fundamental group in the case of log smooth, finitely presented, proper and saturated morphisms of fs log schemes over a field. This generalizes earlier results of Hoshi in the log regular case. In passing, we also construct a "log Stein factorization" in some particular cases.
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.
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].
We give two constructions of functorial topological realizations for schemes of finite type over the field $\mathbb{C}(\!(t)\!)$ of formal Laurent series with complex coefficients, with values in the homotopy category of spaces over the circle. The problem of constructing such a realization was stated by D. Treumann, motivated by certain questions in mirror symmetry. The first construction uses spreading out and the usual Betti realization over $\mathbb{C}$. The second uses generalized semistable models and log Betti realization defined by Kato and Nakayama, and applies to smooth rigid analytic spaces as well. We provide comparison theorems between the two constructions and relate them to the étale homotopy type and de Rham cohomology. As an illustration of the second construction, we treat two examples, the Tate curve and the non-archimedean Hopf surface.
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.
We introduce the notion of a holonomic D-module on a smooth (idealized) logarithmic scheme and show that Verdier duality can be extended to this context. In contrast to the classical case, the pushforward of a holonomic module along an open immersion is in general not holonomic. We introduce a "perverse" t-structure on the category of coherent logarithmic D-modules which makes the dualizing functor t-exact on holonomic modules. This allows us to transfer some of the formalism from the classical setting and in particular show that every holonomic module on an open subscheme can be extended to a holonomic module on the whole space. Conversely this t-exactness characterizes holonomic modules among all coherent logarithmic D-modules. We also introduce logarithmic versions of the Gabber and Kashiwara-Malgrange filtrations.
We define quasi-coherent parabolic sheaves with real weights on a fine saturated log analytic space, and explain how to interpret them as quasi-coherent sheaves of modules on its Kato-Nakayama space. This recovers the description as sheaves on root stacks of arXiv:1001.0466 and arXiv:1410.1164 for rational weights, but also includes the case of arbitrary real weights.
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.
We define and study infinite root stacks of fine and saturated logarithmic schemes, a limit version of the root stacks introduced by Niels Borne and the second author. We show in particular that the infinite root stack determines the logarithmic structure, and recovers the Kummer-flat topos of the logarithmic scheme. We also extend the correspondence between parabolic sheaves and quasi-coherent sheaves on root stacks to this new setting.
We extend the formalism of "log spaces" of arXiv:1507.06752 to topoi equipped with a sheaf of monoids, and discuss Deligne--Faltings structures and root stacks in this context.
Illusie has suggested that one should think of the classifying group of $M_X^{gp}$-torsors on a logarithmically smooth curve $X$ over a standard logarithmic point as a logarithmic analogue of the Picard group of $X$. This logarithmic Picard group arises naturally as a quotient of the algebraic Picard group by lifts of the chip firing relations of the associated dual graph. We connect this perspective to Baker and Norine's theory of ranks of divisors on a finite graph, and to Amini and Baker's metrized complexes of curves. Moreover, we propose a definition of a combinatorial rank for line bundles on $X$ and prove that an analogue of the Riemann-Roch formula holds for our combinatorial rank. Our proof proceeds by carefully describing the relationship between the logarithmic Picard group on a logarithmic curve and the Picard group of the associated metrized complex. This approach suggests a natural categorical framework for metrized complexes, namely the category of logarithmic curves.
We compute the class of the classifying stack of the exceptional algebraic group $G_2$ and of the spin groups $\mathrm{Spin}_7$ and $\mathrm{Spin}_8$ in the Grothendieck ring of stacks, and show that they are equal to the inverse of the class of the corresponding group. Furthermore, we show that the computation of the motivic classes of the stacks $\mathscr{B}\mathrm{Spin}_n$ can be reduced to the computation of the classes of $\mathscr{B} Δ_n$, where $Δ_n\subset \mathrm{Pin}_n$ is the "extraspecial $2$-group", the preimage of the diagonal matrices under the projection $\mathrm{Pin}_n\to \mathrm{O}_n$ to the orthogonal group.
We compute the class of the classifying stack of the special orthogonal group in the Grothendieck ring of stacks, and check that it is equal to the multiplicative inverse of the class of the group.
We give a functorial description of the Kato-Nakayama space of a fine saturated log analytic space that is similar in spirit to the functorial description of root stacks. As a consequence we get a global description of the comparison map constructed in arXiv:1511.00037 from the Kato-Nakayama space to the (topological) infinite root stack.
We study the stack B_{h,g,n} of uniform cyclic covers of degree n between smooth curves of genus h and g and, for h >> g, present it as an open substack of a vector bundle over the universal Jacobian stack of M_g. We use this description to compute the integral Picard group of B_{h,g,n}, showing that it is generated by tautological classes of B_{h,g,n}.
We generalize the construction of moduli spaces of parabolic sheaves given by Maruyama and Yokogawa in [MY92] to the case of a projective fine saturated log scheme with a fixed global chart. Furthermore we construct moduli spaces of parabolic sheaves without fixing the weights.
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.
We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction theory, versal and universal formal deformations. We include proofs of two key results: a versione of Schlessinger's Theorem in this context, and the Ran--Kawamata vanishing theorem for obstructions. We accompany this with a detailed analysis of three important cases: smooth varieties, local complete intersection subschemes and coherent sheaves.