Systolic Geometry
   HOME
*





Systolic Geometry
In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also a slower-paced Introduction to systolic geometry. The notion of systole The ''systole'' of a compact metric space ''X'' is a metric invariant of ''X'', defined to be the least length of a noncontractible loop in ''X'' (i.e. a loop that cannot be contracted to a point in the ambient space ''X''). In more technical language, we minimize length over free loops representing nontrivial conjugacy classes in the fundamental group of ''X''. When ''X'' is a graph, the invariant is usually referred to as the girth, ever since the 1947 article on girth by W. T. Tutte. Possibly inspired by Tutte's article, Loewner started thinking about systolic questions on surfaces in the la ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Free Loop
"Free Loop (One Night Stand)" (titled as "Free Loop" on ''Daniel Powter'') is a song written by Canadian singer Daniel Powter. It was his second single and the follow-up to his successful song, " Bad Day". In the United Kingdom, WEA failed to realize the single was deemed ineligible to chart since "Bad Day" was included as B-side whilst still being in the UK top 40 at the time. In the US, it did not chart on the ''Billboard'' Hot 100, but it did reach the top 30 of the ''Billboard'' Adult Contemporary chart. The song was featured in Cheetah Mobile's 2016 iOS/Android app Piano Tiles 2. It was also used in a 2007 advertisement showcasing the Ford I-Max in Taiwan. Music video The video, directed by Marc Webb, who also directed the music videos for " Bad Day" and "Lie to Me," shows a young Daniel Powter starting at a piano in a music store and puts his fingers on the window and magically plays the piano. The scene then cuts to an adult version of Powter, who is now able to buy th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a spindle torus. If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. Real-world objects that approximate a torus of revolution include swim rings, inner tubes and ringette rings. Eyeglass lenses that combine spherical and cylindrical correction are toric lenses. A torus should not be confused with a '' solid torus'', which is formed by r ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Isoperimetry
In mathematics, the isoperimetric inequality is a geometric inequality involving the perimeter of a set and its volume. In n-dimensional space \R^n the inequality lower bounds the surface area or perimeter \operatorname(S) of a set S\subset\R^n by its volume \operatorname(S), :\operatorname(S)\geq n \operatorname(S)^ \, \operatorname(B_1)^, where B_1\subset\R^n is a unit sphere. The equality holds only when S is a sphere in \R^n. On a plane, i.e. when n=2, the isoperimetric inequality relates the square of the circumference of a closed curve and the area of a plane region it encloses. ''Isoperimetric'' literally means "having the same perimeter". Specifically in \R ^2, the isoperimetric inequality states, for the length ''L'' of a closed curve and the area ''A'' of the planar region that it encloses, that : L^2 \ge 4\pi A, and that equality holds if and only if the curve is a circle. The isoperimetric problem is to determine a plane figure of the largest possible area whose bo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Systolic Category
The systole (or systolic category) is a numerical invariant of a closed manifold ''M'', introduced by Mikhail Katz and Yuli Rudyak in 2006, by analogy with the Lusternik–Schnirelmann category. The invariant is defined in terms of the systoles of ''M'' and its covers, as the largest number of systoles in a product yielding a curvature-free lower bound for the total volume of ''M''. The invariant is intimately related to the Lusternik-Schnirelmann category. Thus, in dimensions 2 and 3, the two invariants coincide. In dimension 4, the systolic category is known to be a lower bound for the Lusternik–Schnirelmann category. Bibliography * Dranishnikov, A.; Rudyak, Y. (2009) Stable systolic category of manifolds and the cup-length. ''Journal of Fixed Point Theory and Applications'' 6, no. 1, 165–177. * Katz, M.; Rudyak, Y. (2008) Bounding volume by systoles of 3-manifolds. ''Journal of the London Mathematical Society'' 78, no 2, 407–417. * Dranishnikov, A.; Kat ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Lusternik–Schnirelmann Category
In mathematics, the Lyusternik–Schnirelmann category (or, Lusternik–Schnirelmann category, LS-category) of a topological space X is the homotopy invariant defined to be the smallest integer number k such that there is an open covering \_ of X with the property that each inclusion map U_i\hookrightarrow X is nullhomotopic. For example, if X is a sphere, this takes the value two. Sometimes a different normalization of the invariant is adopted, which is one less than the definition above. Such a normalization has been adopted in the definitive monograph by Cornea, Lupton, Oprea, and Tanré (see below). In general it is not easy to compute this invariant, which was initially introduced by Lazar Lyusternik and Lev Schnirelmann in connection with variational problems. It has a close connection with algebraic topology, in particular cup-length. In the modern normalization, the cup-length is a lower bound for the LS-category. It was, as originally defined for the case of X a manif ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


