Multiple disjunction conjecture for spaces of Poincare embeddings

Let NN be a smooth compact nn-dimensional manifold. Let (Q1,,Qr)(Q_1,\dots,Q_r), with r1r\geq 1, be pairwise disjoint compact submanifolds of NN transverse to N\partial N, and let qiq_i be the handle dimension of QiQ_i relative to 0Qi=QiN\partial_0Q_i=Q_i\cap\partial N. Let (P,0P,1P)(P,\partial_0P,\partial_1P) be a compact manifold triad, let pp be the handle dimension of PP relative to 0P\partial_0P, and suppose that an embedding e0:0PNe_0:\partial_0P\rightarrow\partial N is given, disjoint from 0Qi\partial_0Q_i for all ii. For Sr={1,,r}S\subset\underline r=\{1,\dots,r\}, set QS=iSQiQ_S=\bigcup_{i\in S}Q_i. Multiple disjunction conjecture. In this situation the rr-dimensional cubical diagram formed by the spaces {E(P,NQS)}\{E(P,N-Q_S)\} is (1p+i(nqi2))(1-p+\sum_i(n-q_i-2))-cartesian. In the cited work, this is proved when np3n-p\geq 3 and nqi3n-q_i\geq 3; the conjecture concerns the remaining cases and expresses the expected multiple-disjunction connectivity for spaces of embeddings.

Sources & referencesView supporting material

Primary source

Thomas G. Goodwillie and John R. Klein, “Multiple disjunction for spaces of Poincare embeddings”, arXiv:0801.3980 (2008).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.