we-solve (beta)

Math-2671-A1 · revision r1 · on Math-2671

OpenAI claim summary for Math-2671

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

One-sided negative Kähler curvature and Liouville: The curvature assumption is the one-sided upper bound, so unbounded negative curvature is allowed. The announced Liouville property rules out every nonconstant bounded holomorphic function on the example; it is stronger than merely lacking a bounded coordinate system.

The claimed counterexample lies within the question’s hypotheses and contradicts its universal conclusion.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Bounded holomorphic functions under one-sided negative curvature
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Mathematical claim 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Bounded holomorphic functions under one-sided negative curvature

OpenAI's claim

One-sided negative Kähler curvature and Liouville: The paper claims a contractible complex domain in a fixed finite dimension with a complete Kähler metric of sectional curvature at most minus one and only constant bounded holomorphic functions. Curvature is allowed to be unbounded in the negative direction.

Mathematical statement of the claimed result

Mathematical claim 1.
For some finite complex dimension $m\ge2$, the claim supplies a domain $\mathcal T\subset\mathbb C^m$ carrying a Kähler metric which is complete. Moreover $\mathcal T$ is diffeomorphic to $\mathbb R^{2m}$ and satisfies \[\sec_g\le-1,\qquad H^\infty(\mathcal T)=\mathbb C.\] Thus every bounded holomorphic scalar function is constant. Sectional curvature is unbounded below; this is a one-sided negative-curvature example rather than two-sided pinching.

Outline of the argument

One-sided negative Kähler curvature and Liouville: A logarithmic tube potential transfers a complete nonpositively curved base metric to a strictly negative tube metric. Homogeneous polynomial systems locate large holomorphic disks above selected finite spatial sets. Disk estimates force derivatives of every bounded holomorphic function to vanish, while the metric construction controls completeness without adding a lower sectional bound.

Formal verification

Family 359 describes Lean coverage for the two-sided negatively pinched threefold obstruction; the one-sided Liouville construction is separate.

One-sided negative Kähler curvature and Liouville: No manuscript-specific Comparator is listed in the pinned inventory.

The documented selection does not cover the entire manuscript assertion relevant here.

This site has not run the Lean development. These links describe OpenAI’s selected formal statements and should be read with their stated scope.

Status caveat

OpenAI reports that an internal model produced the manuscripts. Their arguments have not been independently verified as proofs by this site. Any portion outside the documented formal scope may contain mistakes, and the catalogue label reports the announced mathematical claim.

Sources