{
  "type": "A1",
  "geometric_parameter": "Lambda",
  "HC_parameter": "-Lambda-1",
  "Casimir": "Lambda*(Lambda+2)",
  "regular_point": 0,
  "regular_N": 2,
  "regular_branch": "c=2*epsilon mod epsilon^2",
  "inverse": "epsilon=c/2 mod c^2",
  "singular_point": -1,
  "singular_relation": "c+1=delta^2",
  "same_exponent_N2_image": "c+1 maps to 0 mod delta^2",
  "weight_space_basis": [
    "w_1",
    "z_0"
  ],
  "h_matrix": [
    [
      -2,
      0
    ],
    [
      0,
      -2
    ]
  ],
  "C_matrix": [
    [
      0,
      4
    ],
    [
      0,
      0
    ]
  ],
  "epsilon_matrix": [
    [
      0,
      2
    ],
    [
      0,
      0
    ]
  ],
  "diagram_status": "Exact ring maps and one weight-space central action; not a full U-submodule diagram",
  "proof_locators": [
    "beilinson-bernstein-localization.html#nf-proof-1",
    "beilinson-bernstein-localization.html#nf-proof-5",
    "beilinson-bernstein-localization.html#5-two-orbits-and-two-highest-weight-simples"
  ],
  "free_human_comparison": "https://arxiv.org/html/1209.0188v2 Remark1.2(4)",
  "licence": "CC0-1.0"
}