Showing 1–38 of 38 results for author: Bryant, R L

Hessianizability of surface metrics

Authors: Robert L. Bryant

Abstract: A symmetric quadratic form $g$ on a surface~$M$ is said to be locally Hessianizable if each $p\in M$ has an open neighborhood~$U$ on which there exists a local coordinate chart $(x^1,x^2):U\to\mathbb{R}^2$ and a function $f:U\to\mathbb{R}$ such that, on $U$, we have $$ g = \frac{\partial^2 f}{\partial x^i\partial x^j}\,\mathrm{d} x^i\circ\mathrm{d} x^j. $$ In this article, I show that, when $g$ is… ▽ More A symmetric quadratic form $g$ on a surface~$M$ is said to be locally Hessianizable if each $p\in M$ has an open neighborhood~$U$ on which there exists a local coordinate chart $(x^1,x^2):U\to\mathbb{R}^2$ and a function $f:U\to\mathbb{R}$ such that, on $U$, we have $$ g = \frac{\partial^2 f}{\partial x^i\partial x^j}\,\mathrm{d} x^i\circ\mathrm{d} x^j. $$ In this article, I show that, when $g$ is nondegenerate and smooth, it is always smoothly locally Hessianizable. △ Less

Submitted 11 May, 2024; originally announced May 2024.

Comments: 10 pages

MSC Class: 53B05; 58A15

The generality of closed $G_2$ solitons

Authors: Robert L. Bryant

Abstract: The local generality of the space of solitons for the Laplacian flow of closed $G_2$-structures is analyzed, and it is shown that the germs of such structures depend, up to diffeomorphism, on 16 functions of 6 variables (in the sense of E. Cartan). The method is to construct a natural exterior differential system whose integral manifolds describe such solitons and to show that it is involutive in… ▽ More The local generality of the space of solitons for the Laplacian flow of closed $G_2$-structures is analyzed, and it is shown that the germs of such structures depend, up to diffeomorphism, on 16 functions of 6 variables (in the sense of E. Cartan). The method is to construct a natural exterior differential system whose integral manifolds describe such solitons and to show that it is involutive in Cartan's sense, so that Cartan-Kahler theory can be applied. Meanwhile, it turns out that, for the more special case of gradient solitons, the natural exterior differential system is not involutive, and the generality of these structures remains a mystery. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Comments: 11 pages, no figures, accepted for publication in the Pure and Applied Mathematics Quarterly

MSC Class: 53E99; 53C29

Notes on spinors in low dimension

Authors: Robert L. Bryant

Abstract: The purpose of these old notes (written in 1998 during a research project on holonomy of pseudo-Riemannian manifolds of type (10,1)) is to determine the orbit structure of the groups Spin(p,q) acting on their spinor spaces for the values (p,q) = (8,0), (9,0), (9,1), (10,0), (10,1), and (10,2). I'm making them available on the arXiv because I continue to get requests for them as well as questions a… ▽ More The purpose of these old notes (written in 1998 during a research project on holonomy of pseudo-Riemannian manifolds of type (10,1)) is to determine the orbit structure of the groups Spin(p,q) acting on their spinor spaces for the values (p,q) = (8,0), (9,0), (9,1), (10,0), (10,1), and (10,2). I'm making them available on the arXiv because I continue to get requests for them as well as questions about how they can be cited. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Comments: 10 pages, no figures. arXiv admin note: text overlap with arXiv:math/0004073

MSC Class: 15A66 (Primary) 16H05; 53C26 (Secondary)

A circle quotient of a $G_2$ cone

Authors: Bobby Samir Acharya, Robert L. Bryant, Simon Salamon

Abstract: A study is made of $R^6$ as a singular quotient of the conical space $R^+\times CP^3$ with holonomy $G_2$ with respect to an obvious action by $U(1)$ on $CP^3$ with fixed points. Closed expressions are found for the induced metric, and for both the curvature and symplectic 2-forms characterizing the reduction. All these tensors are invariant by a diagonal action of $SO(3)$ on $R^6$, which can be u… ▽ More A study is made of $R^6$ as a singular quotient of the conical space $R^+\times CP^3$ with holonomy $G_2$ with respect to an obvious action by $U(1)$ on $CP^3$ with fixed points. Closed expressions are found for the induced metric, and for both the curvature and symplectic 2-forms characterizing the reduction. All these tensors are invariant by a diagonal action of $SO(3)$ on $R^6$, which can be used effectively to describe the resulting geometrical features. △ Less

Submitted 28 August, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 45 pages, 3 figures. Minor corrections and clarifications, this version accepted for publication in Differential Geometry and its Applications

MSC Class: 53C25 (Primary) 53C28; 53C38; 81T30 (Secondary)

Flat Metrics with a Prescribed Derived Coframing

Authors: Robert L. Bryant, Jeanne N. Clelland

Abstract: The following problem is addressed: A $3$-manifold $M$ is endowed with a triple $Ω= \big(Ω^1,Ω^2,Ω^3\big)$ of closed $2$-forms. One wants to construct a coframing $ω= \big(ω^1,ω^2,ω^3\big)$ of $M$ such that, first, ${\rm d}ω^i = Ω^i$ for $i=1,2,3$, and, second, the Riemannian metric $g=\big(ω^1\big)^2+\big(ω^2\big)^2+\big(ω^3\big)^2$ be flat. We show that, in the 'nonsingular case', i.e., when the… ▽ More The following problem is addressed: A $3$-manifold $M$ is endowed with a triple $Ω= \big(Ω^1,Ω^2,Ω^3\big)$ of closed $2$-forms. One wants to construct a coframing $ω= \big(ω^1,ω^2,ω^3\big)$ of $M$ such that, first, ${\rm d}ω^i = Ω^i$ for $i=1,2,3$, and, second, the Riemannian metric $g=\big(ω^1\big)^2+\big(ω^2\big)^2+\big(ω^3\big)^2$ be flat. We show that, in the 'nonsingular case', i.e., when the three $2$-forms $Ω^i_p$ span at least a $2$-dimensional subspace of $Λ^2(T^*_pM)$ and are real-analytic in some $p$-centered coordinates, this problem is always solvable on a neighborhood of $p\in M$, with the general solution $ω$ depending on three arbitrary functions of two variables. Moreover, the characteristic variety of the generic solution $ω$ can be taken to be a nonsingular cubic. Some singular situations are considered as well. In particular, we show that the problem is solvable locally when $Ω^1$, $Ω^2$, $Ω^3$ are scalar multiples of a single 2-form that do not vanish simultaneously and satisfy a nondegeneracy condition. We also show by example that solutions may fail to exist when these conditions are not satisfied. △ Less

