The DOI matches its Crossref record; 133 of the 143 references it cites were found in a registry or an index; 5 of the 94 sources its claims cite were checked for support.
The geometry of G-structures
Open accessAbstract
CHERN 1. Introduction.Differential geometry studies differentiate manifolds and geometric objects or structures on them.It is now customary to distinguish it from differential topology by the presence of a structure in addition to the differentiable structure.What a differential geometric structure is or should be is a matter of taste.At the present state of the field a definition general enough to include all the significant structures will certainly contain many uninteresting ones.Among the attempts at a general definition is the notion of a geometric object initiated by Oswald Veblen [l30].Not all the geometrical structures are "equal".It would seem that the riemannian and complex structures, with their contacts with other fields of mathematics and with their richness in results, should occupy a central position in differential geometry.A unifying idea is the notion of a G-structure, which is the modern version of a local equivalence problem first emphasized and exploited in its various special cases by Elie Cartan [36], [41], [129].Generally we will restrict ourselves in this article to the discussion of problems which fall under the notion of a G-structure.Two general problems are of importance: I. Existence or nonexistence of certain structures on a manifold.EXAMPLE 1.A positive definite riemannian structure always exists.EXAMPLE 2. On a compact manifold M a nowhere zero differentiable vector field exists if and only if the Euler-Poincaré characteristic of M is zero.EXAMPLE 3. One may ask whether a nonzero vector field exists on M (supposed to be compact and orientable) which is parallel with respect to a riemannian metric.By Hodge's harmonic forms a necessary condition is that the first Betti number b l of M is ^ 1.One can further prove that the second Betti number b 2 ^bl -1 (cf.§5).These conditions are probably not sufficient.II. Local and global properties of a given structure.EXAMPLE 1.For a riemannian structure this means riemannian geometry.EXAMPLE 2. If we are only interested in the existence or nonexist-i 9 66] i 9 66]
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
70 No basis given · 60 Sources not found · 31 Own interpretation · 11 Not checked yet · 10 No full text of the sources · 5 Couldn’t confirm · accuracy not yet measured
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“In the real analytic case the theorem of Cartan-Kuranishi [86] says that in a finite number of steps the system can be prolonged either to a system without solution or to a system in involution.”
What the sources say
- Could not verifycites [86] 86. K. Kodaira and D. C. Spencer, Groups of complex line bundles over compact Kdhler varieties, Proc. Nat. Acad. Sci. U.S.A. 39 (1953), 868-872. 83 # sourceExperimental — accuracy not yet measured
The paper’s sections on complex line bundles and its stated theorem about Picard varieties address different subjects. Searches for the Cartan–Kuranishi theorem, real-analytic prolongation, and involutive systems found no passage addressing the cited claim; page numbers were not available in our copy. (LLM, conf=0.76)
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“A systematic theory of characteristic classes begins with the universal bundle theorem.It says that with a given compact manifold M as base space the fiber bundles with a structural group G (Lie group) are in one-one correspondence with the homotopy classes of mappings of M into a classifying space B G ; the latter depends only on G and on the dimension of M.”
§ X = Xi A * X + 7T2 A * 2 , > 9. Characteristic classes [12], [25], [64], [96].
What the sources say
- Could not verifycites [12] 12. M. F. Atiyah and I. M. Singer, The index of elliptic operators on compact mani- folds, Bull. Amer. Math. Soc. 69 (1963), 421-433. sourceExperimental — accuracy not yet measured
Theorem 2 (page unavailable) mentions the cohomology of a classifying space for G, but does not state the universal bundle theorem. Searches for the claimed one-to-one correspondence and its dependence on the dimension of M found no passage addressing either point. (LLM, conf=0.77)
- Not checked — no full text of the sourcecites [25] 25. A. Borel and J.-P. Serre, Groupes de Lie et puissances réduits de Steenrod, Amer. J. Math. 75 (1953), 409-448. source
- Not checked — no full text of the sourcecites [64] 64. N. J. Hicks, Notes on differential geometry, Math. Studies No. 3, Van Nos- trand, New York, 1965.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“T. Banchoff gave examples of two polyhedral surfaces of genus one in euclidean three-space E z such that their corresponding faces are congruent, but they do not differ by a motion or a reflection of E z [14].”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Could not verifycites [14] 14. M. Berger, Sur quelques variétés riemanniennes suffisamment pincées, Bull. Soc. Math. France 88 (1960), 57-71. sourceExperimental — accuracy not yet measured
The Introduction states a theorem about pinched Riemannian manifolds, and the passages on closed geodesics concern those manifolds. Searches for Banchoff and for polyhedral surfaces with congruent faces found no passage addressing the attributed examples. (LLM, conf=0.76)
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Could not verify
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Then a study of the multiplicative properties of harmonic forms gives the theorem: r{M) = hi -h 2 .”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Let M have a holonomic G-structure.Then J c VA = AiV.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 2. G = SO(p)XSO(n-p), l^p^n-l.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: unclear — It is unclear why the paper says it holds.
In the paper
“Again by considering the second variation of arc length Myers proved the following theorem [98]: A complete riemannian manifold with Ricci curvature = c ( = constant) > 0 is compact.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
What the sources say
- Not matchedcites [98] 98. P. Liebermann, Problèmes d'équivalence relatifs à une structure presque com- plexe sur une variété à quatre dimensions, Acad. Roy. Belg. Bull. Cl. Sci. (5) 36 (1950), 742-755.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In the case of the frame bundle of a manifold this implies that the bundle space is topologically parallelisable, i.e., there are n 2 +n linear differential forms in the space, which are everywhere linearly independent.”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“A complete riemannian manifold with sectional curvature S 0 has a universal covering space homeomorphic to the euclidean space.”
§ THE GEOMETRY OF G-STRUCTURES 1 > 2. Riemannian structure.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Much work has been done recently on complete riemannian manifolds with sectional curvature bounded below by a positive constant.Such a manifold is always compact.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
None of the sources cited for this claim have been checked yet.
In the paper
“By Hodge's harmonic forms a necessary condition is that the first Betti number b l of M is ^ 1.”
§ THE GEOMETRY OF G-STRUCTURES 1 > 1. Introduction.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Probably not a substantial claim. 88
- The quote only partly states this claim. 2
- It may state two separate claims as one. 28
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“The Euler-Poincaré characteristic of a compact orientable riemannian manifold M of even dimension n = 2m is given by the Gauss-Bonnet formula [4], [39],”
§ THE GEOMETRY OF G-STRUCTURES 1 > 2. Riemannian structure.
What the sources say
- Could not verifycites [4] 4. W. Ambrose and I. M. Singer, A theorem on holonomy, Trans. Amer. Math. Soc. 75 (1953), 428-443. sourceExperimental — accuracy not yet measured
The Notation section discusses Riemannian curvature and the holonomy group, but does not relate curvature to the Euler–Poincaré characteristic. Searches of our full-text copy for Gauss–Bonnet and Euler characteristic found no passage stating the claimed formula. (LLM, conf=0.76)
- Not matchedcites [39] 39. Thone, Liège, 1953.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The cited sources that could be checked couldn’t confirm or dispute this claim.
In the paper
“In high dimensions Frölicher and Nijenhuis proved that the complex structure on a compact complex manifold M is rigid, if H l (M, ®)=0, where H X (M, ©) is the one-dimensional cohomology group of M over the sheaf of germs of holomorphic vector fields (cf.§8) [53].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Could not verifycites [53] 53. T. Frankel, Manifolds with positive curvature, Pacific J. Math. 11 (1961), 165- 174. sourceExperimental — accuracy not yet measured
The introduction and §4 discuss positive curvature and Kähler surfaces; §4 includes a cohomology vanishing result, but not the claimed rigidity criterion. Searches for Frölicher and Nijenhuis and for rigidity under H¹(M,Θ)=0 found no passage addressing the claim. Page numbers were not available in our copy. (LLM, conf=0.78)
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Could not verify
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“One sees that X is the gaussian curvature of the riemannian structure.”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
plaincorrelational- Asserted: fails — The authors may not put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The authors may not put it forward as true. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. The quote only partly states this claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Moreover, if Q is the multiplication by an invariant exterior differential form, we have also ÇA=A<2.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 2. G = SO(p)XSO(n-p), l^p^n-l.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
The quote only partly states this claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In fact, the complex projective space with the usual elliptic hermitian metric has sectional curvatures R satisfying the inequalities A/4t^R ^Ay A being a positive constant.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“According to a theorem of H. C. Wang [132], these, together with the spherical and elliptic spaces, are the only compact and connected two-point homogeneous spaces.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
What the sources say
- Not matchedcites [132]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Parallelism is at the basis of the notion of curvature, for geometrically curvature measures the dependence of parallelism on the curve.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For high dimensions constancy of the sectional curvature will lead to the space forms and it is known that not every manifold has a riemannian metric of constant curvature.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
boosteddirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Rauch proved the following theorem : A complete simply connected a-pinched riemannian manifold with a = 0.75 is homeomorphic to the sphere,”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“When the riemannian manifold is a surface in ordinary euclidean space, the parallelism along a curve is obtained by taking the tangent developable surface and rolling it on a plane.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“A result in this direction is the following theorem of Yamabe [l40]: A compact riemannian manifold of dimension ^3 is conformally equivalent to one of constant scalar curvature.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
What the sources say
- Not matchedcites [l40]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“As an Einstein metric on a three-dimensional manifold is necessarily of constant curvature, the problem has a bearing on the Poincaré hypothesis that a compact simply connected three-dimensional manifold is homeomorphic to the sphere.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper may give no reason why it holds.
In the paper
“The statement is true for w = 4 [42] and for the case that M has constant sectional curvature.”
§ THE GEOMETRY OF G-STRUCTURES 1 > ij '
What the sources say
- Not checked yetcites [42] 42. Pseudo-groupes continus infinis. Geometrie différentielle, Colloquium, Strasbourg, pp. 119-136, 1953, Centre National de la Recherche Scientifique, Paris, 1953.
plainn = 4- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“An 0(n)-structure is nothing else but a riemannian structure.”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“It follows that its universal covering manifold is also compact and hence that its fundamental group is finite.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“The homeomorphism theorem of Klingenberg and Berger was improved by D. Gromoll [57] and E. Calabi to a diffeomorphism theorem : There exists a number ô n depending onn (0<8 n < 1, lim^,» ô n = 1) such that if a simply connected riemannian manifold M of dimension n is 8 n -pinched, then M is diffeomorphic to the n-sphere with its usual differentiable structure.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
What the sources say
- Not checked — no full text of the sourcecites [57] 57. M. Goto, On algebraic homogeneous spaces, Amer. J. Math. 76 (1954), 811-818. source
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The classical example of a connection is the parallelism of Levi-Civita in riemannian geometry.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The curvature forms define the local properties of a connection and the holonomy groups iJ& its global property.”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“Ambrose and Singer showed how the Lie algebra of H& can be determined from the curvature forms [5].”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
What the sources say
- Not checked — no full text of the sourcecites [5] 5. A. Andreotti, On the complex structures of a class of simply-connected manifolds. Algebraic geometry and topology (Lefschetz Jubilee Volume), Princeton Univ. Press, Princeton, N. J., 1957, pp. 53-77. source
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For n = 2rn consider GL(m, C) as a subgroup of GL(w, R).Then a GL(m, C)-structure is what is called an almost complex structure.”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Synge's lemma says the following: Let M be a simply connected compact even-dimensional riemannian manifold whose sectional curvature is >0.Let g be a closed geodesic of minimum length among the closed geodesies of M. Then there is a family of closed curves converging toward g, which are all shorter than g.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For a compact two-dimensional manifold this will be one of constant gaussian curvature; the curvature is positive for the sphere, zero for the torus, and negative for a surface of genus >1.”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“Andreotti and Frankel proved that if a compact Kàhler manifold of complex dimension 2 has positive sectional curvature, it is complex analytically equivalent to the complex projective plane [52].”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
What the sources say
- Not checked yetcites [52] 52. Thone, Liège, 1951. 51. 1? $ ur i a théorie des variétés feuilletées, Univ. Roma 1st. Naz. Alta Rend Mat. e Appl. (5) 10 (1951), 64-82.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“A compact riemannian manifold with sectional curvature <0 has a fundamental group which cannot be abelian and of which every abelian subgroup is cyclic.”
§ THE GEOMETRY OF G-STRUCTURES 1 > 2. Riemannian structure.
What the sources say
- Not matchedcites [112]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“It applies to the high-dimensional Betti numbers of riemannian manifolds and, more importantly, to the derivation of criteria (in terms of curvature properties) for the vanishing of more general cohomology groups (cf.§8).”
§ THE GEOMETRY OF G-STRUCTURES 1 > •a
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“EXAMPLE 7. G is the group of all matrices of order n ( è 3) of the form X^4, X>0, where A is orthogonal.This is the conformai structure, to which a normal conformai connection, uniquely determined, can be attached.”
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
In the paper
“The problem of equivalence was solved by Libermann for m = 2 [93].”
What the sources say
- Not matchedcites [93] 93. ew proof for the existence of locally complete families of complex struc- tures, pp. 142-154, Proc. Conf. Comp. Anal., Minneapolis, 1964, Springer, Berlin, 1965.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The structure is given by (0 1 ) 2 + (0 2 ) 2 , determined up to a positive factor.It is therefore the two-dimensional conformai structure.”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Then a G-structure on M defines an orientation of M and a riemannian structure, to be called the associated riemannian structure.”
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may state two separate claims as one.
In the paper
“In particular, Kaplan proved that to a leaved structure in the plane there exists a continuous realvalued function in the plane, which has neither a maximum nor a minimum and which is constant on the leaves.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [69] 69. W. Kaplan, Regular curve-families filling the plane, I, Duke Math. J. 7 (1940), 154-185;
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“This means that the manifold has a field of ^-dimensional plane elements parallel with respect to the Levi-Civita connection.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 2. G = SO(p)XSO(n-p), l^p^n-l.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“This is essentially the Kàhler structure on a complex manifold in its real formulation.”
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“EXAMPLE 6. G -0(n).This is the riemannian structure where the Levi-Civita connection can be attached.”
plaincorrelationaln = 2- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“They correspond respectively to the cases that the two G-structures are locally inequivalent or equivalent.”
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“A notable example of a leaved structure of codimension one on the three-sphere S 3 was given by G. Reeb [116].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [116]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“The fundamental theorem of Denjoy says that (under sufficient smoothness hypotheses) if there is no closed leaf, then every leaf is ergodic.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Denjoy
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Such a G-structure is called holonomic, if it satisfies one of the following three conditions, which are equivalent [43], [84], [135]:”
What the sources say
- Not matchedcites [43] 43. f On curvature and characteristic classes of a Riemann manifold, Abh. Math. Sem. Univ. Hamburg 20 (1955), 117-126.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [84] 84. f On a differential geometric method in the theory of analytic stacks, Proc. Nat. Acad. Sci. U.S.A. 39 (1953), 1268-1273.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [135]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. It may state two separate claims as one.
- Not matched
In the paper
“A consequence of the Poincaré-Bendixon theory says that the leaves go to infinity in both directions.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Poincaré-Bendixon
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“The Den joy-Schwartz theorem says that if a compact connected two-dimensional surface is under the action of the real line, then a minimal set is: (1) either a single point; (2) or a closed curve; (3) or the whole surface, the last case happening only for the torus.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Denjoy
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites Schwartz
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“No connection can be introduced, which will depend on this structure alone; for otherwise it would mean that the local homeomorphisms leaving the conformai structure invariant would depend on a finite number of constants.”
§ THE GEOMETRY OF G-STRUCTURES 1 > This formula gives the relation between du, Ov in UC\ V.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“Peixoto proved that the structurally stable vector fields on a compact two-dimensional surface are open and dense in the set of all vector fields on the surface [109 ].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not checked yetcites [109] 109. Selecta Her- mann Weyl, pp. 148-178, Birkhâuser Verlag, Basel, 1956. 139. W. T. Wu, Sur les classes caractéristiques des structures fibrées sphériques, Actualités Sci. Indust., Hermann, Paris, 1952. 140. H. Yamabe, On deformation of riemannian structures on compact manifolds, Osaka Math. J. 12 (1960), 21-37. 141. K. Yano and S. Bochner, Curvature and Betti numbers, Annals of Mathe- matics Studies No. 32, Princeton Univ. Press, Princeton, N. J., 1953.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Thus S 2 XS 2 is a simply connected manifold which admits an infinite number of complex structures.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“Blanchard proved that if a compact Kâhler manifold is blown up along a nonsingular submanifold, the resulting manifold is again Kâhlerian [23].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [23] 23. W. Blaschke and G. Bol, Geometrie der Gewebe, Springer, Berlin, 1938.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Andreotti proved that there are no other algebraic structures [6].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [6] 6. A. Andronov and L. Pontrjagin, Systèmes grossiers, C.R. Acad. Sci. Paris 14 (1937), 247-250.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Riemann's mapping theorem says that S 2 has a uniquely determined complex structure.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Riemann
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Andreotti also proved that there is only one Kàhler structure on P 2 (the standard one); Hirzebruch and Kodaira proved that there is only one Kâhler structure on P m for odd m [67].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [67] 67. F. Hirzebruch and K. Kodaira, On the complex projective spaces, J. Math. Pures Appl. 36 (1957), 201-216.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
In the paper
“This was generalized by Lima and H. Rosenberg to the result that the rank of a compact simply connected manifold of dimension n is at most n -2.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Lima and H. Rosenberg
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“If a manifold has a leaved structure of dimension p, it must have a G-structure, with G = GL(p, R).”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Hence H°(M, S) is the group of all global sections of S.”
§ X = Xi A * X + 7T2 A * 2 , > 0-~>R~>S-+T->0
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“The crowning achievement is the theorem of M. Kuranishi, which says that, for any compact complex manifold, there exists a universal family of deformations”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Kuranishi
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For m> 1 a Hopf manifold cannot be given a Kâhler structure and is therefore not algebraic, because the latter must have its second Betti number ^1.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: unclear — It is unclear whether the paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“Compact submanifolds of P m are, by a theorem of Chow, the same as the nonsingular algebraic varieties.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Chow
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim have been checked yet.
In the paper
“Goto, Borel, and Weil proved that it is an algebraic variety and Goto proved that it is rational [56], [124].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not checked — no full text of the sourcecites [56] 56. S. I. Goldberg, Curvature and homology, Academic Press, New York, 1962.
- Not matchedcites [124]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
In the paper
“If G is a connected compact Lie group and T a maximal toroid of G, Borel observed that G/T has a complex structure [25].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not checked — no full text of the sourcecites [25] 25. A. Borel and J.-P. Serre, Groupes de Lie et puissances réduits de Steenrod, Amer. J. Math. 75 (1953), 409-448. source
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“In fact, Smale gave examples of manifolds in which the structurally stable vector fields are not dense in the set of all vector fields.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites Smale
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“Lima proved that S z has rank one [95].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [95] 95. 1 Introduction to differentiable manifolds, Interscience, New York, 1962.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Let”
plain- Asserted: fails — The authors may not put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The authors may not put it forward as true. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“Among its consequences is the theorem that the closure of the set of all nonwandering points is the closure of the set of all closed trajectories.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [113]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“If 5 is the sheaf of germs of mappings into a topological group Y (F not necessarily abelian), H l (M, S) is the set of all equivalence classes (in the sense of bundles) of bundles with the group V.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 4. Meaning of H l (M, S).
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Wang determined all the compact homogeneous complex manifolds with a finite fundamental group, among which are the simply connected even-dimensional compact Lie groups [133].”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
What the sources say
- Not matchedcites [133]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Topologically it is homeomorphic to S 1 XS 2m ~l.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“A homomorphism of sheaves S-+S' induces a homomorphism H q (M, S)^>H q (M, S') of the corresponding cohomology groups.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“An orientable manifold of two (real) dimensions always has a complex structure.”
§ X = Xi A * X + 7T2 A * 2 , > EXAMPLE 1 (CONTINUED).
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“The Atiyah-Singer theorem says that it{D) =i a (D).”
§ X = Xi A * X + 7T2 A * 2 , > The Atiyah-Singer theorem says that it{D) =i a (D).
What the sources say
- Not matchedcites Atiyah-Singer
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“(2) The second Cousin problem, the problem whether a given divisor is the divisor of a meromorphic function, has a solution on a Stein manifold if H*(M, Z)=0.”
§ X = Xi A * X + 7T2 A * 2 , > Stein manifolds.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“(3) Every meromorphic function on a Stein manifold is the quotient of two holomorphic functions.”
§ X = Xi A * X + 7T2 A * 2 , > Stein manifolds.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“Actually Serre's duality theorem is valid for noncompact complex manifolds; we state it for compact manifolds for simplicity.”
§ X = Xi A * X + 7T2 A * 2 , > Compact complex manifolds.
What the sources say
- Not matchedcites [122]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“the classical Riemann-Roch theorem is given by the formula ( 51) 1(D) = d(D) -g + i + 1, where g is the genus of M and i à 0 is the index of specialty of D.”
§ X = Xi A * X + 7T2 A * 2 , > Divisibility.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Serre's duality theorem [122] says that the vector spaces H«(M, A r (W)) and H m ~q(M, A m ~r(W*)) are in duality and hence have the same dimension.”
§ X = Xi A * X + 7T2 A * 2 , > Compact complex manifolds.
What the sources say
- Not matchedcites [122]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
In the paper
“A theorem of Weil states that the cohomology class determined by F($) is independent of the choice of the connection and depends only on the bundle [40 ].”
§ X = Xi A * X + 7T2 A * 2 , > Let x 0 be a nonzero vector through the origin of E 9+N (R) and perpendicular to E q+N ~1(R).
What the sources say
- Not checked — no full text of the sourcecites [40] 40. S. S. Chern, On the curvatura intégra in a riemannian manifold, Ann. of Math. 46 (1945), 674-684. source
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“By studying this mapping h one derives easily that a necessary condition for the reduction of the G-bundle to a G'-bundle is that the Euler class should be zero.(In this case it can be proved that the condition is also sufficient.)”
§ X = Xi A * X + 7T2 A * 2 , > Let x 0 be a nonzero vector through the origin of E 9+N (R) and perpendicular to E q+N ~1(R).
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
In the paper
“When M is compact, Cartan and Serre proved that H q (M, S) is of finite dimension for any analytic coherent sheaf 5.”
§ X = Xi A * X + 7T2 A * 2 , > Compact complex manifolds.
What the sources say
- Not matchedcites Cartan and Serre
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Then the Riemann-Roch theorem can be written (54) dim H°(M, Q(D)) -dim E l (M, ti(D)) = d -g + 1.”
§ X = Xi A * X + 7T2 A * 2 , > Divisibility.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Conversely, it was proved by Kodaira and Spencer that every line bundle over a nonsingular algebraic variety is defined by a divisor.”
§ X = Xi A * X + 7T2 A * 2 , > Divisibility.
What the sources say
- Not matchedcites Kodaira and Spencer
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
boostedcorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim have been checked yet.
In the paper
“He, and later Akizuki and Nakano, gave sufficient conditions of a differential-geometric nature for the vanishing of the cohomology groups H q (M, A P (W)) (for the particular case of a line bundle W) [2], [80 ].”
§ X = Xi A * X + 7T2 A * 2 , > Compact complex manifolds.
What the sources say
- Not checked — no full text of the sourcecites [2] 2. A. D. Alexandrow, Die innere Geometrie der konvexen Flâchen, Akademie Verlag, Berlin, 1955. source
- Not matchedcites [80] 80. IV, J. Math. Mech. 15 (1966), 163-175;
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Kodaira's theorem says that if F is a Kâhler manifold whose fundamental two-form has rational periods, then there exists a holomorphic mapping/: V->P m which is one-to-one.”
§ X = Xi A * X + 7T2 A * 2 , > 11. Holomorphic mappings of complex analytic manifolds [l], [45], [137].
What the sources say
- Not matchedcites [81] 81. V, (to appear).
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“A classical relation of this nature is the Riemann-Hurwitz formula: Let V, M be Riemann surfaces with Euler characteristics x(^0> x(^f) respectively.Let ƒ : V-+M be a holomorphic mapping of degree d.Then we have (69) x(V) + w = d x (M), where w is the index of ramification, i.e., the sum of the orders of the points of ramification.”
§ X = Xi A * X + 7T2 A * 2 , > 11. Holomorphic mappings of complex analytic manifolds [l], [45], [137].
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Applying the results of Grothendieck and Thorn, I. R. Porteous [ill] derived relations between the characteristic classes for the following cases: (a) dilatations; (b) ramified coverings with singularities of a relatively simple type.”
§ X = Xi A * X + 7T2 A * 2 , > 11. Holomorphic mappings of complex analytic manifolds [l], [45], [137].
What the sources say
- Not matchedcites [111]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“A complete minimal submanifold in E m is never compact.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“For a C^-riemannian manifold V of dimension n Nash's theorem, improved by N. H. Kuiper, says that V can be CMsometrically imbedded in an euclidean space of dimension 2n+1 [85], [99].”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not matchedcites [85] 85. On Kdhler varieties of restricted type, Ann. of Math. 60 (1954), 28-48.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [99] 99. A. Lichnerowicz, Théorie globale des connexions et des groupes d'holonomie, Edizioni Cremonese, Rome, 1957.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Cartan's determination of the simple infinite pseudo-groups (over the complex field) has not been completely verified”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For example, Nash proved that a compact two-dimensional riemannian manifold can be isometrically imbedded in an euclidean space of dimension 17.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“If an isometry is present, the basic local invariant is the second fundamental form, which is a quadratic differential form, with value in the normal bundle.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
None of the sources cited for this claim have been checked yet.
In the paper
“A. D. Alexandrow proved that two tightly imbedded analytic compact surfaces of genus one in euclidean three-space E z differ by an isometry of E z , if they are isometric.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“If V and M are real analytic riemannian manifolds of dimensions n and tn = n(n + l)/2 respectively, then the theorem of Janet-Cartan says that there is locally an isometric mapping of V into M [35].”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not matchedcites [35] 35. Oeuvres complètes, Partie III, pp. 1091-1097).
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
None of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“Nash's imbedding theorem is still true, if more smoothness is imposed, but the dimension of the receiving euclidean space will have to be higher and the proof is more difficult [89], [97], [lOO].”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not matchedcites [89] 89. V. Yoh Kraines, Topology of quaternionic manifolds, Bull. Amer. Math. Soc. 71 (1965), 526-527.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [97] 97. H. Le vine, A theorem on holomorphic mappings into complex projective space, Ann. of Math. 71 (1960), 529-535.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [lOO]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The study of the zeroes of a section or of points at which several sections are linearly dependent is closely related to the value distribution problem and is in many cases equivalent to it.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The second fundamental form is related to the curvature forms of both riemannian manifolds by the (generalized) Gauss equations, but until now the exact relationship (a purely algebraic problem) has not been sufficiently clarified.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: fails — The paper may give no reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. The paper may give no reason why it holds.
In the paper
“Much sharper results generalizing Picard's theorem were obtained by R. Nevanlinna in the form of his defect relations.”
§ X = Xi A * X + 7T2 A * 2 , > II. Equidistribution.
What the sources say
- Not matchedcites Nevanlinna
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
In the paper
“From it an equidistribution theorem was derived, but much remains to be done.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not checked — no full text of the sourcecites [30] 30. E. Calabi, On compact riemannian manifolds with constant curvature. I, pp. 155-180, Differential geometry, Proc. Sympos. Pure Math., Vol. 3, Amer. Math. Soc, Providence, R. I., 1961. source
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“A classical theorem of Cohn-Vossen, complemented by a remark of K. Voss, says that a closed convex surface (i.e., Gaussian curvature ^0) in an euclidean threespace E z is completely determined by its metric, modulo the isometriesof E z [131 ].”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not matchedcites [131]
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
boosteddirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“For a given compact manifold the minimum of the total curvatures for all possible immersions is a differential topological invariant and is an integer.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“In fact, the classical example of Fatou and Bieberbach is a holomorphic mapping/: JE 2 ->E 2 , such that the Jacobian determinant is identically equal to one, while E^-fiE^) contains an open subset.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“To remove the assumption of analyticity Nirenberg has to put in some additional hypotheses [105], so that the question whether the analyticity assumption in Alexandrow's theorem could be removed remains unsettled.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not checked — no full text of the sourcecites [105] 105. H. E. Rauch, A contribution to differential geometry in the large, Ann. of Math. 54(1951), 38-55. 115. , Geodesies and curvature in differential geometry in the large, Yeshiva Univ., New York, 1959. 116. G. Reeb, Sur certaines propriétés topologiques des variétés feuilletées, Actualités Sci. Indust. No. 1183, Hermann, Paris, 1952. 117. source
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it. It may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Among other results Kuiper also found an isometric imbedding of the hyberbolic plane as a closed subset in euclidean three-space.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
None of the sources cited for this claim have been checked yet.
In the paper
“Without analyticity this is a theorem of Newlander and Nirenberg, whose proof involves delicate considerations in partial differential equations”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“The famous theorem of Picard says that if ƒ is not a constant, the set Pi-f(Ei) cannot contain more than two points.”
§ X = Xi A * X + 7T2 A * 2 , > II. Equidistribution.
What the sources say
- Not matchedcites Picard
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“The affirmative answer to this for m = 1 is the classical Picard theorem.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“Chern and Lashof proved that a compact immersed submanifold in E m has total curvature ^2, and if it is equal to 2, it is a convex hypersurface imbedded in an euclidean space of one dimension higher [44].”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not matchedcites [44] 44. f Q n a generalization of Kâhler geometry, Algebraic geometry and topol- ogy (Lefschetz Jubilee Volume), Princeton Univ. Press, Princeton, N.J., 1957, pp. 103-121.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
It may state two separate claims as one.
- Not matched
None of the sources cited for this claim have been checked yet.
In the paper
“It says that a complete minimal surface in E z is a plane, if its image under the Gauss mapping omits an open subset of the Grassmann manifold (which in this case is the unit sphere).”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
In the paper
“For an irreducible linear group G, Kobayashi and Nagano found a necessary and sufficient condition for a G-structure to be of finite type in terms of their theory of filtered Lie algebras [77].”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
What the sources say
- Not matchedcites [77] 77. f o n filtered Lie algebras and geometnc structures. I, J. Math. Mech. 13 (1964), 875-908;
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
plaincorrelational- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“That this implies local flatness is an easy theorem in the real analytic case.”
§ X = Xi A * X + 7T2 A * 2 , > By imbedding
plaindirect- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: fails — The paper’s conclusions may not depend on it.
- Based: passes — The paper gives a reason why it holds.
Probably not a substantial claim. The paper’s conclusions may not depend on it.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Rated minor: it would not touch a result — a value no result rests on, a p-value that stays on the same side of the significance level, or a conflict that is clerical, resolved elsewhere in the paper, or outside its own findings.
In the paper
§ X = Xi A * X + 7T2 A * 2 , > Compact complex manifolds.
“He, and later Akizuki and Nakano, gave sufficient conditions of a differential-geometric nature for the vanishing of the cohomology groups H q (M, A P (W)) (for the particular case of a line bundle W) [2], [80 ].”
§ X = Xi A * X + 7T2 A * 2 , > References
“2. A. D. Alexandrow, Die innere Geometrie der konvexen Flâchen, Akademie Verlag, Berlin, 1955.”
Citations
Cites
Foundations of Differential Geometry
Kobayashi, S., & Nomizu, K. (1963) · UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno · Cited by 6,175
Differential Geometry and Symmetric Spaces
Helgason, S. (2001) · American Mathematical Society eBooks · doi:10.1090/chel/341 · Cited by 3,009
The Topology of Fibre Bundles.
Steenrod, N. E. (1951) · Cited by 2,216
On the foundations of differential geometry
Rubio, R. G. (1964) · Časopis pro pěstování matematiky · doi:10.21136/cpm.1964.117506 · Cited by 2,021
Analytic Functions of Several Complex Variables.
Gray, J. W., Gunning, R. C., & Rossi, H. (1968) · American Mathematical Monthly · doi:10.2307/2313472 · Cited by 1,382
Lectures on Differential Geometry.
Vanstone, J. R., & Sternberg, S. (1966) · American Mathematical Monthly · doi:10.2307/2315376 · Cited by 1,207
Sur La Cohomologie des Espaces Fibres Principaux et des Espaces Homogenes de Groupes de Lie Compacts
Borel, A. (1953) · The Annals of Mathematics · doi:10.2307/1969728 · Cited by 986
Analytic Functions of Several Complex Variables
Gunning, R. C., & Rossi, H. (2009) · American Mathematical Society eBooks · doi:10.1090/chel/368 · Cited by 923
11. The Imbedding Problem for Riemannian Manifolds
Nash, J. (2002) · Princeton University Press eBooks · doi:10.1515/9781400884087-013 · Cited by 838
Complex Analytic Connections in Fibre Bundles
Atiyah, M. F. (1957) · Transactions of the American Mathematical Society · doi:10.1090/s0002-9947-1957-0086359-5 · Cited by 812
Research works printed but not linked: 26
- [6]6. A. Andronov and L. Pontrjagin, Systèmes grossiers, C.R. Acad. Sci. Paris 14 (1937), 247-250.
- [8]8. •, Some examples of complex manifolds, Bonn. Math. Schr. 6 (1958), 1-28.
- [11]11. 1 Charakteristiche Klassen und Anwendungen, Enseignement Math. 7 (1961), 188-213.
- [16]16. Les variétés riemanniennes dont la courbure satisfait certaines condi- tions, pp. 447-456, Proc. Internat. Congress Math., 1962.
- [18]18. L. Bers, Spaces of Riemann surfaces, pp. 349-361, Proc. Internat. Congress Math., 1958.
- [23]23. W. Blaschke and G. Bol, Geometrie der Gewebe, Springer, Berlin, 1938.
- [32]32. f L CS sousgroupes des groupes continus de transformations, Ann. Sci. École Norm Sup. Paris 25 (1908), 57-194 ( = Oeuvres complètes, Partie II, pp. 719- 856).
- [34]34. > s ur i a possibilité de plonger un espace riemannien donné dans un espace euclidien, Ann. Soc. Polon. Math. 6 (1927), 1-7 ( =
- [35]35. Oeuvres complètes, Partie III, pp. 1091-1097).
- [38]38. H. Cartan, Variétés analytiques complexes et cohomologie, Colloque tenu à Bruxelles, 1953, pp. 41-55;
- [42]42. Pseudo-groupes continus infinis. Geometrie différentielle, Colloquium, Strasbourg, pp. 119-136, 1953, Centre National de la Recherche Scientifique, Paris, 1953.
- [46]46. II, Michigan Math. J 5 (1958), 5-12.
- [52]52. Thone, Liège, 1951. 51. 1? $ ur i a théorie des variétés feuilletées, Univ. Roma 1st. Naz. Alta Rend Mat. e Appl. (5) 10 (1951), 64-82.
- [58]58. D. Gromoll, Differenzierbare Strukturen und Metriken positiver Krümmung auf Sphàren, Dissertation, Univ. of Bonn, Bonn, 1964.
- [61]61. Variétés feuilletées, Ann. Scuola Norm. Sup. Pisa. 16 (1962), 367-397.
- [66]66. Komplexe Mannigfalligkeiten, pp. 119-136, Proc. Internat. Congress Math., 1958.
- [70]70. II, Duke Math. J. 8 (1941), 11-46.
- [77]77. f o n filtered Lie algebras and geometnc structures. I, J. Math. Mech. 13 (1964), 875-908;
- [78]78. II, J. Math. Mech. 14 (1965), 513-521;
- [79]79. III, J. Math. Mech. 14 (1965), 679-706;
- [80]80. IV, J. Math. Mech. 15 (1966), 163-175;
- [85]85. On Kdhler varieties of restricted type, Ann. of Math. 60 (1954), 28-48.
- [87]87. Q n deformations of complex analytic structures. I, II, Ann. of Math. 67 (1958), 328-466;
- [88]88. III, Ann. of Math. 71 (1960), 43-76.
- [91]91. II, Indag. Math. 17 (1955), 683-689.
- [98]98. P. Liebermann, Problèmes d'équivalence relatifs à une structure presque com- plexe sur une variété à quatre dimensions, Acad. Roy. Belg. Bull. Cl. Sci. (5) 36 (1950), 742-755.
Cited by
Sorted by citations
On the existence of contact forms
Thurston, W. P. H., & Winkelnkemper, H. E. (1975) · Proceedings of the American Mathematical Society · doi:10.1090/s0002-9939-1975-0375366-7 · Cited by 247
Formes de Contact sur les Variétés de Dimension 3
Martinet, J. (1971) · Lecture notes in mathematics · doi:10.1007/bfb0068901 · Cited by 158
The Calabi–Yau conjectures for embedded surfaces
Colding, T., & Minicozzi, W. P. (2008) · Annals of Mathematics · doi:10.4007/annals.2008.167.211 · Cited by 148
“true. Their original form was given in 1965 in [Ca] where E. Calabi made the following two conjectures about minimal surfaces (they were also promoted by S.S. Chern at the same time; see page 212 of [Ch]): Conjecture 0.1. “Prove that a complete minimal hypersurface in Rn must be unbounded.” Calabi continued: “It is kn…”
ResultInfluentialExistence and classification of overtwisted contact structures in all dimensions
Borman, M. S., Eliashberg, Y., & Murphy, E. (2015) · Acta Mathematica · doi:10.1007/s11511-016-0134-4 · Cited by 134
Complex and quaternionic analyticity in chiral and gauge theories, I
Gürsey, F., & Tze, H. C. (1980) · Annals of Physics · doi:10.1016/0003-4916(80)90056-1 · Cited by 128
The classical theory of minimal surfaces
Meeks, W. H., & Pérez, J. (2011) · Bulletin of the American Mathematical Society · doi:10.1090/s0273-0979-2011-01334-9 · Cited by 123
Quaternionic structures on a manifold and subordinated structures
Alekseevsky, D. V., & Marchiafava, S. (1996) · Annali di Matematica Pura ed Applicata (1923 -) · doi:10.1007/bf01759388 · Cited by 111
Total bending of vector fields on Riemannian manifolds
Wiegmink, G. (1995) · Mathematische Annalen · doi:10.1007/bf01460993 · Cited by 103
Bryant, R. L., & Griffiths, P. (1995) · Duke Mathematical Journal · doi:10.1215/s0012-7094-95-07824-7 · Cited by 74
Geometrical theory of uniform Cosserat media
Epstein, M., & de León, M. (1998) · Journal of Geometry and Physics · doi:10.1016/s0393-0440(97)00042-9 · Cited by 68
Topology of almost contact manifolds
Blair, D. E., & Goldberg, S. I. (1967) · Journal of Differential Geometry · doi:10.4310/jdg/1214428098 · Cited by 66
Wood, J. W. (1969) · Annals of Mathematics · doi:10.2307/1970673 · Cited by 61
An inequality between the exterior diameter and the mean curvature of bounded immersions
Jorge, L. P., & Xavier, F. (1981) · Mathematische Zeitschrift · doi:10.1007/bf01218372 · Cited by 58
Shapes of embedded minimal surfaces
Colding, T., & Minicozzi, W. P. (2006) · Proceedings of the National Academy of Sciences · doi:10.1073/pnas.0510379103 · Cited by 55
A Survey on Classical Minimal Surface Theory
Meeks, W. H., & Pérez, J. (2012) · University lecture series · doi:10.1090/ulect/060 · Cited by 53
Density theorems for complete minimal surfaces in R^3Preprint
Alarcón, A., Ferrer, L., & Martín, F. (2006) · arXiv (Cornell University) · doi:10.48550/arxiv.math/0603737 · Cited by 43
“atural that the first examples of complete hyperbolic m inimal surfaces appeared as counterexamples to the Calabi-Yau conjectures, which original statement was given in 1965 by E. Calabi [2] (see also [3] and [25]). This author conjectured that “a complete minimal hypersurface in Rnmust be unbounded” , even more, “a co…”
BackgroundG-structures and material homogeneity
Elżanowski, M. Z., Epstein, M., & Śniatycki, J. (1990) · Journal of Elasticity · doi:10.1007/bf00054801 · Cited by 41
“PROPOSITION 5. The transversely isotropic uniform elastic structure is locally homogeneous (integrable) if and only if its associated Riemannian structure is locally flat, and the intrinsic vector field e is covariantly constant (holonomic structure [ 11 ]) with respect to the associated Levi-Civita connection.”
BackgroundStructures On Differentiable Manifolds
Shirokov, A. P. (1971) · Springer eBooks · doi:10.1007/978-1-4684-3306-7_4 · Cited by 39
Grove, K. (1987) · Lecture notes in mathematics · doi:10.1007/bfb0078613 · Cited by 37
The mean curvature of cylindrically bounded submanifolds
Alı́as, L. J., Bessa, G. P., & Dajczer, M. (2009) · Mathematische Annalen · doi:10.1007/s00208-009-0357-1 · Cited by 36
“olds with sufficiently small mean curvature. Mathematics Subject Classification (2000): 53C40, 53C42 1 Introduction The Calabi problem in its original form, presented by Calabi [3] and promoted by Chern [4] about the same time, consisted on two conjectures about Euclidean minimal hypersurfaces. The first conjecture is tha…”
BackgroundDifferential inequalities on complete Riemannian manifolds and applications
Karp, L. (1985) · Mathematische Annalen · doi:10.1007/bf01455859 · Cited by 35
“The question of Calabi (see [10]) and Chern [ 8 ] as to whether or not there exist bounded minimal submanifolds in R ~ remains open in the case of codimension one, and the results of this paper are the most general known for arbitrary codimension.”
BackgroundBranched covers and contact structures
Gonzalo, J. (1987) · Proceedings of the American Mathematical Society · doi:10.1090/s0002-9939-1987-0902554-9 · Cited by 34
“In 1966 Chern [3] posed the question of the existence of a contact form on S1 x S2 # RP3.”
BackgroundConvex hulls of complete minimal surfaces
Xavier, F. (1984) · Mathematische Annalen · doi:10.1007/bf01451417 · Cited by 34
Almost Complex and Almost Product Einstein Manifolds from a Variational PrinciplePreprint
Borowiec, A., Ferraris, M., Francaviglia, M., et al. (1996) · Cited by 34
09 Generalized Contact StructuresPreprint
Poon, Y. S. (2009) · Cited by 34
Homogeneity without uniformity: towards a mathematical theory of functionally graded materials
Epstein, M., & de León, M. (2000) · International Journal of Solids and Structures · doi:10.1016/s0020-7683(99)00309-1 · Cited by 26
“This reduction, consisting of all admissible frames attached at each point of the body, is itself a principal bundle or, more speci®cally, a G-structure (Bernard, 1960; Chern, 1966), whose structural group is the normalizer N0.”
BackgroundAlmost-complex and almost-product Einstein manifolds from a variational principle
Borowiec, A., Ferraris, M., Francaviglia, M., et al. (1999) · Journal of Mathematical Physics · doi:10.1063/1.532899 · Cited by 26
“ar X iv :d gga ∗On leave from the Institute of Theoretical Physics, University of Wroc law, pl. Maksa Borna 9, 50-204 WROC LAW (POLAND), E-mail: borow@ift.uni.wroc.pl †Permanent address: Steklov Mathematical Institute, Russian Academy of Sciences, Vavilov St. 42, GSP–1, 117966 MOSCOW (RUSSIA).”
BackgroundImmersions of bounded mean curvature
Hasanis, T., & Koutroufiotis, D. (1979) · Archiv der Mathematik · doi:10.1007/bf01222742 · Cited by 24
𝐺-foliations and their characteristic classes
Kamber, F. W., & Tondeur, P. (1978) · Bulletin of the American Mathematical Society · doi:10.1090/s0002-9904-1978-14546-7 · Cited by 21
Vanishing theorems in affine, Riemannian, and Lorentz geometries
Stepanov, S. E. (2007) · Journal of Mathematical Sciences · doi:10.1007/s10958-007-0024-6 · Cited by 20
Zeta functions on a product of Einstein manifolds, and the multiplicative anomaly
Bytsenko, A. A., & Williams, F. L. (1998) · Journal of Mathematical Physics · doi:10.1063/1.532371 · Cited by 20
Singular foliations for M-theory compactification
Babalic, E. M., & Lazaroiu, C. I. (2015) · Journal of High Energy Physics · doi:10.1007/jhep03(2015)116 · Cited by 19
“It is such concepts, rather than the classical concept of G structures [43], which provide the language appropriate for giving globally valid descriptions of the most general flux compactifications.”
BackgroundDensity Theorems for Complete Minimal Surfaces in $${\mathbb{R}}^{3}$$
Alarcón, A., Ferrer, L., & Martín, F. (2008) · Geometric and Functional Analysis · doi:10.1007/s00039-008-0650-2 · Cited by 19
Split structures in general relativity and the Kaluza–Klein theories
Gladush, V. D., & Konoplya, R. A. (1999) · Journal of Mathematical Physics · doi:10.1063/1.532697 · Cited by 19
Prolongations of G-Structures to Tangent Bundles
Morimoto, A. (1968) · Nagoya Mathematical Journal · doi:10.1017/s002776300002660x · Cited by 18
The Calabi-Yau conjectures for embedded surfacesPreprint
Colding, T., & Minicozzi, W. P. (2004) · arXiv (Cornell University) · doi:10.48550/arxiv.math/0404197 · Cited by 18
“true. Their original form was given in 1965 in [Ca] where E. Calabi made the following two conjectures about minimal surfaces (they were also promoted by S.S. Chern at the same time; see page 212 of [Ch]): Conjecture 0.1. “Prove that a complete minimal hypersurface in Rn must be unbounded.” Calabi continued: “It is kn…”
ResultInfluentialSpin(7)-manifolds in compactifications to four dimensions
Graña, M., Shahbazi, C. S., & Zambon, M. (2014) · Journal of High Energy Physics · doi:10.1007/jhep11(2014)046 · Cited by 17
“The supersymmetry equations impose topological as well as differential conditions on the space-time manifold that can be nicely codified using the different tools existing in differential geometry, and in particular, the notion of topological and geometric G-structures [5].”
BackgroundLie algebroids and the geometry of off-shell BRST
Ciambelli, L., & Leigh, R. G. (2021) · Nuclear Physics B · doi:10.1016/j.nuclphysb.2021.115553 · Cited by 1
Robinson, I., & Trautman, A. (1985) · Letters in Mathematical Physics · doi:10.1007/bf00398155 · Cited by 14
“Go-structure [ 8 ], i.e., a restriction P of the bundle of linear frames of M to the group Go. To alleviate the language, we assume these bundles to be trivial.”
BackgroundConstant Mean Curvature Surfaces
Oprea, J. F. (2007) · American Mathematical Society eBooks · doi:10.1090/clrm/059/04 · Cited by 14
Prolongations of G-Structures to Tangent Bundles of Higher Order
Morimoto, A. (1970) · Nagoya Mathematical Journal · doi:10.1017/s002776300001360x · Cited by 13
THE EXTERIOR DIAMETER OF AN IMMERSED RIEMANNIAN MANIFOLD
Aminov, J. A. (1973) · Mathematics of the USSR-Sbornik · doi:10.1070/sm1973v021n03abeh002027 · Cited by 13
Product Einstein Manifolds, Zeta-Function Regularization and the Multiplicative Anomaly
Bytsenko, A. A., & Williams, F. L. (1997) · ScholarWorks@UMassAmherst (University of Massachusetts Amherst) · doi:10.48550/arxiv.hep-th/9706120 · Cited by 13
An estimate for the sectional curvature of cylindrically bounded submanifolds
Alı́as, L. J., Bessa, G. P., & Montenegro, J. F. (2012) · Transactions of the American Mathematical Society · doi:10.1090/s0002-9947-2012-05439-0 · Cited by 12
“ally bounded submanifold. immersed in Rn and having 2 (or more) bounded coordinates, showing that any possible counterexample to a conjecture of Calabi on complete minimal hypersurfaces [3] (see also [6]) cannot be proper. Our main result here deals with the sectional curvature of such submanifolds and it can be state…”
BackgroundAbout Cartan geometrization of non-holonomic mechanics
Tavares, J. N. (2002) · Journal of Geometry and Physics · doi:10.1016/s0393-0440(02)00118-3 · Cited by 12
“In this paper we have tryed instead to follow closely the two key ideas of Cartan’s approach to geometric structures, namely his equivalence method, or in modern terms the geometry of G-structures (see [ 8 ], [10], [20]), which hopefully seems the strongest way to treat the geometric structure behind non holonomic sys…”
Method(Co)bordism Groups in Quantum PDEs
Prástaro, A. (2000) · Acta Applicandae Mathematicae · doi:10.1023/a:1010685903329 · Cited by 11
Sur quelques propriétés des $G$-structures
Molino, P. (1972) · Journal of Differential Geometry · doi:10.4310/jdg/1214431168 · Cited by 11
A problem on the existence of an Einstein metric
Nagano, T. (1967) · Journal of the Mathematical Society of Japan · doi:10.2969/jmsj/01910030 · Cited by 11
Aminov, J. A. (1976) · Mathematics of the USSR-Sbornik · doi:10.1070/sm1976v029n03abeh003673 · Cited by 11
Local structure of generalized contact manifolds
Wade, A. (2011) · Differential Geometry and its Applications · doi:10.1016/j.difgeo.2011.11.009 · Cited by 10
Nonproper Complete Minimal Surfaces Embedded in H2 x R
Rodríguez, M. M., & Tinaglia, G. (2014) · International Mathematics Research Notices · doi:10.1093/imrn/rnu068 · Cited by 10
Dombrowski, P. (1990) · Vieweg+Teubner eBooks · doi:10.1007/978-3-322-80265-1_7 · Cited by 10
The Differential Geometry of Cosserat Media
Epstein, M., & de León, M. (1996) · Springer eBooks · doi:10.1007/978-94-009-0149-0_11 · Cited by 9
Algebraic reduction of the 't Hooft-Polyakov monopole to the Dirac monopole
Landi, G., & Marmo, G. (1988) · Physics Letters B · doi:10.1016/0370-2693(88)90088-3 · Cited by 9
The Calabi–Yau Property of Superminimal Surfaces in Self-Dual Einstein Four-Manifolds
Forstnerič, F. (2020) · Journal of Geometric Analysis · doi:10.1007/s12220-020-00455-6 · Cited by 8
Equivariant factorization homology of global quotient orbifolds
Weelinck, T. A. N. (2020) · Advances in Mathematics · doi:10.1016/j.aim.2020.107072 · Cited by 11
Hypercomplex structures on quaternionic manifolds
Alekseevsky, D. V., & Marchiafava, S. (1996) · Springer eBooks · doi:10.1007/978-94-009-0149-0_1 · Cited by 8
Non-rigidity theorems for tight polyhedra
Banchoff, T. (1970) · Archiv der Mathematik · doi:10.1007/bf01220940 · Cited by 8
BRST cohomology is Lie algebroid cohomology
Jia, W., Klinger, M. S., & Leigh, R. G. (2023) · Nuclear Physics B · doi:10.1016/j.nuclphysb.2023.116317 · Cited by 7
“This is the basis of the Chern-Weil homomorphism, which states that one can formulate cohomology classes in Ω(A) using such polynomials [43,44,68,69].”
MethodStructures on differentiable manifolds
Shirokov, A. P. (1975) · Journal of Mathematical Sciences · doi:10.1007/bf01084050 · Cited by 7
Quaternionic Transformations of a Non-Positive Quaternionic Kähler Manifold
Alekseevsky, D. V., & Marchiafava, S. (1997) · International Journal of Mathematics · doi:10.1142/s0129167x97000147 · Cited by 7
Existence and classification of overtwisted contact structures in all dimensionsPreprint
Borman, M. S., Eliashberg, Y., & Murphy, E. (2014) · arXiv (Cornell University) · doi:10.48550/arxiv.1404.6157 · Cited by 7
Govindarajan, S., Nelson, P., & Wong, E. (1992) · Communications in Mathematical Physics · doi:10.1007/bf02096587 · Cited by 7
Regular Cartan groupoids and longitudinal representations
Trentinaglia, G. (2018) · Advances in Mathematics · doi:10.1016/j.aim.2018.10.006 · Cited by 6
Parallel vector fields on manifolds with boundary
Percell, P. (1981) · Journal of Differential Geometry · doi:10.4310/jdg/1214435992 · Cited by 6
Spacetime G-structures I: Topological DefectsPreprint
Delphenich, D. H. (2003) · arXiv (Cornell University) · doi:10.48550/arxiv.gr-qc/0304016 · Cited by 6
“In a subsequent study, we shall also look at the matter of whether a connection defined on a G-structure is reducible to a connection that is defined on an H-structure (HBG), and try to give a continuum mechanical interpretation for the part of the connection that does not reduce as a measure of the deformation of the…”
BackgroundSome remarks on the geometry of superspace supergravity
Egeileh, M., & Chami, F. E. (2011) · Journal of Geometry and Physics · doi:10.1016/j.geomphys.2011.09.008 · Cited by 5
Classification of Material G-Structures
Marín, D., & de León, M. (2004) · Mediterranean Journal of Mathematics · doi:10.1007/s00009-004-0020-8 · Cited by 5
“n-dimensional manifold and denote by FMits linear frame bundle. FMis a principal bundle over Mwith projection π: FM−→ M and structure group Gl(n,R). A G-structure Pon Mis just a G-reduction of FM(see [1, 6, 8, 11, 16]). Assume that Gl(n,R) acts on a manifold Fon the left. Fixing an element u∈ Fwe denote by Gu the isot…”
BackgroundGil-Medrano, O., & Naveira, A. M. (1983) · Canadian Mathematical Bulletin · doi:10.4153/cmb-1983-061-8 · Cited by 5
Non-proper complete minimal surfaces embedded in H^2 x RPreprint
Rodríguez, M. M., & Tinaglia, G. (2012) · arXiv (Cornell University) · doi:10.48550/arxiv.1211.5692 · Cited by 5
“and Minicozzi showed that a complete minimal surface embedded in R3 with finite topology is proper. Thus showing that the Calabi-Yau conjectures hold for complete minimal surfaces embedded in R3, see [1, 2, 22]. Our helicoidal-Scherk examples show that Colding and Minicozzi’s result does not hold in H2 × R. Note that i…”
BackgroundOn Alternative Supermatrix ReductionPreprint
Duplij, S. A. (1995) · Cited by 5
Ebisu, H., Honda, M., Nakanishi, T., et al. (2025) · Physical review. D/Physical review. D. · doi:10.1103/4fz5-9298 · Cited by 4
Equivalence Conditions and Invariants for the General Form of Burgers’ Equations
Hesamiarshad, M. (2021) · Journal of Nonlinear Mathematical Physics · doi:10.1007/s44198-021-00022-9 · Cited by 4
“Later, Erhesmann and Chern introduced two important concepts, jets spaces and G-structures to the method of equivalence [2, 3].”
BackgroundThe equivalence problem for the Euler–Bernoulli beam equation via Cartan's method
Morozov, O. I., & Soh, C. W. (2008) · Journal of Physics A Mathematical and Theoretical · doi:10.1088/1751-8113/41/13/135206 · Cited by 4
On the existence of complete parallel vector fields
Welsh, D. J. (1986) · Proceedings of the American Mathematical Society · doi:10.1090/s0002-9939-1986-0835888-6 · Cited by 4
Hill, C. D., & Nurowski, P. (2021) · Abel symposia · doi:10.1007/978-3-030-81296-6_6 · Cited by 4
“So what is an ODE representing this class? The car structure (M,D= Dw ⊕Dg) defines a G-structure [11] on M, i.”
BackgroundEQUIVALENCE PROBLEM AND COMPLETE SYSTEM OF FINITE ORDER
Han, C.-K. (2000) · Journal of the Korean Mathematical Society · Cited by 4
General relativity and G-structures I. general theory and algebraically degenerate spaces
Boyer, C. P., & Plebanski, J. F. (1978) · Reports on Mathematical Physics · doi:10.1016/0034-4877(78)90037-x · Cited by 4
Parallel vector fields and the topology of manifolds
Karp, L. (1977) · Bulletin of the American Mathematical Society · doi:10.1090/s0002-9904-1977-14379-6 · Cited by 4
“Chern has shown that necessary conditions are that the first Betti number bx > 1 and that the second betti number b2 >bx - 1, and he has conjectured that these conditions are not sufficient [4].”
BackgroundCho, C.-K., & Han, C.-K. (2005) · Rocky Mountain Journal of Mathematics · doi:10.1216/rmjm/1181069706 · Cited by 4
An obstruction to certain non-integrable 2-plane fields
Buemi, R. P. (1977) · Topology · doi:10.1016/0040-9383(77)90015-5 · Cited by 4
Integral geometric Hopf conjecturesPreprint
Knill, O. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2001.01398 · Cited by 4
“An other approach to exclude cohomology is Bochner’s method using Hodge theory, analyzing harmonic k-forms and excluding them by excluding maxima of curvatures of such form as mentioned in [15].”
BackgroundMethodOn index expectation curvature for manifoldsPreprint
Knill, O. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2001.06925 · Cited by 4
“In the case of non-negative or non-positive curvature, it appeared in [6] and a talk of 1960 [9].”
BackgroundSutton, A. M. (1967) · Physical Review · doi:10.1103/physrev.160.1055 · Cited by 4
Contact Forms in Geometry and Topology
Pitiş, G. (2016) · Atlantis Press eBooks · doi:10.2991/978-94-6239-240-3_5 · Cited by 3
Another Look at the Evolution of Material Structures
Binz, E., & Elżanowski, M. Z. (2002) · Mathematics and Mechanics of Solids · doi:10.1177/1081286502007002561 · Cited by 3
NORMAL FORMS FOR ALMOST COMPLEX STRUCTURES
Tonejc, J. (2008) · International Journal of Mathematics · doi:10.1142/s0129167x08004674 · Cited by 3
The domain of definition of bundle representations
Sen, R. N. (1981) · Journal of Mathematical Physics · doi:10.1063/1.524876 · Cited by 3
On special geometry of the moduli space of string vacua with fluxesPreprint
Hou, B.-Y., Hu, S., & Yang, Y. (2008) · arXiv (Cornell University) · doi:10.48550/arxiv.0806.3393 · Cited by 3
The Killing tensors on an $n$ -dimensional manifold with $SL(n, R)$-structurePreprint
Stepanov, S. E., & Tsyganok, I. I. (2015) · arXiv (Cornell University) · doi:10.48550/arxiv.1509.02296 · Cited by 3
Lie groupoids and algebroids applied to the study of uniformity and homogeneity of material bodiesPreprint
Jiménez, V. M., de León, M., & Epstein, M. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1607.04043 · Cited by 3
“ivalent. 2. Principal bundles Firstly, we aregoingtopresent the classical notionofprincipal bundle and, as an example, we will introduce the concepts of frame bundle and G−structure (we remit to [2], [7], [22], [24], [43] and [8] for a detailed exposition about principal bundles, frame bundles and G−structures). Final…”
InfluentialSpectrum Estimates and Applications to Geometry
Bessa, G. P., Jorge, L. P., Mari, L., et al. (2016) · Atlantis Press eBooks · doi:10.2991/978-94-6239-240-3_7 · Cited by 2
Proper submanifolds in product manifolds
Qiu, H., & Xin, Y. (2012) · Chinese Annals of Mathematics Series B · doi:10.1007/s11401-011-0695-7 · Cited by 2
The 0-Homogenous Complete Lift Metric
Peyghan, E., Heydari, A., & Razavi, A. (2011) · Mediterranean Journal of Mathematics · doi:10.1007/s00009-011-0145-5 · Cited by 2
The embedded Calabi–Yau conjecture for finite genus
Meeks, W. H., Pérez, J., & R�os, A. (2021) · Duke Mathematical Journal · doi:10.1215/00127094-2020-0087 · Cited by 2
“njectures concerning the nonexistence of a complete, minimally immersed surface f: M!R3 whose image f(M) is constrained to be contained in a particular region of R3 (see Calabi [2], page 212 in Chern [3], problem 91 in Yau [45] and page 360 in Yau [46]). Calabi’s original conjectures [2] state that a complete, nonflat…”
BackgroundEllipticity of certain conformal immersions
Cho, C.-K., & Han, C.-K. (1999) · Kyoto journal of mathematics · doi:10.1215/kjm/1250517816 · Cited by 2
Manifolds obtained by soldering together points, lines, etcPreprint
Hélein, F. (2009) · arXiv (Cornell University) · doi:10.48550/arxiv.0904.4616 · Cited by 2
“ly on the holonomy group G of the connection ∇, which is a subgroup of GL(n,R). Then the connection ϕ∗∇ induced by the solder form has the same holonomy group and hence TM acquires a G-structure (see [2]). In the case where G is O(n) we recover the Riemannian geometry. 2.2 m<nand ϕis injective It means that each ϕ…”
BackgroundInfluentialEquivalence problems in projective differential geometry
Yang, K. (1984) · Transactions of the American Mathematical Society · doi:10.1090/s0002-9947-1984-0728715-1 · Cited by 2
Local Rigidity of Hyperspaces in Real Euclidean Spaces
Cho, C.-K., & Han, C.-K. (2000) · Rocky Mountain Journal of Mathematics · doi:10.1216/rmjm/1022009278 · Cited by 2
Cartan Geometry in Modal Homotopy Type TheoryPreprint
Wellen, F. (2018) · arXiv (Cornell University) · Cited by 2
Metadata
- Authors
- Chern, S. S.
- Corresponding author
- Chern, S. S.
- Venue
- Bulletin of the American Mathematical Society
- Publisher
- American Mathematical Society (AMS)
- Published
- 1966-03-01
- Volume
- 72
- Issue
- 2
- Pages
- 167-220
- ISSN
- 0002-9904 (ISSN-L)
- OpenAlex
- W1980777192
- Cited by
- 159
- References
- 143
- Citations by year
- 2026: 3 · 2025: 3 · 2024: 3 · 2023: 2 · 2022: 2 · 2021: 7 · 2020: 7 · 2019: 2 · 2018: 4 · 2016: 4 · 2015: 6 · 2014: 3 · 2013: 4 · 2012: 5
- FWCI
- 2.81
- Type
- journal article
- Language
- en
- Open access
- diamond
- doi.org
- Locations
- Bulletin of the American Mathematical Society (publishedVersion)
- Project Euclid (Cornell University) (submittedVersion)
- Topics
- Physical Sciences › Mathematics › Geometry and Topology › Advanced Differential Geometry Research
- Physical Sciences › Mathematics › Geometry and Topology › Geometry and complex manifolds
- Physical Sciences › Mathematics › Applied Mathematics › Geometric Analysis and Curvature Flows
- Keywords
- G-structures, geometric structures on manifolds, Riemannian structure, complex structure, vector fields, Euler characteristic, harmonic forms, parallel vector fields
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-10-12, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).
A second model labelled each claim on 2026-10-12 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Cited sources are checked with a language model’s help (gpt-6-sol).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review