Search Results
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 |
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
9
votes
Accepted
Hochschild Kostant Rosenberg theorem for varieties in positive characteristic?
See this paper of mine and Gabriele Vezzosi. We prove that HKR holds in particular for smooth proper schemes $X$ of dimension at most $p$, the characteristic prime. In particular, it holds for smooth …
4
votes
If a faithfully flat extension of dg/A_$\infty$-algebra is formal, is the original algebra f...
I'm not sure off hand what the situation is for $A_\infty$-algebras, but for $\mathbb{E}_\infty$-algebras it's worth noting that in many cases generic formality does not imply formality at each fiber. …
3
votes
K theory long exact sequence
You can combine Adeel Khan's answer with Proposition 6.9 of my paper with David Gepner to prove that there are these kinds of localization sequences in a great deal of generality. (Note that our propo …
32
votes
Why is there no Brauer scheme?
Suppose that $Br(X)$ is representable in the following sense: there exists a $k$-scheme $B_X$ such that for each $k$-scheme $S$ there is a natural bijection $B_X(S)=Br(X_S)$, or perhaps we should rigi …
9
votes
Accepted
Can we define the tensor product in the derived category $D^b_{\text{coh}}(X)$ just from $D^...
It seems like the answer to your question is no, at least without further clarification. If you could define the tensor product structure on $D^b(X)$ just from the triangulated structure and the Serre …
9
votes
Accepted
A statement for a triangulated category generated by a subset
Edited based on Sasha's answer:
I will assume that we are interested in the thick subcategory generated by $A$.
Under this assumption, the desired statement is closely related to a theorem of Neeman …
10
votes
0
answers
429
views
McKay correspondence and tensor products
The theorem of Bridgeland-King-Reid says that if $M$ is a smooth quasi-projective complex variety of dimension at most $3$ on which a finite group $G$ acts such that the canonical sheaf $\omega_M$ is …
6
votes
Accepted
Examples of tilting objects that don't come from exceptional sequences
The answer to your more specific question is yes, there are tilting objects that involve complexes not quasi-isomorphic to any vector bundle. Consider the blowup $X$ of $\mathbb{P}^2$ at a single poin …
2
votes
Examples of tilting objects that don't come from exceptional sequences
One trivial example is the derived category of a central simple algebra $D(A)$ where the class of $A$ in the Brauer group is non-zero. A non-zero simple left ideal $I$ of $A$ is a tilting complex, but …
2
votes
Accepted
when is a map of analytic Brauer groups induced by inclusion injective?
This got a bit long for a comment, so here's an answer. The answer is it is almost never injective. In general, for compact $X$, $Br(X)$ is infinite (at least if $H^2(X,O_X)\neq 0$), while $Br(U)$ is …
3
votes
Survey of Algebraic K-Theory Since 1980?
I would suggest the lectures of Friedlander and Weibel: "An overview of algebraic K-theory" in Algebraic K-theory and its applications (Trieste 1997), 1999; MR. The later lectures include the modern p …
17
votes
Accepted
Is the Brauer group of a surface an elliptic curve?
This is not a general answer to your question, but evidence of the intriguing connection between Brauer groups of surfaces and elliptic curves. Let $X$ be a K3 surface over the complex numbers $\mathb …
5
votes
When is the K-theory presheaf a sheaf?
In general, these presheaves are not sheaves, even on the etale sites of fields. As an easy example, $K_2(\mathbb{C})$ is non-torsion divisible, but $K_2(\mathbb{R})$ has a $2$-torsion element given i …
1
vote
What are the fibres of a representable simplicial sheaf (in the Nisnevich topology)
It looks like you probably need a stronger condition for the lements of the fiber. Specifically, it is not enough that residue fields should be isomorphic. There also must be a morphism on the Nisnevi …
1
vote
What do higher Chow groups mean?
This may not be particularly helpful, but when $X=\mathrm{spec} k$, for a field $k$, then $CH^{2n}(X,n)=K_n^M(k)$, the Milnor $K$-theory of $k$. I do not know if there are any other useful characteriz …