Submitted 20 January, 2020; v1 submitted 2 August, 2019; originally announced August 2019.

MSC Class: 53A55; 53B15

Journal ref: SIGMA 16 (2020), 004, 23 pages

Notes on Projective, Contact, and Null Curves

Authors: Robert L. Bryant

Abstract: These are notes on some algebraic geometry of complex projective curves, together with an application to studying the contact curves in CP^3 and the null curves in the complex quadric Q^3 in CP^4, related by the well-known Klein correspondence. Most of this note consists of recounting the classical background. The main application is the explicit classification of rational null curves of low degre… ▽ More These are notes on some algebraic geometry of complex projective curves, together with an application to studying the contact curves in CP^3 and the null curves in the complex quadric Q^3 in CP^4, related by the well-known Klein correspondence. Most of this note consists of recounting the classical background. The main application is the explicit classification of rational null curves of low degree in Q^3. I have recently received a number of requests for these notes, so I am posting them to make them generally available. △ Less

Submitted 15 May, 2019; originally announced May 2019.

Comments: 18 pages

MSC Class: 14H50

Geodesic behavior for Finsler metrics of constant positive flag curvature on $S^2$

Authors: R. L. Bryant, P. Foulon, S. Ivanov, V. S. Matveev, W. Ziller

Abstract: We study non-reversible Finsler metrics with constant flag curvature 1 on S^2 and show that the geodesic flow of every such metric is conjugate to that of one of Katok's examples, which form a 1-parameter family. In particular, the length of the shortest closed geodesic is a complete invariant of the geodesic flow. We also show, in any dimension, that the geodesic flow of a Finsler metrics with co… ▽ More We study non-reversible Finsler metrics with constant flag curvature 1 on S^2 and show that the geodesic flow of every such metric is conjugate to that of one of Katok's examples, which form a 1-parameter family. In particular, the length of the shortest closed geodesic is a complete invariant of the geodesic flow. We also show, in any dimension, that the geodesic flow of a Finsler metrics with constant positive flag curvature is completely integrable. Finally, we give an example of a Finsler metric on~$S^2$ with positive flag curvature such that no two closed geodesics intersect and show that this is not possible when the metric is reversible or have constant flag curvature △ Less

Submitted 10 October, 2017; originally announced October 2017.

MSC Class: 53C60; 53C22; 52C24

Journal ref: J. Differential Geom. 117 (2021), no. 1, 1--22

On Finsler surfaces of constant flag curvature with a Killing field

Authors: R. L. Bryant, L. Huang, X. Mo

Abstract: We study two-dimensional Finsler metrics of constant flag curvature and show that such Finsler metrics that admit a Killing field can be written in a normal form that depends on two arbitrary functions of one variable. Furthermore, we find an approach to calculate these functions for spherically symmetric Finsler surfaces of constant flag curvature. In particular, we obtain the normal form of the… ▽ More We study two-dimensional Finsler metrics of constant flag curvature and show that such Finsler metrics that admit a Killing field can be written in a normal form that depends on two arbitrary functions of one variable. Furthermore, we find an approach to calculate these functions for spherically symmetric Finsler surfaces of constant flag curvature. In particular, we obtain the normal form of the Funk metric on the unit disk D^2. △ Less

Submitted 22 February, 2017; originally announced February 2017.

On the Convex Pfaff-Darboux Theorem of Ekeland and Nirenberg

Authors: Robert L. Bryant

Abstract: The classical Pfaff-Darboux theorem, which provides local 'normal forms' for $1$-forms on manifolds, has applications in the theory of certain economic models [Chiappori P.-A., Ekeland I., Found. Trends Microecon. 5 (2009), 1-151]. However, the normal forms needed in these models often come with an additional requirement of some type of convexity, which is not provided by the classical proofs of t… ▽ More The classical Pfaff-Darboux theorem, which provides local 'normal forms' for $1$-forms on manifolds, has applications in the theory of certain economic models [Chiappori P.-A., Ekeland I., Found. Trends Microecon. 5 (2009), 1-151]. However, the normal forms needed in these models often come with an additional requirement of some type of convexity, which is not provided by the classical proofs of the Pfaff-Darboux theorem. (The appropriate notion of 'convexity' is a feature of the economic model. In the simplest case, when the economic model is formulated in a domain in $\mathbb{R}^n$, convexity has its usual meaning.) In [Methods Appl. Anal. 9 (2002), 329-344], Ekeland and Nirenberg were able to characterize necessary and sufficient conditions for a given 1-form $ω$ to admit a convex local normal form (and to show that some earlier attempts [Chiappori P.-A., Ekeland I., Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4 25 (1997), 287-297] and [Zakalyukin V.M., C. R. Acad. Sci. Paris Sér. I Math. 327 (1998), 633-638] at this characterization had been unsuccessful). In this article, after providing some necessary background, I prove a strengthened and generalized convex Pfaff-Darboux theorem, one that covers the case of a Legendrian foliation in which the notion of convexity is defined in terms of a torsion-free affine connection on the underlying manifold. (The main result of Ekeland and Nirenberg concerns the case in which the affine connection is flat.) △ Less

Submitted 23 August, 2023; v1 submitted 22 December, 2015; originally announced December 2015.

MSC Class: 58A15; 91B16

Journal ref: SIGMA 19 (2023), 060, 10 pages

On the conformal volume of 2-tori

Authors: Robert L. Bryant

