All Questions
Tagged with derived-algebraic-geometry reference-request
10 questions with no upvoted or accepted answers
10
votes
0
answers
420
views
What is the original source for the Goerss-Hopkins-Miller-Lurie theorem on tmf?
The central basic theorem of topological modular forms states that the structure sheaf of $\widehat{\mathcal{M}}_{ell}$ lifts to a sheaf of complex-oriented $E_{\infty}$-rings whose formal groups are ...
- 1,969
6
votes
0
answers
170
views
New investigations on Homotopical Algebraic Contexts
Homotopical algebraic context are models that allows Toën and Vezzosi to do derived geometry. It have been defined in their seminal paper Homotopical Algebraic Geometry II.
These are general abstract ...
- 177
6
votes
0
answers
196
views
Specific Example of a Morphism of Schemes for which the Push-Pull Morphism is not an Isomorphism
Consider a Cartesian diagram of schemes as follows:
$\require{AMScd}
\begin{CD}
X \times_Z Y @>{\tilde{\pi}}>> Y\\
@VV{\tilde{\phi}}V @VV{\phi}V\\
X @>{\pi}>> Z
\end{CD}$
From the ...
- 422
3
votes
0
answers
389
views
Status of motives in higher category theory: motives and algebraic cycles through a higher categorical perspective
A while ago this interesting question was asked Derived Algebraic Geometry and Chow Rings/Chow Motives.
Primary question:
Have there been any recent developments/advances on the above question? If not,...
3
votes
0
answers
219
views
Formal loop space in algebraic geometry
Does anyone have a reference or an explanation about the relationship between the formal loop space defined for affine schemes via $LX\left(R\right) = X\left(R\left(\left(t\right)\right)\right)$ (or ...
- 834
3
votes
0
answers
416
views
Derived geometry and theoretical physics
Is there any link between derived geometry and theoretical physics?
for example with particle physics or quantum mechanics?
Specifically something that included the obstruction bundle.
If possible I ...
- 272
2
votes
0
answers
91
views
Formal neighborhood of isolated singularity via DAG
I work over a field of characteristic $0$, denoted $k$. Let $f:\mathbf{A}^{d+1}\rightarrow\mathbf{A}^{1}$ have an isolated singularity at $0$, and let $\widehat{Z}$ denote the formal neighborhood of $...
- 121
2
votes
0
answers
482
views
About derived divided power envelope
Assume $A$ is a $\mathbb{Z}_{(p)}$-algebra with ideal $I$ and $A,A/I$ are $p$-torsionfree.
In this survey, Akhil Mathew defines the derived divided power envelope $LD_I(A)$ in Construction 7.15, after ...
- 121
2
votes
0
answers
157
views
Why is the stabilization of augmented $\mathbb{E}_\infty$-algebras equivalent to $k$-module spectra?
(I have already asked this on Math.SE, but it didn't draw much attention there, so I am reposting it here.)
Example 1.1.4 of Jacob Lurie's DAGX says that the stabilization $\operatorname{Stab}((\...
- 95
0
votes
0
answers
173
views
What means "extended concepts of symmetry"?
Where could one find a short description oft: "two mathematical extensions of the symmetry - to moduli spaces of sheaves and to derived categories", found here? Happen there interesting
things like ...
- 10.8k