{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Counterexample\n\nLet $S^3 = \\set{(z_1, z_2) \\in \\C^2 : \\abs{z_1}^2 + \\abs{z_2}^2 = 1}$ be the unit [[sphere|P9CM4GQ2T0]].\nIts standard [[CR structure|ZC78JKZX9S]] is spanned by the vector field\n$$\\bar L = z_2 \\frac{\\partial}{\\partial \\bar z_1} - z_1 \\frac{\\partial}{\\partial \\bar z_2},$$\nwhich is tangent to $S^3$, and its conjugate is $L = \\bar z_2 \\frac{\\partial}{\\partial z_1} - \\bar z_1 \\frac{\\partial}{\\partial z_2}$.\nFor a real number $t$ with $0 \u003c \\abs{t} \u003c 1$, let $\\bar L_t = \\bar L + t L$, and let $S^3_t$ be $S^3$ with the CR structure spanned by $\\bar L_t$.\nThen $S^3_t$ is a compact strongly pseudoconvex CR manifold of real dimension $3$.\nEvery [[CR function|JFKYYK2CEB]] $f$ on $S^3_t$, that is every $f$ with $\\bar L_t f = 0$, is even: $f(-p) = f(p)$ for all $p \\in S^3$.\nSo CR functions cannot separate the antipodal points $p$ and $-p$, and there is no CR embedding of $S^3_t$ into any $\\C^N$.\n\n## Remarks\n\nThe parity follows by expanding $f$ in spherical harmonics of bidegree $(a, b)$ in $(z, \\bar z)$.\nBoth $L$ and $\\bar L$ preserve the total degree $a + b$.\nSo the equation $\\bar L_t f = 0$ splits into one equation for each total degree.\nFor odd total degree this equation has only the zero solution.\nFor $t = 0$ the structure is the standard one, and the coordinate functions $z_1, z_2$ embed it.\nSo arbitrarily small deformations destroy embeddability in dimension $3$.\nThis shows that the dimension hypothesis in [[Boutet de Monvel's embedding theorem|ZAH4SK5YX7]] cannot be dropped.\n\n## Explanations\n\n### L1 human\n\nThe round three-sphere sits in $\\C^2$, and its CR structure is inherited from there.\nTilting this structure by a tiny amount gives a new abstract CR structure on the same sphere.\nFor the tilted structure, every function compatible with it takes the same value at opposite points.\nSo no collection of such functions can tell opposite points apart, and the tilted sphere cannot be placed inside any complex space as a hypersurface.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "counterexample",
    "msc": [
      "32V30",
      "32V05"
    ],
    "name": "Rossi's non-embeddable CR structure",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/CR_manifold"
      }
    ],
    "tag": "1TJXANASFE",
    "uses": [
      "ZC78JKZX9S",
      "JFKYYK2CEB",
      "P9CM4GQ2T0",
      "ZAH4SK5YX7"
    ]
  },
  "kind": "counterexample",
  "link": "https://tamnd.github.io/math2/node/1TJXANASFE/",
  "links": [
    {
      "field": "uses",
      "target": "ZC78JKZX9S"
    },
    {
      "field": "uses",
      "target": "JFKYYK2CEB"
    },
    {
      "field": "uses",
      "target": "P9CM4GQ2T0"
    },
    {
      "field": "uses",
      "target": "ZAH4SK5YX7"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/1TJXANASFE.md",
  "msc": [
    "32V30",
    "32V05"
  ],
  "name": "Rossi's non-embeddable CR structure",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/1TJ/1TJXANASFE.md",
  "status": null,
  "tag": "1TJXANASFE",
  "uri": "m2://1TJXANASFE",
  "url": "https://tamnd.github.io/math2/wiki/rossis-non-embeddable-cr-structure/",
  "writing": {
    "tag": "1TJXANASFE",
    "kind": "counterexample",
    "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
      },
      {
        "what": "edge refutes or not_instance_of out",
        "have": 0,
        "want": 1
      }
    ]
  }
}