René Thom
René Frédéric Thom (; 2 September 1923 – 25 October 2002) was a French mathematician, who received the Fields Medal in 1958. He made his reputation as a topologist, moving on to aspects of what would be called singularity theory; he became world-famous among the wider academic community and the educated general public for one aspect of this latter interest, his work as founder of catastrophe theory (later developed by Erik Christopher Zeeman). Life and career René Thom grow up in a modest family in Montbéliard, Doubs and obtained a Baccalauréat in 1940. After German invasion of France, his family took refuge in Switzerland and then in Lyon. In 1941 he moved to Paris to attend Lycée Saint-Louis and in 1943 he began studying mathematics at École Normale Supérieure, becoming agrégé in 1946. He received his PhD in 1951 from the University of Paris. His thesis, titled ''Espaces fibrés en sphères et carrés de Steenrod'' (''Sphere bundles and Steenrod squares''), was w ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Marcel Berger
Marcel Berger (14 April 1927 – 15 October 2016) was a French mathematician, doyen of French differential geometry, and a former director of the Institut des Hautes Études Scientifiques (IHÉS), France. Formerly residing in Le Castera in Lasseube, Berger was instrumental in Mikhail Gromov's accepting positions both at the University of Paris and at the IHÉS. Awards and honors *1956 Prix Peccot, Collège de France *1962 Prix Maurice Audin *1969 Prix Carrière, Académie des Sciences *1978 Prix Leconte, Académie des Sciences *1979 Prix Gaston Julia *1979–1980 President of the French Mathematical Society. *1991 Lester R. Ford Award Selected publications * Berger, M.Geometry revealed Springer, 2010. * Berger, M.: What is... a Systole? Notices of the AMS 55 (2008), no. 3, 374–376online text* * * *Berger, Marcel; Gauduchon, Paul; Mazet, Edmond: Le spectre d'une variété riemannienne. (French) Lecture Notes in Mathematics, Vol. 194 Springer-Verlag, Berlin-New York 1971. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Pao Ming Pu
Pao Ming Pu (the form of his name he used in Western languages, although the Wade-Giles transliteration would be Pu Baoming; ; August 1910 – February 22, 1988), was a mathematician born in Jintang County, Sichuan, China.. He was a student of Charles Loewner and a pioneer of systolic geometry, having proved what is today called Pu's inequality for the real projective plane, following Loewner's proof of Loewner's torus inequality. He later worked in the area of fuzzy mathematics. He spent much of his career as professor and chairman of the department of mathematics at Sichuan University. Biography Pu received his Ph.D. at Syracuse University in 1950 under the supervision of Charles Loewner, resulting in the publication in 1952 of the seminal paper containing both Pu's inequality for the real projective plane and Loewner's torus inequality. .99 The listing at the Mathematics Genealogy Project indicates that his first name, according to Syracuse University records, was ' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Pu's Inequality
In differential geometry, Pu's inequality, proved by Pao Ming Pu, relates the area of an arbitrary Riemannian surface homeomorphic to the real projective plane with the lengths of the closed curves contained in it. Statement A student of Charles Loewner, Pu proved in his 1950 thesis that every Riemannian surface M homeomorphic to the real projective plane satisfies the inequality : \operatorname(M) \geq \frac \operatorname(M)^2 , where \operatorname(M) is the systole of M . The equality is attained precisely when the metric has constant Gaussian curvature. In other words, if all noncontractible loops in M have length at least L , then \operatorname(M) \geq \frac L^2, and the equality holds if and only if M is obtained from a Euclidean sphere of radius r=L/\pi by identifying each point with its antipodal. Pu's paper also stated for the first time Loewner's inequality, a similar result for Riemannian metrics on the torus. Proof Pu's original proof relies on ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Proc
Proc may refer to: * Proč, a village in eastern Slovakia * '' Proč?'', a 1987 Czech film * procfs or proc filesystem, a special file system (typically mounted to ) in Unix-like operating systems for accessing process information * Protein C (PROC) * Proc, a term in video game terminology * Procedures or process, in the programming language ALGOL 68 * People's Republic of China, the formal name of China China, officially the People's Republic of China (PRC), is a country in East Asia. It is the world's most populous country, with a population exceeding 1.4 billion, slightly ahead of India. China spans the equivalent of five time zones and ... * the official acronym for the Canadian House of Commons Standing Committee on Procedure and House Affairs {{disambiguation ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Girth (graph Theory)
In graph theory, the girth of an undirected graph is the length of a shortest cycle contained in the graph. If the graph does not contain any cycles (that is, it is a forest), its girth is defined to be infinity. For example, a 4-cycle (square) has girth 4. A grid has girth 4 as well, and a triangular mesh has girth 3. A graph with girth four or more is triangle-free. Cages A cubic graph (all vertices have degree three) of girth that is as small as possible is known as a -cage (or as a -cage). The Petersen graph is the unique 5-cage (it is the smallest cubic graph of girth 5), the Heawood graph is the unique 6-cage, the McGee graph is the unique 7-cage and the Tutte eight cage is the unique 8-cage. There may exist multiple cages for a given girth. For instance there are three nonisomorphic 10-cages, each with 70 vertices: the Balaban 10-cage, the Harries graph and the Harries–Wong graph. Image:Petersen1 tiny.svg, The Petersen graph has a girth of 5 Image:Heawood_Graph ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]