Abstract: This note (originally from 2015) provides a proof of a 1985 conjecture of Montiel and Ros concerning the conformal volume of tori. This updated version adds a proof of the claim made in Remark 5 about the value of the conformal volume of tori in the cases not covered by the conjecture of Montiel and Ros. Originally, I did not think that this claim was of enough interest to warrant including the (s… ▽ More This note (originally from 2015) provides a proof of a 1985 conjecture of Montiel and Ros concerning the conformal volume of tori. This updated version adds a proof of the claim made in Remark 5 about the value of the conformal volume of tori in the cases not covered by the conjecture of Montiel and Ros. Originally, I did not think that this claim was of enough interest to warrant including the (somewhat involved) proof, but time has shown otherwise. (Also, the proof included here is shorter than my original proof; instead, it relies on a MAPLE computation.) △ Less

Submitted 18 March, 2025; v1 submitted 6 July, 2015; originally announced July 2015.

Comments: 14 pages

MSC Class: 53A30; 53C42

S.-S. Chern's study of almost-complex structures on the six-sphere

Authors: Robert L. Bryant

Abstract: In 2003, S.-s. Chern began a study of almost-complex structures on the 6-sphere, with the idea of exploiting the special properties of its well-known almost-complex structure invariant under the exceptional group $G_2$. While he did not solve the (currently still open) problem of determining whether there exists an integrable almost-complex structure on the 6-sphere, he did prove a significant ide… ▽ More In 2003, S.-s. Chern began a study of almost-complex structures on the 6-sphere, with the idea of exploiting the special properties of its well-known almost-complex structure invariant under the exceptional group $G_2$. While he did not solve the (currently still open) problem of determining whether there exists an integrable almost-complex structure on the 6-sphere, he did prove a significant identity that resolves the question for an interesting class of almost-complex structures on the 6-sphere. △ Less

Submitted 28 November, 2021; v1 submitted 14 May, 2014; originally announced May 2014.

Comments: 12 pages, no figures. Some essential references have been added in this version that I was unaware of when I wrote Version 1

MSC Class: 53A55; 53B15

Notes on exterior differential systems

Authors: Robert L. Bryant

Abstract: These are notes for a very rapid introduction to the basics of exterior differential systems and their connection with what is now known as Lie theory, together with some typical and not-so-typical applications to illustrate their use. These are notes for a very rapid introduction to the basics of exterior differential systems and their connection with what is now known as Lie theory, together with some typical and not-so-typical applications to illustrate their use. △ Less

Submitted 13 May, 2014; originally announced May 2014.

Comments: 39 pages, no figures, notes for a December 2013 Fields institute workshop

MSC Class: 58A15

Nonembedding and nonextension results in special holonomy

Authors: Robert L. Bryant

Abstract: Constructions of metrics with special holonomy by methods of exterior differential systems are reviewed and the interpretations of these construction as `flows' on hypersurface geometries are considered. It is shown that these hypersurface 'flows' are not generally well-posed for smooth initial data and counterexamples to existence are constructed. Constructions of metrics with special holonomy by methods of exterior differential systems are reviewed and the interpretations of these construction as `flows' on hypersurface geometries are considered. It is shown that these hypersurface 'flows' are not generally well-posed for smooth initial data and counterexamples to existence are constructed. △ Less

Submitted 31 May, 2012; originally announced May 2012.

Comments: 17 pages

MSC Class: 58A15; 53C25

Journal ref: The many facets of geometry, 346-367, Oxford Univ. Press, Oxford, 2010

Some differential complexes within and beyond parabolic geometry

Authors: Robert L. Bryant, Michael G. Eastwood, A. Rod Gover, Katharina Neusser

Abstract: For smooth manifolds equipped with various geometric structures, we construct complexes that replace the de Rham complex in providing an alternative fine resolution of the sheaf of locally constant functions. In case that the geometric structure is that of a parabolic geometry, our complexes coincide with the Bernstein-Gelfand-Gelfand complex associated with the trivial representation. However, at… ▽ More For smooth manifolds equipped with various geometric structures, we construct complexes that replace the de Rham complex in providing an alternative fine resolution of the sheaf of locally constant functions. In case that the geometric structure is that of a parabolic geometry, our complexes coincide with the Bernstein-Gelfand-Gelfand complex associated with the trivial representation. However, at least in the cases we discuss, our constructions are relatively simple and avoid most of the machinery of parabolic geometry. Moreover, our method extends to certain geometries beyond the parabolic realm. △ Less

Submitted 19 March, 2012; v1 submitted 9 December, 2011; originally announced December 2011.

Comments: 28 pages. An oversight pointed out to us by Boris Doubrov has been corrected and other minor modifications made

MSC Class: 53A40; 53D10; 58A12; 58A17; 58J10; 58J70

Complex analysis and a class of Weingarten surfaces

Authors: Robert L. Bryant

Abstract: An idea of Hopf's for applying complex analysis to the study of constant mean curvature spheres is generalized to cover a wider class of spheres, namely, those satisfying a Weingarten relation of a certain type, namely H = f(H^2-K) for some smooth function f, where H and K are the mean and Gauss curvatures, respectively. The results are either not new or are minor extensions of known results, bu… ▽ More An idea of Hopf's for applying complex analysis to the study of constant mean curvature spheres is generalized to cover a wider class of spheres, namely, those satisfying a Weingarten relation of a certain type, namely H = f(H^2-K) for some smooth function f, where H and K are the mean and Gauss curvatures, respectively. The results are either not new or are minor extensions of known results, but the method, which involves introducing a different conformal structure on the surface than the one induced by the first fundamental form, is different from the one used by Hopf and requires less technical results from the theory of PDE than Hopf's methods. This is a TeXed version of a manuscript dating from early 1984. It was never submitted for publication, though it circulated to some people and has been referred to from time to time in published articles. It is being provided now for the convenience of those who have asked for a copy. Except for the correction of various grammatical or typographical mistakes and infelicities and the addition of some (clearly marked) comments at the end of the introduction, the text is that of the original. △ Less

Submitted 27 May, 2011; originally announced May 2011.

Comments: 10 pages

MSC Class: 53A10; 53A05

Metrisability of two-dimensional projective structures

Authors: Robert L. Bryant, Maciej Dunajski, Michael Eastwood

Abstract: We carry out the programme of R. Liouville \cite{Liouville} to construct an explicit local obstruction to the existence of a Levi--Civita connection within a given projective structure $[Γ]$ on a surface. The obstruction is of order 5 in the components of a connection in a projective class. It can be expressed as a point invariant for a second order ODE whose integral curves are the geodesics of… ▽ More We carry out the programme of R. Liouville \cite{Liouville} to construct an explicit local obstruction to the existence of a Levi--Civita connection within a given projective structure $[Γ]$ on a surface. The obstruction is of order 5 in the components of a connection in a projective class. It can be expressed as a point invariant for a second order ODE whose integral curves are the geodesics of $[Γ]$ or as a weighted scalar projective invariant of the projective class. If the obstruction vanishes we find the sufficient conditions for the existence of a metric in the real analytic case. In the generic case they are expressed by the vanishing of two invariants of order 6 in the connection. In degenerate cases the sufficient obstruction is of order at most 8. △ Less

Submitted 14 February, 2010; v1 submitted 1 January, 2008; originally announced January 2008.

Comments: Minor corrections. Final version published in the Journal of Differential Geometry

Report number: DAMTP-2007-127

A solution of a problem of Sophus Lie: Normal forms of 2-dim metrics admitting two projective vector fields

Authors: Robert L. Bryant, Gianni Manno, Vladimir S. Matveev

Abstract: We give a complete list of normal forms for the 2-dimensional metrics that admit a transitive Lie pseudogroup of geodesic-preserving transformations and we show that these normal forms are mutually non-isometric. This solves a problem posed by Sophus Lie. We give a complete list of normal forms for the 2-dimensional metrics that admit a transitive Lie pseudogroup of geodesic-preserving transformations and we show that these normal forms are mutually non-isometric. This solves a problem posed by Sophus Lie. △ Less

Submitted 7 August, 2007; v1 submitted 24 May, 2007; originally announced May 2007.

Comments: This is an extended version of the paper that will appear in Math. Annalen. Some typos were corrected, references were updated, title was changed (as in the journal version). 31 pages

MSC Class: 53A20; 53A55; 53B10

Journal ref: Math. Ann. 340(2008), no. 2, 437-463

Conformal geometry and 3-plane fields on 6-manifolds

Authors: Robert L. Bryant

Abstract: The purpose of this note is to provide yet another example of the link between certain conformal geometries and ordinary differential equations, along the lines of the examples discussed by Nurowski in math.DG/0406400. In this particular case, I consider the equivalence problem for 3-plane fields D on 6-manifolds M that satisfy the nondegeneracy condition that D+[D,D]=TM I give a solution of t… ▽ More The purpose of this note is to provide yet another example of the link between certain conformal geometries and ordinary differential equations, along the lines of the examples discussed by Nurowski in math.DG/0406400. In this particular case, I consider the equivalence problem for 3-plane fields D on 6-manifolds M that satisfy the nondegeneracy condition that D+[D,D]=TM I give a solution of the equivalence problem for such D (as Tanaka has previously), showing that it defines a so(4,3)-valued Cartan connection on a principal right H-bundle over M where H is the subgroup of SO(4,3) that stabilizes a null 3-plane in R^{4,3}. Along the way, I observe that there is associated to each such D a canonical conformal structure of split type on M, one that depends on two derivatives of the plane field D. I show how the primary curvature tensor of the Cartan connection associated to the equivalence problem for D can be interpreted as the Weyl curvature of the associated conformal structure and, moreover, show that the split conformal structures in dimension~6 that arise in this fashion are exactly the ones whose so(4,4)-valued Cartan connection admits a reduction to a spin(4,3)-connection. I also discuss how this case has features that are analogous to those of Nurowski's examples. △ Less

Submitted 29 December, 2005; v1 submitted 4 November, 2005; originally announced November 2005.

Comments: 14 pages, no figures, for proceedings of the RIMS symposium "Developments of Cartan geometry and related mathematical problems" (24-27 October 2005). Version 2 corrects some typos, rearranges some equations for clarity, and adds a remark on the geometry of the irregular curves associated to the 3-plane field

MSC Class: 53A55

Journal ref: Developments of Cartan Geometry and Related Mathematical Problems, RIMS Symposium Proceedings, vol. 1502 (July, 2006), pp. 1-15, Kyoto University

Remarks on the geometry of almost complex 6-manifolds

Authors: Robert L. Bryant

Abstract: This article is mostly a writeup of two talks, the first given in the Besse Seminar at the Ecole Polytechnique in 1998 and the second given at the 2000 International Congress on Differential Geometry in memory of Alfred Gray in Bilbao, Spain. It begins with a discussion of basic geometry of almost complex 6-manifolds. In particular, I define a 2-parameter family of intrinsic first-order functi… ▽ More This article is mostly a writeup of two talks, the first given in the Besse Seminar at the Ecole Polytechnique in 1998 and the second given at the 2000 International Congress on Differential Geometry in memory of Alfred Gray in Bilbao, Spain. It begins with a discussion of basic geometry of almost complex 6-manifolds. In particular, I define a 2-parameter family of intrinsic first-order functionals on almost complex structures on 6-manifolds and compute their Euler-Lagrange equations. It also includes a discussion of a natural generalization of holomorphic bundles over complex manifolds to the almost complex case. The general almost complex manifold will not admit any nontrivial bundles of this type, but there is a large class of nonintegrable almost complex manifolds for which there are such nontrivial bundles. For example, the standard almost complex structure on the 6-sphere admits such nontrivial bundles. This class of almost complex manifolds in dimension 6 will be referred to as quasi-integrable. Some of the properties of quasi-integrable structures (both almost complex and unitary) are developed and some examples are given. However, it turns out that quasi-integrability is not an involutive condition, so the full generality of these structures in Cartan's sense is not well-understood. △ Less

Submitted 15 September, 2005; v1 submitted 23 August, 2005; originally announced August 2005.

Comments: 45 pages, no figures. Version 2 contains minor improvements (typos corrected, statements reworded for clarity), a few added remarks, and a dedication

MSC Class: 53C15 (Primary); 53A55 (Secondary)

Journal ref: The Asian Journal of Mathematics, vol. 10 no. 3 (September, 2006), pp. 561--606.

Geodesically reversible Finsler 2-spheres of constant curvature

Authors: Robert L. Bryant

Abstract: A Finsler space is said to be geodesically reversible if each oriented geodesic can be reparametrized as a geodesic with the reverse orientation. A reversible Finsler space is geodesically reversible, but the converse need not be true. In this note, building on recent work of LeBrun and Mason, it is shown that a geodesically reversible Finsler metric of constant flag curvature on the 2-sphere… ▽ More A Finsler space is said to be geodesically reversible if each oriented geodesic can be reparametrized as a geodesic with the reverse orientation. A reversible Finsler space is geodesically reversible, but the converse need not be true. In this note, building on recent work of LeBrun and Mason, it is shown that a geodesically reversible Finsler metric of constant flag curvature on the 2-sphere is necessarily projectively flat. As a corollary, using a previous result of the author, it is shown that a reversible Finsler metric of constant flag curvature on the 2-sphere is necessarily a Riemannian metric of constant Gauss curvature, thus settling a long-standing problem in Finsler geometry. △ Less

Submitted 2 August, 2004; v1 submitted 29 July, 2004; originally announced July 2004.

Comments: 11 pages, references added, some arguments improved and exposition rearranged

MSC Class: 53C60; 53B40

Journal ref: Inspired by S. S. Chern--A Memorial Volume in Honor of a Great Mathematician, Nankai Tracts in Mathematics, edited by P. A. Griffiths, vol. 11 (Winter, 2006), World Scientific

Real hypersurfaces in unimodular complex surfaces

Authors: Robert L. Bryant

Abstract: A unimodular complex surface is a complex 2-manifold X endowed with a holomorphic volume form. A strictly pseudoconvex real hypersurface M in X inherits not only a CR-structure but a canonical coframing as well. In this article, this canonical coframing on M is defined, its invariants are discussed and interpreted geometrically, and its basic properties are studied. A natural evolution equat… ▽ More A unimodular complex surface is a complex 2-manifold X endowed with a holomorphic volume form. A strictly pseudoconvex real hypersurface M in X inherits not only a CR-structure but a canonical coframing as well. In this article, this canonical coframing on M is defined, its invariants are discussed and interpreted geometrically, and its basic properties are studied. A natural evolution equation for strictly pseudoconvex real hypersurfaces in unimodular complex surfaces is defined, some of its properties are discussed, and several examples are computed. The locally homogeneous examples are determined and used to illustrate various features of the geometry of the induced structure on the hypersurface. △ Less

Submitted 27 July, 2004; originally announced July 2004.

Comments: 34 pages

MSC Class: 32F40; 58G11

Gradient Kahler Ricci Solitons

Authors: Robert L. Bryant

Abstract: Some observations about the local and global generality of gradient Kahler Ricci solitons are made, including the existence of a canonically associated holomorphic volume form and vector field, the local generality of solutions with a prescribed holomorphic volume form and vector field, and the existence of Poincare coordinates in the case that the Ricci curvature is positive and the vector fiel… ▽ More Some observations about the local and global generality of gradient Kahler Ricci solitons are made, including the existence of a canonically associated holomorphic volume form and vector field, the local generality of solutions with a prescribed holomorphic volume form and vector field, and the existence of Poincare coordinates in the case that the Ricci curvature is positive and the vector field has a fixed point. △ Less

Submitted 2 August, 2004; v1 submitted 27 July, 2004; originally announced July 2004.

Comments: 39 pages, v2: references, minor comments, and grammatical corrections added

MSC Class: 53C55

SO(n)-invariant special Lagrangian submanifolds of C^{n+1} with fixed loci

Authors: Robert L. Bryant

Abstract: Let SO(n) act in the standard way on C^n and extend this action in the usual way to C^{n+1}. It is shown that a nonsingular special Lagrangian submanifold L in C^{n+1} that is invariant under this SO(n)-action intersects the fixed line C in a nonsingular real-analytic arc A (that may be empty). If n>2, then A has no compact component. Conversely, an embedded, noncompact nonsingular real-anal… ▽ More Let SO(n) act in the standard way on C^n and extend this action in the usual way to C^{n+1}. It is shown that a nonsingular special Lagrangian submanifold L in C^{n+1} that is invariant under this SO(n)-action intersects the fixed line C in a nonsingular real-analytic arc A (that may be empty). If n>2, then A has no compact component. Conversely, an embedded, noncompact nonsingular real-analytic arc A in C lies in an embedded nonsingular special Lagrangian submanifold that is SO(n)-invariant. The same existence result holds for compact A if n=2. If A is connected, there exist n distinct nonsingular SO(n)-invariant special Lagrangian extensions of A such that any embedded nonsingular SO(n)-invariant special Lagrangian extension of A agrees with one of these n extensions in some open neighborhood of A. The method employed is an analysis of a singular nonlinear PDE and ultimately calls on the work of Gerard and Tahara to prove the existence of the extension. △ Less

Submitted 25 March, 2004; v1 submitted 12 February, 2004; originally announced February 2004.

Comments: 19 pages, no figures. Miinor update: some misprints fixed and a reference added

MSC Class: 53C42; 35A20

Journal ref: Chinese Annals of Mathematics, Series B, vol. 27 no. 1 (January, 2006), pp. 95--112.

Some remarks on G_2-structures

Authors: Robert L. Bryant

Abstract: This article consists of some loosely related remarks about the geometry of G_2-structures on 7-manifolds and is partly based on old unpublished joint work with two other people: F. Reese Harvey and Steven Altschuler. Much of this work has since been subsumed in the work of Hitchin \cite{MR02m:53070} and Joyce \cite{MR01k:53093}. I am making it available now mainly because of interest expressed by… ▽ More This article consists of some loosely related remarks about the geometry of G_2-structures on 7-manifolds and is partly based on old unpublished joint work with two other people: F. Reese Harvey and Steven Altschuler. Much of this work has since been subsumed in the work of Hitchin \cite{MR02m:53070} and Joyce \cite{MR01k:53093}. I am making it available now mainly because of interest expressed by others in seeing these results written up since they do not seem to have all made it into the literature. A formula is derived for the scalar curvature and Ricci curvature of a G_2-structure in terms of its torsion. When the fundamental 3-form of the G_2-structure is closed, this formula implies, in particular, that the scalar curvature of the underlying metric is nonpositive and vanishes if and only if the structure is torsion-free. This version contains some new results on the pinching of Ricci curvature for metrics associated to closed G_2-structures. Some formulae are derived for closed solutions of the Laplacian flow that specify how various related quantities, such as the torsion and the metric, evolve with the flow. These may be useful in studying convergence or long-time existence for given initial data. △ Less

Submitted 20 February, 2025; v1 submitted 8 May, 2003; originally announced May 2003.

Comments: 31 pages, no figures, corrections of various typos and a reorganization of some material to improve clarity. A purported compact example of an extremally Ricci-pinched closed G_2 structure was removed from this version, as it turns out that the argument was seriously flawed

MSC Class: 53C10; 53C19

Journal ref: Proceeding of Gokova Geometry-Topology Conference 2005 edited by S. Akbulut, T Onder, and R.J. Stern (2006), International Press, 75--109

Exterior Differential Systems and Euler-Lagrange Partial Differential Equations

Authors: Robert L. Bryant, Phillip A. Griffiths, Daniel A. Grossman

Abstract: We use methods from exterior differential systems (EDS) to develop a geometric theory of scalar, first-order Lagrangian functionals and their associated Euler-Lagrange PDEs, subject to contact transformations. The first chapter contains an introduction of the classical Poincare-Cartan form in the context of EDS, followed by proofs of classical results, including a solution to the relevant invers… ▽ More We use methods from exterior differential systems (EDS) to develop a geometric theory of scalar, first-order Lagrangian functionals and their associated Euler-Lagrange PDEs, subject to contact transformations. The first chapter contains an introduction of the classical Poincare-Cartan form in the context of EDS, followed by proofs of classical results, including a solution to the relevant inverse problem, Noether's theorem on symmetries and conservation laws, and several aspects of minimal hypersurfaces. In the second chapter, the equivalence problem for Poincare-Cartan forms is solved, giving the differential invariants of such a form, identifying associated geometric structures (including a family of affine hypersurfaces), and exhibiting certain "special" Euler-Lagrange equations characterized by their invariants. In the third chapter, we discuss a collection of Poincare-Cartan forms having a naturally associated conformal geometry, and exhibit the conservation laws for non-linear Poisson and wave equations that result from this. The fourth and final chapter briefly discusses additional PDE topics from this viewpoint--Euler-Lagrange PDE systems, higher order Lagrangians and conservation laws, identification of local minima for Lagrangian functionals, and Backlund transformations. No previous knowledge of exterior differential systems or of the calculus of variations is assumed. △ Less

Submitted 3 July, 2002; originally announced July 2002.

Comments: 205+xiv pages, latex2e with hyperrefs, xypic

MSC Class: 58A15 (Primary); 35A30 (Secondary)

Journal ref: University of Chicago Press, Chicago, IL, 2003.

Some remarks on Finsler manifolds with constant flag curvature

Authors: Robert L. Bryant

Abstract: This article is an exposition of four loosely related remarks on the geometry of Finsler manifolds with constant positive flag curvature. <p> The first remark is that there is a canonical Kahler structure on the space of geodesics of such a manifold. <p> The second remark is that there is a natural way to construct a (not necessarily complete) Finsler n-manifold of constant positive flag cur… ▽ More This article is an exposition of four loosely related remarks on the geometry of Finsler manifolds with constant positive flag curvature. <p> The first remark is that there is a canonical Kahler structure on the space of geodesics of such a manifold. <p> The second remark is that there is a natural way to construct a (not necessarily complete) Finsler n-manifold of constant positive flag curvature out of a hypersurface in suitably general position in complex projective n-space. <p> The third remark is that there is a description of the Finsler metrics of constant curvature on the 2-sphere in terms of a Riemannian metric and 1-form on the space of its geodesics. In particular, this allows one to use any (Riemannian) Zoll metric of positive Gauss curvature on the 2-sphere to construct a global Finsler metric of constant positive curvature on the 2-sphere. <p> The fourth remark concerns the generality of the space of (local) Finsler metrics of constant positive flag curvature in dimension n+1>2 . It is shown that such metrics depend on n(n+1) arbitrary functions of n+1 variables and that such metrics naturally correspond to certain torsion-free S^1 x GL(n,R)-structures on 2n-manifolds. As a by-product, it is found that these groups do occur as the holonomy of torsion-free affine connections in dimension 2n, a hitherto unsuspected phenomenon. △ Less

Submitted 31 July, 2001; originally announced July 2001.

Comments: 32 pages, latex2e, amsart

MSC Class: 53B40; 53C60; 58A15

Journal ref: Houston J. Math. 28 (2002), no. 2, 221--262.

On surfaces with prescribed shape operator

Authors: Robert L. Bryant

Abstract: The problem of immersing a simply connected surface with a prescribed shape operator is discussed. From classical and more recent work, it is known that, aside from some special degenerate cases, such as when the shape operator can be realized by a surface with one family of principal curves being geodesic, the space of such realizations is a convex set in an affine space of dimension at most 3.… ▽ More The problem of immersing a simply connected surface with a prescribed shape operator is discussed. From classical and more recent work, it is known that, aside from some special degenerate cases, such as when the shape operator can be realized by a surface with one family of principal curves being geodesic, the space of such realizations is a convex set in an affine space of dimension at most 3. The cases where this maximum dimension of realizability is achieved have been classified and it is known that there are two such families of shape operators, one depending essentially on three arbitrary functions of one variable (called Type I in this article) and another depending essentially on two arbitrary functions of one variable (called Type II in this article). In this article, these classification results are rederived, with an emphasis on explicit computability of the space of solutions. It is shown that, for operators of either type, their realizations by immersions can be computed by quadrature. Moreover, explicit normal forms for each can be computed by quadrature together with, in the case of Type I, by solving a single linear second order ODE in one variable. (Even this last step can be avoided in most Type I cases.) The space of realizations is discussed in each case, along with some of their remarkable geometric properties. Several explicit examples are constructed (mostly already in the literature) and used to illustrate various features of the problem. △ Less

Submitted 20 July, 2001; v1 submitted 11 July, 2001; originally announced July 2001.

Comments: 43 pages, latex2e with amsart, v2: typos corrected and some minor improvements in arguments, minor remarks added. v3: important revision, giving credit for earlier work by others of which the author had been ignorant, minor typo corrections

MSC Class: 53A05; 58A15

Journal ref: Results Math. 40 (2001), no. 1-4, 88--121

Second order families of special Lagrangian 3-folds

Authors: Robert L. Bryant

Abstract: A second order family of special Lagrangian submanifolds of complex m-space is a family characterized by the satisfaction of a set of pointwise conditions on the second fundamental form. For example, the set of ruled special Lagrangian submanifolds of complex 3-space is characterized by a single algebraic equation on the second fundamental form. While the `generic' set of such conditions turns… ▽ More A second order family of special Lagrangian submanifolds of complex m-space is a family characterized by the satisfaction of a set of pointwise conditions on the second fundamental form. For example, the set of ruled special Lagrangian submanifolds of complex 3-space is characterized by a single algebraic equation on the second fundamental form. While the `generic' set of such conditions turns out to be incompatible, i.e., there are no special Lagrangian submanifolds that satisfy them, there are many interesting sets of conditions for which the corresponding family is unexpectedly large. In some cases, these geometrically defined families can be described explicitly, leading to new examples of special Lagrangian submanifolds. In other cases, these conditions characterize already known families in a new way. For example, the examples of Lawlor-Harvey constructed for the solution of the angle conjecture and recently generalized by Joyce turn out to be a natural and easily described second order family. △ Less

Submitted 1 May, 2001; v1 submitted 20 July, 2000; originally announced July 2000.

Comments: 36 pages, latex2e, some extra comments included in response to reader questions, many typos corrected, and important references added

Report number: DUKE-CGTP-00-11 MSC Class: Primary:32Q25; Secondary: 53C38

Journal ref: Perspectives in Riemannian Geometry, CRM Proceedings and Lecture Notes, edited by Vestislav Apostolov, Andrew Dancer, Nigel Hitchin, and McKenzie Wang, vol. 40 (2006), American Mathematical Society

Rigidity and quasi-rigidity of extremal cycles in Hermitian symmetric spaces

Authors: Robert L. Bryant

Abstract: I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly speaking, foliated by rigid subvarieties in a nontrivial way). These rigidity results have a number of applications: First, they prove that many subvarieties in Gra… ▽ More I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly speaking, foliated by rigid subvarieties in a nontrivial way). These rigidity results have a number of applications: First, they prove that many subvarieties in Grassmannians and other Hermitian symmetric spaces cannot be smoothed (i.e., are not homologous to a smooth subvariety). Second, they provide characterizations of holomorphic bundles over compact Kahler manifolds that are generated by their global sections but that have certain polynomials in their Chern classes vanish (for example, c_2 = 0, c_1c_2 - c_3 = 0, c_3 = 0, etc.). △ Less

