Skip to main content
1 of 5
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 97

For a finite flat (etale?) morphism $f:Y\to X$ is $f_*1_Y-\deg f 1_X$ nilpotent in $A^*(X)$, where $A^*$ is the algebraic cobordism?

Let $A^\ast$ be an algebraic oriented cohomology theory (i.e. it is equipped with certain push-forwards for projective morphisms of smooth varieties over the base field $k$; see section 2 of http://www.math.uiuc.edu/K-theory/0535/orient.pdf for more detail); let $f:Y\to X$ be a finite morphism of smooth varieties whose degree is $d$. I would like to prove the following conjecture: if $f^\ast h=0$ for $h\in A^\ast (X)$, then $d^lh=0$ for some $l>0$ (one cannot take $l=1$ here when $A^*$ is the K-theory). To this end it suffices to verify that $f_\ast 1_Y-d$ is nilpotent in $A^0(X)$. It seems sufficient to prove the latter for $A^\ast$ being the algebraic cobordism (as defined by Levine and Morel), since this is the universal oriented cohomology theory.

I would like to say that $f_\ast 1_Y-d=0$ for $X,Y$ being spectra of fields. Levine proves this in his book when $f$ is etale; is this true in general? Then I can proceed and say that $f_\ast 1_Y-d$ is supported in codimension 1; does $A^0(X)$ possess a multiplicative coniveau filtration? Is there a better way to prove my conjecture?

Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 97