Poisson vertex algebra cohomology and differential Harrison cohomology

Alberto De Sole; Bojko Bakalov; Veronica Vignoli; Victor G. Kac

arxiv: 1907.06934 · v1 · pith:5D7YO5DPnew · submitted 2019-07-16 · 🧮 math.RT · math-ph· math.MP

Poisson vertex algebra cohomology and differential Harrison cohomology

Bojko Bakalov , Alberto De Sole , Victor G. Kac , Veronica Vignoli This is my paper

Pith reviewed 2026-05-24 20:42 UTC · model grok-4.3

classification 🧮 math.RT math-phmath.MP

keywords Poisson vertex algebracohomology complexHarrison cohomologydifferential Harrison cohomologycanonical mapisomorphismvertex algebra cohomology

0 comments

The pith

A canonical map from the Poisson vertex algebra cohomology complex to the differential Harrison cohomology complex restricts to an isomorphism in top degree.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a natural map taking cycles in the Poisson vertex algebra cohomology complex to cycles in the differential Harrison cohomology complex. This map preserves the algebraic operations that define both complexes and therefore sends cohomology classes to cohomology classes. The construction is canonical, meaning it arises directly from the definitions without extra choices. In the highest degree the map is shown to be bijective, so the two theories agree exactly there. The result supplies a concrete reduction that can be used when computing these groups for concrete vertex algebras.

Core claim

We construct a canonical map from the Poisson vertex algebra cohomology complex to the differential Harrison cohomology complex, which restricts to an isomorphism on the top degree. This is an important step in the computation of Poisson vertex algebra and vertex algebra cohomologies.

What carries the argument

The canonical map between the Poisson vertex algebra cohomology complex and the differential Harrison cohomology complex.

If this is right

Computations of Poisson vertex algebra cohomology can be transferred to the differential Harrison complex in top degree.
Vertex algebra cohomology calculations gain a new reduction tool via the same map.
Deformation problems governed by these cohomologies become interchangeable in the top degree.
Known vanishing or non-vanishing results in one theory apply directly to the other in top degree.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The isomorphism may let researchers import explicit cocycle formulas from Harrison theory into the Poisson vertex algebra setting.
Low-dimensional examples of vertex algebras could now be checked by computing only one of the two complexes.
The construction hints at possible chain-level comparisons between other cohomology theories arising in conformal field theory.

Load-bearing premise

The two cohomology complexes are defined on the same underlying algebraic objects in a manner that lets a natural chain map be written down.

What would settle it

An explicit Poisson vertex algebra for which the induced map on top-degree cohomology is not an isomorphism would falsify the claim.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a direct construction of a canonical map between the PVA cohomology complex and differential Harrison cohomology that is an iso in top degree.

read the letter

The punchline is that the authors build an explicit canonical map from the Poisson vertex algebra cohomology complex to the differential Harrison cohomology complex and prove it restricts to an isomorphism in top degree. This is presented as a concrete step toward computing these cohomologies, which matter in representation theory and related physics contexts. The construction itself looks like the main new piece, and it sits on top of independently defined complexes without obvious circularity in the claim. That kind of targeted link can be genuinely helpful for people who need to move calculations between the two settings. The paper does a reasonable job keeping the scope modest and focused on the map rather than overclaiming broader reorganization. The abstract is short on definitions and steps, but the stress-test note finds no internal inconsistency or hidden category mismatch from the stated claim, so the central argument appears to hold up on its own terms. Soft spots are minor and mostly about verification: without the full details of how the map is defined and checked, one cannot yet judge how natural or computable it turns out to be in practice. The result is narrow by design, which is appropriate here. This is for readers already working inside vertex algebra cohomology or Poisson structures who need a bridge for explicit calculations. A specialist in that corner would get direct value from the map. It deserves a serious referee because the construction is new, formally grounded enough to check, and relevant to ongoing work in the area.

Referee Report

1 major / 0 minor

Summary. The paper constructs a canonical map from the Poisson vertex algebra cohomology complex to the differential Harrison cohomology complex that restricts to an isomorphism in top degree. This is positioned as a step toward explicit computations of Poisson vertex algebra and vertex algebra cohomologies.

Significance. If the map construction and isomorphism hold, the result supplies a direct comparison between two independently defined complexes in the vertex algebra setting, which may enable transfer of computational techniques or vanishing results between the theories. The canonical nature of the map is a strength if the definitions are shown to be compatible without additional choices.

major comments (1)

[Abstract / Introduction] The abstract asserts the existence of the map and the top-degree isomorphism but the provided text supplies no explicit chain map, no verification that it commutes with differentials, and no check that the top-degree restriction is bijective. Without these steps the central claim cannot be assessed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. Below we respond to the single major comment.

read point-by-point responses

Referee: [Abstract / Introduction] The abstract asserts the existence of the map and the top-degree isomorphism but the provided text supplies no explicit chain map, no verification that it commutes with differentials, and no check that the top-degree restriction is bijective. Without these steps the central claim cannot be assessed.

Authors: The explicit chain map is constructed in Section 3 of the manuscript (Definition 3.3 and the surrounding discussion), where we define a canonical morphism of complexes from the Poisson vertex algebra cohomology to the differential Harrison cohomology. Commutation with differentials is verified in Proposition 3.6. The top-degree restriction is shown to be an isomorphism in Theorem 4.2. We acknowledge that the abstract and introduction do not contain forward references to these statements and will insert brief pointers to Section 3 and Theorem 4.2 in the revised abstract and introduction. revision: partial

Circularity Check

0 steps flagged

No significant circularity; direct construction of map between independently defined complexes

full rationale

The central claim is an explicit construction of a canonical map from the Poisson vertex algebra cohomology complex to the differential Harrison cohomology complex, restricting to an isomorphism in top degree. This is presented as a direct construction in the abstract, with no equations, predictions, or self-citations shown that reduce the result to its inputs by definition or fitting. The weakest assumption (compatible category definitions) is external to any derivation chain and does not create self-referentiality. No load-bearing self-citations, ansatzes smuggled via prior work, or renaming of known results are indicated. This is the expected non-finding for a paper whose main contribution is a map construction rather than a derived prediction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5558 in / 902 out tokens · 18241 ms · 2026-05-24T20:42:53.102240+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We construct a canonical map from the Poisson vertex algebra cohomology complex to the differential Harrison cohomology complex, which restricts to an isomorphism on the top degree.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.