Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
728 views

Intuition behind formal neighborhood and local ring and formal power series

In The Geometry of Schemes by David Eisenbud and Joe Harris, on page 57, there is an explanation on "node" of a plane curve. The book says that, a curve $X\subseteq \mathbb A_{\mathbb C}^2$ ...
Ma Joad's user avatar
  • 1,755
4 votes
0 answers
477 views

DAG applied to homotopy theory: how to reach research level?

It is my dream to do research on applications of spectral algebraic geometry in homotopy theory one day. Specifically, giving a more uniform treatment for the results proved via scary computations (of ...
6 votes
2 answers
1k views

Ring structures on algebraic K-theory spectrum, and its non-connective counterpart

I have a few naive questions on the algebraic K-theory spectrum construction, but whose answers I couldn't figure out using the internet. I'm mostly interested in the case of a commutative ring, but I ...
xir's user avatar
  • 2,054
15 votes
0 answers
3k views

What to expect from spectral algebraic geometry

So I've been trying to learn some derived algebraic geometry, and I've chosen to approach the subject from the perspective of spectral or "brave new" algebraic geometry. Without having to go through ...
Exit path's user avatar
  • 3,019
21 votes
1 answer
3k views

Motivation and potential applications of spectral algebraic geometry

Nowadays there is a lot of talk about derived algebraic geometry, but not so much about the related subject of spectral algebraic geometry. Now I'm curious what future is there for spectral algebraic ...
JDou9's user avatar
  • 433
4 votes
1 answer
1k views

Can motivic E_∞-ring spectra be strictified to commutative motivic symmetric ring spectra?

Theorem 4.5.4.7 (4.4.4.7 in the old version) in Lurie's Higher Algebra (or Theorem 4.3.22 in DAG III) states (roughly speaking) that under certain conditions the ∞-category of commutative ∞-monoids in ...
Dmitri Pavlov's user avatar