Isotropic and numerical equivalence for Chow groups and Morava K-theories

In this paper we prove the conjecture claiming that, over a flexible field, isotropic Chow groups coincide with numerical Chow groups (with ${\Bbb{F}}_p$-coefficients). This shows that Isotropic Chow motives coincide with Numerical Chow motives. In particular, homs between such objects are finite groups and $\otimes$ has no zero-divisors. It provides a large supply of new points for the Balmer spectrum of the Voevodsky motivic category. We also prove the Morava K-theory version of the above result, which permits to construct plenty of new points for the Balmer spectrum of the Morel-Voevodsky ${\Bbb{A}}^1$-stable homotopic category. This substantially improves our understanding of the mentioned spectra whose description is a major open problem.


Introduction
The idea of isotropic realisation is to provide a local handy version for an algebro-geometric object, a version whose complexity will be similar to that of a topological object (and so, much simpler).In the first approximation, such local versions should be parametrized by points of the algebro-geometric world, that is, by all possible extensions of the base field.A closer look though reveals that a prime number p should be chosen and only an equivalence class of an extension under certain p-equivalence relation matters.In the motivic case, the idea is to annihilate the motives of p-anisotropic varieties (that is, varieties which have no closed points of degree prime to p).This idea appeared first in the work of Bachmann [2], who considered the ⊗ − △-subcategory generated by motives of quadrics and applied this method successfully to the study of the Picard group of the Voevodsky category.With the latter purpose in mind, the motivic category of a field extension DM (E/k; F p ) was introduced in [26, Section 4] and studied extensively in [27].The trivial extension k/k case of it is the isotropic motivic category DM (k/k; F p ) - [27,Definition 2.4].It is the Verdier localisation of the "global" Voevodsky category DM (k; F p ) with respect to the localising subcategory generated by motives of p-anisotropic varieties.Combining the global to local localisation functor with the restriction via field extension we get natural functors from DM (k) to DM (E/E; F p ), for various field extensions E/k.The next important observation is that, for the target isotropic category to be "handy", the field E should be chosen carefully.Fortunately, there is a large class of flexible fields -[27, Definition 1.1], which are fit for the role.These are purely transcendental extensions of an infinite transcendence degree of some other fields.Any field E can be embedded into its' flexible closure E := E(P ∞ ) and the respective motivic restriction functor is conservative.We get the family of isotropic realisations: where p is prime and E/k runs over all extensions of the base field.These functors are tensor-triangulated and so, the kernels a p,E := Ker(ψ p,E ) are ⊗ − △-ideals of the Voevodsky category.It appears that some MSC2010 classification: 14C15, 14C25, 19E15, 14F42; Keywords: motive, Chow groups, numerical equivalence of cycles, Morava K-theory, Balmer spectrum of these realisations will be equivalent in a sense.Namely, one can introduce an equivalence relation p ∼ on the set of extensions -see Section 5.2, such that the respective kernels a p,E coincide if and only if the extensions are equivalent -see Theorem 1.3.
As in the global case, the isotropic motivic category DM (k/k; F p ) possesses the natural weight structure in the sense of Bondarko [6] whose heart is the category of isotropic Chow motives Chow(k/k; F p ) -see Proposition 5.7.This consists of direct summands of the isotropic motives of smooth projective varieties.Many questions about the isotropic motivic category can be reduced to questions about the heart.In this article we will be able to answer various such crucial questions.
The Homs in the category of isotropic Chow motives are given by isotropic Chow groups Ch * iso .The latter is the quotient of the usual Chow groups modulo anisotropic classes, that is, elements coming from p-anisotropic varieties.On Ch * = CH * /p of a smooth projective variety X there is the degree pairing Ch * (X) × Ch * (X) → F p .Moding out the kernel of it, we get the numerical version Ch * N um .By obvious reasons, anisotropic classes are numerically trivial and so, we get the natural surjection Ch * iso ։ Ch * N um of oriented cohomology theories.Many important properties of the isotropic motivic categories and isotropic realisations depend on the following conjecture - [27,Conjecture 4.7].
Conjecture 1.1 If k is flexible, then Ch * iso = Ch * N um .
In [27], this conjecture was proven for varieties of dimension 5, for cycles of dimension 2, and for divisors.In [28], it was extended to varieties of dimension 2p and cycles of dimension < p (as well as to few other cases).Finally, we can prove the entire Conjecture -see Theorem 4.12.
Theorem 1.2 The conjecture 1.1 is true.
An immediate consequence of it is that isotropic Chow groups are finite groups -see Corollary 4.13.Another one is that the category of isotropic Chow motives is equivalent to the category of numerical Chow motives -see Corollary 5.4.The latter tensor additive category is semi-simple and has no ⊗-zerodivisors.The weight complex functor considerations then imply that the zero ideal (0) in the isotropic motivic category of a flexible field is prime ⊗−△-ideal.Hence, the kernels a p,E of our isotropic realisations ψ p,E provide points of the Balmer spectrum of the Voevodsky category -see Theorem 5.13: Theorem 1.3 The ⊗−△-ideal a p,E is prime and so, defines a point of the Balmer spectrum Spc(DM (k) c ) of the Voevodsky category.Two such points a p,E and a q,F are equal if and only if p = q and E/k p ∼ F/k.
We get many new points of the Balmer spectrum, complementing the "classical" ones (provided by the topological realisation).This substantially improves our understanding of the spectrum.Balmer and Gallauer managed to completely describe the spectra of the subcategories of Tate and Artin-Tate motives in the Voevodsky category in [5] and [10] for special fields, but very little was known about Spc(DM (k) c ) itself, in general.Our results show, in particular, that this Balmer spectrum is pretty large.For example, the cardinality of Spc(DM (R) c ) is 2 2 ℵ 0 -see Example 5.14.
A similar techniques can be applied to the study of the Balmer spectrum of Morel-Voevodsky stable homotopy category SH(k) c .Here one needs to generalise the notion of anisotropy.In Section 2 below the notion of A-anisotropy for any (small) oriented theory A * is introduced.A smooth projective variety is A-anisotropic, if the push-forward π * : A * (X) → A * (Spec(k)) to the point is zero.In the case of A * = Ch * = CH * /p it gives the good old p-anisotropy.Then, in the same way as for Chow groups, one may introduce the isotropic version A * iso of the theory, with the natural surjection to the numerical one A * N um .The theories of interest are Morava K-theories K(m) * and closely related theories P (m) * -see Section 3.2.The latter is the free theory (in the sense of ) obtained from the Brown-Peterson theory BP * by change of coefficients P (m) * := BP * ⊗ BP P (m), where P (m) = BP/I(m) and I(m) = (v 0 , . . ., v m−1 ) is the invariant ideal of Landweber.In the case m = ∞, we get P (∞) * = K(∞) * = Ch * .Theorems 4.7 and 4.17 generalise Theorem 1.2 to the case of an arbitrary m: Theorem 1.4 Let k be flexible.Then, for any 1 m ∞, we have: P (m) * iso = P (m) * N um and K(m) * iso = K(m) * N um .This is the main result of the paper, which implies all the rest.The broadening of view from Chow groups to P (m)-theories was crucial in the solution of the Conjecture 1.1.The right set up here is provided by a theory Q * which is a quotient of the BP -theory by any invariant ideal, and this is the generality in which I prove the Main Theorem 1.4.In the proof of the original cases in [27,Theorem 4.11] and [28,Theorem 2.3], the key step was to represent our numerically trivial cycle by the class of a regular connected subvariety and then annihilate its' Chern classes numerically.This was achieved by a sophisticated surgery-type techniques involving blow-ups, deformations, as well as Steenrod and Adams operations, and was quite non-trivial.Now it is replaced by the claim that any numerically trivial element of Q * can be lifted to an element of Ω * , so that all the Landweber-Novikov operations of it are Q-numerically trivial -see Proposition 4.3.The latter statement is proven by a short transparent argument involving the multiplicative projector defining the BP -theory.It allows to reduce to the case of a numerically trivial class of a regular embedding [Y → X], such that the normal bundle of it has the same Q-Chern classes as some bundle of the same dimension coming from X. Passing to the flag variety, one may assume that the class of our normal bundle in K 0 is a sum of classes of line bundles, all defined on X.Finally, one employs the defomation to the normal cone in a new unusual role.This famous construction, among other things, also makes a class into a complete intersection (in a situation like ours).Thus, we may reduce to the case of a numerically trivial complete intersection, which is straightforward -see Proposition 4.5.
Theorem 1.4, in particular, shows that the isotropic category of K(m)-Chow motives Chow K(m) iso (k) coincides with its' numerical counterpart Chow K(m) N um (k), which is semi-simple and has no ⊗-zero-divisors -see Theorems 5.1 and 5.3, which plays a key role in the study of isotropic realisations of SH c (k).
To any prime p, any 1 m ∞ and a choice of a field extension E/k we may assign the isotropic realisation where the target is an isotropic stable homotopic category (over a flexible field).This is done in our paper with Du [8].This category is obtained from SH( E) c by moding out the Σ ∞ P 1 -spectra of K(m)-anisotropic varieties as well as objects whose M GL-motive is annihilated by some power of v m (where we set v ∞ = 1) -see Section 5.3.
Let a (p,m),E = Ker(ψ (p,m),E ).One may introduce the K(m)-equivalence relation ∼ on the set of extensions -see Section 5.3.Theorem 1.4 provides the crucial ingredient, which permits to establish that the zero ideal (0) in a (flexible) isotropic stable homotopic category is prime, and hence, the same holds for a (p,m),E .This is done in [8] -see Theorem 5.17: (2) a (p,m),E = a (q,n),F if and only if p = q, m = n and E/k (3) a (p,∞),E is the image of the point a p,E under the natural map of spectra Spc(DM (k) c ) → Spc(SH(k) c ).Thus, we get plenty of new "isotropic" points of the Balmer spectrum of Morel-Voevdosky category.These points are analogous to and complement the "classical" Morava-points a (p,m),T op given by the topological realisation.The structure of Spc(SH(k) c ) was studied, in particular, by Balmer and Heller-Ormsby in [4] and [12], who have shown that this spectrum surjects to the spectra of Grothendieck-Witt and Milnor-Witt rings of k.There are few other results, in particular, comparison with equivariant homotopic spectra.But the question of the description of Spc(SH(k) c ) remained widely open, and the above isotropic points provide by far the largest known structured piece of it (note that there is a huge number of equivalence classes of extensions, for a general field).

