ProbXiv
sign in
Problem archiveProblem record

Statement

For a finite-dimensional algebra AA, finite global dimension forces HHn(A)=0\mathrm{HH}_n(A) = 0 for all large nn. Han conjectured the converse: eventual vanishing of Hochschild homology should detect homological smoothness. Disproved by an explicit finite-dimensional C\mathbb{C}-algebra with HHn(A)=0\mathrm{HH}_n(A) = 0 for every n≥1n \geq 1 and gldim A=∞\mathrm{gldim}\, A = \infty, built by transporting Krah's phantom into a singularity category via one-periodic folding.

Record

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. construction · #1

    Bochao Kong, Yeqin Liu and Yu Shen, using GPT-5.6 Sol Ultra

    That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.

    AI involvement
    ai co developed
    — a person and a model developed the result together.

    The paper's acknowledgment in full: "The counterexample presented in this paper was discovered with the assistance of OpenAI's GPT-5.6 Sol Ultra model. All mathematical arguments and references were independently verified by the authors." In a counterexample paper the algebra is the whole result, so crediting the model with its discovery is a claim about the central object, not about support work. The hedge "with the assistance of" keeps this below the top tier.

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.