Schrödinger functional: Difference between revisions
en>SmackBot m remove Erik9bot category,outdated, tag and general fixes, added orphan tag |
en>Magioladitis m →Further reading: fixed header names + general fixes using AWB (8869) |
||
Line 1: | Line 1: | ||
In [[mathematics]], specifically in the field of [[differential topology]], '''Morse homology''' is a [[homology theory]] defined for any smooth [[manifold]]. It is constructed using the [[smooth structure]] and an auxiliary [[metric (mathematics)|metric]] on the manifold, but turns out to be [[Topological invariant|topologically invariant]], and is in fact isomorphic to [[singular homology]]. Morse homology also serves as a model for the various infinite-dimensional generalizations known as [[Floer homology]] theories. | |||
== Formal definition == | |||
Given any (compact) smooth manifold, let ''f'' be a [[Morse function]] and ''g'' a [[Riemannian metric]] on the manifold. (These are auxiliary; in the end, the Morse homology depends on neither.) The pair (''f'', ''g'') gives us a [[gradient]] vector field. We say that (''f'', ''g'') is '''Morse–Smale''' if the [[stable manifold|stable]] and [[unstable manifold]]s associated to all of the [[critical point (mathematics)|critical points]] of ''f'' intersect each other [[Transversality (mathematics)|transversely]]. | |||
For any such (''f'', ''g''), it can be shown that the difference in [[Critical point (mathematics)#Several variables|index]] between any two critical points is equal to the dimension of the [[moduli space]] of gradient flows between those points. Thus there is a one-dimensional moduli space of flows between a critical point of index ''i'' and one of index ''i'' − 1. Each flow can be reparametrized by a one-dimensional translation in the domain. After modding out by these reparametrizations, the [[quotient space]] is zero-dimensional — that is, a collection of [[orientation (mathematics)|oriented]] points representing unparametrized flow lines. | |||
A [[chain complex]] <math>C_*(M, (f, g))</math> may then be defined as follows. The set of chains is the '''[[integer|Z]]'''-[[module (mathematics)|module]] generated by the critical points. The differential ''d'' of the complex sends a critical point ''p'' of index ''i'' to a sum of index-(''i'' − 1) critical points, with coefficients corresponding to the (signed) number of unparametrized flow lines from ''p'' to those index-(''i'' − 1) critical points. The fact that the number of such flow lines is finite follows from the compactness of the moduli space. | |||
The fact that this defines a complex (that is, that ''d''<sup>2</sup> = 0) follows from an understanding of how the moduli spaces of gradient flows [[compactification (mathematics)|compactify]]. Namely, in ''d''<sup>2</sup> ''p'' the coefficient of an index-(''i'' − 2) critical point ''q'' is the (signed) number of ''broken flows'' consisting of an index-1 flow from ''p'' to some critical point ''r'' of index ''i'' − 1 and another index-1 flow from ''r'' to ''q''. These broken flows exactly constitute the boundary of the moduli space of index-2 flows: The limit of any sequence of unbroken index-2 flows can be shown to be of this form, and all such broken flows arise as limits of unbroken index-2 flows. Unparametrized index-2 flows come in one-dimensional families, which compactify to compact one-manifolds. The fact that the boundary of a compact one-manifold is always zero proves that ''d''<sup>2</sup> ''p'' = 0. | |||
== Invariance of Morse homology == | |||
It can be shown that the homology of this complex is independent of the Morse–Smale pair (''f'', ''g'') used to define it. A homotopy of pairs (''f<sub>t</sub>'', ''g<sub>t</sub>'') that interpolates between any two given pairs (''f''<sub>0</sub>, ''g''<sub>0</sub>) and (''f''<sub>1</sub>, ''g''<sub>1</sub>) may always be defined. Either through [[Bifurcation theory|bifurcation]] analysis or by using a [[continuation map]] to define a [[Chain_complex#Chain_maps|chain map]] from <math>C_*(M, (f_0, g_0))</math> to <math>C_*(M, (f_1, g_1))</math>, it can be shown that the two Morse homologies are isomorphic. Analogous arguments using a homotopy of homotopies shows that this isomorphism is canonical. | |||
Another approach to proving the invariance of Morse homology is to relate it directly to singular homology. One can define a map to singular homology by sending a critical point to the singular chain associated to the unstable manifold associated to that point; inversely, a singular chain is sent to the limiting critical points reached by flowing the chain using the gradient vector field. The cleanest way to do this rigorously is to use the theory of [[Current (mathematics)|currents]]. | |||
The isomorphism with singular homology can also be proved by demonstrating an isomorphism with [[cellular homology]], by viewing an unstable manifold associated to a critical point of index ''i'' as an ''i''-cell, and showing that the boundary maps in the Morse and cellular complexes correspond. | |||
== Related constructions == | |||
This approach to Morse theory was known in some form to [[René Thom]] and [[Stephen Smale]]. It is also implicit in [[John Milnor]]'s book on the [[h-cobordism]] theorem. | |||
From the fact that the Morse homology is isomorphic to the singular homology, the Morse inequalities follow by considering the number of generators — that is, critical points — necessary to generate the homology groups of the appropriate ranks (and by considering truncations of the Morse complex, to get the stronger inequalities). The existence of Morse homology "explains", in the sense of [[categorification]], the Morse inequalities. | |||
[[Edward Witten]] came up with a related construction in the early 1980s sometimes known as [[Morse–Witten theory]]. | |||
Morse homology can be extended to finite dimensional non-compact or infinite-dimensional manifolds where the index remains finite, the metric is complete and the function satisfies the [[Palais–Smale compactness condition]], such as the energy functional for geodesics on a Riemannian manifold. The generalization to situations in which both index and coindex are infinite, but the relative index of any pair of critical points is finite, is known as [[Floer homology]]. | |||
[[Sergei Novikov (mathematician)|Sergei Novikov]] generalized this construction to a homology theory associated to a [[Closed and exact differential forms|closed one-form]] on a manifold. Morse homology is a special case for the one-form ''df''. A special case of Novikov's theory is [[circle-valued Morse theory]], which Michael Hutchings and Yi-Jen Lee have connected to [[Reidemeister torsion]] and [[Seiberg–Witten theory]]. | |||
== Morse–Bott homology == | |||
Morse homology can be carried out in the Morse–Bott setting, i.e. when instead of isolated nondegenerate critical points, a function has critical manifolds whose tangent space at a point coincides with the kernel of the Hessian at the point. This situation will always occur, if the function considered is invariant w.r.t a non-discrete Lie group. | |||
To describe the resulting chain complex and its homology, introduce a generic Morse function on each critical submanifold. Chains will consist of paths that begin in a critical manifold at a critical point of the auxiliary Morse function, following a gradient trajectory with respect to some metric, and then leave the submanifold to follow the gradient vector field of the Morse–Bott function until it hits some other critical manifold; it either flows for a while along a gradient trajectory associated to the Morse function on that critical submanifold and then flows to another critical submanifold, etc., or flows to a critical point in the original submanifold and terminates. See (Frauenfelder). This approach to Morse–Bott homology appeared in the context of unpublished work for [[contact homology]] by Bourgeois, in which the critical submanifolds are the sets of [[Reeb orbits]], and the gradient flows between the critical submanifolds are pseudoholomorphic curves in the symplectization of a contact manifold asymptotic to Reeb orbits in the relevant critical manifolds of Reeb orbits. | |||
If we extend each Morse function to a function on the entire manifold supported near the critical submanifolds, we can explicitly write down a Morse–Smale function that perturbs the original Morse–Bott function. Namely, multiply each of the extended functions by some small positive constant, sum them and add the result to the original Morse–Bott function. The broken flows described above will be C<sup>0</sup> close to the flow lines of this Morse–Smale function. | |||
== References == | |||
* Banyaga, Augustin & Hurtubise, David. (2004). ''Lectures on Morse Homology.'' Dordrecht: Kluwer Academic Publishers. ISBN 1-4020-2695-1. | |||
* Bott, Raoul. [http://www.numdam.org/item?id=PMIHES_1988__68__99_0 Morse Theory Indomitable.] Publications Mathématiques de l'IHÉS, 68 (1988), pp. 99–114. | |||
* Farber, Michael. Topology of Closed One-Forms. American Mathematical Society, 2004. | |||
* Hutchings, Michael. [http://math.berkeley.edu/~hutching/teach/276-2010/mfp.ps Lecture notes on Morse homology (with an eye towards Floer theory and pseudoholomorphic curves)]. | |||
* Kerman, Ely. [http://www.math.sunysb.edu/~ely/mf-notes.ps Lecture Notes:From Morse Homology to Floer Homology] | |||
* Novikov, Sergei. Multivalued functions and functionals. An analogue of the Morse theory, Soviet Math. Dokl. 24 (1981), pp. 222–226. Translation of {{cite journal| title=Многозначные функции и функционалы. Аналог теории Морса | journal=[[Doklady Akademii Nauk SSSR]] | volume=270 | issue=1 | pages=31–35}} | |||
* J. Jost, Riemannian Geometry and Geometric Analysis, Fourth Edition, Universitext, Springer, 2005 | |||
* Frauenfelder, U. http://arxiv.org/abs/math.SG/0309373 | |||
* Witten, Edward, ''Supersymmetry and Morse theory''./ J. Differential Geometry 17 (1982), pp. 661–692. | |||
[[Category:Homology theory]] | |||
[[Category:Morse theory]] |
Revision as of 22:06, 26 January 2013
In mathematics, specifically in the field of differential topology, Morse homology is a homology theory defined for any smooth manifold. It is constructed using the smooth structure and an auxiliary metric on the manifold, but turns out to be topologically invariant, and is in fact isomorphic to singular homology. Morse homology also serves as a model for the various infinite-dimensional generalizations known as Floer homology theories.
Formal definition
Given any (compact) smooth manifold, let f be a Morse function and g a Riemannian metric on the manifold. (These are auxiliary; in the end, the Morse homology depends on neither.) The pair (f, g) gives us a gradient vector field. We say that (f, g) is Morse–Smale if the stable and unstable manifolds associated to all of the critical points of f intersect each other transversely.
For any such (f, g), it can be shown that the difference in index between any two critical points is equal to the dimension of the moduli space of gradient flows between those points. Thus there is a one-dimensional moduli space of flows between a critical point of index i and one of index i − 1. Each flow can be reparametrized by a one-dimensional translation in the domain. After modding out by these reparametrizations, the quotient space is zero-dimensional — that is, a collection of oriented points representing unparametrized flow lines.
A chain complex may then be defined as follows. The set of chains is the Z-module generated by the critical points. The differential d of the complex sends a critical point p of index i to a sum of index-(i − 1) critical points, with coefficients corresponding to the (signed) number of unparametrized flow lines from p to those index-(i − 1) critical points. The fact that the number of such flow lines is finite follows from the compactness of the moduli space.
The fact that this defines a complex (that is, that d2 = 0) follows from an understanding of how the moduli spaces of gradient flows compactify. Namely, in d2 p the coefficient of an index-(i − 2) critical point q is the (signed) number of broken flows consisting of an index-1 flow from p to some critical point r of index i − 1 and another index-1 flow from r to q. These broken flows exactly constitute the boundary of the moduli space of index-2 flows: The limit of any sequence of unbroken index-2 flows can be shown to be of this form, and all such broken flows arise as limits of unbroken index-2 flows. Unparametrized index-2 flows come in one-dimensional families, which compactify to compact one-manifolds. The fact that the boundary of a compact one-manifold is always zero proves that d2 p = 0.
Invariance of Morse homology
It can be shown that the homology of this complex is independent of the Morse–Smale pair (f, g) used to define it. A homotopy of pairs (ft, gt) that interpolates between any two given pairs (f0, g0) and (f1, g1) may always be defined. Either through bifurcation analysis or by using a continuation map to define a chain map from to , it can be shown that the two Morse homologies are isomorphic. Analogous arguments using a homotopy of homotopies shows that this isomorphism is canonical.
Another approach to proving the invariance of Morse homology is to relate it directly to singular homology. One can define a map to singular homology by sending a critical point to the singular chain associated to the unstable manifold associated to that point; inversely, a singular chain is sent to the limiting critical points reached by flowing the chain using the gradient vector field. The cleanest way to do this rigorously is to use the theory of currents.
The isomorphism with singular homology can also be proved by demonstrating an isomorphism with cellular homology, by viewing an unstable manifold associated to a critical point of index i as an i-cell, and showing that the boundary maps in the Morse and cellular complexes correspond.
Related constructions
This approach to Morse theory was known in some form to René Thom and Stephen Smale. It is also implicit in John Milnor's book on the h-cobordism theorem.
From the fact that the Morse homology is isomorphic to the singular homology, the Morse inequalities follow by considering the number of generators — that is, critical points — necessary to generate the homology groups of the appropriate ranks (and by considering truncations of the Morse complex, to get the stronger inequalities). The existence of Morse homology "explains", in the sense of categorification, the Morse inequalities.
Edward Witten came up with a related construction in the early 1980s sometimes known as Morse–Witten theory.
Morse homology can be extended to finite dimensional non-compact or infinite-dimensional manifolds where the index remains finite, the metric is complete and the function satisfies the Palais–Smale compactness condition, such as the energy functional for geodesics on a Riemannian manifold. The generalization to situations in which both index and coindex are infinite, but the relative index of any pair of critical points is finite, is known as Floer homology.
Sergei Novikov generalized this construction to a homology theory associated to a closed one-form on a manifold. Morse homology is a special case for the one-form df. A special case of Novikov's theory is circle-valued Morse theory, which Michael Hutchings and Yi-Jen Lee have connected to Reidemeister torsion and Seiberg–Witten theory.
Morse–Bott homology
Morse homology can be carried out in the Morse–Bott setting, i.e. when instead of isolated nondegenerate critical points, a function has critical manifolds whose tangent space at a point coincides with the kernel of the Hessian at the point. This situation will always occur, if the function considered is invariant w.r.t a non-discrete Lie group.
To describe the resulting chain complex and its homology, introduce a generic Morse function on each critical submanifold. Chains will consist of paths that begin in a critical manifold at a critical point of the auxiliary Morse function, following a gradient trajectory with respect to some metric, and then leave the submanifold to follow the gradient vector field of the Morse–Bott function until it hits some other critical manifold; it either flows for a while along a gradient trajectory associated to the Morse function on that critical submanifold and then flows to another critical submanifold, etc., or flows to a critical point in the original submanifold and terminates. See (Frauenfelder). This approach to Morse–Bott homology appeared in the context of unpublished work for contact homology by Bourgeois, in which the critical submanifolds are the sets of Reeb orbits, and the gradient flows between the critical submanifolds are pseudoholomorphic curves in the symplectization of a contact manifold asymptotic to Reeb orbits in the relevant critical manifolds of Reeb orbits. If we extend each Morse function to a function on the entire manifold supported near the critical submanifolds, we can explicitly write down a Morse–Smale function that perturbs the original Morse–Bott function. Namely, multiply each of the extended functions by some small positive constant, sum them and add the result to the original Morse–Bott function. The broken flows described above will be C0 close to the flow lines of this Morse–Smale function.
References
- Banyaga, Augustin & Hurtubise, David. (2004). Lectures on Morse Homology. Dordrecht: Kluwer Academic Publishers. ISBN 1-4020-2695-1.
- Bott, Raoul. Morse Theory Indomitable. Publications Mathématiques de l'IHÉS, 68 (1988), pp. 99–114.
- Farber, Michael. Topology of Closed One-Forms. American Mathematical Society, 2004.
- Hutchings, Michael. Lecture notes on Morse homology (with an eye towards Floer theory and pseudoholomorphic curves).
- Kerman, Ely. Lecture Notes:From Morse Homology to Floer Homology
- Novikov, Sergei. Multivalued functions and functionals. An analogue of the Morse theory, Soviet Math. Dokl. 24 (1981), pp. 222–226. Translation of One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang
- J. Jost, Riemannian Geometry and Geometric Analysis, Fourth Edition, Universitext, Springer, 2005
- Frauenfelder, U. http://arxiv.org/abs/math.SG/0309373
- Witten, Edward, Supersymmetry and Morse theory./ J. Differential Geometry 17 (1982), pp. 661–692.