Лёня Посицельский (posic) wrote,
Лёня Посицельский

IK, co-contra, MGM


Given a ring, you may want also to have a dualizing complex for it. When you have a coalgebra, it has been "dualized" already, being the dual thing to an algebra. So the coalgebra is a dualizing complex over itself; while having a dualizing complex for a ring makes it more like a coalgebra.

Given a coalgebra, though, you may want to "dedualize" it back, which means having a dedualizing complex for it. When you have a ring, it is already a dedualizing complex over itself. Having a dedualizing complex for a coalgebra makes it more like a ring.

The conventional derived category of modules over a ring is tautologically equivalent to itself, but constructing an equivalence between the coderived and contraderived categories of modules over a (Noetherian) ring requires a dualizing complex. This is the Iyengar-Krause covariant version of the Serre-Grothendieck duality.

The coderived category of comodules and the contraderived category of contramodules over a coalgebra are always equivalent to each other. This is called "the co-contra correspondence". But constructing an equivalence between the conventional derived categories of comodules and contramodules over a (co-Noetherian) coalgebra requires a dedualizing complex. This is called the Matlis-Greenlees-May duality.


To obtain a dualizing complex over the ring of functions on an affine variety over a field, one considers the structure sheaf of the spectrum of the field and pulls it back to the variety by the Hartshorne-Deligne extraordinary inverse image functor p^!. To obtain a dedualizing complex over the coalgebra dual to the ring of functions on the formal completion of a variety over a field at a closed point, one considers the structure sheaf of this variety and pulls it back to the formal completion of its closed point by the right derived functor of set-theoretically supported sections Ri^!.


детали в http://posic.livejournal.com/1157340.html и далее по ссылкам
Tags: math9

  • К предыдущему

    Есть природное или научное явление, и есть теории, его объясняющие. Типа, я не знаю, гравитации или кошулевой двойственности. Теории меняются, а…

  • Decline Advice Request

    As a matter of personal policy, I do not do any reviews for journals which would not publish my own work. Back in January 2017, my paper "Smooth…

  • Семь лет назад

    11 мая 2014 года я прилетел из Москвы в аэропорт Бен-Гуриона. Я поселился в снятой по букингу квартире-студио на (любимой с тех пор) улице Бен-Иегуда…

  • Post a new comment


    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.