All Questions
Tagged with derived-algebraic-geometry infinity-categories
20 questions with no upvoted or accepted answers
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
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
8
votes
0
answers
482
views
Relationship between different definitions of the Hochschild homology
Throughout the literature, one can find many definitions of the Hochschild homology of various objects. However, the precise relationship between these definitions is not always so clear, at least to ...
- 1,349
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
6
votes
0
answers
517
views
relative spectrum in derived algebraic geometry
I am trying to understand how much it is possible to extend the notion of spectrum of a qcoh sheaf of algebras to stacks.
More precisely, given a scheme $S$ and a stack $F$ of cohomological cdga's ...
- 121
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
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
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 ...
- 1,423
4
votes
0
answers
282
views
The dual abelian scheme in derived algebraic geometry
$\def\Pic{\mathcal{Pic}}\def\Gm{\mathbb{G}_m}\def\Hom{\mathop{Hom}}\def\HOM{\mathcal{Hom}}$
If $A/S$ is an abelian scheme, the fppf sheaf $\Pic^0_{A/S}$ is representable by an abelian scheme $\hat{A}$....
- 1,196
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,...
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
135
views
Construction of smooth projective space in Spectral Algebraic Geometry
In section 19.2.6 of Lurie's "Spectral Algebraic Geometry," he constructs the smooth projective space, which represents the derived version of [the dual of] the usual functor of points ...
- 1,349
3
votes
0
answers
179
views
Étale morphisms of derived schemes and stacks
Conventions: In the below,
unless otherwise stated, terms regarding derived algebraic geometry will follow the conventions of Yaylali.
an algebraic stack will be a stack $\mathscr{S}$ over a base ...
- 1,349
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
3
votes
0
answers
173
views
(Commutative) Algebras in $\mathsf{dgCat}_k$
Suppose $k$ is a fixed commutative ring, and let $\mathsf{dgCat}_k$ denote the category of $k$-linear dg-categories. We will equip $\mathsf{dgCat}_k$ with the Morita model structure (see theorem 2.27 ...
- 1,349
3
votes
0
answers
90
views
Derived prestacks regarded as functors into spectra
If $k$ is a field (probably of characteristic zero), the usual definition of a derived prestack is a functor $ X \colon {\operatorname{CDGA}}_{k}^{\le 0} \to \operatorname{Spaces} $ from (graded) ...
- 295
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
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
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
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