On the realisation problem for mapping degree sets
Christoforos Neofytidis,Hongbin Sun,Ye Tian,Shicheng Wang,Zhongzi Wang
DOI: https://doi.org/10.1090/proc/16712
IF: 0.9709
2024-02-02
Proceedings of the American Mathematical Society
Abstract:The set of degrees of maps D ( M , N ) D(M,N) , where M , N M,N are closed oriented n n -manifolds, always contains 0 and the set of degrees of self-maps D ( M ) D(M) always contains 0 0 and 1 1 . Also, if a , b ∈ D ( M ) a,b\in D(M) , then a b ∈ D ( M ) ab\in D(M) ; a set A ⊆ Z A\subseteq \mathbb {Z} so that a b ∈ A ab\in A for each a , b ∈ A a,b\in A is called multiplicative. On the one hand, not every infinite set of integers (containing 0 0 ) is a mapping degree set (Neofytidis, Wang, and Wang [Bull. Lond. Math. Soc. 55 (2023), pp. 1700–1717]) and, on the other hand, every finite set of integers (containing 0 0 ) is the mapping degree set of some 3 3 -manifolds (Costoya, Muñoz and Viruel [Finite sets containing zero are mapping degree sets, arXiv:2301.13719]). We show the following: Not every multiplicative set A A containing 0 , 1 0,1 is a self-mapping degree set. For each n ∈ N n\in \mathbb {N} and k ≥ 3 k\geq 3 , every D ( M , N ) D(M,N) for n n -manifolds M M and N N is D ( P , Q ) D(P,Q) for some ( n + k ) (n+k) -manifolds P P and Q Q . As a consequence of (ii) and Costoya, Muñoz and Viruel, every finite set of integers (containing 0 0 ) is the mapping degree set of some n n -manifolds for all n ≠ 1 , 2 , 4 , 5 n\neq 1,2,4,5 . The set of degrees of maps D ( M , N ) D(M,N) , where M , N M,N are closed oriented n n -manifolds, always contains 0 and the set of degrees of self-maps D ( M ) D(M) always contains 0 0 and 1 1 . Also, if a , b ∈ D ( M ) a,b\in D(M) , then a b ∈ D ( M ) ab\in D(M) ; a set A ⊆ Z A\subseteq \mathbb {Z} so that a b ∈ A ab\in A for each a , b ∈ A a,b\in A is called multiplicative. On the one hand, not every infinite set of integers (containing 0 0 ) is a mapping degree set (Neofytidis, Wang, and Wang [Bull. Lond. Math. Soc. 55 (2023), pp. 1700–1717]) and, on the other hand, every finite set of integers (containing 0 0 ) is the mapping degree set of some 3 3 -manifolds (Costoya, Muñoz and Viruel [Finite sets containing zero are mapping degree sets, arXiv:2301.13719]). We show the following: As a consequence of (ii) and Costoya, Muñoz and Viruel, every finite set of integers (containing 0 0 ) is the mapping degree set of some n n -manifolds for all n ≠ 1 , 2 , 4 , 5 n\neq 1,2,4,5 .
mathematics, applied