Big Chemical Encyclopedia

Chemical substances, components, reactions, process design ...

Articles Figures Tables About

Commutativity of Twisted Inverse with Restrictions

The proof consists in straightforward diagram drawings.  [Pg.407]

Note that Ji is admissible by Lemma 18.9, 3, and hence 0(Ji,/ ) and Ji, /,) are defined. Since we have Ji, / ) is the conjugate of 0(Ji, / ) by definition, it suffices to show that 0 Ji,ft) is an isomorphism. It suffices to show that [Pg.408]

If i G Jo, then both hand sides are zero functors, and it is an isomorphism. On the other hand, if i Ji, then the map in question is equal to the composite isomorphism [Pg.408]

Note that U, has flat arrows, since Y has flat arrows and /, o g, is cartesian. [Pg.409]

We prove that g, is cartesian. Let t — j be a morphism in I. Then, the canonical map U, fjPj) Uj Ui Xy. Yj is an isomorphism by assumption. This map factors through U, gj) Uj — Ui Xj, and it is easy to see that (U, gj) is a closed immersion. On the other hand, it is an image dense open immersion, as can be seen easily, and hence it is an isomorphism. So p, is cartesian. [Pg.409]


Commutativity of Twisted Inverse with Restrictions 2 The composite map... [Pg.407]

The fourth step is to prove various commutativities related to the well-definedness of the twisted inverse pseudofunctors, Chapters 16, 18, and 19. Among them, the compatibility with restrictions (Proposition 18.14) is the key to our construction. Given a separated G-morphism of finite t3rpe / X Y between noetherian G-schemes, the associated morphism BQ f) Bq X) Bq Y) is cartesian, see (4.2) for the definition. If we could find a compactification... [Pg.269]


See other pages where Commutativity of Twisted Inverse with Restrictions is mentioned: [Pg.405]    [Pg.406]    [Pg.408]    [Pg.409]    [Pg.410]    [Pg.412]    [Pg.405]    [Pg.406]    [Pg.408]    [Pg.409]    [Pg.410]    [Pg.412]    [Pg.269]   


SEARCH



Commutability

Commutation

Commutativity

Commutator

Commute

© 2024 chempedia.info