You are on page 1of 26

Main Topic

Muneeb Yusufi

Louisiana State University


myusuf1@lsu.edu

April 17, 2017

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 1 / 26
Overview

Definitions
Examples

1 Morse Theory
Definitions
General Results

2 Topology of a manifold

3 Morse Inequalities

4 Manifolds

5 Morse Theory

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 2 / 26
Paragraphs of Text

Sed iaculis dapibus gravida. Morbi sed tortor erat, nec interdum arcu. Sed
id lorem lectus. Quisque viverra augue id sem ornare non aliquam nibh
tristique. Aenean in ligula nisl. Nulla sed tellus ipsum. Donec vestibulum
ligula non lorem vulputate fermentum accumsan neque mollis.

Sed diam enim, sagittis nec condimentum sit amet, ullamcorper sit amet
libero. Aliquam vel dui orci, a porta odio. Nullam id suscipit ipsum.
Aenean lobortis commodo sem, ut commodo leo gravida vitae.
Pellentesque vehicula ante iaculis arcu pretium rutrum eget sit amet purus.
Integer ornare nulla quis neque ultrices lobortis. Vestibulum ultrices
tincidunt libero, quis commodo erat ullamcorper id.

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 3 / 26
Bullet Points

Lorem ipsum dolor sit amet, consectetur adipiscing elit


Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis
porttitor odio mauris at libero
Nam cursus est eget velit posuere pellentesque
Vestibulum faucibus velit a augue condimentum quis convallis nulla
gravida

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 4 / 26
Definitions:

Manifold
A topological space M is an n-dimensional manifold if it is paracompact
and there exists an open cover {U } , I on M such that for every
I , a homeomorphism to some V Rn exists.

A manifold can be thought of as a space at least locally as an


approximation to Rn Some Examples are as follows:
Lorem ipsum dolor sit amet, consectetur adipiscing elit
Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis
porttitor odio mauris at libero

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 5 / 26
Smooth Function
A topological space M is an n-dimensional manifold if it is paracompact
and there exists an open cover {U } , I on M such that for every
I , a homeomorphism to some V Rn exists.

A manifold can be thought of as a space at least locally as an


approximation to Rn Some Examples are as follows:
Lorem ipsum dolor sit amet, consectetur adipiscing elit
Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis
porttitor odio mauris at libero

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 6 / 26
Critical Points and Critical Values
A topological space M is an n-dimensional manifold if it is paracompact
and there exists an open cover {U } , I on M such that for every
I , a homeomorphism to some V Rn exists.

A manifold can be thought of as a space at least locally as an


approximation to Rn Some Examples are as follows:
Lorem ipsum dolor sit amet, consectetur adipiscing elit
Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis
porttitor odio mauris at libero

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 7 / 26
NOn-Degenerate Critical Points
A topological space M is an n-dimensional manifold if it is paracompact
and there exists an open cover {U } , I on M such that for every
I , a homeomorphism to some V Rn exists.

A manifold can be thought of as a space at least locally as an


approximation to Rn Some Examples are as follows:
Lorem ipsum dolor sit amet, consectetur adipiscing elit
Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis
porttitor odio mauris at libero

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 8 / 26
Hessian and Jacobian of a Smooth map
A topological space M is an n-dimensional manifold if it is paracompact
and there exists an open cover {U } , I on M such that for every
I , a homeomorphism to some V Rn exists.

A manifold can be thought of as a space at least locally as an


approximation to Rn Some Examples are as follows:
Lorem ipsum dolor sit amet, consectetur adipiscing elit
Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis
porttitor odio mauris at libero

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 9 / 26
Morse Function
A topological space M is an n-dimensional manifold if it is paracompact
and there exists an open cover {U } , I on M such that for every
I , a homeomorphism to some V Rn exists.

A manifold can be thought of as a space at least locally as an


approximation to Rn Some Examples are as follows:
Index

Lorem ipsum dolor sit amet, consectetur adipiscing elit


Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis
porttitor odio mauris at libero

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 10 / 26
Results

Lemma (Change of Coordinates)


Let f be a real valued, smooth function defined on the n-dim. manifold M
let (x1 , x2 , ..., xn ) and (y1 , y2 , ..., yn ) be two coordinate systems at a critical
point p0 of f with Hessians Hf (p0 ) and Hf0 (p0 ) then:

