The Entropy Formula for the Ricci Flow and Its Geometric Applications — TEI-tagged view

Grigori Perelman · 2002 · mathematics · arXiv:math/0211159 · full text at the source · TEI xml · tagged edition · index · concepts · authors
Where this record's text came from. faceted 2026-08 by reading the locally held text (pdftext); every evidence string verified as an exact substring of that text before merging. The PDF extraction badly scrambles all displayed mathematics (formulas, indices and section symbols are interleaved with the prose), so every quote here is taken from intact prose sentences only; no formula or theorem statement was quoted. Claim type was set to 'method' because the paper's own framing is that it supplies the technical tools (entropy/monotonicity formula, no-local-collapsing) that carry out an existing program, though several of its results (no nontrivial breathers) read as null-results in shape. One further explicit relation was deliberately NOT recorded as a claim_relation because the paper denies any relation: '5.3* An entropy formula for the Ricci flow in dimension two was found by Chow [C]; there seems to be no relation between his formula and ours.' 2026-08-14 and 2026-08-17 schema-0.3 passes: every quote verified as an exact substring of the staged text and anchored at merge time; concept terms verified present; every edge endpoint an existing node. Update, 15 September 2026: EXCEPTION, measured with the merge gate's own predicate (Paper.locate): 2 quote(s) on this record are not found as one exact string in the current staged text - content_tags.definitions[0].evidence, content_tags.findings[0].evidence. The sentence above does not hold for them as written. Where a row records why - the quote is grounded in another copy of the paper, joins two passages with an ellipsis, or differs from the staged text by extraction noise - that note stays on the row. Update, 16 September 2026: EXCEPTION TO THE DATED PASS ABOVE, on this record only: this record carries 2 composite quote fields - a quote assembled from two or more passages joined by an ellipsis. A COMPOSITE IS NOT AN EXACT CONTIGUOUS SUBSTRING of the staged text and is deliberately not anchored: each of its parts is verified separately at the offsets in evidence composite spans, and a part occurring more than once carries span null rather than a guessed offset. So the 'every quote verified as an exact substring' clause of the dated pass above DOES NOT HOLD for those fields, and never did - the parts were verified, the whole was not. Nothing is deleted, re-grounded or withdrawn: this writes down an exception that was always true of composites and had not been recorded, so a reader was told more than the pass had checked.
The quality of the text these quotes were cut from. symbol-font-not-extractable: 2 '(cid:NNN)' glyph-index markers remain in a staged text of 81,142 characters, where the PDF's embedded font had no ToUnicode map. THE QUOTES ON THIS RECORD ARE THE PAPER'S AND THE STAGED COPY IS THE DAMAGED ONE - which is the opposite of the usual case and is why it went unnoticed: 2 of its 46 live quotes are not exact substrings of this text, and 1 of those 2 were located in it by aligning the quote's WORD SEQUENCE under exactly this damage - the words are there, the characters inside them are not. Not repaired in place: editing the staged text moves every offset after the edit and re-hashes every anchor on the record. Measured at 113aae60fefc3eb1, re-measured unchanged at 54b63482778ddf56.
2 quotes on this page were cut from a different copy of this article. This project holds two extractions of this paper: the plain text every other quote here is anchored in, and the publisher’s own HTML edition, which we are not licensed to republish. They are verbatim in the second and cannot be found in the first — not because the tagging is wrong, but because the extraction damaged the passage: a page number dropped into the middle of a number, a formula moved out of its sentence, a ligature where two letters belong. The record names the copy for each one. The quote is the paper’s; the extraction is not.
Tags on this paper every tag the record carries, whether or not the words occur in the text below — a number is how many papers in the corpus carry that tag; a tag with no number is unique to this paper
Ricci flow Poincaré conjecture geometrization entropy functional geometrization conjecture Hamilton program reduced volume monotonicity formula mathematical-proof27

Our tag layer for this paper

