Parabolic sheaves with real weights as sheaves on the Kato-Nakayama space (Q1790252): Difference between revisions

Starting with work of Borne and Vistoli, researchers have used logarithmic geometry to establish a robust formalism for parabolic sheaves. Two key issues are formulating a flexible definition of parabolic sheaves that e.g.~allows for torsion and showing that these parabolic sheaves satisfy a Narasimhan-Seshadri-like correspondence identifying parabolic sheaves with sheaves on an auxiliary space. In [Adv. Math. 231, No. 3--4, 1327--1363 (2012; Zbl 1256.14002)], \textit{N. Borne} and \textit{A. Vistoli} proposed a definition of parabolic sheaf where the weights \(w\) are required to be rational numbers and showed that, when the denominators of the weights are bounded by \(r\), parabolic sheaves on a log scheme \(X\) can be identified with sheaves on the associated \(r\)-th root stack, a stack that in the classical case of a pair \((X, D)\) is essentially given by adjoining \(r\)-th roots of a local equation for \(D\). This result result was generalized by the present author and \textit{A. Vistoli} [Proc. Lond. Math. Soc. (3) 116, No. 5, 1187--1243 (2018; Zbl 1439.14014)] so that the boundedness condition is dropped and the \(r\)-th root stack is replace by the infinite root stack, a certain limit of root stacks. In that paper, the weights were still required to be rational, and the present paper proves a generalization in the analytic category where the weights allowed to be irrational. \newline The main result of this paper is that, if \(X\) is a fine saturated log analytic space and \((M/\mathcal{O}^{\times}_{X}) \subset \Lambda \subset (M/\mathcal{O}^{\times}_{X}) \otimes \mathbb{R}_{+}\) is a \((M/\mathcal{O}^{\times}_{X})^{\text{gp}}\)-graded quasi-coherent sheaf of monoids, then there is an equivalence between quasi-coherent parabolic sheaves on \(X\) with weights in \(\Lambda\) and quasi-coherent \(\mathcal{O}^{\text{log}}_{\Lambda}\)-modules on the Kato-Nakayama space. The Kato-Nakayama space is not a log scheme but rather is a topological space that for \((X, D)\) is a real oriented blow-up along \(D\), and \(\mathcal{O}^{\text{log}}_{\Lambda}\) is an explicit sheaf of rings constructed from \(\Lambda\).