{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $M$ be a compact [[smooth manifold|F45VQ47GPV]] without boundary.\nLet $\\mathcal{M}$ be the space of smooth [[Riemannian metrics|Q61VFHCH2J]] on $M$, an open subset of the Fréchet space of smooth symmetric $2$-tensors.\nLet $\\mathcal{D}$ be the [[diffeomorphism group|WTCNKST134]] of $M$, acting on $\\mathcal{M}$ on the right by pullback, $(\\gamma, \\eta) \\mapsto \\eta^* \\gamma$.\nFor $\\gamma \\in \\mathcal{M}$, let $I_\\gamma \\subseteq \\mathcal{D}$ be its [[isometry|02HPP5VCZH]] group, which is the [[stabiliser|0RGGF8ZS6D]] of $\\gamma$.\nThen there is a submanifold $S_\\gamma$ of $\\mathcal{M}$ containing $\\gamma$, the *slice* at $\\gamma$, such that:\n\n1. If $\\eta \\in I_\\gamma$, then $\\eta^* S_\\gamma = S_\\gamma$.\n2. If $\\eta \\in \\mathcal{D}$ and $\\eta^* S_\\gamma \\cap S_\\gamma \\neq \\emptyset$, then $\\eta \\in I_\\gamma$.\n3. There are a neighbourhood $U$ of the identity coset in $\\mathcal{D} / I_\\gamma$ and a local section $\\chi \\colon U \\to \\mathcal{D}$ of the projection $\\mathcal{D} \\to \\mathcal{D} / I_\\gamma$.\nFor these, the map $U \\times S_\\gamma \\to \\mathcal{M}$, $(u, s) \\mapsto \\chi(u)^* s$, is a homeomorphism onto a neighbourhood of $\\gamma$.\n\n\n## Remarks\n\nThe theorem is due to Ebin.\nThe tangent space to the orbit of $\\gamma$ consists of the Lie derivatives $L_X \\gamma$ of $\\gamma$ along vector fields $X$.\nIts $L^2$-orthogonal complement is the space of symmetric $2$-tensors $h$ with $\\delta_\\gamma h = 0$, where $\\delta_\\gamma$ is the divergence.\nThe slice is the image of a small ball in this complement under the exponential map of an $I_\\gamma$-invariant metric on $\\mathcal{M}$.\nThe analysis is carried out on Sobolev completions of $\\mathcal{M}$ and $\\mathcal{D}$, which are Hilbert manifolds, and then passed to the smooth case.\nCompactness of $I_\\gamma$, which is a compact Lie group because $M$ is compact, is used to average and to make the slice invariant.\nIt is the infinite-dimensional analogue of the [[slice theorem|VQB2N60ARE]] for actions of compact Lie groups on finite-dimensional manifolds.\n\nExample: suppose that $\\gamma$ has trivial isometry group.\nThen near $\\gamma$ the action is free, and a neighbourhood of the class of $\\gamma$ in $\\mathcal{M} / \\mathcal{D}$ is homeomorphic to the slice $S_\\gamma$.\n\n## Explanations\n\n### L1 human\n\nTwo Riemannian metrics that differ by a change of coordinates describe the same geometry.\nSo the space of geometries on $M$ is the space of metrics divided by the action of diffeomorphisms.\nEbin's theorem says that near any metric this division can be done cleanly.\nThere is a transversal family of metrics, the slice, that meets each nearby orbit in an orbit of the finite-dimensional isometry group.\n\n### L2 human\n\nThe slice theorem is the basic tool for describing the moduli space of Riemannian metrics, sometimes called superspace in general relativity.\nIt shows that this space splits into pieces according to the isometry group of the metric.\nNear a metric whose only isometry is the identity, the space is locally modelled on the slice.\nThe same pattern reappears for connections modulo gauge: an infinite-dimensional group acts with a slice built from an elliptic gauge condition.\nThere the Coulomb gauge plays the role of the divergence-free condition.\n\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "Q61VFHCH2J",
      "WTCNKST134"
    ],
    "kind": "statement",
    "msc": [
      "58D17",
      "58D19",
      "58D05"
    ],
    "name": "Ebin's slice theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Slice_theorem_(differential_geometry)"
      }
    ],
    "tag": "AZF9TXV5C0",
    "uses": [
      "F45VQ47GPV",
      "Q61VFHCH2J",
      "WTCNKST134",
      "0RGGF8ZS6D",
      "02HPP5VCZH",
      "BW12J14X0Z"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/AZF9TXV5C0/",
  "links": [
    {
      "field": "about",
      "target": "Q61VFHCH2J"
    },
    {
      "field": "about",
      "target": "WTCNKST134"
    },
    {
      "field": "uses",
      "target": "F45VQ47GPV"
    },
    {
      "field": "uses",
      "target": "Q61VFHCH2J"
    },
    {
      "field": "uses",
      "target": "WTCNKST134"
    },
    {
      "field": "uses",
      "target": "0RGGF8ZS6D"
    },
    {
      "field": "uses",
      "target": "02HPP5VCZH"
    },
    {
      "field": "uses",
      "target": "BW12J14X0Z"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/AZF9TXV5C0.md",
  "msc": [
    "58D17",
    "58D19",
    "58D05"
  ],
  "name": "Ebin's slice theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/AZF/AZF9TXV5C0.md",
  "status": null,
  "tag": "AZF9TXV5C0",
  "uri": "m2://AZF9TXV5C0",
  "url": "https://tamnd.github.io/math2/wiki/ebins-slice-theorem/",
  "writing": {
    "tag": "AZF9TXV5C0",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}