Kähler Structures on Spaces of Framed Curves Tom Needham The Ohio State University

APS March Meeting Knotting in Filaments and Fields March 15, 2017

1 / 10

Motivation: Distance on Spaces of Curves Question What is the correct notion of distance between a pair of curves? Should be invariant under rotations and choice of parameterization. Rough Idea Use geodesic distance in the ∞-dimensional space of curves w.r.t. some Riemannian metric (think L2 inner product). Visualized as an optimal homotopy between the curves.

A priori, finding the geodesic requires solving a nonlinear PDE. Can avoid numerical methods using geometry of framed loop space. 2 / 10

Framed Loops Definitions A framed loop is a parameterized closed space curve with a choice of normal vector field. A relatively framed loop is an equivalence class of framed loops up to S 1 -action of twisting all normal vectors by fixed angle.


Framed loop space is the ∞-dimensional manifold M := {relatively framed loops}/Sim(R3 ) where Sim(R3 ) = {translation, rotation, scaling}. 3 / 10

Kähler Structure on Framed Loop Space Theorem (N) Each component of framed loop space M is isometric to a dense open subset of Gr2 (C ∞ (S 1 , C)) = {2-planes in complex vector space C ∞ (S 1 , C)} with L2 Riemannian metric. Grassmannian is a Kähler manifold with its L2 Hermitian structure ⇒ M is a Kähler manifold. Structures on M ◦ Riemannian metric: generalization of elastic metrics from computer vision (Mio-Srivastava-Joshi). ◦ Complex structure/symplectic form: related to Marsden-Weinstein structures on loop spaces from fluid dynamics. Corollary Planar loop space Imm(S 1 , R2 )/Sim(R2 ) embeds as a totally geodesic, Lagrangian submanifold of M. ⇒ Geodesics between framed loops and plane curves are explicit! 4 / 10

The Action of Diff+ (S 1 ) Diff+ (S 1 ) acts on M (and planar loop space) by reparameterization. The action is Hamiltonian and by isometries. Want distance between curves to be invariant to parameterization—i.e., want induced distance in M/Diff+ (S 1 ). Practically: ◦ Search over Diff+ (S 1 )-fiber for optimal parameterizations. ◦ Compute geodesic distance in total space M. ◦ Optimal parameterizations found via dynamic programming.

5 / 10

Comparing Geodesics Geodesics between horse shapes in the tot. geod. submanifold Imm(S 1 , R2 )/Sim(R2 ) ⊂ M.

Geodesic between arclength-parameterized curves. Dist ≈ 0.58.

Starting curve is arclength-param., ending curve has optimal param. Dist ≈ 0.22. 6 / 10

Geodesics in Framed Loop Space Geodesics between tight trefoil and circle in M.

Both curves arclength param. with Frenet frames.

Trefoil arclength param. with Frenet frame. Circle has optimal parameterization. Framing is optimized over C ∞ (S 1 , S 1 )/S 1 -fibers. 7 / 10

Protein Registration and Clustering Similar constructions hold for spaces of open curves. The spaces are isometric to ∞-dim’l projective spaces. 1. 1A0H 2. 1A2C 3. 1A46 4. 1A4W 5. 1A5G 6. 1A5I 7. 1 A61 8. 1A7Y 9. 1A7Z 10. 1A85 1



1A5G to 1A85 geodesic distance ~ 1.32








1A5G to 1A61 geodesic distance ~ 0.27

8 / 10

Related Work Theorem (Younes-Michor-Shah-Mumford) The planar loop space Imm(S 1 , R2 )/Sim(R2 ) is isometric to an ∞-dimensional real Grassmannian. Theorem (N) The frame twisting action of C ∞ (S 1 , S 1 )/S 1 is Hamiltonian. Symplectic reduction of M by this action is isomorphic to isometric immersion space {γ ∈ Imm(S 1 , R3 ) | kγ 0 (t)k = 1}/Sim(R3 ), studied by Millson and Zombro. Theorem (Howard-Manon-Millson, Hausmann-Knutson) ×2n

Gr2 (Cn ) −−→ {relatively framed n-gons in R3 }/Sim(R3 ) G = U(1)n /U(1) acts on Gr2 (Cn ) Gr2 (Cn ) G ≈ {n-gons w/ fixed edgelengths}/Sim(R3 ). 9 / 10

Thanks for Listening! Future Work ◦ Riemannian shape analysis with respect to other metrics ◦ Applications to protein clustering, surface matching, animation ◦ Framed loop spaces of general 3-manifolds References ◦ Kähler structures on spaces of framed curves. Arxiv 1701.03183 ◦ Grassmannian geometry of framed curve spaces. Phd Dissertation. ◦ Elastic shape analysis for framed space curves. In preparation.

10 / 10

