Parabolic sheaves on logarithmic schemes (Q456758): Difference between revisions

Parabolic vector bundles (and later parabolic torsion free sheaves) were studied for their own interest and to prove theorems (e.g. a rationality theorem) for moduli of vector bundles (\textit{V. B. Mehta} and \textit{C. S. Seshadri}, [Math. Ann. 248, No. 3, 205--239 (1980; Zbl 0454.14006)], \textit{M. Maruyama} and \textit{K. Yokogawa}, [Math. Ann. 293, No. 1, 77--99 (1992; Zbl 0735.14008)], \textit{J. N. N. Yer} and \textit{C. T. Simpson}, [Math. Ann. 338, No. 2, 347--383 (2007; Zbl 0776.14004)]). A breakthrough and a flurry of activities arose when Biswas connected rational parabolic bundles with bundles on orbifolds \textit{I. Biswas}, Duke [Math. J. 88, No. 2, 305--325 (1997; Zbl 0955.14010)]; hence connections with algebraic stacks and root stacks (\textit{N. Borne}, [Indiana Univ. Math. J. 58, No. 1, 137--180 (2009; Zbl 1186.14016)], \textit{N. Borne}, [Int. Math. Res. Not. 2007, No. 16, Article ID rnm049, 38 p. (2007; Zbl 1197.14035)]). In the paper under review the authors give many reasons to see parabolic sheaves (even with torsion) on a scheme in the set-up of logarithmic geometry [\textit{K. Kato}, in: Algebraic analysis, geometry, and number theory, Proc. JAMI Inaugur. Conf., Baltimore/MD (USA) 1988, 191--224 (1989; Zbl 0776.14004)]. The authors give a definition of parabolic quasi-coherent sheaf with fixed rational weights on a logarithmic scheme \((X, M, \rho )\) and show that the associated cathegory is equivalent to the category of sheaves on a root stack. They associate to \((M,\rho )\) the symmetric monoidal stack on the small étale site \(X_{\text{ét}}\) whose objects are invertible sheaves with sections. They develope this theory and call them a Deligne-Faltings structure, proving many results on logarithmic schemes directly from their set-up and interpreting or improving old results in their set-up [\textit{M. C. Olson}, Ann. Sci. École Norm. Sup. (4) 36, No. 5, 747--791 (2003; Zbl 1069.14022); \textit{K. Hagihara}, K-theory 29, No. 2, 75--99 (2003; Zbl 1038.19002); \textit{W. Nizioł}, Doc. Math. 13, 505--551 (2008; Zbl 1159.19003); Adv. Math. 230, No. 4--6, 1646--1672 (2012; Zbl 1269.19003)].