Cross-disciplinary analysis
content-tags & facets: phenomenon · claim-type · cross-domain-transfer · mechanism · claim-relation · replication-status · limitation — grounded in the full text
phenomenonsingularity formation in the Ricci flow— “In this section we present an application of the monotonicity formula (3.4) to the analysis of singularities of the Ricci flow.”
claim-typemethod— “In this paper we carry out some details of Hamilton program.”
method — evidence— “A rigorous proof of this monotonicity is given in the next section.”
transferfrom statistical physics / thermodynamics (entropy, renormalization-group flow): importing entropy and monotonicity ideas from statistical physics to build monotonic functionals for the Ricci flow, used to resolve geometric and topological questions— “The interplay of statistical physics and (pseudo)-riemannian geometry occurs in the subject of Black Hole Thermodynamics”transfers[0]
mechanismTHE SAME OBJECT HAS A NAME IN ANOTHER FIELD, AND THE PAPER SUPPLIES THE TRANSLATION: the functional's first variation formula CAN BE FOUND IN THE LITERATURE ON THE STRING THEORY, WHERE IT DESCRIBES THE LOW ENERGY EFFECTIVE ACTION - and THE FUNCTION f IS CALLED DILATON FIELD there. One mathematical object, two literatures, two names, and a citation offered so the reader can cross between them— “and its first variation formula can be found in the literature on the string theory, where it describes the low energy effective action; the function f is called dilaton field”mechanisms[0]
mechanismA MATHEMATICAL FREEDOM IS EXPLAINED BY A PHYSICS TERM RATHER THAN A MATHEMATICAL ONE: THE REMARKABLE FACT HERE IS THAT DIFFERENT CHOICES lead to THE SAME FLOW, up to a diffeomorphism - THAT IS, THE CHOICE OF m IS ANALOGOUS TO THE CHOICE OF GAUGE. The invariance is named by importing a word from another discipline, and the import is what makes it recognisable— “The remarkable fact here is that different choices of m lead to the same flow, up to a diffeomorphism; that is, the choice of m is analogous to the choice of gauge.”mechanisms[1]
mechanismTHE ANALOGY'S STATUS IS MARKED AS HEURISTIC IN ITS OWN NUMBERED REMARK, AND THE DIFFERENCE IS SPELLED OUT: HEURISTICALLY, this statistical analogy IS RELATED TO the description of the renormalization group flow - IN THE LATTER one obtains quantities BY AVERAGING OVER HIGHER ENERGY STATES, WHEREAS IN THE FORMER THOSE STATES ARE SUPPRESSED by the exponential factor. The resemblance is asserted and the point of divergence given in the same breath— “Heuristically, this statistical analogy is related to the description of the renormalization group flow, mentioned in the introduction: in the latter one obtains various quantities by averaging over higher energy states, whereas in the former those states are suppressed by the exponential factor.”mechanisms[2]
mechanismA PROPERTY IS DISCOVERED AND IMMEDIATELY GIVEN A NAME BUILT FROM TWO OTHER NAMES: a REMARKABLE PROPERTY of solutions with nonnegative curvature operator IN ARBITRARY DIMENSION is CALLED A DIFFERENTIAL HARNACK INEQUALITY, and what it ALLOWS is stated in the same sentence - comparing the curvatures at different points and different times. The name records neither the property nor its use but its lineage— “Hamilton [H 3] discovered a remarkable property of solutions with nonnegative curvature operator in arbitrary dimension, called a differential Harnack inequality, which allows, in particular, to compare the curvatures of the solution at different points and different times.”mechanisms[3]
mechanismA RESULT IS VALUED BY WHAT IT UNBLOCKS IN SOMEONE ELSE'S PROGRAMME: the theorem is said to REMOVE THE MAJOR STUMBLING BLOCK IN HAMILTON'S APPROACH TO GEOMETRIZATION. The contribution is located relative to another person's plan rather than stated on its own terms— “This result removes the major stumbling block in Hamilton’s approach to geometrization.”mechanisms[4]
mechanismA QUESTION IS PROPOSED AND CALLED NATURAL, WHICH IS THE ONLY WARRANT OFFERED FOR IT: A NATURAL QUESTION IS WHETHER we have a gradient shrinking soliton WHENEVER S STAYS BOUNDED. The word NATURAL carries the whole justification for why this is the question to ask next, and no other reason is given— “A natural question is whether we have a gradient shrinking soliton whenever S stays bounded.”mechanisms[5]
mechanismA TERM IS ATTRIBUTED TO A PERSON RATHER THAN DEFINED: a solution defined on a time interval of a certain form is ANCIENT, IN HAMILTON'S TERMINOLOGY - and the attribution is the definition's provenance, given in place of a criterion— “that is, we have an ancient solution to the Ricci flow, in Hamilton’s terminology”mechanisms[6]
builds-on Hamilton Ricci flow— “The Ricci flow equation, introduced by Richard Hamilton”claim_relations[0]
builds-on statistical physics / thermodynamics (entropy concepts)— “interplay of statistical physics and (pseudo)-riemannian geometry”claim_relations[1]
builds-on Hamilton's program for the Ricci flow and geometrization— “In this paper we carry out some details of Hamilton program.”claim_relations[2]
builds-on Hamilton's program (implication for the geometrization conjecture)— “Thus, the implementation of Hamilton program would imply the geometrization conjecture for closed three-manifolds.”claim_relations[3]
extends Ivey [I], no breathers theorem in dimension three— “3.3* The no breathers theorem in dimension three was proved by Ivey [I]; in fact, he also ruled out nontrivial Ricci solitons; his proof uses the almost nonnegative curvature estimate, mentioned in the introduction.”claim_relations[4]
builds-on renormalization group flow picture from quantum field theory— “Anyway, this connection between the Ricci flow and the RG flow suggests that Ricci flow must be gradient-like; the present work confirms this expectation.”claim_relations[5]
sensethe conjecture this paper is known for - NEVER NAMED IN IT: 'Poincare' occurs nowhere; what the paper addresses is the geometrization conjecture, from which the more famous result follows, so the absence is not a later coinage but a stronger claim standing in for a weaker one— “Thus, the implementation of Hamilton program would imply the geometrization conjecture for closed three-manifolds”senses[0]
sensemonotonicity - RESEMBLING A KNOWN FORMULA AND RUNNING THE OTHER WAY: the reduced-volume expression looks like Huisken's for mean curvature flow, and the author states the direction of monotonicity is opposite, so matching the two on their form would join quantities that disagree in sign— “Our formula for the reduced volume resembles the expression in Huisken monotonicity formula for the mean curvature flow [Hu]; however, in our case the monotonicity is in the opposite direction”senses[1]
senseentropy - BY STATISTICAL ANALOGY, AND HEURISTIC: the monotonicity formula is interpreted in terms of the entropy of a canonical ensemble, and the author calls the connection to renormalization group flow heuristic rather than derived— “Heuristically, this statistical analogy is related to the description of the renormalization group flow, mentioned in the introduction: in the latter one obtains various quantities by averaging over higher energy states, whereas in the former those states are suppressed by the exponential factor”senses[2]
auditHamilton program —causes→ geometrization conjecture — Audit 2026-09-28: DOUBTFUL - read against its full span and kept, but the span says the program WOULD IMPLY the conjecture; a logical implication typed as cause.— “Thus, the implementation of Hamilton program would imply the geometrization conjecture for closed three-manifolds”concept_edges[0]
weightHamilton program —causes→ geometrization conjecture — 0.9— “Thus, the implementation of Hamilton program would imply the geometrization conjecture for closed three-manifolds”concept_edges[0]
edgereduced volume —contrasted-with→ monotonicity formula— “Our formula for the reduced volume resembles the expression in Huisken monotonicity formula for the mean curvature flow [Hu]; however, in our case the monotonicity is in the opposite direction”concept_edges[1]
for which uselimitation — the gradient-flow construction for general m: it MAY NOT EXIST EVEN FOR SHORT TIME— “may not exist even for short time”limitations[0]
for which uselimitation — the completeness of the programme as presented here: THE MORE TECHNICALLY COMPLICATED ARGUMENTS, RELATED TO THE SURGERY, WILL BE DISCUSSED ELSEWHERE— “The more technically complicated arguments, related to the surgery, will be discussed elsewhere.”limitations[1]
for which uselimitation — the eternal-solutions claim: WE HAVE NOT BEEN ABLE TO CONFIRM HAMILTON'S HOPE THAT THE SOLUTION THAT EXISTS FOR ALL TIME NECESSARILY HAS BOUNDED NORMALIZED CURVATURE— “We have not been able to confirm Hamilton’s hope that the solution that exists for all time t necessarily has bounded normalized curvature; still we are able to show that the region where this does not hold is locally collapsed with curvature bounded below; by our earlier (partly unpublished) work this is enough for topological…limitations[2]
for which uselimitation — the canonical-flow-through-singularities claim: IT IS LIKELY THAT ... ONE WOULD GET A CANONICALLY DEFINED RICCI FLOW THROUGH SINGULARITIES, BUT AT THE MOMENT I DON'T HAVE A PROOF OF THAT— “It is likely that by passing to the limit in this construction one would get a canonically defined Ricci flow through singularities, but at the moment I don’t have a proof of that.”limitations[3]
for which uselimitation — the rigour of the shrinking-case argument as given: THIS ARGUMENT IS NOT HARD TO MAKE RIGOROUS; THE DETAILS ARE LEFT TO THE READER - the support is not in the paper— “This argument is not hard to make rigorous; the details are left to the reader.”limitations[4]
for which uselimitation — the physical analogy only: UNFORTUNATELY, THIS SUBJECT IS BEYOND MY UNDERSTANDING AT THE MOMENT - the Black Hole Thermodynamics parallel is offered without being vouched for— “Unfortunately, this subject is beyond my understanding at the moment.”limitations[5]
for which uselimitation — the geometrization result attributed to this paper: what it contains at that point is described by the author as a brief sketch of the proof— “we give a brief sketch of the proof”limitations[6]
for which uselimitation — the nonnegative-curvature property of blow-up limits used here: it rests on results of Ivey and Hamilton proved in dimension three, where large scalar curvature makes the negative part of the curvature tensor comparatively small— “However, Ivey [I] and Hamilton [H 4] proved that in dimension three, at the points where scalar curvature is large, the negative part of the curvature tensor is small compared to the scalar curvature, and therefore the blow-up limits have necessarily nonnegative sectional curvature”limitations[7]
for which uselimitation — any comparison of this reduced-volume formula with Huisken's monotonicity formula for mean curvature flow: the author states the two resemble each other but that here the monotonicity runs in the opposite direction— “Our formula for the reduced volume resembles the expression in Huisken monotonicity formula for the mean curvature flow [Hu]; however, in our case the monotonicity is in the opposite direction”limitations[8]
evidence status notemechanism — The span begins mid-sentence, at "and its first variation formula", because everything before it in that sentence is interleaved mathematics - "can be found in [H 4, § psi = (delta m)2 psi ... M gijRm R and its first variation formula". So the quote does not name WHICH functional, and the tag does not claim to. The translation it records - the same object called 'dilaton field' in the string theory literature - is intact.— “and its first variation formula can be found in the literature on the string theory, where it describes the low energy effective action; the function f is called dilaton field”mechanisms[0]
evidence status notemechanism — CONTEXT THIS QUOTE CANNOT CARRY, recorded because it is the paper's central terminological hedge. The sentence that states the analogy is SCRAMBLED in the staged text and cannot be quoted: "In this section we show that the functional a sense analogous to minus entropy. W , introduced in section 3, is in" - the clean reading is "the functional W, introduced in section 3, is in a sense analogous to minus entropy". Damage shape 5. The TITLE of the paper says 'the entropy formula'; section 5 says 'in a sense analogous to MINUS entropy' - qualified twice, by the hedge and by the sign - and that sentence is the one the extraction destroyed.— “Heuristically, this statistical analogy is related to the description of the renormalization group flow, mentioned in the introduction: in the latter one obtains various quantities by averaging over higher energy states, whereas in the former those states are suppressed by the exponential factor.”mechanisms[2]
replicationuntested
limitationfor general m the gradient flow may not exist even for short time— “may not exist even for short time”limitations[0]
limitationThe surgery arguments, which the program needs, are deferred to another paper.— “The more technically complicated arguments, related to the surgery, will be discussed elsewhere.”limitations[1]
limitationThe author could not establish Hamilton's expected boundedness of normalized curvature for eternal solutions.— “We have not been able to confirm Hamilton’s hope that the solution that exists for all time t necessarily has bounded normalized curvature; still we are able to show that the region where this does not hold is locally collapsed with curvature bounded below; by our earlier (partly unpublished) work this is enough for topological…limitations[2]
limitationNo proof is given that the limiting construction yields a canonically defined Ricci flow through singularities.— “It is likely that by passing to the limit in this construction one would get a canonically defined Ricci flow through singularities, but at the moment I don’t have a proof of that.”limitations[3]
limitationDetails of the rigorous version of the shrinking-case argument are not supplied.— “This argument is not hard to make rigorous; the details are left to the reader.”limitations[4]
limitationThe author states his own understanding is insufficient for the physics analogy invoked (Black Hole Thermodynamics).— “Unfortunately, this subject is beyond my understanding at the moment.”limitations[5]
limitationThe result the paper is famous for is presented as a brief sketch.— “we give a brief sketch of the proof”limitations[6]
limitationThe curvature fact the blow-up analysis rests on is imported from earlier work and holds in dimension three.— “However, Ivey [I] and Hamilton [H 4] proved that in dimension three, at the points where scalar curvature is large, the negative part of the curvature tensor is small compared to the scalar curvature, and therefore the blow-up limits have necessarily nonnegative sectional curvature”limitations[7]
limitationA formula of the paper's resembles a known one and moves in the opposite direction.— “Our formula for the reduced volume resembles the expression in Huisken monotonicity formula for the mean curvature flow [Hu]; however, in our case the monotonicity is in the opposite direction”limitations[8]
Content tags
content-observations: finding · quantity · variable · definition · key-term — grounded in the full text
findingImplementing Hamilton's program would imply the geometrization conjecture for closed three-manifolds; a monotonicity formula is applied to the analysis of singularities of the Ricci flow.— “the implementation of Hamilton program would imply the geometrization conjecture for closed three-manifolds... In this section we present an application of the monotonicity formula (3.4) to the analysis of singularities of the Ricci flow.” [checked against the archived source, not this rendering]content_tags.findings[0]
not machine-vouchedfinding — declared-ellipsis - An elided quote: its 2 pieces ('the implementation of Hamilton program w' ... 'ysis of singularities of the Ricci flow.') are each in our copy of the paper, and the quote marks the cut with an ellipsis, so the joined string is in no copy. Located mechanically, piece by piece.content_tags.findings[0]
findingWhere singularities (necks) form, one performs SURGERY — cutting the neck and gluing caps — then continues the Ricci flow.— “it is natural to make a surgery by cutting open the neck and gluing small caps to each of the boundaries, and then to continue running the Ricci flow”content_tags.findings[1]
definitionRicci flow— “The Ricci flow equation, introduced by Richard Hamilton [H 1], is the evolution equation d ... for a riemannian metric gij(t)” [UNVERIFIED AGAINST THE STAGED TEXT]content_tags.definitions[0]
evidence status notedefinition — marked quote-not-in-current-staged-text - today's merge gate would REFUSE this quote: Paper.locate() does not find it in the current staged text.content_tags.definitions[0]
not machine-voucheddefinition — not-in-our-copy - The quote is in NEITHER copy we hold - not in the text we tag against and not in the page we fetched ('fulltext.html') - checked with ligatures, hyphens, spacing and punctuation set aside. This body carries 2 '(cid:NNN)' glyph ids, 4 detached diacritics. We do not know what it was taken from, and no class is claimed for it.content_tags.definitions[0]
definitionRicci soliton— “are called Ricci solitons. (Thus, if one considers Ricci flow as a dynamical system on the space of riemannian metrics modulo diffeomorphism and scaling, then breathers and solitons correspond to periodic…content_tags.definitions[1]
evidence status notedefinition — QUOTE REPAIRED: the extractor split a hyphen-space and the quote was recorded faithfully with the damage in it, which made it unanchorable. The repaired string is an EXACT SUBSTRING of the staged text - that is why it was accepted, not because a rule produced it. The text as originally recorded is kept in evidence as extracted.content_tags.definitions[1]
definitionsurgerycontent_tags.definitions[2]
key-termsRicci flow, curvature, metric, manifold, entropy, monotonicity, geometrization, surgery, soliton
Concepts
terms this paper carries, each with the sentence it was cut from — the layer that joins one paper to another. Terms with no quote yet are on CONCEPTS.html.
conceptRicci flowconcepts[0]
conceptgeometrization conjectureconcepts[4]
conceptHamilton programconcepts[5]
conceptreduced volumeconcepts[6]
conceptmonotonicity formulaconcepts[7]

When we have changed our mind. Some entries in the table begin with a word in capitals and the reason for it. EVIDENCE CORRECTED — the finding still stands, but we had quoted the wrong sentence from the paper, and the quotation has been replaced with the right one. RETRACTED — the entry itself was wrong; it stays on the page, marked, with the reason, rather than being deleted. WITHDRAWN AND REPLACED — the entry was wrong, and a corrected version of it appears in the entries below. Each mark carries its own reason, in brackets, because the reasons differ from one entry to the next. An entry we have WITHDRAWN is removed from this page and kept in the record, with its reason. A line reading Audit and a date is a later re-reading of the entry against its whole sentence: DOUBTFUL means it was kept, and the reason says what is loose about it. Quotation marks inside the tagger's sentence. Where a tag is the tagger's own sentence, a phrase in quotation marks inside it is borrowed from the paper — the tagger's wording around it is not. The paper's own sentence is the evidence quote for that row; on this page it is withheld with the article, and the article is at its publisher. Nothing inside quotation marks anywhere on this page is ours: if it is quoted, it is the paper's. Whose words a concept carries. A concept entry records a term the paper itself uses, so the term, the sense given for it, and its evidence are the paper's own words, quoted where the paper fixes them. This is the opposite of a sense entry in the tag table, which is the tagger's sentence about how the paper uses a term. Where a concept entry could not be grounded in the paper's words, the entry says so on its own row.

Tag layer © the Meta-Tagging Project, CC BY 4.0. The paper text is © its authors/publisher and is linked, not reproduced. Excerpts shown are short quotations for identification and verification. · back to index · concepts · authors · עברית
© 2026 Shir Sivroni · ORCID 0009-0000-2597-2824