The derived-algebraic-geometr tag has no usage guidance.

**16**

votes

**0**answers

285 views

### Elliptic $\infty$-line bundles over $B G$

Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps
$$
B G \longrightarrow B \mathrm{GL}_1(A)
$$
for $A$ an $E_\infty$-ring carrying an oriented ...

**14**

votes

**0**answers

1k views

### Motivic derived algebraic geometry

In algebraic geometry one studies spaces locally modelled on commutative algebras, i.e. commutative algebra objects in the symmetric monoidal category Ab of abelian groups. Now supposedly in the ...

**8**

votes

**0**answers

165 views

### List of known Fourier Mukai partners?

I'm familiar with some examples of pairs of derived equivalent varieties, for example an abelian variety and its dual, a K3 surface and certain moduli schemes on it, or the Pfaffian-Grassmannian ...

**8**

votes

**0**answers

264 views

### Derived (non-commutative) geometry, geometric constructions in explicit form

I'm interested in the following construction. Start with derived category of coherent sheaves witch equivalent to derived category of representations of some dg-algebra. Quasi-isomorphic dg-algebras ...

**7**

votes

**0**answers

186 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 ...

**6**

votes

**0**answers

148 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, ...

**6**

votes

**0**answers

568 views

### The De Rham Stack and $\text{LocSys}$

Q1: Here, on pg $103$, the stack $\text{LocSys}_G(X)$ is defined (for an affine algebraic group $G$, a fixed DG scheme $X$, and a test scheme $S \in \textbf{DGSch}$):
$Maps(S, LocSys_G(X)) := \text{...

**6**

votes

**0**answers

626 views

### Tensor product of structure sheaves

Let $\iota_A:A\hookrightarrow X$ and $\iota_B:B\hookrightarrow X$ be subschemes of a smooth ambient variety $X$.
Then the derived tensor product $$\mathcal O_A\stackrel{L}{\otimes}\mathcal O_B\in D^b(...

**5**

votes

**0**answers

256 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 ...

**4**

votes

**0**answers

154 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 ...

**4**

votes

**0**answers

105 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 ...

**4**

votes

**0**answers

172 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 $\...

**4**

votes

**0**answers

211 views

### Reference request: category of sheaves of O-modules with coherent cohomology

Suppose $X$ is a smooth algebraic variety (say, in characteristic $0$). It's a folklore result that $D^b\text{Coh}(X)$ is equivalent to the derived category of complexes of sheaves of $\mathcal{O}_X$-...

**4**

votes

**0**answers

252 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**

votes

**0**answers

76 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 ...

**3**

votes

**0**answers

70 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:
...

**3**

votes

**0**answers

364 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 $...

**2**

votes

**0**answers

91 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}^...

**2**

votes

**0**answers

93 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....

**2**

votes

**0**answers

110 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 $...

**1**

vote

**0**answers

74 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\...

**1**

vote

**0**answers

197 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:...

**1**

vote

**0**answers

179 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, ...

**0**

votes

**0**answers

164 views

### What means “extended concepts of symmetry”?

Where could one find a short description oft: "two mathematical extensions of the symmetry - to moduli spaces of sheaves and to derived categories", found here? Happen there interesting
things like ...