Timeline for Are there strictly connective smooth proper algebras over $\mathbb{F}_p$?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 6, 2022 at 19:32 | comment | added | Andy Jiang | having a non-zero homological class | |
| Nov 4, 2022 at 19:21 | comment | added | S. carmeli | what do you mean by "negative"? concentrated in non-positive cohomological degrees? or having a non-zero class in such degree? | |
| Nov 4, 2022 at 15:49 | comment | added | Andy Jiang | @S.carmeli Thanks! that's a great example. By any chance (can't hurt to ask!) do you know any smooth proper categories over a field with negative Hochschild cohomology? | |
| Nov 3, 2022 at 20:13 | comment | added | S. carmeli | Here's an example of a spirit similar to that suggested by Maxime, but more algebrao-geometric. Look at (derived!) coherent sheaves on $\mathbb{P}^1$. The object $O \oplus O(1)[1]$ is a generator of this category, so you can identify it with modules over the endomorphisms of this sheaf. Its endomorphism is also connective (there's no cohomology to $O(-1)$) but it is not discrete. But the condition of $R$ being compact as a bi-module follows from the smoothness of $\mathbb{P}^1$. | |
| Nov 3, 2022 at 16:42 | vote | accept | Andy Jiang | ||
| Nov 3, 2022 at 13:44 | answer | added | Maxime Ramzi | timeline score: 3 | |
| Nov 3, 2022 at 12:16 | history | edited | Andy Jiang | CC BY-SA 4.0 |
added 190 characters in body
|
| Nov 1, 2022 at 2:03 | history | edited | LSpice | CC BY-SA 4.0 |
`\mathit`
|
| Nov 1, 2022 at 1:13 | history | asked | Andy Jiang | CC BY-SA 4.0 |