Indexed algebras associated to a log structure and a theorem of \(p\)-descent on log schemes (Q1974136)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Indexed algebras associated to a log structure and a theorem of \(p\)-descent on log schemes
scientific article

    Statements

    Indexed algebras associated to a log structure and a theorem of \(p\)-descent on log schemes (English)
    0 references
    0 references
    3 March 2002
    0 references
    A log scheme is a scheme \(X\) endowed with an étale sheaf of monoids \({\mathcal M}_X\) and with a map of monoids \(\alpha:{\mathcal M}_X\to{\mathcal O}_X\) (\({\mathcal M}_X\) is regarded as a multiplicative sheaf of monoids) such that the induced map \(\alpha^{-1}({\mathcal O}^*_X)\to{\mathcal O}_X^*\) is an isomorphism. The author associates to any log scheme a canonical invertible sheaf endowed with a certain multiplicative structure, called the associated graded algebra of the given log scheme. Then the author constructs a canonical connection on this algebra. In the log smooth case, over a field \(k\) of characteristic \(p\) the author studies the integrable and \(p\)-integrable graded modules over this algebras and proves a Cartier type \(p\)-descent theorem, which generalizes a result of \textit{A. Ogus} [``\(F\)-crystals, Griffiths transversality, and the Hodge decomposition'', Astérisque 221, Société Mathématique de France (1994; Zbl 0801.14004)].
    0 references
    log schemes
    0 references
    connections
    0 references
    log scheme
    0 references
    \(p\)-integrable graded modules
    0 references
    descent
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references