algebra / Commutative Algebra, Transcendence

Two-Variable Factorial Conjecture

Let $\mathcal{L}(x^{a}y^{b})=a!\,b!$ on $\mathbb{C}[x,y]$. The Factorial Conjecture asks whether $\mathcal{L}(f^{m})=0$ for every $m\geq 1$ forces $f=0$. The homogeneous two-variable case was settled by Liu and Sun; the inhomogeneous problem does not reduce to it, because radial integration couples the homogeneous layers through Gamma factors. A claimed proof settles the full two-variable case affirmatively.

20Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraAug 1, 2026Significance 20/100Registry: unreviewed

Two-Variable Factorial Conjecture

Prior state unknownproved

Claimed in a self-published research draft; a standalone by-product is the transcendence of the integral of exp(q) between distinct algebraic endpoints for nonconstant algebraic q

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Let $\mathcal{L}(x^{a}y^{b})=a!\,b!$ on $\mathbb{C}[x,y]$. The Factorial Conjecture asks whether $\mathcal{L}(f^{m})=0$ for every $m\geq 1$ forces $f=0$. The homogeneous two-variable case was settled by Liu and Sun; the inhomogeneous problem does not reduce to it, because radial integration couples the homogeneous layers through Gamma factors. A claimed proof settles the full two-variable case affirmatively.

Claimed in a self-published research draft; a standalone by-product is the transcendence of the integral of exp(q) between distinct algebraic endpoints for nonconstant algebraic q

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.