Questions tagged [derived-algebraic-geometry]
The derived-algebraic-geometry tag has no usage guidance.
276 questions
3
votes
0
answers
213
views
Derived Chow varieties
I recently encountered the "Hidden Smoothness Principle" envisioned by Deligne, Drinfeld, Beilinson, Kontsevich that singularities occurring in certain moduli spaces is the consequence of ...
- 5,901
3
votes
0
answers
213
views
Base-change theorems for stable $\infty$-categories
Omitting some technicalities, the base-change theorem for quasicoherent sheaves says that if we have the following diagram of (derived) schemes
$\require{AMScd}$
\begin{CD}
X \times_S Y @>\pi_2>&...
- 2,356
3
votes
0
answers
365
views
Construction of derived Quot schemes
I am studying the construction of derived Quot schemes in the paper Borisov, Katzarkov, and Sheshmani - “Shifted symplectic structures on derived Quot-stacks”.
Derived quot stacks are constructed from ...
- 479
3
votes
0
answers
246
views
Derived category and L-function
For abelian varieties over $\mathbb{Q}$ $\mathscr{A}$ and $\mathscr{A}'$, if derived categories $D(\mathscr{A})$ and $D(\mathscr{A}')$ are equivalent then L-functions are same $L(s,\mathscr{A})=L(s,\...
- 519
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
3
votes
0
answers
162
views
Homotopy Kan extensions, formally coherent functors and derived Schlessinger criterion
Let $k$ be a finite field. Denote by $discArt_k$ the category of Artinian rings with residue field $k$ and $Art_k$ the category of Artinian simplicial rings. Consider a functor $\mathcal{F}:disArt_k\...
- 4,418
3
votes
0
answers
317
views
Reference request: Derived structure on the moduli stack of Higgs bundles
I am reading arXiv:1708.08124. When talking about the moduli stack of Higgs bundles on a projective curve $X$. It is said on page 59, first paragraph that
It is often better to put
derived ...
- 385
3
votes
0
answers
336
views
DAG vs Classical algebraic geometry
I have a very vague question, but also a fairly specific wish. Namely, I'm wondering what the similarities and differences are between the theory of ordinary schemes on the one hand, and the theory of ...
- 213
3
votes
0
answers
180
views
vanishing of higher homotopy sheaves of cotangent complex
Let $X$ be a $\mathbb{C}$-scheme and suppose that there is an isomorphism (in the derived category of qc-sheaves on $X$) between the cotangent complex, $\mathbb{L}_{X}$, and its 0th homotopy sheaf, ...
user108998
3
votes
0
answers
188
views
What are projective morphisms in derived algebraic geometry
I was curious if someone could point me to a reference or tell me if there is any notion of projective morphism between derived schemes? What about a notion of Proj? Also I am interested in what blow-...
- 431
3
votes
0
answers
111
views
Is there a relation between Projection formula and Verdier duality
For suitable settings, $f\colon X\to Y$, $F,G$ we have projection formula and Verdier duality:
Projection formula: $Rf_!(F\otimes^\mathbb{L}f^{-1}G)\cong Rf_!F\otimes^{\mathbb{L}}G$
Verdier Duality:...
user39380
3
votes
0
answers
286
views
Exterior tensor of derived categories of coherent sheaves
Let $X, Y$ be Noetherian perfect derived stacks over $S$ a regular perfect derived stack. Consider the exterior tensor functor
$$\text{DCoh}(X) \otimes_{\text{DCoh}(S)} \text{DCoh}(Y) \rightarrow \...
- 1,423
3
votes
0
answers
98
views
Derived Deformations of associative algebras
Let $k$ be a field (if necessary for my question, we can assume its characteristic to be zero). In the non derived context, we can then define deformations of an associative algebra $S$ as follows:
...
- 2,074
3
votes
0
answers
502
views
Analysis of Eilenberg-MacLane Stacks
In a series of three papers from the fifties, Eilenberg and MacLane did a pretty exhaustive study of what we now call "Eilenberg-MacLane spaces" and used a lot of machinery to do it, e.g. Whitehead's $...
- 10.5k
2
votes
1
answer
390
views
The stack of equivariant local system is quasi-smooth
Let $G$ be a (connected ?) algebraic group and $X$ a smooth, projective, and connected algebraic curve, both over an algebraically closed field $k$ of characteristic $0$.
My questions are then as ...
- 1,516
2
votes
1
answer
131
views
Right adjoint of subcollection of semi-orthogonal decomposition
Suppose $X$ is a prime Fano threefold of index 1 such that $H = -K_X$ is ample. There is a full classification of the derived category of such threefolds depending on the genus of $X$; in the case ...
- 317
2
votes
3
answers
480
views
Integral transform on noncommutative spaces
In their paper "Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry" the authors show that for perfect stacks $X$ and $Y$ over $k$, and their $k$-linear $\infty$-categories of ...
2
votes
1
answer
173
views
Monoidal colimit-preserving functor from spaces to $A$-modules
I am reading Lurie's Elliptic Cohomology II and it claims (Section 4.1.3) that for an $\mathbb{E}_\infty$-ring $A$ "there is an essentially unique symmetric monoidal functor $\mathcal{S} \to \...
2
votes
1
answer
246
views
Given a map of classifying spaces, can the target be described as a groupoid quotient of the source mod some action of some (co)kernel?
Let $H \to G$ be a homomorphism of affine algebraic groups (over characteristic $0$, if it matters). The case I care most about is when $H \to G$ is an inclusion. There is a corresponding map $f: \...
- 54.6k
2
votes
1
answer
139
views
Construction of Weil restriction in the derived setting
I am currently reading 19.1,2 in SAG by Lurie about Weil restrictions. In the classical case, Weil restriction is the right adjoint to the pullback functor along some morphism $f:X\rightarrow Y$, and ...
- 618
2
votes
1
answer
304
views
The exact sequence for a derived zero locus
For a locally free sheaf of rank one $L$ on a derived scheme and a morphism $s:L\rightarrow O_{X}$, we consider the derived zero locus of $s$ defined by the following derived fiber product
$$\require{...
- 618
2
votes
1
answer
213
views
Derived quot schemes and the derived linearity locus
I am studying derived quot schemes in the paper Ciocan-Fontanine and Kapranov, “Derived Quot schemes” .
On page 36 ~ 37, the derived linearity locus is defined.
Let $S$ be a $\mathbb{Z}_-$-graded dg-...
- 479
2
votes
1
answer
199
views
Does every Artin $\infty$-stack have a formally étale cover by semi-free non-connective CDGAs?
The title essentially says it all. Feel free to assume as many finite generation conditions as you want. For example, I'm pretty sure the Chevalley-Eilenberg complex $\simeq \wedge^\bullet \mathfrak g^...
- 563
2
votes
1
answer
470
views
Two results about (shifted) symplectic structures
I am now interested in shifted symplectic structures.
I found Zhang's results about symplectic structures (2011, p.3-4, arXiv link,
Comm. Anal. Geom. 2017) and Pantev–Toen–Vaquié–Vezzosi's results ...
- 479
2
votes
1
answer
400
views
Confusion about DAG terminology
This question refers to higher and derived algebraic geometry as developed by Toen-Vezzosi, not by Lurie. I have seen two expository documents by Toen.
In the first text, there is a definition:
A ...
user141006
2
votes
0
answers
165
views
Square zero extension in the derived setting
Here we take the infinity category of simplicial ring $SCRing=Fun^{\prod}(Poly^{op},Spc)$ and follow the construction 25.3.1.1 in DAG by Lurie, where we extend the construction of square zero ...
- 618
2
votes
0
answers
116
views
Quasicompact quasiaffine classical schemes are nonconnectively-affine
In this answer to What is the relationship between connective and nonconnective derived algebraic geometry? I learned that any quasicompact open subscheme of an affine scheme is affine in the sense of ...
- 448
2
votes
0
answers
157
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
- 889
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
181
views
Dualizing sheaf for classifying stack and duality
For an algebraic group $G$ there should be an equivalence $\operatorname{Rep}(G) \simeq \operatorname{IndCoh}(BG)$. I'm trying to understand what the dualizing sheaf (or complex) of $BG$ is. Here's ...
- 834
2
votes
0
answers
441
views
About an argument in absolute prismatic cohomology
In Bhatt-Lurie Absolute prismatic cohomology, proof of Corollary 4.1.15, it asserts that extension of scalars along the quotient map is conservative and preserves small limits:
I think the ...
- 1,906
2
votes
0
answers
123
views
Moduli stack of doubly periodic complexes?
Let $\mathcal{A}$ be an abelian category.
In HAG II Toen and Vessozi built a higher derived stack $X$ whose category of perfect complexes is $\text{Perf}(X)\simeq D^b(\mathcal{A})$. So $X$ is a good ...
- 5,711
2
votes
0
answers
354
views
Higher-order HKR theorems?
Recall that Hochschild-Kostant-Rosenberg -type theorems identify certain smoothness conditions guaranteeing an isomorphism between the cotangent complex and (a shift of) the Hochschild homology of an ...
- 64k
2
votes
0
answers
189
views
Is the homotopy limit of derived schemes along affine maps a derived scheme?
The title question is true in the setting of ordinary limits and ordinary schemes; that is, given an inverse limit of schemes along affine maps, the limit still lives in the category of schemes.
I'd ...
- 301
2
votes
0
answers
235
views
Formally étale maps of animated $k$-algebras
In Lurie's DAG, he defines what it means for a natural transformation $T:\mathcal{F}\to\mathcal{F}'$ of functors $\mathcal{F},\mathcal{F}':\mathcal{SCR}\to\mathcal{S}$ to be formally étale. Namely, it ...
- 301
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
230
views
Lie bracket on the unshifted tangent complex?
My problem is as follows: if $X$ is a derived scheme, or derived stack, or any kind of a space where tangent complex makes sense, I guess there should be a lie bracket on its tangent complex, ...
- 121
2
votes
0
answers
245
views
Structure sheaf of derived intersection
Everything is over a field $k$ of characteristic $0$.
Let $X$ and $Y$ two closed dg subschemes over a dg scheme $Z$. I am trying to understand the structure sheaf of the derived intersection of $X$ ...
- 1,325
2
votes
0
answers
104
views
Linearity of a dg category $C$ over $HH^0(C)$
Let $C$ be a pre-triangulated dg-category over a field $k$ whose Hochschild cohomology groups $\operatorname{HH}^*(C)$ are concentrated in non-negative degree (cohomologically). Is $C$ Morita ...
- 3,758
2
votes
0
answers
94
views
Derived manifold and real virtual dimension
In https://arxiv.org/pdf/1504.00690.pdf, it seems like the "derived manifold structure" given on a certain complex analytic space seems to have the real virtual dimension the same as the complex ...
- 1,024
2
votes
0
answers
213
views
Do dg schemes have derived points?
Working over a base field $k$ of characteristic $0$, say $K$ is a field (over $k$) and $X$ is a ("nice" if necessary) dg scheme in the sense of Toen-Vezzosi and others, and say $X^0$ is the reduced ...
- 7,972
2
votes
0
answers
135
views
When is $C\text-\mathsf{dg\text-mod}$ determined by the connective base changes?
I'm using cohomological gradings.
For $C\in k\text-\mathsf{cdga}$ (where $k$ can be taken of characteristic 0), a morphism $C\to A$ to a connective dg-algebra $A\in k\text-\mathsf{cdga}_{\leq0}$ ...
- 283
2
votes
0
answers
132
views
Compact generation of quasicoherent sheaves on mapping stack
Let $k$ be a field of characteristic $0$, and let $\mathcal{C}= \mathbf{Vect}_k^{\leq 0}$ be the $\infty$-category of vector spaces concentrated in degrees $\leq 0$. Consider the category $\mathbf{Pr}(...
- 3,019
2
votes
0
answers
181
views
Why does the following construction describe the Serre functor?
In the book "Spectral Agebraic Geometry" that Jacob Lurie is currently writing, he gives a construction (11.1.5.1), which describes the Serre functor: it has already been shown that any proper $A$-...
- 21
2
votes
0
answers
327
views
Linear $\infty$-categories $\mathrm{QC(X)}$ and $\mathrm{Perf(X)}$ of a "derived" stack $\mathrm{X}$
For each scheme or algebraic stack their $\infty$-category of quasicoherent sheaves (resp., perfect complexes) on it is $k$-linear for a commutative ring $k$. That is (by a recent result of L.Cohn), ...
- 21
2
votes
0
answers
268
views
Interesting examples of large, accessible, non-presentable $\infty$-categories?
What are some interesting examples of accessible $\infty$-categories
which are not presentable and not small?
By interesting I mean a category which comes up naturally in a certain context and in a ...
- 7,799
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
2
votes
0
answers
277
views
classifying space of algebraic groups
Let $G$ be a connected reductive group over $\mathbb{C}$. We fix a Borel pair $(B,T)$.
Let $BG$ be the classifying space of $G$.
Can we say that $BG$ is the homotopy colimit of all $BP$ for $P$ a ...
- 3,472
2
votes
0
answers
113
views
quotient a scheme by a stratified vector bundle
Let $k$ be a field.
Let $X$ be a $k$-scheme of finite type, normal and integral. We consider $f,g:R\rightarrow X$ an equivalence relation, surjective and such that it is a stratified vector bundle, i....
- 3,472
2
votes
0
answers
166
views
How to understand $\mathcal{L}BG \simeq G/^{\text{ad}}G$ in term of simplicial sets?
First let $G$ be a topological group and $BG$ its classifying space. Let $\mathcal{L}BG=\text{Map}(S^1, BG)$ be the free loop space of $BG$.
We can see that $\mathcal{L}BG$ has the homotopy type of $...
- 9,019