Questions tagged [derived-algebraic-geometry]
The derived-algebraic-geometry tag has no usage guidance.
276 questions
1
vote
1
answer
256
views
Examples when algebraic 1-stack = derived enhancement?
Are there any examples where a usual algebraic 1-stack $X$ and the corresponding derived stack enhancement $\mathbb{R}X$ coincide?
Let me take an example from notes of Bertrand Toen, page 41 of https:/...
- 163
1
vote
1
answer
201
views
Computing units in a dg-algebra
Let $\mathbb{G}_m= Spec(k[z,z^{-1}])$ be the usual multiplicative group over a field $k$ viewed as a discrete commutative dg-algebra, and let $A$ be some arbitrary commutative dg-algebra concentrated ...
- 3,019
1
vote
1
answer
398
views
Is the pushforward of a closed immersion of spectral Deligne-Mumford stacks conservative?
Let $ X \hookrightarrow Y$ be a closed immersion of (connective) spectral Deligne-Mumford stacks, is $ i_* : Qcoh(X) \rightarrow Qcoh(Y)$ conservative? Somehow I couldn't find the statement in SAG...
- 595
1
vote
0
answers
128
views
full strong exceptional collection
I am wondering whether, if a triangulated category $\mathcal{D}$ has a full strong exceptional collection (infinite), it is triangle-equivalent to the bounded derived category of finitely generated ...
- 359
1
vote
0
answers
62
views
Geometric stability conditions on calabi-yau's fibred over Fano always identical to geometric stability conditions on Fano
I apologize in advance for the long title. This question is motivated primarily by [2], with the explicit example of $\mathbb{P}^2$ and $\omega_{\mathbb{P}^2}$ computed in [3] and [1], respectively.
...
- 317
1
vote
0
answers
143
views
$\varinjlim_{k}\Omega^{k}\circ \Sigma^{k}$ as 1-excisive approximation of the identity functor
In chapter 6 of HA by Lurie, for any functor $F:C\rightarrow D$ between 'nice' categories (like differentiable infinity categories), there is an $n$ excisive approximation to this functor behaving ...
- 618
1
vote
0
answers
195
views
The spectrum object in the $\infty$ category $CAlg_{R}$
Consider the infinity category of simplicial rings $CAlg=Fun^{\prod}(Poly^{op},Spc)$, and the under-category over $R$: $CAlg_{A/}$ is equivalent to $CAlg_{A}=Fun^{\prod}(Poly^{op}_{R},Spc)$ by 25.1.4....
- 618
1
vote
0
answers
66
views
The space of virtual Cartier divisors on a classical scheme over a closed immersion is discrete
I am currently reading the paper Virtual Cartier divisors and blow-ups where the virtual Cartier divisor on an $X$ scheme $S$ over a quasi-smooth closed immersion $Z\rightarrow X$ is defined to be the ...
- 618
1
vote
0
answers
109
views
Computing Grothendieck group of (unnodal) Enriques surface
Let $X$ be an unnodal Enriques surface together with an isotropic 10-sequence $\{ f_1, \dots, f_{10}\} \subset \operatorname{Num}(X)$, and let $F_i^\pm \in \operatorname{NS}(X)$ denote the two ...
- 317
1
vote
0
answers
275
views
Fourier-Mukai transform is the derived functor
In Mukai's paper Duality between $D(X)$ and $D(\hat{X})$ with its application to Picard sheaves, Nagoya Math Journal, 1981, there is one sentence that puzzles me.
Let $X$ be an abelian variety over an ...
- 615
1
vote
0
answers
209
views
Computing the cotangent complex of morphisms of perfect complexes
In Lurie's Spectral Algebraic Geometry the cotangent complex of $\textbf{Perf}$ is computed as $ \Sigma^{-1}( \mathscr{F} \otimes \mathscr{F}^\vee)$ for some universal $\mathscr{F} \in \text{Qcoh}(\...
- 595
1
vote
0
answers
137
views
A question about relative deformations of the structure sheaf of the diagonal
Let $X$ be a smooth proper algebraic variety over $\mathbb{C}$. Let us consider an associative
algebra $${p_2}_*{\mathcal{H}{om}}_{X\times X}(\mathcal{O}_\Delta, \mathcal{O}_\Delta) \in \text{Alg}_\...
1
vote
0
answers
202
views
Is the cotangent complex sensitive to truncation?
$\DeclareMathOperator\Sym{Sym}\DeclareMathOperator\Spec{Spec}$If $V$ is a dg vector space (in positive degrees), we can view it as a derived scheme $V = \Sym V^*$. It has (co)tangent complex $V$ (and $...
- 5,711
1
vote
0
answers
224
views
Two definitions of cotangent complex
I have reading a paper by Professor Pridham(https://arxiv.org/abs/0905.4044v4). Page 47-48 contains a comparison of the two definitions of the cotangent complex, but there is a part I don't understand....
- 479
1
vote
0
answers
281
views
Étale homotopy type of (derived) loop space
A feature of derived algebraic geometry is that we have internal homs. Furthermore, we can think of $B\mathbb{Z}$ as the derived algebraic geometric analogue of $S^1$. Thus we have an analogue of the ...
- 4,418
1
vote
0
answers
202
views
Schlessinger criterion and finiteness of tangent space
Schlessinger's criterion allows us to study whether or not a functor $\mathcal{F}:C_{\Lambda}\rightarrow \text{Set}$ from the category of local Artin $\Lambda$-algebras to sets is representable. One ...
- 4,418
1
vote
0
answers
137
views
Open problems for shifted symplectic structures
I am now interested in shifted symplectic structures.
What are the open problems of shifted symplectic structures regarding the moduli space of sheaves ?
Especially now I am interested in moduli ...
- 479
1
vote
0
answers
185
views
Is there a stacky definition of irreducible symplectic manifold?
I am now interested in studying symplectic structures in the field of stacks.
In particular, is there a stacky definition of irreducible symplectic manifold ?
I'm also interested in similar things in ...
- 479
1
vote
0
answers
148
views
Perfect complexes on affine schemes
I'm reading a paper on algebraic stacks and in some part is stated the following:
Let $X$ be an algebraic stack and let
$P\in D_{qc}(X)$ be a perfect complex. Then, for every $x\in |X|$, there ...
- 41
1
vote
0
answers
204
views
How can we construct a derived scheme as a gluing of derived schemes?
More precisely, consider a Segal groupoid $X_*$ in an infinity category of derived schemes : dSch
In Toen's note, 'Derived Algebraic Geometry', he defines a 1-Artin stacks as a homotopy colimits of ...
- 421
1
vote
0
answers
370
views
Three examples of $S^1$-actions on derived loop spaces
Let $X$ be a derived stack. There is a $S^1$-action on the derived loop space $\mathcal{L}(X) = \text{Maps}(S^1, X)$. In particular, $\mathcal{O}(\mathcal{L} X)$ should be quasi-isomorphic to a ...
- 1,423
1
vote
0
answers
86
views
derived invariants, perversity and modular coefficients
Let $\pi:X\rightarrow Y$ a Galois cover of finite type schemes over $\mathbb{C}$ of group $\Gamma$.
Let $n$ an integer such that it is not prime with the order of $\Gamma$.
Then $\pi_{*}\mathbb{Z}/n\...
- 3,472
1
vote
0
answers
300
views
Classifying Spaces and Eilenberg-Maclane objects in the category of simplicial rings
[Skip down to the bottom for a correction] Let's work over a field k, assume it is as nice as you need it to be.. Suppose I have an ordinary (edit: commutative) affine group scheme G = Spec(A) over k, ...
- 11
0
votes
0
answers
170
views
Cone of morphism induced by Serre duality
For a smooth projective variety $X$, Serre duality gives an exact autoequivalence on the derived category :
$$
S_X : D^\flat(X) \to D^\flat(X), \hspace{3em} S_X(-) = - \otimes \omega_X[\dim X]
$$
...
- 317
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
-1
votes
1
answer
582
views
Metrics on derived smooth manifolds
Derived geometry explains how to remove the transversality condition and make sense out of a nontransversal intersection.
For example, if $X$ and $Y$ are embedded submanifolds of a manifold (or ...
- 272