484 reputation
1415
bio website math.cornell.edu/m/People/…
location Cornell University
age 23
visits member for 1 year, 3 months
seen 2 mins ago

Grad student at Cornell.


1d
comment Noncommutative HKR theorem
@MarianoSuárez-Alvarez Is it obvious why the two definitions are the same? I am still confused about that...
2d
comment Noncommutative HKR theorem
@VahidShirbisheh Yes, I know this book. But this section deals only with the case when $A$ is commutative and is smooth in the commutative world, which is different than being smooth in the noncommutative world.
2d
comment Noncommutative HKR theorem
@DanielPomerleano I don't know.. I have seen only the definition where $\Omega^1_{nc}(A)=ker(m\colon A\otimes A\to A)$ is the kernel of the multiplication map, and then $\Omega^\bullet(A)=T_A^\bullet(\Omega^1_{nc}(A))$ is the tensor algebra of $\Omega^1_{nc}(A)$.
2d
asked Noncommutative HKR theorem
Jul
2
awarded  Curious
Apr
2
awarded  Yearling
Mar
8
accepted Why is “naive” definition of non-commutative spectrum bad?
Mar
8
awarded  Nice Question
Mar
5
asked Why is “naive” definition of non-commutative spectrum bad?
Jan
11
comment Understanding iterated integrals
Dear Matthew, thank you very much! The link does work, it's just the pdf file is huge (more than 60mb).
Jan
11
comment Understanding iterated integrals
What is the name of the Deligne's paper you've mentioned?
Dec
20
comment Examples of major theorems with very hard proofs that have NOT dramatically improved over time
Is this proof much simpler? If yes, do you know any English reference? I don't read French. Thank you!
Dec
20
answered Examples of major theorems with very hard proofs that have NOT dramatically improved over time
Dec
17
comment Computer Algebra Errors
I think they have fixed it know. I tried and it says "True".
Dec
5
awarded  Suffrage
Dec
1
accepted Morita theorem for simplicial rings
Nov
24
comment Morita theorem for simplicial rings
Dear Martin, thank you very much for your answer! Can you, please, explain to me, why the Eilenberg-Watts theorem holds in the latter case? I have found a paper by Hovey "The Eilenberg-Watts theorem in homotopical algebra", and there he states the theorem for any cosmos $M$, but only for "nice" functors. For example, there should be a natural map $K\otimes FX\to F(K\otimes X)$ for any $K\in M$, $X\in Mod(A)$. Can you, please, explain, why is it the case when $M=simpAb$ and $C=Mod(B)$?
Nov
20
revised Morita theorem for simplicial rings
deleted 14 characters in body
Nov
19
asked Morita theorem for simplicial rings
Nov
1
accepted Two definitions of modules in monoidal category