bio | website | webspersoais.usc.es/persoais/… |
---|---|---|
location | USC.es | |
age | ||
visits | member for | 3 years, 10 months |
seen | 2 days ago | |
stats | profile views | 1,316 |
Mar 7 |
awarded | Necromancer |
Mar 6 |
awarded | Nice Answer |
Mar 6 |
revised |
Why is the derived tensor product only defined for bounded above derived categories?
minor correction |
Mar 6 |
comment |
Why is the derived tensor product only defined for bounded above derived categories?
@Adeel The paper you mention is a great reference, but it uses model categories, the ones I gave restrict to methods of homological algebra, enough for a lot of purposes. In any case, a general knowledge of model categories is useful too. |
Mar 6 |
answered | Topological homotopy category as derived category |
Mar 6 |
answered | Why is the derived tensor product only defined for bounded above derived categories? |
Feb 24 |
reviewed | Approve suggested edit on When is this matrix singular? |
Jan 17 |
awarded | Custodian |
Jan 17 |
reviewed | Approve suggested edit on Going further on How sections of line bundles rule maps into projective spaces |
Dec 16 |
comment |
Why was it so difficult to define the relative de Rham-Witt complex?
It seems that leaving the "base field" case adds a lots of complexity, as in general Witt vectors vs. $p$-typical Witt vectors. Are you aware of arXiv:1311.2774? I guess, these kind of ideas would lead to a simpler construction of DRW over a field. |
Dec 16 |
comment |
Why was it so difficult to define the relative de Rham-Witt complex?
I guess this is connected to Grothendieck's problem of finding a good theory of crystals "over $\mathbb{Z}$". And this seems to have revealed as a very complicated task. |
Dec 13 |
comment |
How can an extremely mathematically talented young person be helped to fulfill his/her potential?
Frankly, I don't understand. You can acquire a feeling of what happens looking at examples. This is what math software provides. Do you think the kid is beyond Pappus or Desargues axioms in geometry or Jordan form of a matrix? |
Dec 12 |
awarded | Citizen Patrol |
Dec 11 |
answered | How can an extremely mathematically talented young person be helped to fulfill his/her potential? |
Oct 23 |
comment |
canonical bundle of the relative spectrum
Notice that $Spec(Sym(\mathcal{A}))$ is affine over $X$ and you have to put very tight restrictions to make it finite, i.e. proper, where the theory of the canonical module works. |
Oct 15 |
awarded | Caucus |
Sep 30 |
revised |
$\mathcal{D}$-quasi-isomorphisms and coherent $\Omega$-modules
fixet TeX |
Sep 17 |
revised |
Comparison of two traces
added 54 characters in body |
Sep 17 |
answered | Comparison of two traces |
Jul 19 |
revised |
Equivalence of definitions of Tilting
edited tags |