Research in Computational Differential Geometry November 5, 2014
Approximations Often we have a series of approximations which we think are getting close to looking like some shape.
Approximations Often we have a series of approximations which we think are getting close to looking like some shape. For example, pictures at higher and higher resolutions will come close to looking like the real picture.
Approximations Often we have a series of approximations which we think are getting close to looking like some shape. For example, pictures at higher and higher resolutions will come close to looking like the real picture. But what do we mean by close to looking like?
Approximation of Shapes Consider the following situation:
Approximation of Shapes Consider the following situation: Let S 0 be the polygonal path from (0, 0) to (1, 0) to (1, 1).
Approximation of Shapes Consider the following situation: Let S 0 be the polygonal path from (0, 0) to (1, 0) to (1, 1). Let S 1 be the polygonal path from (0, 0) to (.5, 0) to (.5,.5) to (1,.5) to (1, 1).
Approximation of Shapes Consider the following situation: Let S 0 be the polygonal path from (0, 0) to (1, 0) to (1, 1). Let S 1 be the polygonal path from (0, 0) to (.5, 0) to (.5,.5) to (1,.5) to (1, 1). Generally, let S n be the polygonal path which starts at (0, 0) and moves along segments of length 2 n, alternatively horizontal and vertical, until it reaches (1, 1).
Approximation of Shapes Consider the following situation: Let S 0 be the polygonal path from (0, 0) to (1, 0) to (1, 1). Let S 1 be the polygonal path from (0, 0) to (.5, 0) to (.5,.5) to (1,.5) to (1, 1). Generally, let S n be the polygonal path which starts at (0, 0) and moves along segments of length 2 n, alternatively horizontal and vertical, until it reaches (1, 1). As n does S n look like any shape?
S 2 and S 4
Does S n Look Like anything as n? In some ways the set starts to look like a straight line.
Does S n Look Like anything as n? In some ways the set starts to look like a straight line. But in many ways the set is never anything like a straight line.
Does S n Look Like anything as n? In some ways the set starts to look like a straight line. But in many ways the set is never anything like a straight line. One way to see this is to compare the lengths:
Does S n Look Like anything as n? In some ways the set starts to look like a straight line. But in many ways the set is never anything like a straight line. One way to see this is to compare the lengths: The line would have length 2...
Does S n Look Like anything as n? In some ways the set starts to look like a straight line. But in many ways the set is never anything like a straight line. One way to see this is to compare the lengths: The line would have length 2... But the sets S n always have length exactly 2.
Not All Approximations the Same So some approximations may maintain certain features, but not others.
Not All Approximations the Same So some approximations may maintain certain features, but not others. Let s look at the types of features we may want to maintain.
Useful Measurements Lengths
Useful Measurements Lengths Areas
Useful Measurements Lengths Areas Volumes (etc.)
Useful Measurements Lengths Areas Volumes (etc.) Curvatures
Useful Measurements Lengths Areas Volumes (etc.) Curvatures Tangent Directions
Useful Measurements Lengths Areas Volumes (etc.) Curvatures Tangent Directions Angles
Not Useful Measurements The measurements on the previous slides can be found in many cases with derivatives and integrals.
Not Useful Measurements The measurements on the previous slides can be found in many cases with derivatives and integrals. But not every derivative or integral leads to a useful calculation about shape.
Not Useful Measurements The measurements on the previous slides can be found in many cases with derivatives and integrals. But not every derivative or integral leads to a useful calculation about shape. Ex: The Angular Velocity of a point moving on a Circle may be useful in Physics, but it doesn t tell us anything about the circle.
Not Useful Measurements The measurements on the previous slides can be found in many cases with derivatives and integrals. But not every derivative or integral leads to a useful calculation about shape. Ex: The Angular Velocity of a point moving on a Circle may be useful in Physics, but it doesn t tell us anything about the circle. Generally we only care about measurements which are independent of coordinates.
Coordinates Coordinates are numbers assigned to points on a shape.
Coordinates Coordinates are numbers assigned to points on a shape. For example, the (x, y) coordinates of the plane or longitude and latitude on a sphere.
Coordinates Coordinates are numbers assigned to points on a shape. For example, the (x, y) coordinates of the plane or longitude and latitude on a sphere. Coordinates are not necessary for geometry.
Coordinates Coordinates are numbers assigned to points on a shape. For example, the (x, y) coordinates of the plane or longitude and latitude on a sphere. Coordinates are not necessary for geometry. But coordinates are practically necessary to use Calculus techniques.
Coordinates Coordinates are numbers assigned to points on a shape. For example, the (x, y) coordinates of the plane or longitude and latitude on a sphere. Coordinates are not necessary for geometry. But coordinates are practically necessary to use Calculus techniques. In geometry we prefer coordinates which are intrinsic to the shape.
Intrinsic versus Extrinsic Coordinates
Manifolds Manifolds are shapes viewed as independent of their surrounding environment.
Manifolds Manifolds are shapes viewed as independent of their surrounding environment. For example, a sphere is considered to be a two-dimensional object, since it can be described using only two variables.
Manifolds Manifolds are shapes viewed as independent of their surrounding environment. For example, a sphere is considered to be a two-dimensional object, since it can be described using only two variables. All calculations are done on the ground.
Tangents in Manifolds Most calculations in differential geometry deal with tangent vectors in some way.
Tangents in Manifolds Most calculations in differential geometry deal with tangent vectors in some way. A tangent vector can be thought of as traveling from a certain point on the manifold with a certain velocity.
Tangents in Manifolds Most calculations in differential geometry deal with tangent vectors in some way. A tangent vector can be thought of as traveling from a certain point on the manifold with a certain velocity. Thus it is key to remember that in differential geometry, tangents have an initial position
Local Metrics We would like to calculate lengths, angles, etc. from our coordinates.
Local Metrics We would like to calculate lengths, angles, etc. from our coordinates. But in most cases this cannot be done directly from coordinates.
Local Metrics We would like to calculate lengths, angles, etc. from our coordinates. But in most cases this cannot be done directly from coordinates. Ex. if think of a sphere as a rectangle in θ and φ, we will guess its area as 2π π = 2π 2, while the actual area is 4π.
Local Metrics We would like to calculate lengths, angles, etc. from our coordinates. But in most cases this cannot be done directly from coordinates. Ex. if think of a sphere as a rectangle in θ and φ, we will guess its area as 2π π = 2π 2, while the actual area is 4π. To calculate the correct area, we keep track of local distance.
Local Metrics We would like to calculate lengths, angles, etc. from our coordinates. But in most cases this cannot be done directly from coordinates. Ex. if think of a sphere as a rectangle in θ and φ, we will guess its area as 2π π = 2π 2, while the actual area is 4π. To calculate the correct area, we keep track of local distance. This is a change of inner product on tangent vectors.
Local Metrics We would like to calculate lengths, angles, etc. from our coordinates. But in most cases this cannot be done directly from coordinates. Ex. if think of a sphere as a rectangle in θ and φ, we will guess its area as 2π π = 2π 2, while the actual area is 4π. To calculate the correct area, we keep track of local distance. This is a change of inner product on tangent vectors. This is used to derive the ds, da, dv terms etc. that you see in Calculus.
Metrics Changing the Shape Ex, if we consider the set {(x, y) : x 2 + y 2 < 1}, we can simply apply the normal inner product to the tangent vectors.
Metrics Changing the Shape Ex, if we consider the set {(x, y) : x 2 + y 2 < 1}, we can simply apply the normal inner product to the tangent vectors. However, we can also decide to treat the tangent vectors to different points differently, say by scaling the inner product at (a, b) by the term 1 1 a 2 b 2.
Metrics Changing the Shape Ex, if we consider the set {(x, y) : x 2 + y 2 < 1}, we can simply apply the normal inner product to the tangent vectors. However, we can also decide to treat the tangent vectors to different points differently, say by scaling the inner product at (a, b) by the term 1 1 a 2 b 2. This changes our notions of lengths, areas, and lines (though angles are similar to before). A change in metric changes the shape.
Metrics Changing the Shape Ex, if we consider the set {(x, y) : x 2 + y 2 < 1}, we can simply apply the normal inner product to the tangent vectors. However, we can also decide to treat the tangent vectors to different points differently, say by scaling the inner product at (a, b) by the term 1 1 a 2 b 2. This changes our notions of lengths, areas, and lines (though angles are similar to before). A change in metric changes the shape. (A more complicated calculation could show that this is in some complicated sense equivalent to taking distances on a hyperboloid).
Comparing Distances
Curvature of a Curve At each point we can define a tangent direction (this depends on the way the curve is fit into its surrounding space).
Curvature of a Curve At each point we can define a tangent direction (this depends on the way the curve is fit into its surrounding space). If we direct the curve, this defines a unit tangent.
Curvature of a Curve At each point we can define a tangent direction (this depends on the way the curve is fit into its surrounding space). If we direct the curve, this defines a unit tangent. We can then differentiate this with respect to arc length.
Curvature of a Curve At each point we can define a tangent direction (this depends on the way the curve is fit into its surrounding space). If we direct the curve, this defines a unit tangent. We can then differentiate this with respect to arc length. The length of the resulting vector is then the unsigned curvature at that point.
Curvature of a Curve At each point we can define a tangent direction (this depends on the way the curve is fit into its surrounding space). If we direct the curve, this defines a unit tangent. We can then differentiate this with respect to arc length. The length of the resulting vector is then the unsigned curvature at that point. The signed curvature is positive or negative depending on the direction of the curve.
Curvature of a Surface At a point, define the lines in various directions from that point.
Curvature of a Surface At a point, define the lines in various directions from that point. Find the directions with the greatest and least curvature.
Curvature of a Surface At a point, define the lines in various directions from that point. Find the directions with the greatest and least curvature. Multiply these curvatures.
Curvature of a Surface At a point, define the lines in various directions from that point. Find the directions with the greatest and least curvature. Multiply these curvatures. This is the Gaussian curvature at this point.
Topological Invariants Sometimes geometric measures do not captures the shape of the object in the simplest way.
Topological Invariants Sometimes geometric measures do not captures the shape of the object in the simplest way. For example, consider the following:
Euler Characteristic A simple topological invariant is the Euler characteristic.
Euler Characteristic A simple topological invariant is the Euler characteristic. For a polyhedron, this is V E + F
Euler Characteristic A simple topological invariant is the Euler characteristic. For a polyhedron, this is V E + F Any polyhedron without holes has an Euler characteristic of exactly two.
Euler Characteristic
Betti Numbers Generally Euler Characteristic can be generalized by considering the Betti numbers of a shape.
Betti Numbers Generally Euler Characteristic can be generalized by considering the Betti numbers of a shape. The Betti numbers in some way count the k-dimensional holes of a shape.
Betti Numbers Generally Euler Characteristic can be generalized by considering the Betti numbers of a shape. The Betti numbers in some way count the k-dimensional holes of a shape. In the previous slide we have b 0 = 1, b 1 = 1.
Betti Numbers Generally Euler Characteristic can be generalized by considering the Betti numbers of a shape. The Betti numbers in some way count the k-dimensional holes of a shape. In the previous slide we have b 0 = 1, b 1 = 1. For a torus, b 0 = 1, b 1 = 2, b 2 = 1.
Betti Numbers Generally Euler Characteristic can be generalized by considering the Betti numbers of a shape. The Betti numbers in some way count the k-dimensional holes of a shape. In the previous slide we have b 0 = 1, b 1 = 1. For a torus, b 0 = 1, b 1 = 2, b 2 = 1. Generally these are calculated by Homology.
Topological Measures The most important topological invariant for geometry is homology. Homology counts the number of holes in various dimensions. Ex. A torus has 4 holes : 1 0-dimensional, 2 1 dimensional, and 1 2-dimensional.
The Normal Cycle The Normal Cycle (or Current) is an object which in some way encodes all of the previous measures.
The Normal Cycle The Normal Cycle (or Current) is an object which in some way encodes all of the previous measures. An n-current is a generalization of an n-dimensional shape (in the sense that we can integrate n dimensional differential forms over them).
The Normal Cycle The Normal Cycle (or Current) is an object which in some way encodes all of the previous measures. An n-current is a generalization of an n-dimensional shape (in the sense that we can integrate n dimensional differential forms over them). By integrating certain forms over the normal cycle you can retrieve the previous information.
The Normal Cycle The Normal Cycle (or Current) is an object which in some way encodes all of the previous measures. An n-current is a generalization of an n-dimensional shape (in the sense that we can integrate n dimensional differential forms over them). By integrating certain forms over the normal cycle you can retrieve the previous information. Therefore convergence of normal cycles implies convergence of the previous measures.
The Normal Cycle The Normal Cycle (or Current) is an object which in some way encodes all of the previous measures. An n-current is a generalization of an n-dimensional shape (in the sense that we can integrate n dimensional differential forms over them). By integrating certain forms over the normal cycle you can retrieve the previous information. Therefore convergence of normal cycles implies convergence of the previous measures. This is a convenient (but tricky) way to show that an approximation is good.
Normal Cycles
Ways Approximations can Go Wrong It is not in the scope of this talk to discuss how to approximate correctly
Ways Approximations can Go Wrong It is not in the scope of this talk to discuss how to approximate correctly So let s look at ways to approximate incorrectly (or at least imperfectly).
Ways Approximations can Go Wrong It is not in the scope of this talk to discuss how to approximate correctly So let s look at ways to approximate incorrectly (or at least imperfectly). Along the way we can talk about possible fixes.
Pointwise Convergence, Length Does Not Converge
Approximate with secant lines
The Slope is Incorrect
Be More Careful About How You Pick Slopes
Topological Information is Incorrect
Another Example
Morse Scanning
Papers to Read If you like the following techniques, they are gathered together in the paper Pixelations of planar semialgebraic sets and shape recognition by Nicolaescu and Rowekamp
Papers to Read If you like the following techniques, they are gathered together in the paper Pixelations of planar semialgebraic sets and shape recognition by Nicolaescu and Rowekamp (Available online and appearing in a forthcoming issue of Algebraic and Geometric Topology)
In Three Dimensions Three dimensions can be related to two dimensions by using scanning.
In Three Dimensions Three dimensions can be related to two dimensions by using scanning. (Think of CAT scans)
In Three Dimensions Three dimensions can be related to two dimensions by using scanning. (Think of CAT scans) Mathematically this relates to Morse theory.
In Three Dimensions Three dimensions can be related to two dimensions by using scanning. (Think of CAT scans) Mathematically this relates to Morse theory. But problems can arise much more easily.
General Approximation Generally problems are made harder by increasing the dimension or requiring finer approximation.
General Approximation Generally problems are made harder by increasing the dimension or requiring finer approximation. I discuss very good approximations, but only in low dimensions.
General Approximation Generally problems are made harder by increasing the dimension or requiring finer approximation. I discuss very good approximations, but only in low dimensions. The opposite problem (loose approximations in high dimensions) is very active currently.
Suggested Works Edelsbruner, Harer, Computational Topology, An Introduction Fu, Convergence of curvatures in secant approximations Hatcher, Algebraic Topology Morvan, Generalized Curvatures Nicolaescu, An Invitation to Morse Theory Nicolaescu, Lectures on the Geometry of Manifolds