Euler class groups and a theorem of Roitman (Q531338): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The authors define and study the \(n\)th Euler class group \(E^n(A[T])\) of a polynomial ring \(A[T]\) over a commutative regular domain \(A\) such that \(2n\geq\dim A+3\) (M. K. Das, one of the two authors of the present paper, has previously defined \(E^n(A[T])\) for a \(d\)-dimensional commutative Noetherian ring \(A\) containing \(\mathbf Q\) for the case \(d=n\geq 2\)). Among other results, the authors prove that there exists a canonical group homomorphism \(\Phi:E^n(A)\to E^n(A[T])\) that is left invertible. They show that this homomorphism is an isomorphism under some additional assumptions and ask whether this is true in general. The authors prove under certain assumptions, that if the canonical map \(\Phi:E^n(A)\to E^n(A[T])\) is surjective (so \(\Phi\) is an isomorphism), then the map \(\Phi:E^n(A_S)\to E^n(A_S[T])\) is also an isomorphism for every multiplicative subset \(S\) of \(A\); for example, this holds in the above-mentioned Das setting. The authors prove under certain assumptions that if \(I\) is an ideal of \(A[T]\) of height \(n\), \(\underline f=\{f_1,\dots,f_n\}\subseteq I\), and \(I=\underline f+(I^2T)\), then the set \[ N(I;\underline f)=\{s\in A\mid\exists g_1,\dots,g_n\in I_s \text{ such that } I_s= (g_1,\dots,g_n);\;g_i- f_i\in (I^2T)_s\} \] is an ideal, which they call the \textit{Nori ideal} associated to \(I\) and \((f_1,\dots,f_n)\). Several applications are presented, including a ``local global'' principle for the Euler class group, and a new proof of Nori's conjecture on projective generation of ideals; this conjecture was proved by S. M. Bhatwadekar and M. K. Keshari. | |||
Property / review text: The authors define and study the \(n\)th Euler class group \(E^n(A[T])\) of a polynomial ring \(A[T]\) over a commutative regular domain \(A\) such that \(2n\geq\dim A+3\) (M. K. Das, one of the two authors of the present paper, has previously defined \(E^n(A[T])\) for a \(d\)-dimensional commutative Noetherian ring \(A\) containing \(\mathbf Q\) for the case \(d=n\geq 2\)). Among other results, the authors prove that there exists a canonical group homomorphism \(\Phi:E^n(A)\to E^n(A[T])\) that is left invertible. They show that this homomorphism is an isomorphism under some additional assumptions and ask whether this is true in general. The authors prove under certain assumptions, that if the canonical map \(\Phi:E^n(A)\to E^n(A[T])\) is surjective (so \(\Phi\) is an isomorphism), then the map \(\Phi:E^n(A_S)\to E^n(A_S[T])\) is also an isomorphism for every multiplicative subset \(S\) of \(A\); for example, this holds in the above-mentioned Das setting. The authors prove under certain assumptions that if \(I\) is an ideal of \(A[T]\) of height \(n\), \(\underline f=\{f_1,\dots,f_n\}\subseteq I\), and \(I=\underline f+(I^2T)\), then the set \[ N(I;\underline f)=\{s\in A\mid\exists g_1,\dots,g_n\in I_s \text{ such that } I_s= (g_1,\dots,g_n);\;g_i- f_i\in (I^2T)_s\} \] is an ideal, which they call the \textit{Nori ideal} associated to \(I\) and \((f_1,\dots,f_n)\). Several applications are presented, including a ``local global'' principle for the Euler class group, and a new proof of Nori's conjecture on projective generation of ideals; this conjecture was proved by S. M. Bhatwadekar and M. K. Keshari. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Moshe Roitman / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19A15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5882426 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Euler class group | |||
Property / zbMATH Keywords: Euler class group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local global principle | |||
Property / zbMATH Keywords: local global principle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Nori ideals | |||
Property / zbMATH Keywords: Nori ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Quillen's localization theorem | |||
Property / zbMATH Keywords: Quillen's localization theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regular domains | |||
Property / zbMATH Keywords: regular domains / rank | |||
Normal rank |
Revision as of 07:54, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Euler class groups and a theorem of Roitman |
scientific article |
Statements
Euler class groups and a theorem of Roitman (English)
0 references
29 April 2011
0 references
The authors define and study the \(n\)th Euler class group \(E^n(A[T])\) of a polynomial ring \(A[T]\) over a commutative regular domain \(A\) such that \(2n\geq\dim A+3\) (M. K. Das, one of the two authors of the present paper, has previously defined \(E^n(A[T])\) for a \(d\)-dimensional commutative Noetherian ring \(A\) containing \(\mathbf Q\) for the case \(d=n\geq 2\)). Among other results, the authors prove that there exists a canonical group homomorphism \(\Phi:E^n(A)\to E^n(A[T])\) that is left invertible. They show that this homomorphism is an isomorphism under some additional assumptions and ask whether this is true in general. The authors prove under certain assumptions, that if the canonical map \(\Phi:E^n(A)\to E^n(A[T])\) is surjective (so \(\Phi\) is an isomorphism), then the map \(\Phi:E^n(A_S)\to E^n(A_S[T])\) is also an isomorphism for every multiplicative subset \(S\) of \(A\); for example, this holds in the above-mentioned Das setting. The authors prove under certain assumptions that if \(I\) is an ideal of \(A[T]\) of height \(n\), \(\underline f=\{f_1,\dots,f_n\}\subseteq I\), and \(I=\underline f+(I^2T)\), then the set \[ N(I;\underline f)=\{s\in A\mid\exists g_1,\dots,g_n\in I_s \text{ such that } I_s= (g_1,\dots,g_n);\;g_i- f_i\in (I^2T)_s\} \] is an ideal, which they call the \textit{Nori ideal} associated to \(I\) and \((f_1,\dots,f_n)\). Several applications are presented, including a ``local global'' principle for the Euler class group, and a new proof of Nori's conjecture on projective generation of ideals; this conjecture was proved by S. M. Bhatwadekar and M. K. Keshari.
0 references
Euler class group
0 references
local global principle
0 references
Nori ideals
0 references
Quillen's localization theorem
0 references
regular domains
0 references