Return to search

On the existence of jet schemes logarithmic along families of divisors

A section of the total tangent space of a scheme X of finite type over a field k, i.e. a vector field on X, corresponds to an X-valued 1-jet on X. In the language of jets the notion of a vector field becomes functorial, and the total tangent space constitutes one of an infinite family of jet schemes Jm(X) for m ≥ 0. We prove that there exist families of “logarithmic” jet schemes JDm(X) for m ≥ 0, in the category of k-schemes of finite type, associated to any given X and its family of divisors D = (D₁, . . . ,Dr). The sections of JD₁(X) correspond to so-called vector fields on X with logarithmic poles along the family of divisors D = (D₁, . . . ,Dr). To prove this, we first introduce the categories of pairs (X,D) where D is as mentioned, an r-tuple of (effective Cartier) divisors on the scheme X. The categories of pairs provide a convenient framework for working with only those jets that pull back families of divisors. / Science, Faculty of / Mathematics, Department of / Graduate

Identiferoai:union.ndltd.org:UBC/oai:circle.library.ubc.ca:2429/3327
Date05 1900
CreatorsStaal, Andrew Philippe
PublisherUniversity of British Columbia
Source SetsUniversity of British Columbia
LanguageEnglish
Detected LanguageEnglish
TypeText, Thesis/Dissertation
Format280652 bytes, application/pdf
RightsAttribution-NonCommercial-NoDerivatives 4.0 International, http://creativecommons.org/licenses/by-nc-nd/4.0/

Page generated in 0.0018 seconds