Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Higher Symmetries of the Square of the Laplacian

Michael Eastwood, Thomas Leistner

TL;DR

This work determines the symmetry operators of the square of the Laplacian, $\Delta^2$, on ${\mathbb R}^n$ and reveals a deep link with conformal geometry. It develops a three-part program—restricting leading symbols by an overdetermined PDE, constructing symmetries with prescribed symbols through an ambient/AdS/CFT framework, and deriving the full symmetry algebra by composing canonical generators—while highlighting distinctions from the Laplacian case. The ambient metric approach yields canonical first- and second-order symmetries arising from conformal Killing tensors and generalised conformal Killing tensors, and it characterises the full symmetry algebra ${\mathcal B}_n$ as a quotient of the tensor algebra of $\mathfrak{so}(n+1,1)$ with a crucial fourth-order generator. Representing a synthesis of conformal geometry and invariant differential operator theory, the results illuminate the structure of higher symmetries and their potential role in separation-of-variables problems.

Abstract

The symmetry operators for the Laplacian in flat space were recently described and here we consider the same question for the square of the Laplacian. Again, there is a close connection with conformal geometry. There are three main steps in our construction. The first is to show that the symbol of a symmetry is constrained by an overdetermined partial differential equation. The second is to show existence of symmetries with specified symbol (using a simple version of the AdS/CFT correspondence). The third is to compute the composition of two first order symmetry operators and hence determine the structure of the symmetry algebra. There are some interesting differences as compared to the corresponding results for the Laplacian.

Higher Symmetries of the Square of the Laplacian

TL;DR

This work determines the symmetry operators of the square of the Laplacian, , on and reveals a deep link with conformal geometry. It develops a three-part program—restricting leading symbols by an overdetermined PDE, constructing symmetries with prescribed symbols through an ambient/AdS/CFT framework, and deriving the full symmetry algebra by composing canonical generators—while highlighting distinctions from the Laplacian case. The ambient metric approach yields canonical first- and second-order symmetries arising from conformal Killing tensors and generalised conformal Killing tensors, and it characterises the full symmetry algebra as a quotient of the tensor algebra of with a crucial fourth-order generator. Representing a synthesis of conformal geometry and invariant differential operator theory, the results illuminate the structure of higher symmetries and their potential role in separation-of-variables problems.

Abstract

The symmetry operators for the Laplacian in flat space were recently described and here we consider the same question for the square of the Laplacian. Again, there is a close connection with conformal geometry. There are three main steps in our construction. The first is to show that the symbol of a symmetry is constrained by an overdetermined partial differential equation. The second is to show existence of symmetries with specified symbol (using a simple version of the AdS/CFT correspondence). The third is to compute the composition of two first order symmetry operators and hence determine the structure of the symmetry algebra. There are some interesting differences as compared to the corresponding results for the Laplacian.

Paper Structure

This paper contains 5 sections, 10 theorems, 113 equations.

Table of Contents

  1. Introduction
  2. Definitions and statements of results
  3. The proof of Theorem \ref{['Utheo']}
  4. The ambient metric and the proof of Theorem \ref{['Etheo']}
  5. The proof of Theorem \ref{['Algtheo']}

Key Result

Theorem 1

Any zeroth order symmetry of $\Delta^2$ is of the form Any first order symmetry of $\Delta^2$ is of the form where $V^b$ is a conformal Killing vector. Any higher symmetry, say of degree $s$, of $\Delta^2$ is canonically equivalent to one of the form where $V^{bcd\cdots e}$ is a conformal Killing tensor of valency $s$ and $W^{d\cdots e}$ is a generalised conformal Killing tensor of valency $s-2

Theorems & Definitions (20)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4
  • Definition 5
  • Theorem 1
  • Theorem 2
  • Corollary 1
  • Theorem 3
  • Lemma 1
  • ...and 10 more