Knot Clustering Clustering tight knot shapes up to 7 crossings by geodesic distance with optimized parameterizations and framings.



6_1 7_7



5_1 7_3








Knot Clustering

41 to 63 . Geod dist ≈ 0.25.

41 to 62 . Geod dist ≈ 0.43.

Kähler Structures on Spaces of Framed Curves

Mar 15, 2017 - Kähler Structures on Spaces of Framed Curves. Tom Needham. The Ohio State University. APS March Meeting. Knotting in Filaments and ...

7MB Sizes 0 Downloads 63 Views

Recommend Documents

stochastic processes on Riesz spaces
The natural domain of a conditional expectation is the maximal Riesz ...... We extend the domain of T to an ideal of Eu, in particular to its maximal domain in. Eu.

On the decompositions of T-quasi-martingales on Riesz spaces
On the decompositions of T-quasi-martingales on Riesz spaces. ∗. Jessica J. Vardy. Bruce A. Watson. †. School of Mathematics. University of the Witwatersrand. Private Bag 3, P O WITS 2050, South Africa. July 11, 2013. Abstract. The concept of a q

On the Geometry of Moduli Spaces of Holomorphic ...
We study holomorphic (n + 1)-chains En → En−1 → ··· → E0 consisting of holomorphic vector bundles over a compact Riemann surface and homomorphisms between them. A notion of stability depending on n real parameters was introduced by the fir

surface F. Thus, we get that m{QSTF, A) is isomorphic to Z(X) < m{STF,X{a)). From the proof of the Hansen Proposition it follows that the isomorphism is induced.

Amarts on Riesz spaces
Jan 13, 2006 - A filtration on E is a family of conditional expectations,. (Ti)i∈N, on E with TiTj = TjTi = Ti for all j ≥ i. A stopping time adapted to a filtration (Ti) ...

Mixingales on Riesz spaces
Jan 31, 2013 - domain of T, denoted dom(T) in the universal completion, Eu, of E, also see [8, 9]. Here ... +|∃(xα) ⊂ E+,xα ↑ x,(Txα) order bounded in Eu},.

Markov Processes on Riesz Spaces
May 11, 2011 - ∗Keywords: Markov Processes, Riesz spaces, Independence, Conditional expectation. Mathematics subject classification (2000): 47B60, ...

Jul 21, 2005 - A simp@ e uX cti© ( is a function. Ùf Ö ) ø E a s Y whereWV , ... , V ø are disjoint measurable sets and a vuÖ 0 for hÖ 1 , ... , ì . Given a measure ...

Conditional expectations on Riesz spaces
Nov 7, 2005 - tion Operators on Riesz Spaces we introduced the concepts of ...... [10] D. W. Stroock, Lectures on Stochastic Analysis: Diffusion Theory, ...

Markov Processes on Riesz Spaces
May 11, 2011 - theory in the measure free context of a Riesz space with weak order unit. ... natural domain of T, denoted dom(T) in the universal completion, Eu ...

On the nilpotency of rational H-spaces - Shizuo Kaji
(V ⊕ V ⊕ δV ),d) ∼= (. ∧. (V ⊕ V ⊕ ˆV ),d). Lemma 3.1. We define a DGA as follows: (. ∧. V ⊗. ∧. V ,D), Dv = dv, Dv = v − τΩ(v), where τ : (. ∧. (V ⊕V ⊕ ˆV ),d) → (. ∧. V ⊗. ∧. V ,D) is a DGA map defined by τ(

CAS., 45 (1994), NO. 9, 327-330. SIMULATION .... where the lifetimes of free carriers are dependent on ... To describe the mobility of free carriers, several scat-.

∥Rad(X) . In this case we let R(F) denote the smallest possible C, which is called the R-bound of F. Let (gk)k≥1 denote a sequence of independent complex ...

investigate functional calculus properties of Ritt operators and analogs of the ..... Looking at the variations of the function t ↦→ 1/(t1−γ(i + t)β+γ) on (1,∞), we ...

Solving Global Geometric Constraints on Free-form Curves
will be defined for all the domain of the curves. We then transform the ... affordable, easy to use 3D computer aided design (CAD) software. Parametric solid ...

algebraic curves
Jan 28, 2008 - The image of F under ˜ϕ is written F(s1,...,sn). The ring R[X1,... ..... So any algebraic set V may be written as V = V1 ∪···∪Vm, Vi irreducible. To.

Stability Conditions on Threefolds and Space Curves
This matches exactly the description we obtain using stability. 6 ..... Z : Γ → C such that Z ◦ v maps A\{0} to the upper half plane plus the non positive real line ...... spaces Vx for each x ∈ Q0 and a set of linear maps ϕV,a : Vs(a) → Vt

introduce our setup once and for all at the beginning of the paper. ...... they are pairwise non-isomorphic; a common theme of the next proposition and of the ...