Questions tagged [derived-algebraic-geometry]
The derived-algebraic-geometry tag has no usage guidance.
276 questions
4
votes
0
answers
552
views
The lisse-etale site and derived algebraic geometry
If one reads say Olsson's book on algebraic stacks or Laumon-Moret-Bailly. The lisse-etale topology is used to define quasi-coherent sheaves and the cotangent complex (or rather cutoff's of the ...
- 4,008
14
votes
1
answer
953
views
Reference for symplectic structures on schemes?
My original goal was to read the PTVV paper Shifted Symplectic Structures https://arxiv.org/pdf/1111.3209v4.pdf. I was quickly humbled!
Being told the theory ought to generalize symplectic structures ...
- 4,713
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, ...
CommunityBot
- 1
11
votes
1
answer
348
views
(Pre)orientation vs. formal completion
Let $\mathbb G$ be an abelian vatiety over an $\mathbb E_\infty$-ring $A$. That is to say, it consists of an abelian group object in the $\infty$-category of relative schemes $\mathbb G\to \...
- 2,011
9
votes
0
answers
507
views
Categorification of definitions in the context of the derived category of quasi-coherent sheaves
Let $SpecA=X$ be an affine noetherian scheme. Let $QCoh(X)$ denote the derived (stable $\infty$-)category of quasi-coherent sheaves on $X$. There are the following special full subcategories spanned ...
- 7,799
4
votes
0
answers
538
views
Why do motivic stacks make sense?
In the paper "Motivic model categories and motivic derived algebraic geometry", Yuki Kato, whose email-address I sadly couldn't find out, describes a procedure to "motivy" the objects of any $(\infty,...
- 13.6k
5
votes
0
answers
395
views
Derived tensor products and Tor of commutative monoids
Two commutative monoids $M,N$ have a tensor product $M\otimes N$ satisfying the universal property that there is a tensor-Hom adjunction for any other commutative monoid $L$: $$\text{Hom}(M\otimes N,L)...
- 889
3
votes
1
answer
354
views
Who are the compact generators in the derived category of $\mathcal{D}_X$-modules?
Let $X$ be a smooth affine variety over $\mathbb{C}$ and let $\mathcal{D}_X$ be its algebra of differential operators.
Consider $\mathcal{C}=\mathcal{D}_X$-$\text{mod}$, the stable $\infty$ category ...
- 1,505
5
votes
0
answers
447
views
Infinity categories with an action of a simplicial group
Recent papers in derived algebraic geometry use a notion of $S^1$-actions on infinity categories. I think I understand what this "should" be and how to calculate with it; however, I can't find a much ...
- 63.9k
7
votes
1
answer
954
views
Derived global functions on (derived) stacks $BG$ and $G/G$
In Toen's Affine Stacks, he computes that $\mathcal{O}(B\mathbb{G}_a) = k[\epsilon]$ with $|\epsilon| = 1$ and trivial differential (where here $\mathcal{O}$ is computed in a derived sense, and we ...
- 8,445
8
votes
1
answer
1k
views
Derived noncommutative geometry includes derived, or spectral algebraic geometry?
Let $k$ be a commutative ring. In derived noncommutative (algebraic) geometry a "noncommutative space over $k$" is a $k$-linear $\mathrm{DG}$-category.
This is motivated by the fact that homological ...
- 8,445
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
3
votes
1
answer
465
views
Monoidal Forgetful/Free Adjunction for $E_2$-algebras
Suppose I am given two $E_2$-ring spectra $A$ and $B$ and a morphism of $E_2$-rings $\phi:A\to B$. Then I have $E_1$-monoidal categories of modules $LMod_A$ and $LMod_B$. Moreover I have morphisms $F:...
- 5,309
5
votes
1
answer
711
views
Closed symmetric monoidal structure on the derived category of modules whose unit is a dualizing complex?
Let $A$ be non-positively graded commutative DG-algebra almost of finite type over a field $k$ of characteristic $0$. Most of these assumptions (affine, commutative, characteristic, bound) are only to ...
- 66
14
votes
0
answers
930
views
$E_{\infty}$ $R$-algebras vs commutative DG $R$-algebras vs simplicial commutative $R$-algebras
I've been trying to understand better the relation between the basic blocks of derived algebraic geometry. More precisely, I'm trying to understand the relation between the DG approach, the spectral ...
- 2,227
35
votes
2
answers
3k
views
What is the relationship between connective and nonconnective derived algebraic geometry?
"Derived algebraic geometry" usually means the study of geometry locally modeled on "$Spec R$" where $R$ is a connective $E_\infty$ ring spectrum (perhaps with further restrictions). Why "connective", ...
- 5,901
4
votes
0
answers
242
views
Topological invariance of periodic cyclic homology of stacks
Goodwillie proved (in Cyclic homology, derivations, and the free loopspace) that the periodic cyclic homology of a connective dg algebra is that of its reduced classical ring. Preygel proved (in Ind-...
- 1,423
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
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
9
votes
0
answers
287
views
derived schemes and perfect obstruction theories
In a survey article of Toen's it is claimed that that there is forgetful $\infty$-functor between the $\infty$-category of derived schemes locally of finite presentation over a field $k$ and the $\...
- 131
5
votes
0
answers
315
views
Derived stack 2-perfect complexes and derived equivalences
Let $X$ be a scheme of finite type over $\mathbb{C}$. Toën and Vaquié construct the derived stack of perfect complexes on $X$, which I will denote $\mathcal{DP}er(X)$. They prove that this derived ...
- 7,320
54
votes
2
answers
4k
views
Connections between various generalized algebraic geometries (Toen-Vaquié, Durov, Diers, Lurie)?
As far as I know, there are four possible ways to generalize algebraic geometry by 'simply' replacing the basic category of rings with something similar but more general:
$\bullet$ In the approach by ...
CommunityBot
- 1
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}((\...
- 4,729
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:...
CommunityBot
- 1
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 ...
- 993
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
19
votes
3
answers
2k
views
Is it always possible to write a scheme as a colimit of affine schemes?
My question is: Is it possible to write any scheme as a (1-categorical) colimit of a diagram of affines? If no, what are some examples?
I ask this question because I have read that one can write any ...
- 5,482
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
5
votes
1
answer
438
views
Twisted derived Morita theory of schemes
It has been proved by Toën and Lunts-Schnürer that the dg category $\mathrm{L}_{qcoh}(X\times Y)$ of quasi-coherent sheaves over the product of two quasi-compact, quasi separated (and flat over a ...
- 2,327
7
votes
0
answers
279
views
Is there a derived geometric interpretation of morse functions?
Given a smooth affine scheme $X = \mathbb{V}(g)$ over a field of characteristic 0, let $f:X \to \mathbb{A}^1$ be a morphism of schemes. Then, the critical locus is given by $\pi_*(dg \cap df)$ for $\...
- 1,716
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
10
votes
1
answer
851
views
Bar/Cobar Adjunction Between Modules and Comodules
There is a pretty well known, and widely written about, adjunction between augmented algebras and coaugmented coalgebras given by taking the bar construction on algebras and the cobar construction on ...
- 118k
4
votes
0
answers
232
views
Motivic Interpretation of Rationally Trivial Cycles
The Chow groups are defined by taking groups of cycles modulo rationally trivial cycles. One then has a cycle class map to etale cohomology (over the base field), and for a number field, one expects ...
CommunityBot
- 1
11
votes
1
answer
650
views
Thom Spectra and Hopf-Galois Extensions of Ring Spectra
So I've been fiddling with this for a long time, so apologies to anyone that's already heard me talk about this ad nauseum. I haven't been able to get anywhere with it, and it seemed that as such, it ...
CommunityBot
- 1
5
votes
0
answers
225
views
Does the Amitsur complex have a universal property?
The question is essentially the title. In other words, is there some universal property that the Amitsur complex for a morphism of rings $\phi:A\to B$ satisfies as a cosimplicial ring, or cosimplicial ...
- 10.5k
23
votes
2
answers
2k
views
Why do people say DG-algebras behave badly in positive characteristic?
It seems to be a common wisdom in derived algebraic geometry that commutative DG-algebras are not, in general, a good model for derived rings, with the stated reason that they behave badly in positive ...
- 118k
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 ...
- 30.3k
4
votes
0
answers
248
views
Derived equivalent varieties with differing integral Mukai-Hodge structures?
For a smooth projective complex variety $X$ of dimension $n$, let $H^i(X)$ denote its integral Hodge structure of weight $i$. Define $\tilde{ H^0}(X) = \bigoplus H^{2i}(X)\otimes \Bbb Z(i)$ and $\...
- 16.9k
4
votes
0
answers
181
views
Flat resolutions of DG-schemes
Recall that a DG-scheme is a pair $(X,\mathcal{O}_X)$,
where $(X,\mathcal{O}^0_X)$ is a scheme, $\mathcal{O}_X$ is a sheaf of commutative DG-algebras over $(X,\mathcal{O}^0_X)$, and each $\mathcal{O}^...
- 153
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
7
votes
2
answers
672
views
Direct proof that the model category of cdgas is left proper
Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred ...
- 30.3k
6
votes
0
answers
608
views
On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes
Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...
- 3,101
40
votes
4
answers
7k
views
What is a simplicial commutative ring from the point of view of homotopy theory?
Let $k$ be a field. There are two natural categories to consider:
The category of simplicial commutative $k$-algebras.
The category of connective $E_\infty$ $k$-algebras (i.e., chain complexes of $...
- 5,309
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: \...
- 27.5k
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 ...
- 118k
42
votes
2
answers
2k
views
What is an infinite prime in algebraic topology?
The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...
- 118k
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
8
votes
0
answers
337
views
flatness and derived completion
Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion.
If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat.
If $A$ is not noetherian, ...
- 3,472
31
votes
1
answer
1k
views
Which properties of a variety are detected by its derived category of coherent sheaves?
Context: I'm giving an informal seminar/reading group collection of talks on derived categories, following on from earlier talks giving the abstract definition. I am starting to talk about $\mathcal{...
CommunityBot
- 1
4
votes
1
answer
749
views
Hopf-algebras in associative ring spectra
I'm interested in a definition of cocommutative Hopf-algebra objects in the $\infty$-category of associative (read: $A_\infty$) ring spectra. One thought I had was to think of cocommutative Hopf-...
- 10.5k