Acknowledgements:
The support of the EPSRC standard grant EP/T012625/1 is gratefully acknowledged.I would like to thank the Referee for useful suggestions which improved the article.

Isotropic equivalence
Everywhere in this article, the ground field k will be of characteristic zero.
Let A * be an oriented cohomology theory with localisation in the sense of [25, Definition 2.1] (which is the standard axioms of Levine-Morel [14, Definition 1.1.2]plus the excision axiom (EXCI)).We can introduce the notion of A-anisotropic varieties.Definition 2.1 Let X π → Spec(k) be a smooth projective variety.We say that X is A-anisotropic, if the map π * : A * (X) → A * (Spec(k)) = A is zero.Observation 2.2 Let X be a smooth projective variety over k.Then it is A-anisotropic if and only if the A * -numerical ring A * N um (X) of X is zero.
Proof: It is sufficient to recall that the numerical pairing A * (X) × A * (X) , −→ A is defined by x, y := π * (x • y).
Observation 2.3 Let f : X → Y be a morphism of smooth projective varieties.Then if Y is Aanisotropic, then so is X.
Remark 2.4 (1) Since every smooth projective variety contains a point Spec(E) of finite degree n = [E : k] and for the respective projection, π * • π * = •n, it follows that A-anisotropic varieties may exist only if the theory A * is n-torsion: n • A = 0, for some natural n.
(2) When A * = CH * /n is the Chow groups modulo n, our notion of A-anisotropy coincides with the notion of n-anisotropy: X is CH * /n-anisotropic if and only if the degrees of all closed points of X are divisible by n -see [27,Definition 2.14].△ Now we can introduce isotropic equivalence on A * .Definition 2.5 Let X be a smooth projective variety and x ∈ A * (X).We say that x is anisotropic, if x = f * (y) for some f : Y → X and A-anisotropic (smooth projective) Y .
We have: Proposition 2.6 Anisotropic classes form an ideal which is stable under pull-backs and push-forwards, and so, under A * -correspondences.
Proof: The fact that anisotropic classes are stable under push-forwards is obvious from definition.As for pull-backs, if x belongs to the image of f * , where f : Q → X and Q is A-anisotropic, then it also belongs to the image of π * , where π : X × Q → X is the projection and X × Q is still anisotropic.But π is transversal to any g : Y → X.Thus, g * (x) belongs to the image of π * , where π : If f : Y → X is any morphism of smooth projective varieties and y ∈ A * (Y ), x ∈ A * (X), then y, f * (x) = f * (y), x ∈ A. Thus, any anisotropic class is numerically trivial (by Observation 2.2) and we have a surjection A * iso ։ A * N um of oriented cohomology theories.
3 Brown-Peterson theory and Morava K-theories

