On the Surjectivity of Certain Maps III: The Unital Set Condition

Abstract

In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove, in the first main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal $\mathcal{I}=\underset{i=1}{\prod ^k}{\mathcal{I}}_k$ with a given factorization into mutually co-maximal ideals ${\mathcal{I}}_j,1\le j\le k$ where $\mathcal{I}$ satisfies the USC, using the key concept of choice multiplier hypothesis (Definition $4.10$) which is satisfied. In the second context, for a positive $k$, we prove in the second main Theorem $\Lambda$, the surjectivity of the reduction map $S{P}_{2k}(\mathcal{R})\to S{P}_{2k}(\frac{\mathcal{R}}{\mathcal{I}})$ of strong approximation type for a ring $\mathcal{R}$ quotiented by an ideal $\mathcal{I}$ which satisfies the USC. In the third context, for a positive integer $k$, we prove in the thrid main Theorem $\Omega$, the surjectivity of the map from special linear group of degree $(k+1)$ to the product of generalized projective spaces of $(k+1)$-mutually co-maximal ideals ${\mathcal{I}}_j,0\le j\le k$ associating the $(k+1)$-rows or $(k+1)$-columns, where the ideal $\mathcal{I}=\underset{j=0}{\prod ^k}{\mathcal{I}}_j$ satisfies the USC. In the fourth main Theorem $\Sigma$, for a positive integer $k$, we prove the surjectivity of the map from the symplectic group of degree $2k$ to the product of generalized projective spaces of $(2k)$-mutually co-maximal ideals ${\mathcal{I}}_j,1\le j\le 2k$ associating the $(2k)$-rows or $(2k)$-columns where the ideal $\mathcal{I}=\underset{j=1}{\prod ^{2k}}{\mathcal{I}}_j$ satisfies the USC. The answers to Questions [1.1,1.2,1.3] in a greater generality are not known.

39 pages, Sequel to arXiv: 1810.03474

References in corpus (2)

• On the Surjectivity of Certain Maps
• On the Surjectivity of Certain Maps II: For Generalized Projective Spaces

Cited by in corpus (1)

• On the Surjectivity of Certain Maps IV: For Congruence Ideal Subgroups of Type $A_k$ and $C_k$