Timeline for Why $k[x,y]$ is not a formally smooth algebra?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2016 at 7:02 | answer | added | pbelmans | timeline score: 2 | |
| Jun 15, 2016 at 4:51 | comment | added | pbelmans | This notion of smoothness is also known as (Cuntz-)Quillen smoothness (they have the formal lifting property in the category of all algebras), and for a (finitely generated) commutative algebra it implies being of global dimension $\leq 1$, in particular $k[x,y]$ is not smooth in this sense. | |
| Jun 15, 2016 at 3:27 | history | asked | Zhaoting Wei | CC BY-SA 3.0 |