{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "5BW600RVX5"
    }
  ],
  "body": "\n## Summary\n\nA Hartogs domain is a domain in $\\C^n$ that is unchanged when the last coordinate is rotated about the origin.\nSuch domains are described by the radii of their circles in the last variable over each point of the remaining variables.\nThey are the standard testing ground for extension phenomena and for convexity notions in several complex variables.\nEvery [[Reinhardt domain|WA0SE56FVH]] is a Hartogs domain.\n\n## Explanations\n\n### L1 human\n\nFix the first $n - 1$ coordinates and look at the slice of the domain in the last coordinate.\nFor a Hartogs domain every such slice is a union of circles centred at $0$, so it is a disc, an annulus, or a union of such rings.\nA typical example in $\\C^2$ is $\\set{(z, w) : \\abs{z} \u003c 1, \\ \\abs{w} \u003c e^{-\\varphi(z)}}$ for a continuous function $\\varphi$ on the unit disc.\nIts slices are discs whose radius $e^{-\\varphi(z)}$ varies with $z$.\nSuch a domain is pseudoconvex exactly when $\\varphi$ is [[subharmonic|Z1MHMGFNFW]], which makes these domains very convenient for building examples.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "32Q02",
      "32D05"
    ],
    "name": "Hartogs domain",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Pseudoconvexity"
      }
    ],
    "tag": "THH2YHW8G5"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/THH2YHW8G5/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/THH2YHW8G5.md",
  "msc": [
    "32Q02",
    "32D05"
  ],
  "name": "Hartogs domain",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/THH/THH2YHW8G5.md",
  "status": null,
  "tag": "THH2YHW8G5",
  "uri": "m2://THH2YHW8G5",
  "url": "https://tamnd.github.io/math2/wiki/hartogs-domain/",
  "writing": {
    "tag": "THH2YHW8G5",
    "kind": "concept",
    "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
      }
    ]
  }
}