Parabolic sheaves on logarithmic schemes (Q456758)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Parabolic sheaves on logarithmic schemes
scientific article

    Statements

    Parabolic sheaves on logarithmic schemes (English)
    0 references
    0 references
    0 references
    16 October 2012
    0 references
    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)].
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    parabolic sheaves
    0 references
    parabolic bundles
    0 references
    log scheme
    0 references
    algebraic stack
    0 references
    root stack
    0 references
    logarithmic geometry
    0 references
    parabolic quasi-coherent sheaf
    0 references
    0 references
    0 references