All Questions
Tagged with ag.algebraic-geometry kt.k-theory-and-homology
149 questions
2
votes
0
answers
194
views
Varieties with Chow groups supported in positive codimension: examples and properties?
In their 1983 paper "Remarks on correspondences and algebraic cycles" Bloch and Srinivas proved several interesting properties of smooth proper varieties (over universal domains) whose Chow groups of ...
- 16.9k
7
votes
2
answers
1k
views
Cancellation and splitting theorems for vector bundles etc over schemes
It is not too hard, in the theory of vector bundles over manifolds (or nice topological spaces, say locally contractible with finite covering dimension), to arrive at a splitting theorem. This ...
- 35.5k
1
vote
0
answers
261
views
Two questions on canonical line bundle over $\mathbb{C}P^{n}$
The canonical line bundle over $\mathbb{C}P^{n}$ is denoted by $\ell_{n}$. It is well known that: $$(\ell_{1}\otimes \ell_{1})\oplus1 \simeq\ell_{1}\oplus\ell_{1}$$ Both sides are isomorphic ...
- 356
6
votes
0
answers
137
views
Comparison of K-groups of (affine) singular schemes with K'=G-groups
It is well known that Quillen K-theory coincides with $K'=G$-theory for regular schemes, and can be distinct from it for singular ones. Are there any methods for studying this distinctions? In ...
- 16.9k
8
votes
1
answer
569
views
Continuity of l-adic cohomology: is the cohomology of the generic point isomorphic to the completion of the limit of cohomology of open subvarieties?
Let $X$ be a variety over an algebraically closed field $k$. Denote by $\eta$ its generic point; it is the inverse limit of the open subvarieties $X_i$ of $X$. It is well known that the etale ...
- 16.9k
8
votes
1
answer
756
views
Equivariant algebraic K-theory of affine space
Unlike algebraic K-theory, equivariant K-theory of affine space (over a field $k$) can be quite nontrivial, depending on the action of the group in question. For example, if one takes the standard ...
- 805
1
vote
0
answers
94
views
Relative Gersten resolution for a flat projective morphism
I am reading two papers by Daniel Grayson: "Localization for flat modules in algebraic K-theory" and "Algebraic cycles and algebraic K-theory" and I am wondering if any recent advances in K-theory ...
1
vote
0
answers
140
views
The right (not the left 'Suslin complex' one) adjoint to the embedding of $ DM^{eff} $ into $D(ShvTr) $?
Inside the derived category of Nisnevich sheaves with transfers there is the category $DM^{eff} $ of Voevodsky's effective motivic complexes (actually, Voevodsky only considered bounded above ...
- 16.9k
10
votes
1
answer
1k
views
What does the moduli stack of G-torsors over the multiplicative group look like?
I am an algebraic topologist and am trying to understand some computations related to p-adic complex K-theory and equivariant K-theory. However this has led me into the world of algebraic geometry ...
- 27.5k
9
votes
2
answers
971
views
the graded pieces of the gamma-filtration of Quillen K-theory and Chow groups of a regular scheme
Let $X$ be a regular scheme and consider Grothendieck's $\gamma$-filtration $F^nK(X)$ on $K(X)$. For the graded pieces, one has $Gr^0K(X) = CH^0(X)$ and $Gr^1K(X) = \mathrm{Pic}(X) = CH^1(X)$. Does ...
user19475
2
votes
1
answer
237
views
For which local $R$ its K-theory mod l is isomorphic to the one of its residue field?
It is well-known (and was proved by Gabber?): if $R$ is a regular henselian local ring containing a field of characteristic prime to $l$, $k$ is its residue field, then $K_\ast(R,\mathbb{Z}/l)\cong ...
- 16.9k
4
votes
1
answer
469
views
Disconnectedness of Hilbert schemes of projective schemes
Let $Y$ be a projective scheme. The naive definition of a Hilbert scheme of subschemes $X$ of $Y$ would require us to projectively embed $Y$, then ask that $X$ have a fixed Hilbert polynomial $p$.
...
- 27.8k
3
votes
0
answers
118
views
Extending cohomology classes to compactifications of Kuga varieties
I am trying to understand the proof of lemma 3 in the paper "Algebraic cycles and the Hodge structure of a Kuga fiber variety" by B. Brent Gordon,
available at http://www.ams.org/journals/tran/1993-...
25
votes
1
answer
1k
views
Comparison map between de Rham cohomology of analytic and formal neighborhoods of singularities
Suppose that $X$ is a complex algebraic (or complex analytic) variety, and $x \in X$ is a singular point. I am interested in two types of local differential forms at $x$: analytic and formal.
First, ...
- 536
73
votes
1
answer
8k
views
Derived Functors Versus Spectral Sequences
Let $A{\buildrel F\over\rightarrow}B{\buildrel G\over\rightarrow}C$ be additive functors between abelian categories.
Hartshorne, in Proposition 5.4 of Residues and Duality, constructs the obvious ...
- 23k
10
votes
1
answer
983
views
Friedlander Conjecture
I just read on the ALGTOP discussion list that Morel has announced a proof of the Friedlander conjecture. Question: Are there other applications besides the Milnor conjecture $H_*(G,F_p)=H_*(BG,F_p)$ ...
- 101
26
votes
1
answer
4k
views
Voevodsky's counterexample to the existence of a motivic t-structure
I have been trying to unravel some of the known relationships between various ideas on mixed motives. I find the literature quite hard to follow -"from experts, for experts".
Voevodsky in "...
- 982
15
votes
3
answers
3k
views
State of the art for Gersten's conjecture for K-theory?
Does anyone know (of a reference to) under what restrictions on the regular scheme $X$ it is known that we have an exact sequence
$$0 \to \mathcal{K}_n(X) \to \bigoplus_{x \in X^{(0)}} K_n(k(x)) \to \...
- 1,347
4
votes
1
answer
261
views
Index vs. equivariant index (and then taking invariant part)?
Let $C$ be a smooth projective curve and let $C^{(n)}$ be its $n$th symmetric power.
Let $E$ be a $S_n$-equivariant vector bundle over the Cartesian power $C^n$. Suppose that $E$ descends to a vector ...
- 21k
4
votes
0
answers
324
views
The restriction of the Gersten resolution (for etale cohomology) onto a closed subvariety.
There is a very important result of Bloch and Ogus: for any smooth variety $X$ and fixed $r\in \mathbb{Z}$, $r\ge 0$, $l$ is prime to the residue field characteristic, the Zariski sheafification of ...
- 16.9k
6
votes
1
answer
465
views
Splitting principle in equivariant cohomology
The following is a weaker version of what is called splitting principle in
Appendix C, page 12, see also for a lighter version Brions Eq cohom and eq intersection theory, page 6:
Let $G$ be a compact ...
- 103
10
votes
2
answers
1k
views
Grothendieck group for projective space over the dual numbers
Fix a field $k$. For a singular variety $X$, I understand that the Grothendieck group $K^0(X)$ of vector bundles on $X$ is not necessarily isomorphic to the Grothendieck group $K_0(X)$ of coherent ...
- 2,955
1
vote
0
answers
243
views
Special properties of (the $\gamma$-filtration of) $K$-theory of affine varieties.
Let $A$ be a smooth affine variety of dimension $n$. Are there any facts known on $K_{\ast}(A)$ and its $\gamma$-filtration which do not hold for $K_*(V)$ for an arbitrary smooth $V$ (of the same ...
- 16.9k
9
votes
1
answer
932
views
The vanishing of non-connective K-theory in negative degrees
In the works of Cisinski, Tabuada, and Schlichting certain non-connective K-theory groups for a differential graded category $C$ are defined. As far as I understand, $K_i(C)$ is not necessarily zero ...
- 16.9k
1
vote
0
answers
96
views
When the class of a complex is necessarily equi-dimensional
Let $P$ be a smooth projective variety. For an object $X$ of $D_{perf}(P)$ (i.e. a bounded perfect complex of $\mathfrak{O}_P$-module sheaves) we consider its class $[X]$ in $K_0(P)\otimes \mathbb{Q}(\...
- 16.9k
6
votes
0
answers
242
views
Are Tate twists of t-positive motives positive with respect to the Voevodsky's homotopy t-structure?
Let $X$ be a Voevodsky's motif (over a perfect field) that belongs to the positive part of the homotopy $t$-structure (i.e. its cohomology as an object of $D^-(ShSmCor)$ is zero in negative degrees). ...
- 16.9k
5
votes
2
answers
1k
views
Survey of Algebraic K-Theory Since 1980?
I just came across Charles Weibel's Development of Algebraic K-Theory until 1980, and found it really helpful. Is there been anything analogous which surveys the developments in the last 30 years? I'...
- 1,138
72
votes
3
answers
8k
views
Where do all these projection formulas come from?
I have been intrigued for a long time by the formal similarity of results from different areas of mathematics. Here are some examples.
Set theory Given a map $f:X\to Y$ and subsets $X' \subset X, Y'\...
- 47.5k
4
votes
0
answers
811
views
$Ext$ functor, filtered complexes and spectral sequences
Let $\mathcal{A}$ an abelian category. Take $M$ an object of $\mathcal{A}$, and $K_*$ a bounded complex in $\mathcal{A}$ equipped with a bounded increasing filtration $F$. By using homological and ...
14
votes
3
answers
2k
views
A question on K_1 of an elliptic curve
Consider an elliptic curve $E/ \mathbb{Q}$, with a regular model $\mathcal{E} / \mathbb{Z}$. We have (Beilinson regulator) maps
$$ K_1(\mathcal{E})^{(2)} \to K_1(E)^{(2)} \to H_D^3(E_{/ \mathbb{R}} , \...
- 5,637
2
votes
1
answer
387
views
Zero-cycles on an arithmetic surface
Could anyone give a reference for the following statement, which I believe is true.
"Let X be a regular scheme, flat over $Spec( \mathbb{Z}) $, with fiber dimension $1$. Then the Chow group $CH^2(X)$ ...
- 5,637
5
votes
0
answers
624
views
Does the Grothendieck ring inject to the Grothendieck group?
To a Noetherian scheme $X$, we can associate a Grothendieck ring of locally free coherent sheaves, and a Grothendieck group of coherent sheaves, with a natural map from the former to the latter. Is ...
- 11.2k
28
votes
0
answers
2k
views
derived category of equivariant coherent sheaves and fixed points
The K-group $K^T(X)$ of $T$(torus)-equivariant coherent sheaves on a variety $X$ is isomorphic to $K^T(X^T)$, that of the fixed point locus via the inclusion homomorphism, when we tensor the quotient ...
- 3,051
55
votes
8
answers
7k
views
Applications of Grothendieck-Riemann-Roch?
I am currently trying to learn a bit about Grothendieck-Riemann-Roch...
To try to get a better feeling for it, I am looking for examples of nice applications of GRR applied to a proper morphism $X \...
- 21k
9
votes
5
answers
1k
views
Calculations of Pic^0, Pic, NS of surfaces
I'm looking for an example in the literature where $\mbox{Pic}^0(X)$, $\mbox{Pic}(X)$, and $NS(X)$ of a projective surface $X$ over a field are calculated. I want them for an example I'm trying to ...
- 183
37
votes
1
answer
3k
views
Morava on Shafarevich conjecture
$\DeclareMathOperator\Q{\mathbf{Q}}$Jack Morava has some interesting ideas stemming from stable homotopy theory and geometric topology on the Shafarevich Conjecture.
The Shafarevich Conjecture states: ...
- 2,734
6
votes
1
answer
1k
views
When is the K-theory presheaf a sheaf?
Let $F$ be a Deligne-Mumford stack that is of finite type, smooth and proper over $\mathrm{Spec~}k$ for a perfect field $k$. Consider $K_m$, the presheaf of $m$-th $K$-groups on $F_{et}$, the etale ...
- 562
9
votes
1
answer
599
views
Numerical evidence of Beilinson's conjecture in local fields and function fields
The famous Beilinson's conjecture predicts a relationship between the regulator map in $K$-theory and special value of $L$-function generalizing the Dirichlet's theorem in number theory. Please see ...
- 91
14
votes
1
answer
1k
views
Dirichlet's regulator vs Beilinson's regulator
Consider a number field $F$ with ring of integers $O_F$. The Beilinson regulator can in this particular setting be viewed as a map from $K_n(O_F)$ to a suitable real vector space. Here $n$ is any ...
- 5,637
7
votes
3
answers
966
views
If a colimit of distinguished triangles exists, is it also a distinguished triangle?
Consider the following situation in some triangulated category: We are given a collection of distinguished triangles $A_n \to B_n \to C_n \to A_n[1]$ indexed by the natural numbers, together with maps ...
- 5,637
4
votes
0
answers
314
views
K-theory of non-reduced schemes
Suppose $X$ is a smooth, projective variety. Then Bloch's formula states that
$$CH^n(X)\cong H^n(X, \mathcal{K}_{n,X})$$
where $\mathcal{K}_{n,X}$ is the sheaf associated to the presheaf $U=Spec{A} \...
- 145
4
votes
2
answers
881
views
Higher direct images and singular varieties
The specific question: I've got a projective variety Y and a subvariety X cut out of Y as the zero scheme of a regular section of a vector bundle E on Y. In the end, I'd like to prove that X has ...
- 43
30
votes
4
answers
2k
views
When can we cancel vector bundles from tensor products?
Let $E,F,G$ be algebraic vector bundles over $\mathbb P_{\mathbb C}^n$. My general question is:
Assume $E\otimes G \cong F\otimes G$, under what conditions can one conclude that $E\cong F$?
Some ...
- 30.5k
15
votes
1
answer
1k
views
Attaching maps for Grassmann manifolds
The Grassmannian $G_n(\mathbb{R}^k)$ of n-planes in $\mathbb{R}^k$ has a CW-complex structure coming from the Schubert cell decomposition.
What is known about the attaching maps in this CW-complex ...
- 865
11
votes
1
answer
846
views
$K_0$ of a non-separated scheme
This question is on "computing" the Grothendieck group of the projective $n$-space with $m$ origins ($m\geq 1$). For any (noetherian) scheme $X$, let $K_0(X)$ be the Grothendieck group of coherent ...
- 9,497
3
votes
2
answers
439
views
Family of Enriques surfaces and GRR, Part 2
As I mentioned in my previous post, I am studying the article Moduli of Enriques surfaces and Grothendieck-Riemann-Roch.
The Grothendieck-Riemann-Roch theorem is applied there to show that, for any ...
- 9,497
18
votes
4
answers
2k
views
Why does one invert $G_m$ in the construction of the motivic stable homotopy category?
Morel and Voevodsky construct the motivic stable homotopy category, a category through which all cohomology theories factor and where they are representable, by starting with a category of schemes, ...
- 12.3k
9
votes
1
answer
820
views
Quantum equivariant $K$-theory and DAHA.
Theorem 3.2 of the paper "Quantum cohomology of the Springer resolution" by Braverman, Maulik and Okounkov relates equivariant quantum cohomology of the cotangent bundle of $G/B$ to the trigonometric ...
14
votes
3
answers
3k
views
References for equivariant K-theory
I want a good introduction to localization in equivariant $K$-theory. This introduction can be simple in several ways:
I only care about torus actions.
I only care about $K^0$.
I only care about very ...
- 156k