Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 22810
15 votes
1 answer
1k views

Can "ampleness" be detected inside the derived category?

Let $X$ be an algebraic variety (separated quasi-compact scheme of finite type) over a field $k$. One of the possible definitions of an ample line bundle goes as follows: Def 1: A line bundle $\ …
Saal Hardali's user avatar
  • 7,799
23 votes
3 answers
2k views

Where does one go to learn about DG-algebras?

The theory of differential graded algebras (in char 0) and their modules has numerous applications in rational homotopy theory as well as algebraic geometry. I'm looking for a reasonably complete ref …
Saal Hardali's user avatar
  • 7,799
9 votes
0 answers
502 views

Categorification of definitions in the context of the derived category of quasi-coherent she...

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 b …
Saal Hardali's user avatar
  • 7,799
2 votes
0 answers
267 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 …
Saal Hardali's user avatar
  • 7,799
5 votes
1 answer
686 views

Closed symmetric monoidal structure on the derived category of modules whose unit is a duali...

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 …
Saal Hardali's user avatar
  • 7,799
3 votes
1 answer
347 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 …
Saal Hardali's user avatar
  • 7,799
14 votes
2 answers
774 views

Interpretation of the cohomology of compact lie groups and their classifying spaces in DAG?

I'll be using homological grading throughout this question. Let $G$ be a compact connected lie group. The following isomorphisms are classical and can be proven using several methods: $$H^{\bullet}( …
Saal Hardali's user avatar
  • 7,799