RESEARCH STATEMENT YUHAO HU
|
|
- Ralf Long
- 5 years ago
- Views:
Transcription
1 RESEARCH STATEMENT YUHAO HU I am interested in researching in differential geometry and the geometry of partial differential equations. Earlier in my PhD studies, I learned the theory of exterior differential systems (EDS) and Cartan s method of equivalence from my advisor, Professor Robert Bryant. Later I applied these tools to study the Bäcklund problem, which I will now describe. One of the earliest and simplest findings that motivated the posing of the Bäcklund problem in the late 19th century is the first-order PDE system { zx z (1) x = λ sin(z + z), z y + z y = 1 λ sin(z z), where λ is a nonzero constant. This system is interesting partly because it enables an infinitude of solutions of the sine-gordon equation (2) u xy = 1 2 sin(2u) to be generated from a given one by solving ODE systems alone. In fact, in order for the system (1) to be compatible, both z and z must satisfy the sine-gordon equation. In addition, if z is a solution of the sine-gordon equation, then the system (1) reduces to a compatible first-order system for z; hence it can be solved using ODE techniques. Geometrically, the sine-gordon equation arises in the study of surfaces of negative constant Gauss curvature in the Euclidean space E 3. Indeed, the system (1) is only a variant of the classical Bäcklund theorem concerning such surfaces, also known for more than a century. The Bäcklund theorem says that, given a surface of negative constant Gauss curvature in E 3, one could deduce an infinitude of surfaces of the same Gauss curvature, which relate to the given one by a pseudo-spherical line congruence (see [1] or [4]), and that such line congruences can be found by solving ODE systems alone. What is important about these findings is that they suggest a new way of looking at PDEs. That is, instead of studying equivalence of PDEs under contact transformations, which may be too strict a notion, we could consider how their solutions relate. In particular, the examples described above represent a particular kind of such relations. In this case, a relation is a PDE system E of two unknown functions, say u and v. The compatibility of E gives rise to a PDE system E 1 (resp. E 2 ) in u (resp. v). Specifying a solution of E 1, the system E reduces to a system solvable using ODE techniques, producing solutions of E 2, and vice versa. A relation E satisfying these properties is traditionally known as
2 2 YUHAO HU a Bäcklund transformation, bearing the name of one of its earliest discoverers, though a Bäcklund relation would seem a more appropriate term. Roughly speaking, the Bäcklund problem asks for a classification of Bäcklund transformations. For more than a century since its discovery, and with Bianchi, Bäcklund, Darboux, Goursat and Cartan contributing to its early studies, the concept of a Bäcklund transformation has drawn interest from mathematicians and physicists alike. During this time, numerous examples of Bäcklund transformations have been discovered (see [8]), including those relating the KdV equation and those relating the Tzitzeica equation (equation arising from the study of affine spheres). Connections of Bäcklund transformations with integrable systems and soliton theory have also been found. However, examples being isolated, a classification of Bäcklund transformations remains largely unknown. For instance, we do not have an effective test that tells whether two PDEs in the plane are Bäcklund-related. The generality of Bäcklund transformations, even in the most classical case, also remains unknown. In my research, I focus on Bäcklund transformations of a particular kind, namely, those relating hyperbolic Monge-Ampère systems in the sense of [1]. Instead of treating Bäcklund transformations as PDE systems and studying them algebraically, I set them up as exterior differential systems on differentiable manifolds and study their structures through geometric invariants, to which the theory of EDS and the method of equivalence are particularly suitable. In this setting, we could associate notions of rank and homogeneity to a Bäcklund transformation. When the rank is one, I have found an upper bound for the number of initial conditions needed to determine a certain generic type of Bäcklund transformations (Theorem 1). Moreover, when the rank is one and when the two Monge-Ampère systems are both Euler-Lagrange, I have found simple obstructions to the existence of a Bäcklund transformation as well as certain new views on classical results (e.g., Proposition 1). When the rank is two, I have partially classified the homogeneous Bäcklund transformations (Theorems 2,3). Extension and refinement of these results remain my short-term goal. My long-term goal is to develop a method that effectively uncovers the structure of Bäcklund transformations, thus making progress towards solving the general Bäcklund problem. In the following paragraphs, I will explain my work and my future plan in further detail. 1. The Geometry of Bäcklund Transformations An accepted geometric formulation of a Bäcklund transformation uses the concept of an exterior differential system (EDS). An EDS is a pair (M, I), where M is a differentiable manifold, and I Ω M an ideal closed under exterior differentiation. A submanifold f : S M is called an integral manifold of (M, I) if any differential form in I pulls back
3 RESEARCH STATEMENT 3 to vanish on S. In familiar terms, an EDS corresponds to a system of partial differential equations, and an integral manifold corresponds to a solution of that system. For example, the sine- Gordon equation (2) can be established as an EDS on the 1-jet space J 1 (R 2, R) = R 5 with coordinates (x, y, u, p, q), where p, q are variables representing the x and y partials of u, respectively. The associated differential ideal I is generated by the differential forms θ = du pdx qdy, Θ 1 = (dp 1 2 sin(2u)dy) dx, Θ 2 = (dq 1 2 sin(2u)dx) dy. It is easy to see that, on any integral surface where dx, dy are independent forms, the vanishing of θ, Θ 1 and Θ 2 implies that u = u(x, y) satisfies the equation (2). I would also like to inform the reader that this exterior differential system generated by θ, Θ 1, Θ 2 is an example of a hyperbolic Monge-Ampère system, which, generally speaking, is a differential system on a 5-manifold, its differential ideal being generated by a contact 1-form, its exterior differential and another two form, such that each integral surface is foliated by two distinct families of characteristic curves. In terms of these, and up to certain transversality conditions, a Bäcklund transformation relating (M, I) and ( M, Ī) is formulated as a double fibration π (N, B) π (M, I) ( M, Ī) such that the preimage of any integral manifold of either (M, I) or ( M, Ī) is foliated by integral manifolds of (N, B), and such that any integral manifold of (N, B) projects via π (resp. π) to be an integral manifold of (M, I) (resp. ( M, Ī)). Often, one would, for simplicity, refer to (N, B) as the Bäcklund transformation. When M and M have the same dimension, I define r = dim N dim M to be the rank of the Bäcklund transformation. A reason for making this definition and studying Bäcklund transformations of various ranks is that while being Bäcklund-related at a particular rank may not, a priori, be transitive in the sense of a relation, being Bäcklund-related is. Another reason is that interesting Bäcklund transformations also arise in higher ranks, such as the Bäcklund transformation relating the Tzizeica equation to itself (see [8]), which is of rank-2. The classical transformation that links minimal surfaces in the standard 3-sphere S 3 with surfaces in E 3 with mean curvature 1 can be interpreted as a rank-5 Bäcklund
4 4 YUHAO HU transformation. Composition of Bäcklund transformations also yields a Bäcklund transformation of higher rank. In general, the subgroup of Diff(N) that leaves B invariant is called the symmetry group of the Bäcklund transformation. If the symmetry group acts transitively, we say that (N, B) is homogeneous. In [6], Clelland, using the method of equivalence, classified all the rank-1 homogeneous Bäcklund transformations relating hyperbolic Monge-Ampère systems, finding fifteen cases. In [5], Clelland and Ivey, classified all the rank-1 Bäcklund transformations that relate a certain hyperbolic Monge-Ampère system to the system representing the wave equation z xy = 0. Their classification coincides with the well-known Goursat-Vessiot list of Darboux integrable systems. These are some results that inspired my research. My research is mainly in two parts. The first part is the study of general rank-1 Bäcklund transformations relating hyperbolic Monge-Ampère systems; the second, the study of homogeneous rank-2 Bäcklund transformations relating hyperbolic Monge-Ampère systems. These will be briefly refered to as rank-1 general and rank-2 homogeneous Rank-1 General. In this part, my research objective is to answer the following questions. I. Thinking abstractly of a 6-manifold with a Bäcklund structure, only assuming that it is a rank-1 Bäcklund transformation relating two hyperbolic Monge-Ampère systems, how many such structures are there up to diffeomorphism? II. Which pairs of hyperbolic Monge-Ampère systems are related by a rank-1 Bäcklund transformation? In the context of the first question, a Bäcklund transformation (N, B) is a 6-manifold with a differential ideal B. In particular, B is algebraically generated as B = {θ, η, ω 1 ω 2, ω 3 ω 4 }, where θ, η and the ω s comprise a local coframe on N. Not every manifold admitting such a coframe can be regarded as a Bäcklund transformation. In fact, as long as {dθ, dη} has rank two modulo θ and η, it is shown in [6] that we could always adjust these 1-forms such that B is still generated in the form as above and such that the following structure equations hold: dθ = A 1 ω 1 ω 2 + ω 3 ω 4, mod θ, dη = ω 1 ω 2 + A 2 ω 3 ω 4, mod η, where A 1 A 2 1. Once this is the case, in order for B to represent a Bäcklund transformation, we need the additional condition that each characteristic system (such as {θ, ω 1, ω 2 }) is well-defined on a corresponding 5-dimensional quotient of N. This puts further restrictions on the structure equations.
5 RESEARCH STATEMENT 5 To answer the first question, I follow Clelland [6] to establish the structure equations that represent a Bäcklund transformation. Without assuming the structure invariants to be constants, I no longer benefit from the simplifications that are found in [6]. I thus take a natural approach of applying Cartan s third theorem [2], as this theorem in general provides a criterion to determine the generality of geometric structures of certain types. Algorithmically, I start with the Bäcklund structure equations, taking step-by-step exterior differentiations, using the identity d 2 = 0 to uncover relations between the primary structure invariants, their derivatives, the derivatives of their derivatives, and so on. This criterion succeeds when a certain numerical inequality (Cartan s inequality) becomes an equality. In such a case, I will be able to answer the generality question in the form Generic rank-1 Bäcklund transformations relating hyperbolic Monge-Ampère systems depend on s k functions of k variables, where s k is the last nonzero Cartan character associated to the problem. So far, I have yet to attain such an equality, but have obtained partial information from my calculations. In particular, I have proven Theorem 1. In a generic case, a Bäcklund transformation relating hyperbolic Monge-Ampère systems can be uniquely determined by specifying initial data consisting of at most 6 functions of 3 variables. The second question has a somewhat different nature comparing to the first, so I have taken a different approach. For a pair of fixed hyperbolic Monge-Ampère systems (M, I) and ( M, Ī), a Bäcklund transformation relating them corresponds to an integral manifold of a rank-4 Pfaffian system on M M R 16. It is thus well known that, theoretically at least, the existence problem of a Bäcklund transformation relating these Monge-Ampère systems can be solved using the Cartan-Kähler theory [5]. An improvement that I have made is developing this idea so that it could also be applied to the case when the Monge- Ampère systems are arbitrary. To carry out this idea, I establish a Pfaffian system on the product of two Monge- Ampère structure bundles (c.f. [1], p.56) and a space of unknown parameters. Then I take advantage of the freedom in the Monge-Ampère structure equations to further simplify the Pfaffian system. In the language developed in [3], this Pfaffian system is integrable only if its intrinsic torsion vanishes. Based on this, I have found various obstructions, in terms of the Monge-Ampère invariants, for two hyperbolic Monge-Ampère systems to be related by a rank-1 Bäcklund transformation of a certain type. For example, when a hyperbolic Monge-Ampère system is Euler-Lagrange, its first Monge-Ampère relative invariants reduce to a 2-by-2 matrix, say S. In this case, I have obtained the following Proposition 1. If two Euler-Lagrange hyperbolic Monge-Ampère systems, (M, I) (with contact form θ) and ( M, Ī) (with contact form η), are related by a rank-1 Bäcklund transformation, on which dθ dθ and dη dη induce the same orientation on the 4-plane field θ, η, then their first Monge- Ampère relative invariants, S 1 and S 1, must be either both degenerate or both non-degenerate.
6 6 YUHAO HU A proposition like this may not represent full potential of the idea described above. In fact, one could put certain assumptions on the Monge-Ampère invariants or the form of Bäcklund transformations to simplify the torsion-vanishing conditions, thus to obtain interesting results. For example, I have found several assumptions that would necessarily lead to only a finite number of Monge-Ampère pairs that are related by Bäcklund transformations satisfying prescribed conditions. On the other hand, before one actually carries out the calculation, making these assumptions may still allow other pairs of Monge-Ampère systems to be Bäcklund-related. This tells us that the existence of Bäcklund-related pairs near a pair of Monge-Ampère systems that are known to be Bäcklund-related can be quite restricted. I believe that a more thorough analysis of this kind would lead to a rather detailed understanding of the local shape of the space of Bäcklund-related Monge-Ampère pairs. Also, it would be particularly interesting to know which Bäcklund-related pairs are isolated and which are not. These are parts of my on-going work Rank-2 Homogeneous. In this case, a Bäcklund manifold N is 7-dimensional; the Bäcklund ideal is algebraically generated as (3) B = {ω 0, ω 0, γ, ω 1 ω 2, ω 3 ω 4 }, where, similar to the rank-1 case, the 1-forms ω 0, ω 0, γ and the ω s comprise a local coframe on N. I have divided the problem into the following two subcases. If {dω 0, d ω 0 } has rank two modulo ω 0, ω 0, γ, I have shown that it is possible to choose coframes such that (3) still holds, and such that the following structure equations are satisfied. (4) (5) (6) dω 0 Aω 1 ω 2 + ω 3 ω 4 + (B 3 ω 3 + B 4 ω 4 ) γ mod ω 0, d ω 0 ω 1 ω 2 + ɛaω 3 ω 4 + (B 1 ω 1 + B 2 ω 2 ) γ mod ω 0, 4 4 dγ C 0 ω 0 ω 0 + C i ω i ω 0 + D i ω i ω 0 mod γ, i=1 where ɛ = ±1, A > 0 and ɛa 2 1. If {dω 0, d ω 0 } has rank one modulo ω 0, ω 0, γ, I have shown that, it is possible to choose coframes such that (3) still holds, and such that the following structure equations are satisfied. (7) (8) (9) dω 0 ω 1 ω 2 + ω 3 ω 4 + (B 3 ω 3 + B 4 ω 4 ) γ mod ω 0, d ω 0 ω 1 ω 2 + ω 3 ω 4 + (B 1 ω 1 + B 2 ω 2 ) γ mod ω 0, i=1 dγ C(ω 1 ω 2 ω 3 ω 4 ) mod ω 0, ω 0, γ. I point out that, as in the rank-1 case, the structure equations from (4) to (9) are only results of the assumption that B can be written in the form (3). In order for B to represent a Bäcklund transformation, more condition must be imposed on the structure equations
7 RESEARCH STATEMENT 7 of dω 1,..., dω 4. Once this is done, I proceed using the method of equivalence [7]. So far, I have obtained the following results. Theorem 2. Consider rank-two homogeneous Bäcklund transformations relating hyperbolic Monge-Ampère systems admitting the structure equations of the form (4) (6). i. There exist no such Bäcklund transformations with C 0, (B 1, B 2 ), (B 3, B 4 ) all being nonzero. ii. If ɛ = 1, C 0 being identically zero and (B 1, B 2 ), (B 3, B 4 ) both being nonzero, the Bäcklund transformation is either foliated by rank-one Bäcklund transformations, or is equivalent to an auto-bäcklund transformation of the linear equation z xy = z. Theorem 3. Consider rank-two homogeneous Bäcklund transformations relating hyperbolic Monge-Ampère systems admitting the structure equations (7) (9). If (B 1, B 2 ) and (B 3, B 4 ) are both nonzero and C is nonzero, then the Bäcklund transformation is equivalent to an auto-bäcklund transformation of a linear equation of the form z xy = λz, where λ is a constant. I remark that, under the assumption of Theorem 3, the case when C 0, (B 1, B 2 ), (B 3, B 4 ) are all nonzero may be regarded as generic. The theorem tells us that, surprisingly, no homogeneous examples can be found in this case. Of course, I am interested in knowing whether there exists any Bäcklund transformation in this case at all without making the homogeneity assumption. What is also interesting is that, in the cases for which I have drawn conclusions, the only new examples are Bäcklund transformations relating linear equations; and those that relate nonlinear equations all seem hidden in the statement that the Bäcklund manifold is foliated by rank-1 Bäcklund transformations. To answer whether this is true for all homogeneous rank-2 Bäcklund transformations depends on a complete classification in this case. This is also part of my on-going work. 2. Future Plan In the short-term, my main focus will remain solving problems related to Bäcklund transformations. Among these are: Considering the space of Bäcklund-related Monge-Ampère pairs, what is its shape near the pairs that are classically known? If a hyperbolic Monge-Ampère system can be put in the form z xy = F (x, y, z, z x, z y ), is it necessary that its Bäcklund pair, if any, can be put in the same form? Find an explicit Monge-Ampère system that does not have a rank-1 Bäcklund pair.
8 8 YUHAO HU Classify Bäcklund transformations relating hyperbolic Monge-Ampère systems that are of cohomogeneity-1. More ambitious problems, to name a few, are: What is the (exact) generality of rank-one Bäcklund transformations relating hyperbolic Monge-Ampère systems? Which Monge-Ampère systems are rank-2 but not rank-1 Bäcklund-related? Classify homogenerous Bäcklund transformations relating hyperbolic Monge-Ampère systems of ranks greater than 2. Study Bäcklund transformations relating systems of other types, such as those relating elliptic/parabolic Monge-Ampère systems. References [1] Robert Bryant, Phillip Griffiths, and Daniel Grossman, Exterior differential systems and Euler-Lagrange partial differential equations, University of Chicago Press, [2] Robert L Bryant, Notes on exterior differential systems, arxiv preprint arxiv: (2014). [3] Robert L Bryant, Shiing-Shen Chern, Robert B Gardner, Hubert L Goldschmidt, and Phillip A Griffiths, Exterior differential systems, Vol. 18, Springer Science & Business Media, [4] Shiing-Shen Chern and Chuu-Lian Terng, An analogue of Bäcklund s theorem in affine geometry, Rocky Mountain J. Math. 10 (1980), no. 1. [5] Jeanne N Clelland, Thomas A Ivey, et al., Bäcklund transformations and Darboux integrability for nonlinear wave equations, Asian Journal of Mathematics 13 (2009), no. 1, [6] Jeanne Nielsen Clelland, Homogeneous Bäcklund transformations of hyperbolic Monge-ampère systems, arxiv preprint math (2001). [7] Robert B Gardner, The method of equivalence and its applications, SIAM, [8] Colin Rogers and Wolfgang Karl Schief, Bäcklund and Darboux transformations: geometry and modern applications in soliton theory, Vol. 30, Cambridge University Press, 2002.
Geometric characterization and classification of Bäcklund transformations of sine-gordon type
Journal of Integrable Systems (208) 3, 44 doi: 0.093/integr/xyy08 Geometric characterization and classification of Bäcklund transformations of sine-gordon type Jeanne N. Clelland Department of Mathematics,
More informationDARBOUX INTEGRABILITY OF HYPERBOLIC SYSTEMS AND LIE S THEOREM
DARBOUX INTEGRABILITY OF HYPERBOLIC SYSTEMS AND LIE S THEOREM YUHAO HU At the start of Chapter VII Volume II of Leçons sur L Intégration des Équations aux Dérivées Partielle du Second Ordre E Goursat wrote:
More informationÉlie Cartan s Theory of Moving Frames
Élie Cartan s Theory of Moving Frames Orn Arnaldsson Department of Mathematics University of Minnesota, Minneapolis Special Topics Seminar, Spring 2014 The Story of Symmetry Felix Klein and Sophus Lie
More informationCauchy-Kowalevski and Cartan-Kähler
Cauchy-Kowalevski and Department of Mathematics Utrecht University February 9, 2006 Outline Cauchy-Kowalevski theorem Partial differential equations and exterior differential systems theorem Cauchy Augustin
More informationA PSEUDO-GROUP ISOMORPHISM BETWEEN CONTROL SYSTEMS AND CERTAIN GENERALIZED FINSLER STRUCTURES. Robert B. Gardner*, George R.
A PSEUDO-GROUP ISOMORPHISM BETWEEN CONTROL SYSTEMS AND CERTAIN GENERALIZED FINSLER STRUCTURES Robert B. Gardner*, George R. Wilkens Abstract The equivalence problem for control systems under non-linear
More informationTHE NEWLANDER-NIRENBERG THEOREM. GL. The frame bundle F GL is given by x M Fx
THE NEWLANDER-NIRENBERG THEOREM BEN MCMILLAN Abstract. For any kind of geometry on smooth manifolds (Riemannian, Complex, foliation,...) it is of fundamental importance to be able to determine when two
More informationLECTURE 6: PSEUDOSPHERICAL SURFACES AND BÄCKLUND S THEOREM. 1. Line congruences
LECTURE 6: PSEUDOSPHERICAL SURFACES AND BÄCKLUND S THEOREM 1. Line congruences Let G 1 (E 3 ) denote the Grassmanian of lines in E 3. A line congruence in E 3 is an immersed surface L : U G 1 (E 3 ), where
More informationSymmetry Analysis of General Rank-3 Pfaffian Systems in Five Variables
Utah State University DigitalCommons@USU All Graduate Theses and Dissertations Graduate Studies 5-2009 Symmetry Analysis of General Rank-3 Pfaffian Systems in Five Variables Francesco Strazzullo Utah State
More informationGeometry and Conservation Laws for a Class of Second-Order Parabolic Equations. Benjamin Blake McMillan
Geometry and Conservation Laws for a Class of Second-Order Parabolic Equations by Benjamin Blake McMillan A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of
More informationIntegration of non linear conservation laws?
Integration of non linear conservation laws? Frédéric Hélein, Institut Mathématique de Jussieu, Paris 7 Advances in Surface Theory, Leicester, June 13, 2013 Harmonic maps Let (M, g) be an oriented Riemannian
More informationEquivalence, Invariants, and Symmetry
Equivalence, Invariants, and Symmetry PETER J. OLVER University of Minnesota CAMBRIDGE UNIVERSITY PRESS Contents Preface xi Acknowledgments xv Introduction 1 1. Geometric Foundations 7 Manifolds 7 Functions
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationEva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February
From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February
More informationB.7 Lie Groups and Differential Equations
96 B.7. LIE GROUPS AND DIFFERENTIAL EQUATIONS B.7 Lie Groups and Differential Equations Peter J. Olver in Minneapolis, MN (U.S.A.) mailto:olver@ima.umn.edu The applications of Lie groups to solve differential
More informationContact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples
Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples Vladimir Rubtsov, ITEP,Moscow and LAREMA, Université d Angers Workshop "Geometry and Fluids" Clay Mathematical Institute,
More informationSurfaces of Arbitrary Constant Negative Gaussian Curvature and Related Sine-Gordon Equations
Mathematica Aeterna, Vol.1, 011, no. 01, 1-11 Surfaces of Arbitrary Constant Negative Gaussian Curvature and Related Sine-Gordon Equations Paul Bracken Department of Mathematics, University of Texas, Edinburg,
More informationj=1 ωj k E j. (3.1) j=1 θj E j, (3.2)
3. Cartan s Structural Equations and the Curvature Form Let E,..., E n be a moving (orthonormal) frame in R n and let ωj k its associated connection forms so that: de k = n ωj k E j. (3.) Recall that ωj
More informationPrescribed Mean Curvature Systems. Conrad Alexander Hengesbach
Prescribed Mean Curvature Systems by Conrad Alexander Hengesbach A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationSECOND-ORDER TYPE-CHANGING EVOLUTION EQUATIONS WITH FIRST-ORDER INTERMEDIATE EQUATIONS
SECOND-ORDER TYPE-CHANGING EVOLUTION EQUATIONS WITH FIRST-ORDER INTERMEDIATE EQUATIONS JEANNE CLELLAND, MAREK KOSSOWSKI, AND GEORGE R. WILKENS In memory of Robert B. Gardner. Abstract. This paper presents
More informationTHOMAS A. IVEY. s 2 γ
HELICES, HASIMOTO SURFACES AND BÄCKLUND TRANSFORMATIONS THOMAS A. IVEY Abstract. Travelling wave solutions to the vortex filament flow generated byelastica produce surfaces in R 3 that carrymutuallyorthogonal
More informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationChap. 1. Some Differential Geometric Tools
Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U
More informationThe Helically Reduced Wave Equation as a Symmetric Positive System
Utah State University DigitalCommons@USU All Physics Faculty Publications Physics 2003 The Helically Reduced Wave Equation as a Symmetric Positive System Charles G. Torre Utah State University Follow this
More informationGauge Fixing and Constrained Dynamics in Numerical Relativity
Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and
More informationarxiv:gr-qc/ v1 5 Nov 2004
Mathematical Structure of Tetrad Equations for Vacuum Relativity arxiv:gr-qc/0411029v1 5 Nov 2004 Frank B. Estabrook Jet Propulsion Laboratory, California Institute of Technology 4800 Oak Grove Drive,
More informationHow curvature shapes space
How curvature shapes space Richard Schoen University of California, Irvine - Hopf Lecture, ETH, Zürich - October 30, 2017 The lecture will have three parts: Part 1: Heinz Hopf and Riemannian geometry Part
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationSymmetries and Group Invariant Reductions of Integrable Partial Difference Equations
Proceedings of 0th International Conference in MOdern GRoup ANalysis 2005, 222 230 Symmetries and Group Invariant Reductions of Integrable Partial Difference Equations A. TONGAS, D. TSOUBELIS and V. PAPAGEORGIOU
More informationη = (e 1 (e 2 φ)) # = e 3
Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian
More informationFoliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary
Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary David Chopp and John A. Velling December 1, 2003 Abstract Let γ be a Jordan curve in S 2, considered as the ideal
More informationSINGULARITIES AND NORMAL FORMS OF SMOOTH DISTRIBUTIONS
GEOMETRY IN NONLINEAR CONTROL AND DIFFERENTIAL INCLUSIONS BANACH CENTER PUBLICATIONS, VOLUME 32 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1995 SINGULARITIES AND NORMAL FORMS OF SMOOTH
More informationarxiv:math/ v1 [math.dg] 1 Nov 2006
arxiv:math/0611033v1 [math.dg] 1 Nov 2006 A LOOP GROUP FORMULATION FOR CONSTANT CURVATURE SUBMANIFOLDS OF PSEUDO-EUCLIDEAN SPACE DAVID BRANDER AND WAYNE ROSSMAN Abstract. We give a loop group formulation
More informationABEL S THEOREM BEN DRIBUS
ABEL S THEOREM BEN DRIBUS Abstract. Abel s Theorem is a classical result in the theory of Riemann surfaces. Important in its own right, Abel s Theorem and related ideas generalize to shed light on subjects
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationNOTES ON THE CHARACTERISTIC VARIETY
NOTES ON THE CHARACTERISTIC VARIETY BENJAMIN MCKAY Abstract. These are my notes on chapter 5 of the book [1]. They were the subject of lectures I gave at Duke University in 1998. 1. Introduction The characteristic
More informationMolding surfaces and Liouville s equation
Molding surfaces and Liouville s equation Naoya Ando Abstract According to [9], a molding surface has a property that a family of lines of curvature consists of geodesics. In the present paper, we will
More informationCitation Osaka Journal of Mathematics. 40(3)
Title An elementary proof of Small's form PSL(,C and an analogue for Legend Author(s Kokubu, Masatoshi; Umehara, Masaaki Citation Osaka Journal of Mathematics. 40(3 Issue 003-09 Date Text Version publisher
More informationHard Lefschetz Theorem for Vaisman manifolds
Hard Lefschetz Theorem for Vaisman manifolds Antonio De Nicola CMUC, University of Coimbra, Portugal joint work with B. Cappelletti-Montano (Univ. Cagliari), J.C. Marrero (Univ. La Laguna) and I. Yudin
More informationarxiv:math.dg/ v1 15 Apr 2005
A CANONICAL FRAME FOR NONHOLONOMIC RANK TWO DISTRIBUTIONS OF MAXIMAL CLASS BORIS DOUBROV AND IGOR ZELENKO arxiv:math.dg/0504319 v1 15 Apr 2005 Abstract. In 1910 E. Cartan constructed the canonical frame
More informationTwisted Poisson manifolds and their almost symplectically complete isotropic realizations
Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Tsing Hua University (Joint work
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationVectors. January 13, 2013
Vectors January 13, 2013 The simplest tensors are scalars, which are the measurable quantities of a theory, left invariant by symmetry transformations. By far the most common non-scalars are the vectors,
More informationConstructing compact 8-manifolds with holonomy Spin(7)
Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.
More informationThe only global contact transformations of order two or more are point transformations
Journal of Lie Theory Volume 15 (2005) 135 143 c 2005 Heldermann Verlag The only global contact transformations of order two or more are point transformations Ricardo J. Alonso-Blanco and David Blázquez-Sanz
More informationΩ Ω /ω. To these, one wants to add a fourth condition that arises from physics, what is known as the anomaly cancellation, namely that
String theory and balanced metrics One of the main motivations for considering balanced metrics, in addition to the considerations already mentioned, has to do with the theory of what are known as heterotic
More informationON THE SYMMETRIES OF INTEGRABLE PARTIAL DIFFERENCE EQUATIONS
Proceedings of the International Conference on Difference Equations, Special Functions and Orthogonal Polynomials, World Scientific (2007 ON THE SYMMETRIES OF INTEGRABLE PARTIAL DIFFERENCE EQUATIONS ANASTASIOS
More informationDeformations of coisotropic submanifolds in symplectic geometry
Deformations of coisotropic submanifolds in symplectic geometry Marco Zambon IAP annual meeting 2015 Symplectic manifolds Definition Let M be a manifold. A symplectic form is a two-form ω Ω 2 (M) which
More informationTwo simple ideas from calculus applied to Riemannian geometry
Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationDetecting submanifolds of minimum volume with calibrations
Detecting submanifolds of minimum volume with calibrations Marcos Salvai, CIEM - FaMAF, Córdoba, Argentina http://www.famaf.unc.edu.ar/ salvai/ EGEO 2016, Córdoba, August 2016 It is not easy to choose
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationIntegrability and Associativity
Department of Mathematics University of Illinois at Urbana-Champaign, USA Aim Theorem (Lie III) Every finite dimensional Lie algebra is the Lie algebra of a Lie group Aim Theorem (Lie III) Every finite
More informationTHE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES
THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES Denis Bell 1 Department of Mathematics, University of North Florida 4567 St. Johns Bluff Road South,Jacksonville, FL 32224, U. S. A. email: dbell@unf.edu This
More informationMathematics that Every Physicist should Know: Scalar, Vector, and Tensor Fields in the Space of Real n- Dimensional Independent Variable with Metric
Mathematics that Every Physicist should Know: Scalar, Vector, and Tensor Fields in the Space of Real n- Dimensional Independent Variable with Metric By Y. N. Keilman AltSci@basicisp.net Every physicist
More informationHigher codimension CR structures, Levi-Kähler reduction and toric geometry
Higher codimension CR structures, Levi-Kähler reduction and toric geometry Vestislav Apostolov (Université du Québec à Montréal) May, 2015 joint work in progress with David Calderbank (University of Bath);
More informationTakao Akahori. z i In this paper, if f is a homogeneous polynomial, the correspondence between the Kodaira-Spencer class and C[z 1,...
J. Korean Math. Soc. 40 (2003), No. 4, pp. 667 680 HOMOGENEOUS POLYNOMIAL HYPERSURFACE ISOLATED SINGULARITIES Takao Akahori Abstract. The mirror conjecture means originally the deep relation between complex
More informationEta Invariant and Conformal Cobordism
Annals of Global Analysis and Geometry 27: 333 340 (2005) C 2005 Springer. 333 Eta Invariant and Conformal Cobordism XIANZHE DAI Department of Mathematics, University of California, Santa Barbara, California
More informationDiscrete geometric structures in General Relativity
Discrete geometric structures in General Relativity Jörg Frauendiener Department of Mathematics and Statistics University of Otago and Centre of Mathematics for Applications University of Oslo Jena, August
More informationBÄCKLUND TRANSFORMATIONS ACCORDING TO BISHOP FRAME IN EUCLIDEAN 3-SPACE
iauliai Math. Semin., 7 15), 2012, 4149 BÄCKLUND TRANSFORMATIONS ACCORDING TO BISHOP FRAME IN EUCLIDEAN 3-SPACE Murat Kemal KARACAN, Yilmaz TUNÇER Department of Mathematics, Usak University, 64200 Usak,
More informationConservation laws for the geodesic equations of the canonical connection on Lie groups in dimensions two and three
Appl Math Inf Sci 7 No 1 311-318 (013) 311 Applied Mathematics & Information Sciences An International Journal Conservation laws for the geodesic equations of the canonical connection on Lie groups in
More informationSYSTEMS OF HYPERBOLIC CONSERVATION LAWS WITH PRESCRIBED EIGENCURVES
SYSTEMS OF HYPERBOLIC CONSERVATION LAWS WITH PRESCRIBED EIGENCURVES HELGE KRISTIAN JENSSEN AND IRINA A. KOGAN Abstract. We study the problem of constructing systems of hyperbolic conservation laws in one
More information5 Constructions of connections
[under construction] 5 Constructions of connections 5.1 Connections on manifolds and the Levi-Civita theorem We start with a bit of terminology. A connection on the tangent bundle T M M of a manifold M
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationTotally quasi-umbilic timelike surfaces in R 1,2
Totally quasi-umbilic timelike surfaces in R 1,2 Jeanne N. Clelland, University of Colorado AMS Central Section Meeting Macalester College April 11, 2010 Definition: Three-dimensional Minkowski space R
More informationGeometria Simplettica e metriche Hermitiane speciali
Geometria Simplettica e metriche Hermitiane speciali Dipartimento di Matematica Universitá di Torino 1 Marzo 2013 1 Taming symplectic forms and SKT geometry Link with SKT metrics The pluriclosed flow Results
More informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationInvariant Variational Problems & Invariant Curve Flows
Invariant Variational Problems & Invariant Curve Flows Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Oxford, December, 2008 Basic Notation x = (x 1,..., x p ) independent variables
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationMULTI-FLAG SYSTEMS AND ORDINARY DIFFERENTIAL EQUATIONS
A. Kumpera and J. L. Rubin Nagoya Math. J. Vol. 166 (2002), 1 27 MULTI-FLAG SYSTEMS AND ORDINARY DIFFERENTIAL EQUATIONS A. KUMPERA and J. L. RUBIN Abstract. We discuss the Monge problem for under-determined
More informationMaster of Science in Advanced Mathematics and Mathematical Engineering
Master of Science in Advanced Mathematics and Mathematical Engineering Title: Constraint algorithm for singular k-cosymplectic field theories Author: Xavier Rivas Guijarro Advisor: Francesc Xavier Gràcia
More informationDIFFERENTIAL EQUATIONS AND MOVING FRAMES. Odinette Renée Abib. Abstract
c 2006, Sociedade Brasileira de Matemática DIFFERENTIAL EQUATIONS AND MOVING FRAMES Odinette Renée Abib Abstract We shall study the foundations of the differential geometric consideration for differential
More informationSymmetry of stochastic differential equations
G. Gaeta - GF85 - Trieste, Jan 2018 p. 1/73 Symmetry of stochastic differential equations Giuseppe Gaeta giuseppe.gaeta@unimi.it Dipartimento di Matematica, Università degli Studi di Milano **** Trieste,
More informationDarboux Integrability - A Brief Historial Survey
Utah State University DigitalCommons@USU Mathematics and Statistics Faculty Presentations Mathematics and Statistics 5-22-2011 Darboux Integrability - A Brief Historial Survey Ian M. Anderson Utah State
More information7 Curvature of a connection
[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the
More informationX 0 is of the form Ɣ\B 2 and the map B 2 X 0
Introduction Historical precedent for the results in this book can be found in the theory of Riemann surfaces. Every compact Riemann surface of genus g 2has representations both as a plane algebraic curve,
More informationConjectures in Kahler geometry
Conjectures in Kahler geometry S.K. Donaldson Abstract. We state a general conjecture about the existence of Kahler metrics of constant scalar curvature, and discuss the background to the conjecture 1.
More informationOrigin, Development, and Dissemination of Differential Geometry in Mathema
Origin, Development, and Dissemination of Differential Geometry in Mathematical History The Borough of Manhattan Community College -The City University of New York Fall 2016 Meeting of the Americas Section
More informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationResearch works of Romanian mathematicians on Centro-Affine Geometry
Research works of Romanian mathematicians on Centro-Affine Geometry Vasile Cruceanu Abstract The aim of this paper is to review some Romanian researches in centro-affine geometry, field pioneered by Gh.
More informationSymmetry Preserving Numerical Methods via Moving Frames
Symmetry Preserving Numerical Methods via Moving Frames Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver = Pilwon Kim, Martin Welk Cambridge, June, 2007 Symmetry Preserving Numerical
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationLECTURE 8: THE SECTIONAL AND RICCI CURVATURES
LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to
More informationContact trivialization of ordinary differential equations 1
Differential Geometry and Its Applications 73 Proc. Conf., Opava (Czech Republic), August 27 31, 2001 Silesian University, Opava, 2001, 73 84 Contact trivialization of ordinary differential equations 1
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More informationSurfaces with zero mean curvature vector in 4-dimensional space forms
Surfaces with zero mean curvature vector in 4-dimensional space forms Naoya Ando Abstract Equations for minimal surfaces in 4-dimensional Riemannian space forms and space-like surfaces in 4-dimensional
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationPoints and curves in the Monster tower. Richard Montgomery Michail Zhitomirskii
Points and curves in the Monster tower Richard Montgomery Michail Zhitomirskii Mathematics Dept., UC Santa Cruz, Santa Cruz, CA 95064, USA E-mail address: rmont@math.ucsc.edu Dept. of Mathematics, Technion,
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More information* The work was supported by the Binational Science Foundation grant No ** partially supported by NSF grant DMS
GEOMETRIC APPROACH TO GOURSAT FLAGS * Richard Montgomery ** Department of Mathematics, UC Santa Cruz, Santa Cruz, CA 95064, USA e-mail: rmont@math.ucsc.edu Michail Zhitomirskii Department of Mathematics,
More informationDifferential Invariants of Equi Affine Surfaces
Differential Invariants of Equi Affine Surfaces Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@math.umn.edu http://www.math.umn.edu/ olver Abstract. We show that
More informationOn projective classification of plane curves
Global and Stochastic Analysis Vol. 1, No. 2, December 2011 Copyright c Mind Reader Publications On projective classification of plane curves Nadiia Konovenko a and Valentin Lychagin b a Odessa National
More information