Multiplicative operations
To any oriented cohomology theory A * one can assign a formal group law (A, F A ), where A = A * (Spec(k)) and F A describes the Chern class of the tensor product of two line bundles in terms of the Chern classes of the factors: ).If A * and B * are two oriented cohomology theories on Sm k , a multiplicative operation G : A * → B * is a collection of ring homomorphisms A * (X) → B * (X), for all smooth X/k, commuting with pull-back maps.The difference with the morphisms of theories is that the above maps don't have to commute with push-forwards.
To any multiplicative operation G : A * → B * one can assign the morphism of the respective formal group laws, where ϕ G : x describes, how G acts on the Chern classes of line bundles: These data satisfies: An oriented cohomology theory is free, if it is obtained from algebraic cobordism of Levine-Morel [14] by change of coefficients: A * (X) = Ω * (X) ⊗ L A. Such theories are in 1-to-1 correspondence with formal group laws: A * ↔ L → A. By [25, Theorem 6.9], the multiplicative operations G : A * → B * between free theories are in 1-to-1 correspondence with the morphisms of the respective FGLs.
We say that a multiplicative operation G : A * → B * is of invertible type, if the leading coefficient γ ′ (0) is invertible in B. Such a power series is then invertible with respect to the composition of series.We say that G is stable, if this coefficient is equal to 1.
In the case when the source theory is the algebraic cobordism of Levine-Morel Ω * , a multiplicative operation G of invertible type is completely determined by γ G (due to universality of the respective FGL), which can be any power series with an invertible coefficient at x.
The structure on the algebraic cobordism is provided by the Landweber-Novikov operations.The total Landweber-Novikov operation , where b = b i , i 1 and dim(b i ) = i is given by the homomorphism (ϕ, γ) of formal group laws, where the (stable) change of parameter γ(x) = x + b 1 x 2 + b 2 x 3 + . . .has formal variables as coefficients -see [14,Example 4.1.25].This operation is universal among stable multiplicative operations.Namely, any such operation G can be completed uniquely to a commutative square where θ A is the canonical morphism of theories (reflecting the universality of algebraic cobordism -[14, Theorem 1.2.6]) and ψ extends a similar canonical morphism θ B by sending the formal variables b i to the coefficients of the power series γ Let G : A * → B * be a multiplicative operation of invertible type between free theories.Let X be a smooth projective variety and Td G (X) ∈ B * (X) be the Todd genus of X corresponding to the operation G -see [17,Definition 2.5.2].In other words, where λ j runs over all B-roots of the Tangent bundle T X (recall, that B-roots are "formal elements", elementary symmetric functions of which are B-Chern classes of our bundle -see [25, 2.3] and [14, 4.1.8];below we will also call by this name any collection of elements of degree 1 in B * (X) satisfying the same property, if one exists).Td G (X) is an invertible element in B * (X).Then the Riemann-Roch theorem for multiplicative operations (of invertible type) -Panin [17,Theorem 2.5.4]claims that the transformation G ′ : A * → B * , defined on a given variety Y by G • Td G (Y ), commutes with (proper) push-forwards.

p-typical theories
The theories we are interested in are related to a choice of a prime number p and can be produced out of the algebraic cobordism Ω * of Levine-Morel [14].Algebraic cobordism is unversal among all oriented cohomology theories.For Z (p) -localised theories, this role is played by the Brown-Peterson theory BP * [7].This theory is obtained from Ω * Z (p) by the same multiplicative projector ρ as in topology (see [30, I.3] and [1]).Namely, ρ : Ω * Z (p) → Ω * Z (p) is a multiplicative operation, which satisfies: ρ • ρ = ρ and is determined by the property that ρ([P n ]) = [P n ], if n is a power of p minus one, and is zero, otherwise.In particular, (by the formula of Mischenko) the logarithm of this theory is given by: By [25, Proposition 4.9(2)], BP * is obtained from algebraic cobordism by change of coefficients: where , is a stable multiplicative operation given by the morphism (ϕ, γ) of formal group laws with γ −1 (x) = BP i 0 t i x p i and t 0 = 1 (note the formal summation!).This operation is universal among stable multiplicative operations between p-typical cohomology theories.That is, any such operation G extends uniquely to a commutative square: where θ A is the canonical morphism of theories (classifying p-typical theories) and ψ is an extension of θ B , mapping We have an algebraic version K(p, m) of Morava K-theory, which is an oriented cohomology theory in the sense of [25, Definition 2.1] obtained from BP -theory by the change of coefficients: where v i → 0, for i = m.Following the topological tradition, we will also denote this theory simply as K(m) * .
By the result of Landweber [13, Theorem 2.7], the prime ideals of BP invariant under Landweber-Novikov operations are exactly the ideals I(m) = (v 0 , v 1 , . . ., v m−1 ), for 0 m ∞.Consider the free theory P (m) * obtained from BP * by change of coefficients P (m) * (X) = BP * (X) ⊗ BP P (m), where P (m) = BP/I(m).In particular, P (0) * = BP * , P (1) * is the mod-p version BP * = BP * /p and P (∞) = Ch * = CH * /p is Chow groups modulo p.For m 1, these theories are p-torsion.In particular, it makes sense to speak about isotropic equivalence on P (m) * .We will also use the theory There are the following natural morphisms among our p-typical theories:

The Main Theorem
Our main result compares isotropic and numerical properties of the P (m) * theory.Namely, we will show that, for 1 m ∞, the theories P (m) * iso and P (m) * N um coincide.This plays the crucial role in applications below, and implies the respective facts about Chow groups and Morava K-theories.

The strategy of the proof
Let me start by explaining the strategy of the proof.The argument applies to any free theory Q * obtained from BP * by moding out a non-zero ideal J of BP invariant under BP -Landweber-Novikov operations.
Let X be a smooth projective variety over a flexible field.We need to show that any numerically The first step is to lift u to an element of the algebraic cobordism of Levine-Morel Ω * (X) (via the natural maps Ω * (X) → BP * (X) → Q * (X)) in such a way that the action of all Landweber-Novikov operations on it produces elements which are numerically trivial in Q * (X) (as u itself).This is achieved by applying the multiplicative projector defining the BP -theory to an arbitrary lifting and uses the fact that the BP -Landweber-Novikov operations respect Q-numerical equivalence.This is done in Proposition 4.3 below, see also Proposition The second step is to substitute u by a class of a regular embedding [Y y → X], with the normal bundle Q-equivalent to a pull-back of some element from K 0 (X) (where we call two elements of K 0 to be Q-equivalent, if they have the same Q-Chern classes).By twisting T Y by a sufficiently high p-primary power of a very ample line bundle (which is a Q-equivalence), we may assume that T Y is generated by global sections and defines an embedding is a class of a regular embedding, whose projection to X is u and which is still Q-numerically trivial, since the restriction of Q * (X × Gr(d, N )) to Y as an algebra over Q * (X) is generated exactly by the Chern classes of T Y , polynomials in which are Q-numerically trivial by Step 1.It is sufficient to prove the claim for v.Moreover, since T Y is Q-equivalent to the restriction of the tautological vector bundle from the Grassmannian, the normal bundle of our embedding has the needed property.
With a bit of extra work, we may reduce to the case of a regular embedding u = [Y y → X], whose normal bundle is Q-equivalent to the restriction of the sum [L 1 ] + . . .+ [L n ] of classes of line bundles from X, where n = codim(u).
The third step is to use the deformation to the normal cone construction and reduce to the case of a complete intersection.Here we replace X by W = Bl X×P 1 (Y × 0) and u by the pull-back of −[Y × 0].This class is still Q-numerically trivial and it's push-forward to X is −u.But, at the same time, it is equal to the product of 1-st Q-Chern classes of line bundles ξ(ξ The key here is the fact that the Q-roots of the normal bundle N Y ×0⊂X×P 1 are defined on X and there is a zero among them.By twisting by a sufficiently high p-primary power of an ample line bundle, we may assume that our line bundles are very ample and so, our class is a Q-numerically trivial complete intersection.
Finally, on the fourth step we prove that any numerically trivial complete intersection is anisotropic.This result holds for any free theory A * and is proven in Proposition 4.5.This finishes the proof of the Main Theorem.

