All Questions
Tagged with ag.algebraic-geometry kt.k-theory-and-homology
149 questions
7
votes
1
answer
476
views
Equivalence between categories of coherent sheaf of codimension p
Let $X$ be a noetherian and separated scheme and $M(X)$ denote the abelian category of coherent sheaves on $X$. Let $M^{P}(X) = \lbrace \mathcal{F} \in M(X) \hspace{2mm} : Codim(sup(\mathcal{F}), X) \...
- 629
7
votes
1
answer
485
views
Non trivial rank 2 holomorphic vector bundles in complex dimensions greater than or equal 2
Does every compact complex manifold of complex dimension greater than or equal two
possess a nontrivial rank 2 holomorphic vector bundle?
- 1,236
7
votes
1
answer
481
views
Geometric foundation of the Grothendieck polynomials
Grothendieck polynomials were firstly defined in
Alain Lascoux and Marcel-Paul Sch¨utzenberger. Structure de Hopf de l’anneau de cohomologie et de l’anneau de Grothendieck d’une vari´et´e de drapeaux....
- 719
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
7
votes
0
answers
249
views
Phantoms and Geometry
Let $\mathcal{D}(X)$ be the bounded derived category of coherent sheaves on a smooth projective variety $X$. An autoequivalence $\Phi: \mathcal{D}(X) \to \mathcal{D}(X)$ is called phantom if it ...
- 71
7
votes
0
answers
245
views
What can be said about the topological K-theory of non-singular varieties of small codimension in projective space?
Working over $\mathbb{C}$, the Barth-Larsen results tell us a lot about the ordinary cohomology of non-singular varieties of small codimension in projective space. For example if $X \subseteq \mathbb{...
- 1,444
6
votes
2
answers
1k
views
K theory long exact sequence
(1) Suppose that $Z\subset X$ is a closed embedding, $U = X\setminus Z$ is the complement. If relevant, suppose that both $X, Z$ are smooth and even (if relevant) that the normal bundle of $Z\subset X$...
- 7,952
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
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
6
votes
1
answer
593
views
Cohomology classes coming from algebraic K-theory
Suppose $X$ is a smooth variety over $\mathbb{C}$. I believe there is a Chern class map
$\operatorname{ch}:K_*(X) \otimes \mathbb{Q} \to H_{sing}^*(X(\mathbb{C}),\mathbb{Q})$ for algebraic $K$-theory. ...
- 691
6
votes
0
answers
162
views
$K_0$ of arithmetic surfaces
In his paper "Algebraic K-Theory and classfield theory of arithmetic surfaces", Annals of Mathematics 114 (1981), Spencer Bloch proved the following result: if $A$ is a finitely generated ...
6
votes
0
answers
201
views
Hall-Littlewood polynomials of non-dominant weights
$\DeclareMathOperator\SL{SL}$Let $\lambda = (\lambda_1,\ldots,\lambda_n)$ be a sequence of positive integers and let
$$
R_\lambda(x;t) = \sum_{w\in S_n} w\cdot \left( x_1^{\lambda_1}\ldots x_n^{\...
- 528
6
votes
0
answers
170
views
Does the $K^1$-group of a complete flag variety vanish?
For $U(n)$ the Lie group of $n \times n$ unitary matrices, and $T^n$ its maximal torus subgroup, the homogeneous space
$$
U(n)/T^n
$$
is called the complete flag variety of order $n$. For the special ...
- 141
6
votes
0
answers
144
views
$K_0$ an $KH_0$ of a normal crossing variety
Let $k$ be a field (say, algebraically closed to fix the ideas) and let $X$ be a strict (aka simple) normal crossing variety over $k$, so that $X$ is union of regular varieties with intersection that ...
- 61
6
votes
0
answers
363
views
Why write GRR with the relative tangent sheaf?
The first published version of the Grothendieck-Riemann-Roch theorem, GRR for short, was written in the form
$$
\operatorname{ch}(f_!\alpha).\operatorname{Td}(Y)
=
f_*\left(\operatorname{ch}(\alpha).\...
- 2,011
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
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
5
votes
1
answer
417
views
Could we extend the exact sequence $K^0(X)\to K_0(X)\to K_0(D_{sg}(X))\to 0$ to the left?
Let $X$ be a variety over a field $k$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category of perfect complex $Perf(X)$. It is clear that $Perf(X)$ is a ...
- 9,019
5
votes
1
answer
222
views
Computation of the torsion of K-groups related to elliptic curves
Let $E$ be an elliptic curve over $\mathbb Q$. Let $F$ be the rational function field of $E$.
The $K_2$ group of $F$ may be described by elements in $F^\times ⊗_\mathbb{Z} F^\times$ quotiented by the ...
- 9,501
5
votes
1
answer
316
views
Motivic cohomology with $\mathbb{Z}/2$ coefficients in positive characteristic
In G. M. L. Powell's note 'Steenrod operations in motivic cohomology', he stated that if $\mathrm{char}(k)=0$,
$$H^{*,*}(k,\mathbb{Z}/2)=K_*^M(k)/2[\tau]$$
where $\tau\in H^{0,1}$ is the unique ...
- 918
5
votes
2
answers
442
views
Sheaf of chain complexs glued by chain homotopy equivalences
Let $(X,\mathcal O_X)$ be a locally ringed space with an open covering $\mathscr U$. Suppose:
For any $U\in\mathscr U$, we have a chain complex $(C_U, d_U)$ such that $C_U$ is an $\mathcal O_X(U)$-...
- 2,789
5
votes
1
answer
322
views
Is the motivic homotopy spectrum of Hermitian K-theory $\eta$-complete?
Theorem 1.2 of the paper "The motivic Hopf map solves the homotopy limit problem for K-theory" (see https://elibm.org/article/10011880) says that (under certain assumptions on the base field) the ...
- 16.9k
5
votes
1
answer
366
views
K-theory for a (geometric) stack
There is a notion of $K$-theory for a manifold $M$.
Is there a notion of $K$-theory for a stack $\mathcal{D}\rightarrow \text{Man}$ that is representable by a Lie groupoid $\mathcal{G}$; that is $...
- 6,023
5
votes
1
answer
380
views
Which complexes of coherent sheaves can be presented as countable homotopy limits of perfect complexes?
Let $X$ be a noetherian scheme (actually, I need the case where $X$ is proper over an affine scheme), $C$ is an object of the derived category $D_{coh}(X)$ of coherent sheaves on $X$. Under which ...
- 16.9k
5
votes
0
answers
215
views
Descent properties for rational topological cyclic homology
Descent properties can be extremely useful for studying $\operatorname{TC}$ (topological cyclic homology), since it is a sheaf in many well behaved topologies.
I was wondering what is known about $\...
- 333
5
votes
0
answers
415
views
Modern context for hypercohomology spectra
In Thomason's paper Algebraic K-theory and étale cohomology, (Ann. ENS 1985, Numdam link) Thomason develops an elaborate theory of hypercohomology spectra, $\mathbb{H}(X,\mathcal{F})$ for presheafs of ...
- 254
5
votes
0
answers
264
views
Do almost commutative flat degenerations induce equality in K-theory? (Or: Is the characteristic variety actually a support of a class in $K$-theory?)
I intentionally phrased the title to match a different question which is almost identical to the one i'm asking. However similar, the answer there, which uses commutative algebraic geometry, is not ...
- 7,789
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.3k
4
votes
3
answers
532
views
The algebro-geometrical version of K-theory
It has been proved that the higher K groups of a (possible noncommutative, but here only comm. for convenience) ring $R$ are correctly defined by Q-construction or + construction.
Recently I'm ...
- 449
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
4
votes
1
answer
418
views
Definition of Chow quotient
I am reading M. M. Kapranov's paper "Chow quotients of Grassmannians. I." (English) in Sergej Gelfand (ed.) et al., I. M. Gelfand seminar. Part 2: Papers of the Gelfand seminar in ...
- 41
4
votes
1
answer
470
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
4
votes
1
answer
182
views
Explicit description of Verdier quotient of effective motives
Let $DM^{eff}_{gm}(k)$ be the triangulated category of effective geometric motives over some field $k$ (in the sense of Voevodsky), and let $DM^{eff}_{gm}(k)(1)$ be its full triangulated subcategory ...
- 41
4
votes
1
answer
186
views
The upper bounds on rank $ 2 $ real matrices
Let $ A_{n}(F) $ be the collection of all skew-symmetric matrices over the field $ F $ ($\operatorname{char} F \neq 2 $). Let M be a subspace of $ A_{n}(F) $ such that all non zero elements have rank ...
- 923
4
votes
1
answer
564
views
Borel regulator and Bloch-Beilinson regulators
Is there any relation, either conjectural or known, between the Borel regulator for the Quillen $K$-theory of algebraic number rings, and the Bloch-Beilinson regulator from motivic cohomology to real ...
user119470
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
1
answer
236
views
Absoluteness of motivic cohomology and restriction of scalars
Maybe this is a question to naive for the MO community! For a projective smooth variety $X$ defined over a field $F$, and for simplicity let's assume $F$ is a number field. One way to define motivic ...
- 2,971
4
votes
0
answers
191
views
K-theory of toric varieties
Let $X$ be a smooth projective toric variety over $\mathbb{C}$. Is there a good presentation for the K-theory ring $K_0(X)$ in terms of the corresponding fan, analogous to the presentation of the Chow ...
- 3,446
4
votes
0
answers
426
views
In which "sense" unramified Milnor-Witt K-groups are unramified
Let $X$ be an integral locally noetherian smooth
scheme over base field $k$. Then for every $x \in X^{(1)}$ point of codimension $1$, the stalk $\mathcal{O}_{X,x}$ is a discrete valuation
ring. ...
- 6,028
4
votes
0
answers
225
views
K theoretic pushforward along gerbes
I have a nontrivial gerbe $\pi : \mathscr{G} \to X$ banded by a cyclic group $G = \mathbb{Z}/r$. I'm working over $\mathbb{C}$. I want to describe $\pi_\ast$ and relate the fundamental class $[\...
- 1,094
4
votes
0
answers
326
views
Which derived categories of coherent sheaves are equivalent (or "$t$-related") to derived categories of rings?
As far as I understand, it was Beilinson who proved that the bounded derived category of coherent sheaves $D^b(\mathbb{P}^n)$ is equivalent to the bounded derived category of a certain (non-...
- 16.9k
4
votes
0
answers
226
views
K-theoretic derivation of Bézout theorem
In the paper "$K$-Theory and Intersection Theory" by Henri Gillet in Handbook of K-theory, 2005 (link behind paywall at Springerlink), the author says:
"When the ground field $k = \mathbb C$, Bézout’...
4
votes
0
answers
205
views
$\mathbf{A}^1$- contractibility
Suppose $U$ is an $\mathbf{A}^1$-contractible smooth scheme over a field $k$, that is, it is isomorphic to a point in the $\mathbf{A}^1$-homotopy category of smooth schemes over $k$.
Does motivic ...
user119470
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
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 ...
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
3
votes
2
answers
342
views
Reference Request: Beilinson-Bloch conjecture in terms of Beilinson regulator isomorphism
I'm looking for a reference that provides a concise statement of the Beilinson-Bloch conjecture, specifically formulated in terms of an isomorphism under the Beilinson regulator map.
More precisely, I'...
- 2,907
3
votes
1
answer
265
views
Base change in Chriss-Ginzburg
Below is a fragment of the book by Chriss and Ginzburg. Proposition 5.3.15(b) is stated in $K$-theory. My question is, does the same conclusion (and proof?) of proposition 5.3.15(b) (i.e. base change) ...
- 2,964
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