All Questions
68
questions
2
votes
0
answers
115
views
Formulation of cap product in group-equivariant sheaf cohomology + applications?
Originally asked on Math SE but it was suggested I move it here.
Suppose one has a distinguished cocycle in the group-equivariant sheaf cohomology $\Phi \in H^n(X, G, \mathcal{F})$ for a "nice&...
2
votes
0
answers
153
views
Non-triviality of a morphism
Let $X$ be a smooth Gushel–Mukai fourfold and $Y$ a smooth hyperplane section, which is a Gushel–Mukai threefold. I consider semi-orthogonal decomposition of $X$ and $Y$:
$$D^b(X)=\langle\mathcal{O}_X(...
2
votes
0
answers
126
views
dg-Künneth formula for qcqs schemes
Let $X$ and $Y$ be qcqs schemes over a field $k$ (or I am happy to assume any nice condition up to smooth (quasi-)projective varieties if that makes the folloiwng question true). Let us define $Perf(X)...
-1
votes
1
answer
171
views
When morphism of complexes is homotopic to 0?
Let $f\colon A^\bullet\to I^\bullet$ be a morphism of bounded below complexes in an abelian category. Assume all $I^i$ are injective objects. Assume also that $f$ induces the zero map on cohomology.
...
1
vote
0
answers
109
views
Kunneth formula for hypercohomology
Let $A_{\bullet}$ and $B_{\bullet}$ be two bounded complexes of sheaves over a variety $X$. Is there a Kunneth-like formula for the hypercohomology of the tensor product $A_{\bullet}\otimes B_{\bullet}...
2
votes
0
answers
113
views
dg-natural transformation between FM functors and Hom between kernels
The question is related to Morphism between Fourier-Mukai functors implies the morphism between kernels?
Consider a complex smooth projective variety $X$ and the bounded derived category $D^b(X)$, it ...
3
votes
1
answer
137
views
What do we know about a sheaf $M$ if we know its derived fibers $\mathsf{L}x^* M$, for $x\in X(k)$?
Let $X$ be a scheme over a field $k$. (Feel free to assume that $X$ is an algebraic variety, if needed.) Also, let $M^\bullet$ be a complex in the derived category of quasi-coherent sheaves $\mathsf{D}...
6
votes
1
answer
465
views
How does the Balmer spectrum fail to describe the algebraic geometry of categories of non-compact objects?
In trying to understand the higher algebraic geometry of the stable homotopy category, one thing I've come across repeatedly is the claim that one should only consider the Balmer spectrum of a tt-...
2
votes
1
answer
227
views
How to complete $i^*i_*\mathcal{F}\to \mathcal{F}$ into an exact triangle for a smooth divisor $i: X\hookrightarrow Y$?
Let $Y$ be a smooth algebraic variety and $i: X\hookrightarrow Y$ be a smooth divisor. We consider the derived functors $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$ and $i_*: D^b_{coh}(X)\to D^b_{coh}(Y)$. By ...
1
vote
0
answers
216
views
Do we have a left adjoint of $i^*$ for a closed immersion $i$?
Let $i: X\hookrightarrow Y$ be a closed immersion of varieties. We have the derived pullback functor $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$.
My questions is: can we construct a left adjoint of $i^*$ in ...
1
vote
1
answer
291
views
A question about a truncated object
I was hoping someone could help me with the understanding of a particular truncated object. Here are some background:
For any object $A$ in an abelian category $\mathcal{A}$, we can view $A$ as an ...
1
vote
0
answers
71
views
Bound on Hochschild dimension of a dg-algebra
Consider a dg-algebra $A$, is there any way I can estimate the Hochschild dimension, or global dimension of $A$?
More precisely the algebra that I am considering is the Endomorphism dg-algebra $\...
5
votes
0
answers
192
views
Smoothness of a variety implies homological smoothness of DbCoh
I have been told that $D^bCoh(X)$ is homologically smooth if $X$ is a smooth variety, and I am trying to construct a proof. My background is not in algebra, so I apologize for elementary questions.
It ...
12
votes
1
answer
543
views
Embedding of a derived category into another derived category
I am considering the following two cases:
Assume that there is an embedding: $D^b(\mathcal{A})\xrightarrow{\Phi} D^b(\mathbb{P}^2)$and the homological dimension of $\mathcal{A}$ is equal to $1$($\...
3
votes
1
answer
125
views
Smallness condition for augmented algebras
I'm not sure this question is research level question. Sorry in advance.
Hypothesis
$k$ is a commutative ring.
$A$ is an augmented $k$-algebra.
$A^e$ is defined as the $k$-algebra $A\otimes_{k}A^{op}$...