Skip to main content
10 events
when toggle format what by license comment
Nov 26, 2014 at 8:00 answer added S. Carnahan timeline score: 3
Nov 25, 2014 at 15:07 answer added Reimundo Heluani timeline score: 5
Feb 12, 2012 at 1:46 comment added solbap Y. Sam comment was a response to `Also, the property of being a dualizing sheaf is insensitive to tensoring by a line bundle of shifting a complex, so for example every line bundle on a smooth scheme over a field is a "dualizing complex".' Originally, Brian did not want mention relative dualizing complex but only indicate that one has to work in the derived category. But to avoid confusion the above sentenced was removed and the comments were changed to be about relative dualizing complex.
Feb 12, 2012 at 1:39 history edited solbap CC BY-SA 3.0
deleted 173 characters in body
Feb 12, 2012 at 1:35 comment added solbap @Y.Sam from Brian `The answer is that "dualizing complex" is intrinsic to the scheme (as is needed to relate local and global duality on reasonable schemes); it is a different notion than "relative dualizing complex"; Yosemite Sam is thinking about relative dualizing complex/sheaf.'
Feb 10, 2012 at 15:23 comment added Yosemite Sam I'm a little bit confused, how can the structure sheaf be a dualizing sheaf on any smooth variety?
Feb 10, 2012 at 8:23 history edited solbap CC BY-SA 3.0
added 1042 characters in body
Feb 6, 2012 at 16:41 comment added solbap I mean algebraic smoothness. That is $\varprojlim S_n^q(m_n/m_n^2) \to \varprojlim m^q_n/m^{q+1}_n$ is an isomorphism for all $q\ge 0$. Locally of finite presentation I think is too restrictive because the main example I'm interested in is the loop group.
Feb 6, 2012 at 4:31 comment added S. Carnahan What definition of "smooth" are you using? I usually see "formally smooth and locally of finite presentation", but that might be overly restrictive for you.
Feb 5, 2012 at 8:51 history asked solbap CC BY-SA 3.0