Processing math: 100%

Thursday, November 2, 2017

Splitting points in two

The goal of this post is to expand upon some final ideas in a previous post ("Atempts at proving conical stratification," 2017-10-27). Let M be a compact smooth m-manifold embedded in RN, and fix nZ>0. Let X=Rann(M) and f:XA={1,,n} the usual point-counting stratification. Let BXϵ(P)={QX : 2dM(P,Q)=suppPinfqQdM(p,q)+supqQinfpPdM(p,q)<2ϵ},BMϵ(p)={qM : dM(p,q)<ϵ},BRmϵ(0)={xRm : d(0,x)<ϵ} be open balls in their respective spaces. We use dM for distance on M and d for distance in RN. Since M is an m-manifold, we will work in charts in Rm when necessary.

Proposition: The stratification f:XA is conical in the top two strata Rann(M) and Rann1(M).

Proof: Let P={P1,,Pn}Rann(M) and 2ϵ=min1i<jnd(Pi,Pj). Let Y= which has a natural (A>n=)-stratification with C(Y)={} having a natural (An={n})-stratification. Let Z=BXϵ(P)=ni=1BMϵ(Pi), for which the identity map Z×{}ZX is an open embedding. Hence X is stratified at every PRann(M).

Let P={P1,,Pn1}Rann1(M) and 2ϵ=min1i<jn1d(Pi,Pj). Let Y=n1i=1PBRmϵ/2(0),Z=BRmϵ/2(0), where PB is the projectivization of the sphere, so may be viewed as a collection of unique pairs {v,v}. Then the cone C(Y) may be viewed as a collection of pairs {v,t>0} along with the singleton {0}, with the usual cone topology. Define a map φ : Z×C(Y)X,(x,v,t){x+tv,xtv},(x,0){x}. Note that BXϵ/2(P)Im(φ)BXϵ(P). This map is injective as every pair of points on M within an ϵ/2-radius of Pi is uniquely defined by their midpoint (the element of Z), a direction from that midpoint (the element of Y) and a distance from that midpoint (the cone component t[0,1)). By construction φ is continuous and an embedding. The map takes open sets to open sets, so we have an open embedding into X. Hence X is conically stratified at every PRann1(M).

The problem with generalizing this to PRank(M) for all other k is that an (nk+1)-tuple of points has no unique midpoint. It does have a unique centroid, but it is not clear what the [0,1) component of the cone should then be.

Proposition: The space X is of locally singular shape.

Proof: First note that every PX has an open neighborhood that is homemorphic to an open ball of dimension mn (see Equation (1) of previous post "Attempts at proving conical stratification," 2017-10-27). Hence we may cover X by contractible sets. By Remark A.4.16 of Lurie, X will be of locally singular shape if every element of the cover is of singular shape. Since all elements of the cover are contractible, by Remark A.4.11 of Lurie we only need to check if the topological space is of singular shape. Finally, Example A.4.12 of Lurie gives that has singular shape.

References: Lurie (Higher algebra, Appendix A)

No comments:

Post a Comment