Hf (p0 ) = J T (p0 )Hf0 (p0 )J(p0 )

Corollary (Massenergy equivalence)


The degeneracy of a critical point p0 is independent of the choice of
coordinates

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 11 / 26
Results Contd.

Lemma (Morse)
Let p0 be a non-degenerate critical point of a real valued, smooth function
f defined on the n-dim. manifold M. Then for a particular choice of
coordinate system (x1 , x2 , ..., xn ) we have

f = x12 x22 ... x2 + x2 ... + xn2 + c

where is the index of f at p0 and c = f (p0 ).

Corollary (Important)
A Morse function defined on a compact manifold has only finitely many
critical points.

Corollary (Massenergy equivalence)


Non degenerate critical points are isolated
Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 12 / 26
Topology of the Manifold

The idea is that by understanding the critical points of a smooth function


on a manifold we can recover the topology of the space.
Theorem
Let f : M R be a smooth function and let p0 be a non-degenerate
critical point with index . If c = f (p0 ), suppose that f 1 ([c , c + ]) is
compact and contains no other critical point other than p0 then the set
M0 := f 1 ((, c + ]) has the same homotopy of f 1 ((, c ])
with a -cell attached

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 13 / 26
Classical Example: Torus embedded in R 3

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 14 / 26
Morse Inequalities

So far we have seen that the critical points of a compact manifold are
finite. Can we say any thing about the bounds on the critical points of a
given Index.
The Morse Inequalities, which are actually how Morse first formulated his
version of critical point theory, provide bounds on the number of critical
points of a particular index
Betti Numbers
The Betti Number (M) is the rank of the th homology group of M.

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 15 / 26
Informally, the kth Betti number refers to the number of k-dimensional
holes on a topological surface. The first few Betti numbers have the
following definitions for 0-dimensional, 1-dimensional, and 2-dimensional
simplicial complexes:
0 is the number of connected components
1 is the number of one-dimensional or circular holes
2 is the number of two-dimensional voids or cavities

Examples
S 2 has 0 = 2 = 1 and 1 = 0.
The Torus has 0 = 2 = 1 and 1 = 2.

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 16 / 26
Morse inequalities
Let C denote the number of critical points of f of index then:

C C1 + C0 1 + 0

Examples:
For S 2 our Morse Inequalities are:
C0 1 C1 C0 1 C2 C1 + C0 2

For the Torus they are:


C0 1 C1 C0 +1 C2 C1 + C0 0

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 17 / 26
Examples Contd.

Now consider the case that we would like a particular Morse function on a
space. For simplicity lets consider S 2 once again.

Originally S 2 has 2 critical points the north and south pole of index 2
and zero respectively. Now say that we want a Morse function with a
critical point of index 1. Then by using the afore mentioned concepts we
can have two scenarios:

We can smoothly depress down or punch down the top.Using the


height function as used in the case of the torus, we now have a new
critical point of index 1.
We can smoothly punch up from the bottom. Again using the
height function, we now have a new critical point of index 1.

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 18 / 26
Multiple Columns

Lorem ipsum dolor sit amet,


Heading consectetur adipiscing elit. Integer
1 Statement lectus nisl, ultricies in feugiat rutrum,
2 Explanation porttitor sit amet augue. Aliquam ut
3 Example tortor mauris. Sed volutpat ante
purus, quis accumsan dolor.

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 19 / 26
Table

Treatments Response 1 Response 2


Treatment 1 0.0003262 0.562
Treatment 2 0.0015681 0.910
Treatment 3 0.0009271 0.296
Table: Table caption

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 20 / 26
Theorem

Theorem (Massenergy equivalence)


E = mc 2

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 21 / 26
Verbatim

Example (Theorem Slide Code)


\begin{frame}
\frametitle{Theorem}
\begin{theorem}[Mass--energy equivalence]
$E = mc^2$
\end{theorem}
\end{frame}

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 22 / 26
Figure

Uncomment the code on this slide to include your own image from the
same directory as the template .TeX file.

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 23 / 26
Citation

An example of the \cite command to cite within the presentation:

This statement requires citation [Smith, 2012].

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 24 / 26
References

John Smith (2012)


Title of the publication
Journal Name 12(3), 45 678.

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 25 / 26
The End

Muneeb Yusufi (CM Project Presentation) Short title April 17, 2017 26 / 26

You might also like