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 100

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 …
Benjamin Antieau's user avatar
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. …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar
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 …
Benjamin Antieau's user avatar

15 30 50 per page