Submitted 5 March, 2001; v1 submitted 24 June, 2000; originally announced June 2000.

Comments: 113 pages, 6 figures, latex2e with packages hyperref, amsart, graphicx. For Version 2: Many typos corrected, important references added (esp. to Maria Walters' thesis), several proofs or statements improved and/or corrected

MSC Class: 14C25 (Primary) 32M15; 57T15 (Secondary)

Pseudo-Riemannian metrics with parallel spinor fields and vanishing Ricci tensor

Authors: Robert L. Bryant

Abstract: I discuss geometry and normal forms for pseudo-Riemannian metrics with parallel spinor fields in some interesting dimensions. I also discuss the interaction of these conditions for parallel spinor fields with the condition that the Ricci tensor vanish (which, for pseudo-Riemannian manifolds, is not an automatic consequence of the existence of a nontrivial parallel spinor field). I discuss geometry and normal forms for pseudo-Riemannian metrics with parallel spinor fields in some interesting dimensions. I also discuss the interaction of these conditions for parallel spinor fields with the condition that the Ricci tensor vanish (which, for pseudo-Riemannian manifolds, is not an automatic consequence of the existence of a nontrivial parallel spinor field). △ Less

Submitted 11 April, 2000; originally announced April 2000.

Comments: 40 pages, latex2e with smfart.cls and hyperref. Written for the proceedings of the June 1999 CIRM conference at Luminy, 'Analyse Harmonique et Analyse sur les Varietes'

MSC Class: 53A50; 53B30

Journal ref: Sémin. Congr., 4, Soc. Math. France, Paris, 2000, 53--94

Bochner-Kahler metrics

Authors: Robert L. Bryant

Abstract: A Kahler metric is said to be Bochner-Kahler if its Bochner curvature vanishes. This is a nontrivial condition when the complex dimension of the underlying manifold is at least 2. In this article it will be shown that, in a certain well-defined sense, the space of Bochner-Kahler metrics in complex dimension n has real dimension n+1 and a recipe for an explicit formula for any Bochner-Kahler metr… ▽ More A Kahler metric is said to be Bochner-Kahler if its Bochner curvature vanishes. This is a nontrivial condition when the complex dimension of the underlying manifold is at least 2. In this article it will be shown that, in a certain well-defined sense, the space of Bochner-Kahler metrics in complex dimension n has real dimension n+1 and a recipe for an explicit formula for any Bochner-Kahler metric will be given. It is shown that any Bochner-Kahler metric in complex dimension n has local (real) cohomogeneity at most n. The Bochner-Kahler metrics that can be `analytically continued' to a complete metric, free of singularities, are identified. In particular, it is shown that the only compact Bochner-Kahler manifolds are the discrete quotients of the known symmetric examples. However, there are compact Bochner-Kahler orbifolds that are not locally symmetric. In fact, every weighted projective space carries a Bochner-Kahler metric. The fundamental technique is to construct a canonical infinitesimal torus action on a Bochner-Kahler metric whose associated momentum mapping has the orbits of its symmetry pseudo-groupoid as fibers. △ Less

Submitted 27 June, 2000; v1 submitted 16 March, 2000; originally announced March 2000.

Comments: 93 pages, 3 figures, converted to latex2e with amsart and hyperref packages, more typos corrected, new material and references added about relations with other work, and some statements revised for clarity or historical accuracy

MSC Class: 53B35 (Primary); 53C55

Journal ref: J. Amer. Math. Soc. 14 (2001), 623--715.

Calibrated embeddings in the special Lagrangian and coassociative cases

Authors: Robert L. Bryant

Abstract: Every closed, oriented, real analytic Riemannian 3-manifold can be isometrically embedded as a special Lagrangian submanifold of a Calabi-Yau 3-fold, even as the real locus of an antiholomorphic, isometric involution. Every closed, oriented, real analytic Riemannian 4-manifold whose bundle of self-dual 2-forms is trivial can be isometrically embedded as a coassociative submanifold in a G_2-manif… ▽ More Every closed, oriented, real analytic Riemannian 3-manifold can be isometrically embedded as a special Lagrangian submanifold of a Calabi-Yau 3-fold, even as the real locus of an antiholomorphic, isometric involution. Every closed, oriented, real analytic Riemannian 4-manifold whose bundle of self-dual 2-forms is trivial can be isometrically embedded as a coassociative submanifold in a G_2-manifold, even as the fixed locus of an anti-G_2 involution. These results, when coupled with McLean's analysis of the moduli spaces of such calibrated submanifolds, yield a plentiful supply of examples of compact calibrated submanifolds with nontrivial deformation spaces. △ Less

Submitted 2 January, 2000; v1 submitted 31 December, 1999; originally announced December 1999.

Comments: AMS-TeX v. 2.1, 26 pages, uses amsppt.sty (2.1h), minor typos corrected

Report number: DUKE-CGTP-99-09 MSC Class: 53C25 (Primary); 58A15 (Secondary)

Journal ref: Annals of Global Analysis and Geometry 18 (2000), pp. 405-435.

Recent Advances in the Theory of Holonomy

Authors: Robert L. Bryant

Abstract: This article is a report on the status of the problem of classifying the irriducibly acting subgroups of GL(n,R) that can appear as the holonomy of a torsion-free affine connection. In particular, it contains an account of the completion of the classification of these groups by Chi, Merkulov, and Schwachhofer as well as of the exterior differential systems analysis that shows that all of these g… ▽ More This article is a report on the status of the problem of classifying the irriducibly acting subgroups of GL(n,R) that can appear as the holonomy of a torsion-free affine connection. In particular, it contains an account of the completion of the classification of these groups by Chi, Merkulov, and Schwachhofer as well as of the exterior differential systems analysis that shows that all of these groups do, in fact, occur. Some discussion of the results of Joyce on the existence of compact examples with holonomy G_2 or Spin(7) is also included. △ Less

Submitted 12 October, 1999; v1 submitted 11 October, 1999; originally announced October 1999.

Comments: 24 pages, plain tex with amssym.tex and amssym.def. To appear in Asterisque. This is the text of a report to the Seminaire Bourbaki in June 1999. Amended to include the new exotic symplectic example of Spin(6,H) in GL(32,R)

MSC Class: 53C10 (Primary); 53B05 (Secondary)

Journal ref: Seminaire Bourbaki, Volume 1998/99, Asterisque 266 (2000), 351-374

Levi-flat Minimal Hypersurfaces in Two-dimensional Complex Space Forms

Authors: Robert L. Bryant

Abstract: The purpose of this article is to classify the real hypersurfaces in complex space forms of dimension 2 that are both Levi-flat and minimal. The main results are as follows: When the curvature of the complex space form is nonzero, there is a 1-parameter family of such hypersurfaces. Specifically, for each one-parameter subgroup of the isometry group of the complex space form, there is an essen… ▽ More The purpose of this article is to classify the real hypersurfaces in complex space forms of dimension 2 that are both Levi-flat and minimal. The main results are as follows: When the curvature of the complex space form is nonzero, there is a 1-parameter family of such hypersurfaces. Specifically, for each one-parameter subgroup of the isometry group of the complex space form, there is an essentially unique example that is invariant under this one-parameter subgroup. On the other hand, when the curvature of the space form is zero, i.e., when the space form is complex 2-space with its standard flat metric, there is an additional `exceptional' example that has no continuous symmetries but is invariant under a lattice of translations. Up to isometry and homothety, this is the unique example with no continuous symmetries. △ Less

Submitted 27 September, 1999; originally announced September 1999.

Comments: AMS-TeX 2.1, 35 pages, uses amsppt.sty

MSC Class: 32F25 (Primary); 53C42 (Secondary)

Journal ref: Adv. Stud. Pure Math., 37, Math. Soc. Japan, Tokyo, 2002, 1--44

Some examples of special Lagrangian tori

Authors: Robert L. Bryant

Abstract: I point out some very elementary examples of special Lagrangian tori in certain Calabi-Yau manifolds that occur as hypersurfaces in complex projective space. All of these are constructed as real slices of smooth hypersurfaces defined over the reals. This method of constructing special Lagrangian submanifolds is well known. What does not appear to be in the current literature is an explicit descr… ▽ More I point out some very elementary examples of special Lagrangian tori in certain Calabi-Yau manifolds that occur as hypersurfaces in complex projective space. All of these are constructed as real slices of smooth hypersurfaces defined over the reals. This method of constructing special Lagrangian submanifolds is well known. What does not appear to be in the current literature is an explicit description of such examples in which the special Lagrangian submanifold is a 3-torus. △ Less

Submitted 30 March, 1999; v1 submitted 12 February, 1999; originally announced February 1999.

Comments: 5 pages, plain tex source, more new references added (plus a few comments suggested by a referee)

MSC Class: 53C55; 53C57

Journal ref: Adv. Theor. Math. Phys. 1 (1999), 83-90

Harmonic morphisms with fibers of dimension one

Authors: Robert L. Bryant

Abstract: I prove three classification results about harmonic morphisms whose fibers have dimension one. All are valid when the domain is at least of dimension 4. (The character of this overdetermined problem is very different when the dimension of the domain is 3 or less.) The first result is a local classification for such harmonic morphisms with specified target metric, the second is a finiteness theor… ▽ More I prove three classification results about harmonic morphisms whose fibers have dimension one. All are valid when the domain is at least of dimension 4. (The character of this overdetermined problem is very different when the dimension of the domain is 3 or less.) The first result is a local classification for such harmonic morphisms with specified target metric, the second is a finiteness theorem for such harmonic morphisms with specified domain metric, and the third is a complete classification of such harmonic morphisms when the domain is a space form of constant sectional curvature The methods used are exterior differential systems and the moving frame. The fundamental results are local, but, because of the rigidity of the solutions, they allow a complete global classification. △ Less

Submitted 13 January, 1997; v1 submitted 3 January, 1997; originally announced January 1997.

Comments: AMS-TeX v2.1, amsppt.sty (v. 2.1d), 36 pages. This is a slight revision of the original (2 January 97), containing some more references to the literature and incorporating a few minor typographical and grammatical corrections. (Thanks to J. Wood and S. Gudmundsson for their suggestions.)

Report number: Duke University Dept. of Mathematics preprint no. DUKE-M-97-01 MSC Class: 58E20 (Primary) 58A15 (Secondary)

Journal ref: Comm. in Analysis and Geometry 8 (2000), 219-265.

Projectively flat Finsler 2-spheres of constant curvature

Authors: Robert L. Bryant

Abstract: I classify the Finsler structures on the 2-sphere that have constant Finsler-Gauss curvature and whose geodesics are the great circles. Modulo diffeomorphism, there is a 2-parameter family of such Finsler structures, only one of which is homogeneous or symmetric, namely the Riemannian one. I discuss the history of the problem and its relation with Hilbert's Fourth Problem and the calculus of v… ▽ More I classify the Finsler structures on the 2-sphere that have constant Finsler-Gauss curvature and whose geodesics are the great circles. Modulo diffeomorphism, there is a 2-parameter family of such Finsler structures, only one of which is homogeneous or symmetric, namely the Riemannian one. I discuss the history of the problem and its relation with Hilbert's Fourth Problem and the calculus of variations. △ Less

Submitted 25 November, 1996; originally announced November 1996.

Comments: AMS-TeX v2.1, amsppt.sty (v. 2.1d), 38 pages

Report number: Duke University Dept. of Mathematics preprint no. DUKE-M-96-13 MSC Class: 53C60 (Primary) 53A20 (Secondary)

Journal ref: Selecta Mathematica (N. S.) 3 (1997), 161-203

On extremals with prescribed Lagrangian densities

Authors: Robert L. Bryant

Abstract: Consider two manifolds~$M^m$ and $N^n$ and a first-order Lagrangian $L(u)$ for mappings $u:M\to N$, i.e., $L$ is an expression involving $u$ and its first derivatives whose value is an $m$-form (or more generally, an $m$-density) on~$M$. One is usually interested in describing the extrema of the functional $\Cal L(u) = \int_M L(u)$, and these are characterized locally as the solutions of the Eul… ▽ More Consider two manifolds~$M^m$ and $N^n$ and a first-order Lagrangian $L(u)$ for mappings $u:M\to N$, i.e., $L$ is an expression involving $u$ and its first derivatives whose value is an $m$-form (or more generally, an $m$-density) on~$M$. One is usually interested in describing the extrema of the functional $\Cal L(u) = \int_M L(u)$, and these are characterized locally as the solutions of the Euler-Lagrange equation~$E_L(u)=0$ associated to~$L$. In this note I will discuss three problems which can be understood as trying to determine how many solutions exist to the Euler-Lagrange equation which also satisfy $L(u) = Φ$, where $Φ$ is a specified $m$-form or $m$-density on~$M$. The first problem, which is solved completely, is to determine when two minimal graphs over a domain in the plane can induce the same area form without merely differing by a vertical translation or reflection. The second problem, described more fully below, arose in Professor Calabi's study of extremal isosystolic metrics on surfaces. The third problem, also solved completely, is to determine the (local) harmonic maps between spheres which have constant energy density. △ Less

Submitted 23 June, 1994; originally announced June 1994.

Comments: 23 pages

Journal ref: in "Manifolds and Geometry" (Pisa, 1993), Cambridge University Press, 1996.