All Questions
Tagged with derived-algebraic-geometry higher-category-theory
41 questions
4
votes
1
answer
376
views
Is the geometric realization of simplicial functors interesting?
While studying a completely unrelated problem, I have proved something on the following line: given a diagram of simplicial sets $X: C \to \textrm{sSet}$, some deformations of the geometric ...
- 2,152
9
votes
2
answers
803
views
Explanation for Lurie's SAG Remark 25.1.3.7
I am trying to understand the theory of simplicial commutative rings or animated rings. I just find a remark in Lurie's book Spectral Algebraic Geometry:
Remark 25.3.1.7. Let $f : R[x_1,\ldots ,x_n]\...
- 93
3
votes
0
answers
144
views
The assignment of derived infinity category of étale sheaf is an infinity functor?
Consider the ordinary category of schemes $Sch$, for $X\in Sch$, consider the abelian category of étale sheaf with coefficient $\wedge$ as $Mod(X_{ét},\wedge)$, then we can form the derived infinity ...
- 618
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,...
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
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
4
votes
1
answer
329
views
Infinite suspension is cotangent complex
In Higher Algebra by Lurie, we define the absolute cotangent complex $L_{A}$ through the composition $C\stackrel{\triangle}{\longrightarrow} Fun(\triangle^{1},C)\stackrel{F}{\longrightarrow}T_{C}$ ...
- 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
5
votes
0
answers
125
views
Existence of Kan extension for the functor with codomain a complete infinity category
I am currently reading this paper on derived blow up, in definition 2.4.1, I am faced with such situation:
if we denote the infinity category of simplicial ring as $Alg$ and the 1 category of ...
- 618
3
votes
0
answers
196
views
Divided power structure on $E_\infty$-algebras?
Let $A$ be a simplicial commutative ring, then it is known that the ideal of elements of degree $\ge1$ in the associated CDGA has a "DG divided power structure," which induces a divided ...
- 371
6
votes
1
answer
274
views
Reference: the category of derived affine schemes is extensive
The category (that is, $(\infty, 1)$-category) of derived affine schemes is the opposite category of the localization of simplicial commutative rings in weak equivalences.
See extensive category. Does ...
- 6,962
5
votes
0
answers
223
views
What do we know about effective epimorphisms of derived affine schemes/manifolds?
By default, all terms are understood in the infinity sense (“category” means “(∞,1)-category”, etc.)
Recall that the morphism $X \to Y$ is an effective epimorphism if the Čech diagram
$$ ... \to X \...
- 6,962
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
15
votes
1
answer
786
views
Why do we say IndCoh(X) is analogous to the set of distributions on X?
$\DeclareMathOperator\IndCoh{IndCoh}\DeclareMathOperator\QCoh{QCoh}$I've seen it written (for example, in Gaitsgory–Rozenblyum) that for a scheme $X$, the category $\IndCoh(X)$ is to be thought of as ...
5
votes
1
answer
445
views
What is the k-linear structure on the derived infinity category of quasi-coherent sheaves?
Let $f : X \overset{f}{\rightarrow} Y \overset{g}{\rightarrow} \mathrm{Spec} (k)$ be morphisms of schemes (feel free to add any hypothesis necessary). Let $\mathrm{QCoh}(Y)$ denote the derived (stable)...
- 53
3
votes
1
answer
335
views
resolution property and perfect stacks
Recall that for a scheme $X$, it has the resolution property if every coherent sheaf $E$ on $X$, is the quotient of a finite locally free $\mathcal{O}_X$-module.
On the other hand, Ben-Zvi-Nadler-...
- 3,472
3
votes
0
answers
451
views
Infinite dimensional dg-manifolds
In Def 2.5.1 in " Derived Quot schemes" by Ciocan-Fontanine and Kapranov, we can find the notion of dg-manifolds.
In detail, let $X$ be a dg-scheme over $k$ ($k$ : an algebraic closed field ...
- 889
9
votes
1
answer
770
views
Coherent objects in a hypercomplete $\infty$-topos
In Lurie's "Spectral Algebraic Geometry", Proposition A.6.6.1 (2) shows that for $\mathcal{X}$ an $\infty$-topos that is both locally coherent and hypercomplete, the full subcategory $\...
- 898
5
votes
1
answer
321
views
Is there a definition of reduced $E_\infty$ ring?
[Edit: I have completely changed the question in response to the replies given]
I am curious if there is well defined notion of reduced $E_\infty$-ring.
Let $CAlg$ denote the $\infty$-category of $E_\...
- 448
5
votes
1
answer
450
views
Does formation of the derived $\infty$-category preserve pushouts?
Let $B\leftarrow A\to C$ be a diagram of commutative rings, and let $\mathcal{D}(A)$ be the derived $\infty$-category of $A$-modules (as in Lurie's "Higher Algebra"). Then is there an ...
- 1,349
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
12
votes
2
answers
2k
views
Results relying on higher derived algebraic geometry
Are there any results in number theory or algebraic geometry whose statement does not involve either higher categories or any derived structures but whose most natural (known) proof uses derived $n$-...
user138661
6
votes
0
answers
1k
views
Examples of Lurie tensor product computations
I am interested in examples of computing the Lurie tensor product.
For example, if $A$ and $B$ are connective DG algebras (over $\mathbb{Z}$, say), then I think there is an equivalence $A\text{-mod} \...
- 61
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
4
votes
0
answers
246
views
Tannaka duality for $DG$ indschemes
In Lurie's paper on Tannaka duality for geometric stacks he proves that there is a natural isomorphism
$$\operatorname{Hom}(X,Y) \cong \operatorname{Hom}(\mathbf{QC}(Y), \mathbf{QC}(X)$$
where $X$ and ...
- 3,019
12
votes
0
answers
324
views
Comparing derived categories of quasi-coherent sheaves in the lisse-etale and the big etale toplogy on an algebraic stack
I am trying to understand the proof of Proposition 1.4.2. in "A study of derived algebraic geometry Volume 1" by Gaitsgory-Rozenblyum. http://www.math.harvard.edu/~gaitsgde/GL/QCohBook.pdf, page 8.
...
- 595
6
votes
0
answers
226
views
Applications of spectral Artin representability?
The spectral Artin representability theorem says that a functor $X:CAlg^{cn}\rightarrow S$ from the $\infty$-category of connective $E_{\infty}$-rings to the $\infty$-category of small topological ...
user74900
31
votes
1
answer
3k
views
Spectral algebraic geometry vs derived algebraic geometry in positive characteristic?
Let $R$ be a commutative ring. Then there is a forgetful functor from the $\infty$-category of simplicial commutative $R$-algebras to the $\infty$-category of connective $E_{\infty}$-algebras over $R$....
user74900
19
votes
1
answer
1k
views
A sheaf is a presheaf that preserves small limits
There is a common misconception that a sheaf is simply a presheaf that preserves limits. This has been discussed here before many times and I believe I understand it well enough.
However when reading ...
8
votes
3
answers
471
views
Cofiber of the inclusion of an $E_0$-algebra $M$ into the free $E_k$-algebra generated by it
Let $\mathcal{C}$ be the $E_k$-monoidal $\infty$-category of left modules over a fixed connective $E_{k+1}$-ring spectrum $A$. Suppose that $M$ is an object of $\mathcal{C}$ which is an $E_0$-algebra, ...
- 10.5k
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 ...
- 3,019
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 ...
- 41
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
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 ...
- 439
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", ...
- 64k
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
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 ...
- 595
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 ...
6
votes
2
answers
944
views
Small objects in categories
I would like to pick out small objects from a category. I would like to find such a notion which
Dream 1. Picks out the schemes of finite type over $k$ from the category of $k$-schemes. Or at least ...
- 213
5
votes
1
answer
722
views
Relation between hypercompleteness and the property that Cech cohomology calculates sheaf cohomology
Let $C$ be a small site with fibre products. The (injective) Čech model structure on simplicial presheaves $\operatorname{sPre}(C)$ on $C$ presents an $(\infty,1)$-topos and one may ask if this $(...
- 105