The proof
Let Q = BP/J, where J ⊂ BP is a non-zero ideal invariant under Landweber-Novikov operations.Consider the free theory Q * = BP * ⊗ BP Q.Let Q * iso and Q * N um be the isotropic and the numerical versions of the theory (the latter one is obtainded from Q * by moding-out the kernel of the numerical pairing on Q * -see [27,Definition 4.3]).We are going to show that Q * iso = Q * N um .The case where J is the Landweber ideal I(m) will give us the statement for P (m) then.Proposition 4.1 Let J ⊂ BP be an invariant ideal, Q = BP/J and Q * be the free theory given by: Q * (X) = BP * (X) ⊗ BP Q.Then the Landweber-Novikov operations descend to Q * N um .
Proof: Since the ideal J is invariant, the Total BP -Landweber-Novikov operation descends to the Q *theory: We need to show that Landweber-Novikov operations preserve the ideal of numerically-trivial classes.
Our operation can be extended to a multiplicative endomorphism of the Q * [t]-theory by mapping t i to t i .In other words, for the respective morphism (ϕ G , γ G ) of the FGLs, ϕ G acts on Recall, that according to [25, Theorem 6.9], multiplicative operations between free theories are in 1-to-1 correspondence with the morphisms of the respective formal group laws.Since the constant term of ϕ S T ot Q is the identity map on Q, and the terms at higher monomials in t decrease the dimension of elements, it follows that is invertible.Also, the power series γ G is invertible (with respect to the composition).Then the pair (ϕ H , γ H ) given by: ϕ Recall, that the composition of morphisms of FGLs is defined as: By the Riemann-Roch theorem [17, Theorem 2.5.4], using the fact that Td G (Spec(k)) = 1, this is equal to So, it is zero, since x was numerically trivial.Hence, S T ot Q (x) is numerically trivial too.
Remark 4.2 This statement applies, among others, to the theories Q * = BP * ⊗ BP BP/I(m) r , for any r ∈ N and 0 m ∞.In particular, to all theories P (m) (including P (0) * = BP * ).△ The following result is one of the key steps of the construction.It permits to substitute the non-trivial and elaborate considerations of [27,Theorem 4.11] and [28] by a clean and transparent multiplicative projector argument.
It is a multiplicative operation δ : BP * → BP * [b] between p-typical theories and so, by (1), is a specialization of S T ot BP : That is, there exists a morphism of theories ε : In other words, individual δ-operations (coefficients of δ at particular monomials in b) are BP -linear combinations of the individual BP -Landweber-Novikov operations S t r BP .In turn, it is easy to see (from universality of the cobordism operation S T ot L−N ) that S T ot BP is a specialization of δ (and so, these operations are equivalent), but we will not use it.Let x ∈ Ω * Z (p) be any lifting of x ∈ Q * , and We know that the projection of µ(x) to Q * is numerically trivial and that δ is a specialization of S T ot BP .From Proposition 4.1, the projection of δ • µ(x) to Q * is numerically trivial.This means that the projection of and so, coincides with x.Finally, since J is non-zero and invariant, it contains p r , for some r (note that, by the results of Landweber [13], the radical of this ideal is some Landweber ideal I(m), for m > 0).Then multiplying x by an appropriate integer q ≡ 1 (mod p r ), we may assume that the class x is integral, and so, represented by some [Y y → X] with Y -smooth projective.
Remark 4.4 It applies, in particular, to the theories P (m), for any 1 m ∞.When J = 0, that is, Q * = BP * , we may still represent x by x ∈ Ω * Z (p) (X) with the result of Landweber-Novikov operations on it BP -numerically trivial, but it will not be represented by an integral class, in general.△ Finally, we will need the following result showing that numerically trivial complete intersections are anisotropic (over a flexible field).Proposition 4.5 Let A * be a free oriented cohomology theory, k be flexible and X/k be smooth projective variety.Let u = n i=1 x i ∈ A * (X), where x i = c A 1 (L i ), for very ample line bundles L i on X. Suppose, u is numerically trivial.Then it is anisotropic.
Proof: Let Z be a smooth projective variety and L = O(D) a very ample line bundle on it.The linear system |D| of effective divisors linearly equivalent to D is parametrized by a projective space P N .These divisors are hyperplane sections of X in the projective embedding given by L. Consider the subvariety where π is a P N −1 -bundle (note that, for a given z, the condition z ∈ H gives a single linear equation on H).Let ξ = c A 1 (O(1)) on it.Let η be the generic point of P N , and Y η be the generic fiber of the projection β.It is the generic representative of the linear system |D| defined over the purely transcendental extension F = k(P N ) of the base field.By the projective bundle axiom (PB) [14, Def.1.1.2]and by excision (EXCI) and [11, Def.2.6, Cor.2.13], we have surjections: Here O(1) on Y is the restriction of the bundle O(1) on P N .Thus, positive powers of ξ are supported in positive codimension on P N and so, restrict to zero in A * (Y η ).Thus, we obtain the surjection A * (Z) = A * (Z F ) j * ։ A * (Y η ) for the embedding j : Y η → Z F of the generic section.Let L i = O(D i ) and P N i = |D i | be the respective ample linear systems.Let P = i P N i , η be the generic point of P and j : W ֒→ X E be the intersection of the generic representatives of our linear systems.It is defined over a purely transcendental extension E = k(P) of k.Applying the above argument inductively, we obtain that the restriction A * (X) = A * (X E ) A is numerically trivial, this shows that all elements of A * (W ) are numerically trivial.Indeed, the (zero) pairing u E , − : This means that W is anisotropic.Thus, u becomes anisotropic over some purely transcendental extension E = k(P).Since k is flexible, that is, k = k 0 (t 1 , t 2 , . ..) and the variety X and the class u are defined on some finite level: over some k n = k 0 (t 1 , . . ., t n ), there is an isomorphism of field extensions k/k n with E/k n , which identifies X with X E and u with u E -see [27,Proposition 1.3].It follows that u is anisotropic already over k.
Remark 4.6 Note that here we don't have any restrictions on the free theory A * .In particular, we see that if A * is not torsion, then complete intersections can't be numerically trivial (since there are no non-zero anisotropic classes, in this case).The same result holds for any quotients of free theories.△ Now, we are ready to prove our Main Theorem.
. The operation S T ot L−N commutes with pull-backs.The value of it on u is given by where Td(Z) = Td commutes with (proper) push-forwards (which is obvious from the above presentation).Since (u) is the coefficient at the monomial b r in y * (Td(Y )).Note that, this way, we get all possible polynomials in the Chern classes of −T Y , or which is the same, all possible polynomials in the Chern classes of T Y .Since all these classes are Q * -numerically trivial on X, arbitrary polynomials in the Chern classes of the tangent bundle of Y are Q * -numerically trivial on X.
Suppose, dim(Y ) = d.Let L be a very ample line bundle on Y .Then, for sufficiently large k, T Y ⊗L p k is generated by global sections and defines a regular embedding f : Y → Gr(d, N ) into the Grassmanian of d-dimensional subspaces of some vector space, such that T Y ⊗ L p k = f * (T av) is the pull-back of the tautological vector bundle.
Thus, our class u ∈ Ω * (X) is the push-forward of the class of the regular embedding g = (y, f Note that Q * (X × Gr(d, N )) as a Q * (X)-algebra is generated by the Chern classes c Q i (T av) (see [9, Example 14.6.6])and the pairing v Q , − : By Lemma 4.9, for k sufficiently large in comparison to the dim(Y ) = d, the first Chern class c Q 1 (L p k ) is zero (in other words, L p k is Q-equivalent to the trivial bundle O).As Q-equivalence is respected by the ⊗ (as Chern classes of the tensor product are expressible in terms of Chern classes of factors), the Chern classes of the pull-back f * (T av), for sufficiently large k, are just the Chern classes of T Y .But we know that any polynomial in the latter Chern classes is Q * -numerically trivial on X.Hence, for such k, the map (2) is zero, and so, the class v ∈ Ω * (X ⊗ Gr(d, N )) is Q * -numerically trivial.
Note that the normal bundle of g is Q-equivalent to g * ([T X×Gr(d,N ) ] − [T av]).Thus, replacing X by X × Gr(d, N ) and u by v, we reduce to the case, where u = [Y y → X] is a class of a regular embedding and the normal bundle N Y ⊂X is Q-equivalent to the pull-back y * ([V ] − [U ]), for some vector bundles V and U on X.By construction, dim( triviality of these elements is equivalent, and the same applies to Q * -anisotropy, as each can be obtained from the other by push-forwards), we can assume that N Y ⊂X is Q-equivalent to the pull-back y * (V ) of a vector bundle of the same dimension.
Let ε : F l X (V ) → X be the variety of complete flags on V .Replacing X by F l X (V ) and Y by ε −1 (Y ), we may assume that Note that anisotropy of [y] is equivalent to the anisotropy of [ε * (y)], since anisotropic classes are stable under pull-backs, push-forwards and multiplication by any elements by Proposition 2.6 (and [y] can be obtained from [ε * (y)] by the latter two operations -recall, that ε is a consecutive projective bundle).Similarly, Q * -numerical triviality of [y] implies that of [ε * (y)].
Let's apply the deformation to the normal cone construction.Consider which has Q-roots 0, a 1 , . . ., a n , all defined on X, by [24,Proposition 5.27], 1)) -see Lemma 4.10 for details.Thus, it is a product of first Chern classes of certain line bundles.Note that any line bundle L is a ratio of some very ample line bundles K ⊗ M −1 = (K ⊗ M p k −1 ) ⊗ M −p k .Thus, tensoring by M p k , for a very ample line bundle M on W , which is a Qequivalence for sufficiently large k, and using the fact that the tensor product of very ample line bundles is very ample, we may assume that the Q * -divisor classes ξ, (ξ + Q a 1 ), . . ., (ξ + Q a n ) are represented by very ample divisors on W . Hence, −π * (u) is a Q * -numerically trivial complete intersection.By Proposition 4.5, π * (u) is anisotropic.But the push-forward of this class to Q * (X) is equal to u (recall that u = [Y × 1] and this cycle is away from the center of the blow-up).Thus, u is anisotropic.The Theorem is proven.Lemma 4.9 Let L be a line bundle on Y .Then, for k sufficiently large in comparison to the dim( ), but since Q * is p r -torsion, for some r (as J is invariant and non-zero), the Q-formal multiplication [p r ] Q (x) has no linear term, and so, [p rm ] Q (x) has no terms of degree less than 2 m , so it is sufficient to take k > r • log 2 (d) (recall, that the first Chern class is supported in positive co-dimension, and so, the (d + 1)-st power of it is zero).Proposition 5.27] to the cartesian square and blow-up diagram: , taking into account that (in the notations of loc.cit.) M = N , we get: Since the Chern classes of N are j * of the Chern classes of M , using the projection formula and the fact that j * (1) = c Q 1 (O(−1)), we obtain: Remark 4.11 Since free oriented cohomology theories are stable under purely transcendental field extensions, the above Theorem shows that if k is an arbitrary field (of characteristic zero) and k = k(t 1 , t 2 , . ..) is its flexible closure, then, for any smooth projective X/k and any theory Q * as above, For m = ∞, P (∞) * = Ch * = CH * /p is Chow groups modulo p, and we obtain: This settles [27,Conjecture 4.7].
Corollary 4.13 Let k be flexible.Then isotropic Chow groups Ch * k/k (X) of varieties are finite groups.Proof: Let X be a smooth projective variety over k.It is defined over some finitely generated subfield l ⊂ k, that is, X = Xk , for some X/l.Moreover, any algebraic cycle on X and any rational (mod p) equivalence among such cycles is defined over some finitely generated subfield l ⊂ F ⊂ k.Thus, Ch * (X) is the colimit of Ch * ( XF ), where F runs over all such intermediate finitely generated subfields.Since char(k) = 0, any such F has a complex embedding: F → C, defining a map Ch * ( XF ) → H 2 * ( X(C); F p ).Since H * ( X(C); F p ) = H * et ( XC ; F p ) and the latter group is equal to H * et ( X F ; F p ) by the smooth base change theorem [15,Chapter VI,Cor. 4.3], the above map is just the restriction Ch * ( XF ) In particular, it doesn't depend on the choice of the complex embedding.The same smooth base change theorem shows that for any embedding F ⊂ E of our finitely generated subfields, the maps agree and provide the topological realisation map Ch * (X) → H 2 * et ( Xl; F p ).Since numerical pairing is defined on the level of the topological realisation, the numerical Chow groups Ch * N um (X) are sub-quotients of the singular cohomology H * ( X(C); F p ) of the topological realisation of X.The latter groups are finite.Due to Theorem 4.12, the same is true for isotropic Chow groups (as long as k is flexible).Theorem 4.7 permits to identify the isotropic and numerical versions for the Morava K-theory as well.For this we will need the following result.Proof: Let CK(m) * be the free theory with the coefficient ring CK(m) = F p [v m ] (the connective Morava K-theory).Denote as y → y the standard projection P (m) * → CK(m) * .Let π : X → Spec(k) be a smooth projective variety.Multiplying by some power of v m (an invertible element), we may assume that our numerically trivial class is lifted to x ∈ CK(m) * (X) which is the restriction of some x ∈ P (m) * (X).I claim that: Claim 4.15 Modulo multiplication by some power of v m , x can be chosen in such a way that S T ot P (m) (x) ∈ CK(m) * [t](X) is numerically trivial.
Proof: Let S t r P (m) = S r P (m) be the individual P (m)-Landweber-Novikov operation (the coefficient of S T ot P (m) at the respective monomial).This operation has degree |r| = i ir i (equal to that of the monomial).We will show by a decreasing induction on d that we may choose x so that, for any r and y ∈ P (m) * (X) with |r| + codim(y) d, we have π * (S r P (m) (x) • y) = 0. Clearly, for a given choice of x, the statement is true for d > dim(x), since the dimension of the element S r P (m) (x) • y is negative, in this case.On the other hand, the case d = 0 gives the claim above, because the map P (m) * ։ CK(m) * is surjective and P (m) * (X) is generated as a P (m)-module by elements of non-negative codimension (since it is so for Ω * ).
Suppose, the lifting x satisfies the statement for d + 1.Consider the set We say that s r, if s i r i , for every i (in other words, the monomial t s is a divisor of t r ).Let S = S(x) = {r| such that |r| d and ∀s r, s ∈ R(x)}.
Let r ∈ R be a minimal element of R in the sense of the mentioned partial order.By definition of R, there exists y ∈ P (m) * (X), such that |r| + codim(y) = d and π * (S r P (m) (x) Note that since x satisfies the statement for d + 1 and by the definition of R, we have: Fact A: For any s and any m .Indeed, the dimension of any such non-zero element must be , respectively > dim(x) − d = dim(v a m ).Since S T ot P (m) is multiplicative and S P (m) T ot , which on X is equal to S T ot P (m) • Td(X), commutes with pushforwards, by the Riemann-Roch theorem (for multiplicative operations) -Panin [17, Theorem 2.5.4], for any q, we have: (here Td(X) q 1 is the q 1 -component of Td(X) = Td S T ot P (m) (X)).Combining it with the Fact A, we get: , for any q.Moreover, if q ∈ S(x), then it is divisible by v a+1 m .For the second claim, we just neet to observe that if q ∈ S, then q 2 ∈ R.
. Note that u = 0 (as x is CK(m)-numerically trivial) and so, x ′ = x • v a m .I claim that x ′ still satisfies the statement for d + 1, and moreover, S(x ′ ) ⊃ S(x) ∪ {r}.
Let |s| + codim(z) > d, respectively, |s| + codim(z) = d and s ∈ S(x).Since S T ot P (m) is a multiplicative operation and S T ot is a linear combination of Landweber-Novikov operations, by Fact A, our expression is divisible by v a+b m and so, is zero (since the dimension of the result is less, respectively, equal to that of v 2a m ).Thus, π * (S s P (m) (x ′ ) • z) = 0 ∈ CK(m).Moreover, in the second case, the same holds for all s ′ s (as these elements also belong to S(x)).Hence, x ′ satisfies the statement for d + 1 and S(x) ⊂ S(x ′ ).
Finally, since r is a minimal element of R(x), S r P (m) (u) = λ • v a m (as the only non-zero term in (3) corresponds to q 2 = r), while S r ′ P (m) (u) is divisible by v a+1 m , for every other r ′ r, because the dimension of this element is > dim(v a m ).Hence, for |r| + codim(z) = d, we have: for some w q ∈ CK(m) * (X).The latter summand is divisible by v 2a+1 m , by Fact A, and so, is zero, since the dimension of the result is equal to that of dim(v 2a m ).The first summand is equal to π * (S r P (m) (v a m • x) • z).Hence, π * (S r P (m) (x ′ ) • z) = 0 and consequently, r ∈ R(x ′ ) and so, r ∈ S(x ′ ) (as all other r ′ r were contained in S(x) ⊂ S(x ′ )).Thus, S(x ′ ) contains S(x) ∪ {r}.Another piece of evidence in support of this Conjecture is given by the calculation of isotropic cohomology of a point (that is, Homs between Tate objects in DM (k/k; F p )).This was done for p = 2 in [27, Theorem 3.7].

Isotropic realisations
In [27] the isotropic realisations of the Voevodsky triangulated category of motives DM (k) were constructed (see also [28,Introduction]).Such realisations are parametrized by the choice of a prime number p and an equivalence class of extensions of the ground field.
Let k be an arbitrary field (of characteristic zero) and Ch * = CH * /p be Chow groups modulo p. Define the following partial ordering on the set of field extensions E/k.Let E = colim α E α and F = colim β F β , where E α = k(Q α ) and F β = k(P β ) are finitely generated extensions with smooth models Q α and P β .
We say that E/k p F/k, if for any β, there exists α and a correspondence Q α P β of degree prime to p (equivalently, the push-forward Ch * (Q α × P β ) ։ Ch * (Q α ) is surjective).We say that E/k Corollary 5.4 permits to reveal the meaning of these functors.They provide the points of the Balmer spectrum Spc(DM (k) c ) - [3] of (the compact part of) the Voevodsky motivic category.Recall, that the points of the Balmer spectrum of a tensor triangulated category are prime ⊗ − △-ed ideals in it.In our case, the ideal a p,E = ψ −1 p,E (0) is the pre-image of the zero ideal.It is prime, since (the compact part of) the isotropic (flexible) motivic category DM ( E/ E; F p ) has no zero-divisors by Corollary 5.4 as we will prove below.
It was shown by Bondarko [6], that on DM (k) c there is a unique bounded non-degenerate weight structure whose heart is the category of Chow motives Chow(k).A similar structure exists on the category DM (k/k; F p ) c of isotropic motives.Proof: Recall from [27, Proposition 2.5] that the compact part DM (k/k; F p ) c of the isotropic motivic category can be realized as a full thick subcategory of DM (k; F p ) which is an idempotent completion of the subcategory consisting of objects of the form X Q ⊗U , for all U ∈ DM (k; F p ) c , where X Q is the reduced motive of the Čech simplicial scheme Čech(Q), where Q is the disjoint union of all smooth p-anisotropic varieties over k.Here X Q is a tensor projector fitting the distinguished triangle where X Q is the non-reduced motive of our Čech simplicial scheme (the complementary projector).The subcategory of isotropic Chow motives Chow(k/k; F p ) is the idempotent completion of the subcategory consisting of objects X Q ⊗ U , where U is a Chow motive.Since every compact Voevodsky motive is an extension of finitely many shifts of Chow motives, the same is true about isotropic motives.Following Bondarko, let's define the D 0 as the idempotent completion of the subcategory of DM (k/k; F p ) consisting of all possible extensions (of finitely many) objects of the type Ū [i], where Ū is an isotropic Chow motive and i 0, and D 0 as the idempotent completion of the subcategory of DM (k/k; F p ) consisting of all possible extensions (of finitely many) objects of the type Ū [i], where i 0. To show that this is indeed a weight structure, by [6, Theorem 4.3.2,Proposition 5.2.2], one only needs to check that Hom DM (k/k;Fp) ( Ū, V [i]) = 0, for any isotropic Chow motives Ū and V and any i > 0.
If Ū = X Q ⊗ U and V = X Q ⊗ V , for (global) Chow motives U and V , then As ⊗-projectors X Q and X Q define a semi-orthogonal decomposition of the category DM (k; F p ) (by [23,Theorem 2.3.2]),this is equal to: for some smooth projective variety Y and some j ∈ Z, while smooth simplicial schemes don't have motivic homology H M a,b , for a < 2b.Thus, the group in question is zero and we obtain the needed weight structure.
A weight filtration presents an object X as an extension of its graded pieces X i , where for some objects C i of the heart.The latter objects form a weight complex t(X) -[6, Def.2.2.1] For a bounded weight structure, this complex will be finite.In contrast to the t-structure filtration, the filtration given by a weight structure is not canonical.In particular, the weight complex t(X) is not uniquely defined.But, if for a given X, there exists a weight complex with zero differentials, then the respective terms C i are invariants of X and can be considered as weight cohomology H i w (X) of it.In particular, in this case, X is zero if and only if all H i w (X)s are.The next statement shows that our case is exactly such.Proposition 5.8 Every object X of DM (k/k; F p ) c possesses a weight filtration producing weight complex with zero differentials.
Proof: This is a consequence of the semi-simplicity of the category Chow N um (k, F p ) -see Proposition 5.10, which follows from the following Lemma.Lemma 5.9 For any morphism f : U → V in Chow N um (k, F p ), there are decompositions U = W ⊕ U and V = W ⊕ V , such that f = id W ⊕ 0. In particular, the category Chow N um (k, F p ) is semi-simple.
Proof: If f is non-zero, then the adjoint map T f −→ U ∨ ⊗ V is non-zero too, which means that there exists g : V → U , such that the composition Let us show that some powers of α and β are non-zero projectors.We may assume that U and V are motives of varieties.
Consider the topological realisation functor T R : Chow(k; F p ) → D b (F p ) and denote H T op (Z) := H * (T R(Z), F p ).The latter is a finite-dimensional F p -vector space.We may identify H T op (U × U ) with End Fp (H T op (U )).Let α and β be T R of some liftings of α and β to non-numerical Chow groups.Since the degree pairing is defined on the level of the topological realisation, α and β, considered as F p -linear transformations, have non-zero traces.Define the filtration: Since our space is finite-dimensional, there exists r, such that the embeddings F k ⊃ F k+1 are proper, for k < r, and are isomorphisms, for k r.Since the ring End Fp (H T op (U )) is finite, there exists N , such that α N is a projector.Considered as a linear transformation, it should be a projection on F r .Then tr( α N +1 ) coincides with tr( α| Fr ) which is equal to tr( α).Hence, deg( α•( α N ) ∨ ) = tr( α N +1 ) = 0, and so, α N is numerically non-trivial.Since numerical Chow groups are sub-quotients of topological cohomology (as the degree pairing factors through T R), it follows that a = α N is a non-zero projector.Then so is b = β 2N , and maps f and g Repeating these arguments with f ′ , f ′′ , ... and taking into account that the endomorphism rings of our objects are finite, we get the decomposition as required.
Proposition 5.10 Let D be a triangulated category with the non-degenerate bounded weight structure, whose heart C is semi-simple.Then every object possesses a weight filtration, for which the weight complex has zero differentials.
Proof: Let X be an object of D. Since our weight structure is bounded, X is supported on some segment [m, n], that is, X ∈ D m ∩ D n .In particular, we have an exact triangle Here the differential X −→ X m of the (shifted) weight complex t(X) factors as the composition from the above one, and get another presentation with the zero differential C ′ Proof: It is straightforward to check that a map f : X → Y between two objects with weight filtrations with zero differentials extends uniquely to maps of graded pieces.The conservativity is clear, as any object is an extension of graded pieces of it.
It is just the cohomology of the weight complex functor - [6], which exists (and is triangulated) since, due to Proposition 5.8, the natural projection Moreover, the total weight cohomology functor respects the tensor product.
Theorem 5.12 (Kunneth formula) The functor H T ot w respects the ⊗.In other words, Proof: This follows from the fact that the "global" weight complex functor is a tensor functor -see [2, Lemma 20], while the isotropic category is obtained from the global one by a tensor projector which commutes with the weight filtration and ⊗.
Applying Corollary 5.4, we get: Proof: This follows from the fact that the total weight cohomology is conservative and satisfies the Kunneth formula, while the ⊗ has no zero-divisors on Chow(k/k; F p ) by Corollary 5.4.Since char(a p,E ) = p, it is an invariant of a point.Suppose, E/k p ∼ F/k.Let U ∈ a p,E .Let E = colim α E α , where E α = k(Q α ) is a finitely generated extension with a smooth model Q α .Since U ∈ a p,E and U is compact, there are finitely many p-anisotropic varieties R i , i = 1, . . ., n over E, such that U E is a direct summand of an extension of their motives.These varieties and all the morphisms involved should be defined over some finitely generated extension E α = k(Q α ) of k.Moreover, since E/k p ∼ F/k, these varieties remain p-anisotropic over F (Q α ).Hence, U F (Qα) = 0 ∈ DM ( F (Q α )/ F (Q α ); F p ).By [27, Prop.2.9], then U F = 0 ∈ DM ( F (Q α )/ F ; F p ), where the latter is the local motivic category -see [27,Def. 2.3].But since Q α | F is p-isotropic, the extensions F (Q α )/ F and F / F are p-equivalent and so, the respective local categories are identified -see loc.cit.. Thus, U F = 0 ∈ DM ( F / F ; F p ). Hence U ∈ a p,F .From symmetry, we get that a p,E = a p,F , if E/k p ∼ F/k.Conversely, if E/k p ∼ F/k, then either Q α | F , for some α, or P β | E , for some β, is p-anisotropic.W.l.o.g. may assume the former.Then M (Q α ) ∈ a p,F (as Q α stays anisotropic over F ), while M (Q α ) ∈ a p,E , as ψ p,E passes through DM (E) and a Tate-motive splits from M (Q α ) there.Hence, the points are different.
Thus we obtain a large supply of new points of the Balmer spectrum of DM (k) c , which complement the points given by the topological realisation.
Example 5.14 If k is algebraically closed.then every variety of finite type over k has k-rational points.Hence, for every p, there is only one p-equivalence class of field extensions over k.
If k = R is real, then there is only one p-class, for odd p, and 2 c of such classes, for p = 2, where c =continuum.Indeed, there is a continuum of choices of the j-invariant for real curves of genus one without real points.If there is a correspondence of odd degree between two such curves, as there are no real points, the respective elliptic curves must be isogenous, and there are only countably many elliptic curves isogenous to a given one.Thus we have a set of real points free curves of genus one {X i |i ∈ I} parametrized by a set I of continuum cardinality, such that there are no correspondences of odd degree between X i and X j , for i = j, and the respective elliptic curves are not isogenous.Moreover, if Y is a product of finitely many X i , where all i are different from a given j, then there is no odd degree correspondence from Y to X j .Indeed, such a correspondence would give a point of odd degree on (X j ) k(Y ) , but this variety has also points of degree 2 (as we have complex points).Since it is a curve of genus one, by the (classical) Riemann-Roch theorem, it has a rational point then, that is, there is a rational map Y → X j , which must be dominant, since X j has no real points.Then the respective map of Albanese varieties would have been dominant as well, which would mean that the map of one of the components Alb(X i ) → Alb(X j ) would be non-zero, which is impossible, since these elliptic curves are not isogenous.For any J ⊂ I, let us introduce the extension E J , which is the composite of k(X j ), for all j ∈ J.The above considerations show that, for different Js, these extensions are not 2-equivalent.Hence, we get, at least, 2 c different isotropic points of characteristic 2. On the other hand, the category DM (R) has a continuum of compact objects, so the cardinality of Spc(DM (R) c ) is no more than 2 c .Thus, the number of 2-equivalence classes of extensions E/R is 2 c .Note, that the cardinality of the set of 2-equivalence classes of finitely generated extensions E/R is only c.On our way, we established that the cardinality of Spc(DM (R) c ) is exactly 2 c .An extension of fields l → k defines the map of Balmer spectra Spc(DM (k) c ) → Spc(DM (l) c ) mapping the point a p,E/k to a p.E/l .Example 5.15 Let k be an arbitrary field (of characteristic zero) and E/k and F /k be two algebraically closed field extensions.Then E/k p ∼ F /k and so, the points a p,E and a p,F coincide.Thus, we have the "algebraically closed isotropic point" (for every p) combining all such extensions.The respective pequivalence class contains, in particular, all extensions E containing k. Usually, it doesn't contain any finitely-generated representatives.It is the highest class in the sense of the order p .Remark 5. 16 One can show that, at lest, for p = 2, the points a p,E and a p,F , for non-p-equivalent finitely generated extensions E/k and F/k of a flexible field k, are not comparable in the sense of topology of Spc(DM (k) c ) (and the same should hold for other primes).Thus, the partial order E/k p F/k provides a finer structure on the Balmer spectrum, a structure not detected by the topological specialisation of points.△

Balmer spectrum of Morel-Voevodsky category
Let SH(k) be the A 1 -stable homotopy category of Morel-Voevodsky [16].Theorem 5.3 permits to construct many new points of Spc(SH(k) c ).This is done in our paper with Du [8].Here I will just list the main results.Let p be a prime, n be a natural number, or ∞, and K(p, n) = K(n) be the Morava K-theory.Let Q p,n be the disjoint union of all K(n)-anisotropic varieties over k, and X (p,n) be the Σ ∞ P 1 -spectrum of the respective Čech simplicial scheme Čech(Q p,n ).It is a ∧-projector, and the complementary projector is Υ (p,n) = Cone(X (p,n) → ½).Denote as SH (p,n) (k/k) the category Υ (p,n) ∧ SH(k).It is naturally a
4.1.Thus, we may assume that u is represented by the class of a projective map [Y y → X] from some smooth variety Y of dimension d.The Q-numerical triviality of the action of Landweber-Novikov operations on [Y y → X] means that any polynomial in Chern classes of be the Todd genus of X corresponding to our operation G -see Subsection 3.1 and [17, Definition 2.5.2].This is an invertible element in Q * (X)[t].Recall, that the Riemann-Roch theorem for multiplicative operations -Panin [17, Theorem 2.5.4]claims that the transformation G

Theorem 4 . 7
Let k be flexible and 1 m ∞.Then P (m) * iso = P (m) * N um .Again, we will prove a more general version.Theorem 4.8 Let k be flexible, J ⊂ BP be a non-zero invariant ideal and Q * = BP * ⊗ BP BP/J.Then Q * iso = Q * N um .Proof: We need to show that all numerically trivial classes in Q * are anisotropic.Suppose, X/k is smooth projective and x ∈ Q * (X) is numerically trivial.By Proposition 4.3, we may represent x by the class u ) (λ j ), where λ j runs over Ω * -roots of the tangent bundle T Z of Z, and γ = γ S T ot L−N is the "generic" stable power series x + b 1 x 2 + b 2 x 3 + . ... -see Section 3.1, [17, Theorem 2.5.3] and [14, Example 4.1.25].There is the homological version S L−N T ot of it, which on X is equal to S T ot L−N • Td(X).The value of it on u is equal to S L−N T ot (u) = y * (Td(Y )).Due to the Riemann-Roch theorem for multiplicative operations -Panin [17, Theorem 2.5.4], S L−N T ot The individual homological Landweber-Novikov operations S L−N b r (u) are just (y * of the) polynomials in various Chern classes c Ω s (−T Y ) of the minus tangent bundle of Y .More precisely, S L−N b r

Lemma 4 .
10 Let B g → A be a regular embedding of co-dimension d, where N B⊂A = N is Q-equivalent to g * (M ) for some vector bundle M on A. Let π : Bl A (B) → A be the blow-up of A at B and M

Theorem 4 . 12
Let k be flexible.Then isotropic Chow groups Ch * k/k coincide with numerical Chow groups Ch * N um .

Proposition 4 . 14
Any numerically trivial K(m)-class can be lifted to a numerically trivial P {m}-class.

Corollary 5 . 4
Let k be flexible.Then the category Chow(k/k; F p ) of isotropic Chow motives -[27] is equivalent to the category Chow N um (k; F p ) of numerical Chow motives (with F p -coefficients).In particular, the category Chow(k/k; F p ) has no ⊗-zero-divisors.Since Homs in the category Chow(k/k; F p ) are isotropic Chow groups, Corollary 4.13 gives: Corollary 5.5 Let k be flexible.Then Homs in the category Chow(k/k; F p ) are finite groups.The category Chow(k/k; F p ) is a full tensor additive subcategory of the compact part of the triangulated category DM (k/k; F p ) of isotropic motives -[27].The above Corollary provides support for the following conjecture.Conjecture 5.6 Let k be flexible.Then Homs between compact objects of the isotropic motivic category DM (k/k; F p ) are finite groups.

F
/k and F/k p E/k.For a field E, denote as E = E(P ∞ ) the flexible closure of E. Finally, for a field L, define the isotropic motivic category DM (L/L; F p ) as the Verdier localisation of DM (L; F p ) by the localising subcategory generated by motives of p-anisotropic (= Ch * -anisotropic) varieties over Lsee [27, Def.2.4, Rem.2.8].We get the family of isotropic realisations ψ p,E : DM (k) −→ DM ( E/ E; F p ), where p is an arbitrary prime and E runs over all equivalence classes of the p ∼ relation above.Note that our realisations take values in isotropic motivic categories over flexible fields.

Proposition 5 . 7
The compact part DM (k/k; F p ) c of isotropic motivic category possesses a bounded non-degenerate weight structure whose heart is the category of isotropic Chow motives Chow(k/k; F p ).

m+1 0 →
C ′ m and X ′ >m supported on [m + 1, n].We conclude by induction on the support.The weight cohomology is functorial.Corollary 5.11 We have a conservative weight cohomology functor

Theorem 5 . 13
For any prime p and any field extension E/k, the ⊗ − △-ideal a p,E := Ker(ψ p,E : DM (k) c → DM ( E/ E; F p ) c ) is prime and so, defines a point of the Balmer spectrum Spc(DM (k) c ) of the Voevodsky category.Two such points a p,E and a q,F are equal if and only if p = q and E/k p ∼ F/k.
[20,is called p-typical, if its logarithm has only terms of degree a power of p, for the general case see[20, Definition 2.1.22].We call an oriented cohomology theory A * over Z (p) p-typical if the respective FGL is.The coefficient ring of the Brown-Peterson theory has the form BP = Z (p) [v i ; i 1], where dim(v i ) = p i − 1.It is traditional to denote v 0 = p.The Brown-Peterson theory is universal among p-typical oriented theories.Namely, for any such theory A * , there exists a unique morphism of theories θ [25, is, it is a free theory.Here L → BP is the universal p-typical formal group law.A torsion-free FGL over Z A : BP * → A * -see[20, 4.1.12,A2.1.25]and[25,Theorem6.9].The Total Landweber-Novikov operation an equivalence of categories -see [6, Definition 3.1.6]and [6, Theorem 3.2.2(II)].