Skip to main content
MathOverflow
Jun Koizumi's user avatar
Jun Koizumi's user avatar
Jun Koizumi's user avatar
Jun Koizumi
  • Member for 3 years, 4 months
  • Last seen this week
Profile Activity

17 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
comment
Points with residue fields having big inseparability degree cannot be contained in smooth hypersurfaces
Bertini produces a regular hypersurface, but it is not smooth in general when the base field is imperfect.
awarded
 Yearling
asked
de Rham Witt complex vs. de Rham complex of the Witt ring
awarded
 Teacher
answered
The fundamental group of quotient space of 3-folds
awarded
 Scholar
accepted
Compact generation of the infinity category of stable infinity categories
comment
Compact generation of the infinity category of stable infinity categories
Thank you so much! I never imagined there would be so much between the lines on that paper, but I will attempt to prove it in the way you suggest. The alternative argument was also very helpful.
comment
Compact generation of the infinity category of stable infinity categories
Thank you for your answer. This may be a dumb question, but can you tell me why the ∞-category of spectral categories is compactly generated?
asked
Compact generation of the infinity category of stable infinity categories
awarded
 Supporter
awarded
 Student
comment
How to construct a sheaf on the infinitesimal site from a stratified module
@Johan I overlooked it. Thank you so much!
awarded
 Informed
awarded
 Editor
revised
How to construct a sheaf on the infinitesimal site from a stratified module
edited title
asked
How to construct a sheaf on the infinitesimal site from a stratified module