English

Extrapolating an Euler class

K-Theory and Homology 2015-04-17 v2

Abstract

Let RR be a noetherian ring of dimension dd and let nn be an integer so that nd2n3n \leq d\leq 2n-3. Let (a1,...,an+1)(a_1,...,a_{n+1}) be a unimodular row so that the ideal J=(a1,...,an)J=(a_1,...,a_n) has height nn. Jean Fasel has associated to this row an element [(J,ωJ)][(J,\omega_J)] in the Euler class group En(R)E^n(R), with ωJ:(R/J)nJ/J2\omega_J:(R/J)^n\to J/J^2 given by (a1,...,an1,anan+1)(a_1,...,a_{n-1},a_n a_{n+1}). If RR contains an infinite field FF then we show that the rule of Fasel defines a homomorphism from WMSn+1(R)=Umn+1(R)/En+1(R)WMS_{n+1}(R)=Um_{n+1}(R)/E_{n+1}(R) to En(R)E^n(R). The main problem is to get a well defined map on all of Umn+1(R)Um_{n+1}(R). Similar results have been obtained by Mrinal Kanti Das and MD Ali Zinna, with a different proof. Our proof uses that every Zariski open subset of SLn+1(F)SL_{n+1}(F) is path connected for walks made up of elementary matrices.

Keywords

Cite

@article{arxiv.1502.02405,
  title  = {Extrapolating an Euler class},
  author = {Wilberd van der Kallen},
  journal= {arXiv preprint arXiv:1502.02405},
  year   = {2015}
}

Comments

7 pages, reference updated

R2 v1 2026-06-22T08:25:15.423Z