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.
12
votes
Does Qcoh(X) admit a generating set?
Yes: if $X$ is quasi-compact and quasi-separated, then the category of quasi-coherent sheaves on $X$ is canonically equivalent to the category of ind-objects on the (essentially small) category of coh …
18
votes
Accepted
When does direct image with proper support have a right adjoint?
I assume the question holds in contexts where we can glue open immersions and proper morphisms to produce $f_!$ for $f$ separated of finite type. In particular, we shall have $f_!=f_\ast$ for $f$ prop …
3
votes
Accepted
k-th Chow Group and k-th graded part of K_0 ismorphic for DM-stacks?
Maybe you might have a look at Toën's paper:
"On motives for Deligne-Mumford stacks", IMRN No. 17 (2000), 909-928.
He defines Chow groups of a Deligne-Mumford stack X with coefficients in the characte …
11
votes
Accepted
Is strict Henselian ring a excellent ring?
Let $k$ be a field of characteristic $p>0$. Consider the field $k((t))$ of Laurent series, endowed with its $t$-adic valuation. Let $L$ be a subextension of $k((t))/k$ which is of finite type over $k$ …
15
votes
Algebraic topology over fields other than ${\bf R}$
There is an homotopy theory associated to any geometry. This can be done in various ways. but a rather systematic point of view is the one of Morel and Voevodsky.
The idea is that a geometry should de …
20
votes
Accepted
Why is $\mathsf{D}_{qc}(X)$ the right notion, instead of $\mathsf{D}(\mathsf{QCoh}(X))$?
The triangulated category $\mathsf{D}_{\mathsf{B}}(\mathsf{A})$ can be promoted to a stable $\infty$-category. One of the many interests of working with stable $\infty$-categories is that we have a re …
72
votes
What's the "Yoga of Motives"?
In one sentence: the theory of cohomology theories on algebraic varieties and the idea that there is a universal such thing.
Of course, this is not a very satisfying answer, unless we specify what a …
30
votes
Accepted
Motivic Cohomology vs. Chow for singular varieties?
The answer to question 1) is yes. However, Chow groups do not form what we should call a cohomology theory, but are part of a Borel-Moore homology theory. This ambiguity comes from the fact that, by P …
3
votes
Is the scalar extension functor for Chow motives conservative?
With rational coefficients, the answer is yes.
The first case to understand is when $E$ is a finite algebraic extension of $F$.
In the case when moreover $E$ is purely inseparable, then the extension …
18
votes
Accepted
commutativity constraint in Grothendieck's motives
I don't know any alternate geometric construction of the commutativity contraint, but there is a natural way to explain this, as a simple fact of homological algebra (and assuming very optimistic conj …
9
votes
Accepted
Spectrum of an algebra object and Reconstruction of Schemes
Florian Marty studied this question in his thesis. The relevant chapter is available as arXiv:0712.3676 (otherwise, the thesis is available here). He describes the space $|\mathrm{Spec}(A)|$ as the se …
29
votes
Accepted
Homotopy theory of schemes examples
To keep things simple, let us assume we work over a perfect field.
The easiest part of motivic cohomology which we can get is the Picard group (i.e. the Chow group in degree 1). This works essentially …
5
votes
Can isomorphisms of schemes be constructed on formal neighborhoods?
Even if your question has a negative answer in general, it is related to Artin's approximation theorem (see Publ. IHES, vol 36), which can interpreted as follows. Let S be nice scheme (classically, th …
5
votes
Accepted
Does the language of fibred categories gives the commutativity of the diagrams in Residues a...
If you have an abelian category $A$ with enough injective, for any functor defined on bounded below cochain complexes $\Phi\colon C^+(A)\to D$ sending cohain homotopy equivalences between degree-wise …
17
votes
Accepted
What exactly do the standard conjectures in characteristic zero refer to?
To prove that the standard conjectures are true for any Weil cohomology over a given field $k$, it suffices to prove them for an arbitrary chosen Weil cohomology over each subfield of finite type of $ …