Year: 2016
Type: preprint
Abstract: Let $A$ be a regular ring over a field $k$, with $1/2\in k$ and dimension $d$. We discuss the Homotopy Conjecture of Madhav V. Nori, in the complete intersection case (meaning when the projective module in question if free, of rank at least 2). Recently, an obstruction set (sheaf) $π_0(Q_{2n})(A)$ was introduced [F] to detect when a surjective map $A^n\to I/I^2$ lifts to a surjective map $A^n\to I$. We establish that $π_0(Q_{2n})(A)$ coincides with the obstruction set of equivalence classes, originally suggested by Nori. We also establish that $π_0(Q_{2n})(A)$ has a natural groups structure, when $2n\geq d+2$. Further, we establish that, when $2n\geq d+2$, there is a surjective homomorphism $E^n(A) \to π_0(Q_{2n})(A) $, where $E^n(A)$ denotes the Euler class group defined by Bhatwadekar and Sridharan [BS2]. This homomorphism is an isomorphism, whenever triviality, in $π_0(Q_{2n})(A)$, of an orientation $(I, ω_I), guarantees that $omega_I$ lifts to a surjective map $A^n\to I$. We also give a Quadratic version of Lindel's Theorem, on extendibility of projective modules.
Source: arXiv (Cornell University)
Authors: Mandal, Satya, Mishra, Bibekananda
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2809017329