Fix a manifold M along with an embedding of M into RN and set X=Ran(M)×R⩾0. The goal of this post is to show that every (P,t)∈X has an open neighborhood that contains no points of the type (Q,d(Qi,Qj)), for some i≠j. The collection of all such elements of X is called the singularity set of X, as the Vietoris-Rips complex at Q with such a radius changes at such elements.
Following Lurie, given a collection of open sets {Ui}ki=1 in M, set
Ran({Ui}ki=1)={P∈Ran(M) : P⊂k⋃i=1Ui, P∩Ui≠∅ ∀ i}.
The topology on Ran(M) is the smallest topology for which every Ran({Ui}ki=1) is open, for any {Ui}ki=1, for any k. The topology on the product X is the product topology.
Remark: Note that the Ran space Ran(M) by itself can be split up into the pieces Rank(M), with "singularities" viewed as when a point splits into two (or more) points, or two (or more) combine into one. Then every element of Ran(M) is on the edge of the singularity set, as any neighborhood of a single point on the manifold contains two points on the manifold.
Fix (P,t)∈X not in the singularity set of X, with P=(P1,…,Pk), for 1⩽k⩽n. Set
μ=min{t,min1⩽i<j⩽k{|t−d(Pi,Pj)|}},
with distance d being Euclidean distance in RN. The quantity μ should be thought of as the upper bound on how "far" we may move from (P,t) without hitting the singularity set.
Proposition: Let (P,t) be as above and t,α,β>0 such that α+β=μ. Then
U=Ran({B(Pi,α/2)}ki=1)×(t−β,t+β)
is an open neighborhood of (P,t) in X and does not contain any points of the singularity set of X.
If t=0, then having [0,β) as the second component of U, with α+β=mini,jd(Pi,Pj) works as the open neighborhood of (P,t). The balls B(x,r) are N-dimensional in RN. The proof is mostly applications of the triangle inequality.
Proof: By construction we have that U is open in X and that it contains (P,t). For (Q,s)∈U any other element, we have three cases. We will show that the distance between any two Qa,Qb∈Q is never s. Fix distinct indices ℓ,m∈{1,…,k}.
References: Lurie (Higher Algebra, Section 5.5.1)
Following Lurie, given a collection of open sets {Ui}ki=1 in M, set
Ran({Ui}ki=1)={P∈Ran(M) : P⊂k⋃i=1Ui, P∩Ui≠∅ ∀ i}.
The topology on Ran(M) is the smallest topology for which every Ran({Ui}ki=1) is open, for any {Ui}ki=1, for any k. The topology on the product X is the product topology.
Remark: Note that the Ran space Ran(M) by itself can be split up into the pieces Rank(M), with "singularities" viewed as when a point splits into two (or more) points, or two (or more) combine into one. Then every element of Ran(M) is on the edge of the singularity set, as any neighborhood of a single point on the manifold contains two points on the manifold.
Fix (P,t)∈X not in the singularity set of X, with P=(P1,…,Pk), for 1⩽k⩽n. Set
μ=min{t,min1⩽i<j⩽k{|t−d(Pi,Pj)|}},
with distance d being Euclidean distance in RN. The quantity μ should be thought of as the upper bound on how "far" we may move from (P,t) without hitting the singularity set.
Proposition: Let (P,t) be as above and t,α,β>0 such that α+β=μ. Then
U=Ran({B(Pi,α/2)}ki=1)×(t−β,t+β)
is an open neighborhood of (P,t) in X and does not contain any points of the singularity set of X.
If t=0, then having [0,β) as the second component of U, with α+β=mini,jd(Pi,Pj) works as the open neighborhood of (P,t). The balls B(x,r) are N-dimensional in RN. The proof is mostly applications of the triangle inequality.
Proof: By construction we have that U is open in X and that it contains (P,t). For (Q,s)∈U any other element, we have three cases. We will show that the distance between any two Qa,Qb∈Q is never s. Fix distinct indices ℓ,m∈{1,…,k}.
- Case 1: Qa,Qb∈B(Pℓ,α/2). The situation looks as in the diagram below. Observe that d(Qa,Qb)⩽d((Qa,Pℓ)+d(Qb,Pℓ)<α=μ−β⩽t−β. Hence d(Qa,Qb)<s.
- Case 2: Qa∈B(Pℓ,α/2),Qb∈B(Pm,α/2),d(Pℓ,Pm)>t. The situation looks as in the diagram below. Observe that d(Pℓ,Pm)⩽d(Pℓ,Qb)+d(Pm,Qb)⩽d(Pℓ,Qa)+d(Qa,Qb)+d(Pm,Qb)<α+d(Qa,Qb). Since d(Pℓ,Pm)>t, the definition of μ gives us that μ⩽d(Pℓ,Pm)−t, so combining this with the previous inequality, we get d(Qa,Qb)>d(Pℓ,Pm)−α⩾μ+t−(μ−β)=t+β. Hence d(Qa,Qb)>s.
- Case 3: Qa∈B(Pℓ,α/2),Qb∈B(Pm,α/2),d(Pℓ,Pm)<t. The situation looks as in the diagram below. Observe that d(Qa,Qb)⩽d(Pm,Qb)+d(Pm,Qa)⩽d(Pℓ,Qa)+d(Pℓ,Pm)+d(Pm,Qa)<α+d(Pℓ,Pm). Since d(Pℓ,Pm)<t, the definition of μ gives us that μ⩽t−d(Pℓ,Pm), so combining this with the previous inequality, we get d(Qa,Qb)<μ−β+t−μ=t−β. Hence d(Qa,Qb)<s. ◻
References: Lurie (Higher Algebra, Section 5.5.1)
No comments:
Post a Comment