What is a double star-product?
Pith reviewed 2026-05-22 02:01 UTC · model grok-4.3
The pith
A double star-product on an associative algebra induces ordinary star-products on all its finite-dimensional representation spaces.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that a double star-product exists as a specific operation on an associative algebra that is compatible with the representation functor, so that the induced multiplication on the coordinate functions of Rep_N(A) forms a star-product for each N. This supplies the deformation quantization step for the corresponding structures on representation spaces. The claim is realized explicitly for the free algebra, where a double formality theorem is proved. The paper further defines double algebras over operads to generalize the correspondence in the opposite direction.
What carries the argument
The double star-product, a bilinear operation on the associative algebra A whose identities guarantee that the representation functor produces an associative star-product on each Rep_N(A).
If this is right
- The free algebra on any number of generators carries an explicit double star-product.
- A double formality theorem holds for the free algebra, allowing quantization of its double Poisson structures.
- The definition of double algebras over operads supplies a general method for constructing analogs of other algebraic operations in the noncommutative setting.
- Any double Poisson structure on an algebra can be quantized by first lifting it to a double star-product.
Where Pith is reading between the lines
- The same lifting procedure might apply to algebras that are not free, once suitable double Poisson structures are identified.
- Representation varieties arising from the quantized algebras could inherit additional geometric properties such as symplectic structures at each order.
- The operad-based definition opens the possibility of defining double versions of other operations, such as products or coproducts, in a uniform way.
Load-bearing premise
The double star-product must be defined so that its image under the representation functor satisfies the full star-product axioms, including associativity to all orders, on every representation space.
What would settle it
A direct calculation on the free algebra showing that the induced multiplication on Rep_N(A) for some N fails to be associative at second order in the deformation parameter would refute the claim.
read the original abstract
Double Poisson brackets, introduced by M. Van den Bergh in 2004, are noncommutative analogs of the usual Poisson brackets in the sense of the Kontsevich-Rosenberg principle: they induce Poisson structures on the space of $N$-dimensional representations $\operatorname{Rep}_N(A)$ of an associative algebra $A$ for any $N$. The problem of deformation quantization of double Poisson brackets was raised by D. Calaque in 2010, and had remained open since then. In this paper, we address this problem by answering the question in the title. We present a structure on $A$ that induces a star-product under the representation functor and, therefore, according to the Kontsevich-Rosenberg principle, can be viewed as an analog of star-products in noncommutative geometry. We also provide an explicit example for $A=\Bbbk\langle x_1,\ldots,x_d\rangle$ and prove a double formality theorem in this case. Along the way, we invert the Kontsevich-Rosenberg principle by introducing a notion of double algebra over an arbitrary operad.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a 'double star-product' on an associative algebra A as a structure that induces a star-product on the coordinate ring of Rep_N(A) for every N via the representation functor, serving as a noncommutative analog of star-products per the Kontsevich-Rosenberg principle. It addresses the open problem of quantizing double Poisson brackets (raised by Calaque in 2010) by providing an explicit construction and example for the free algebra A = k<x1,...,xd>, proving a double formality theorem in that case, and introducing double algebras over arbitrary operads.
Significance. If verified in full generality, this resolves a decade-old open question in noncommutative geometry and deformation quantization by supplying the missing quantization structure for double Poisson brackets. The explicit example for the free algebra and the double formality theorem constitute concrete, verifiable progress; the operadic generalization to double algebras over arbitrary operads is a useful broadening of the framework. These elements strengthen the contribution if the induction property holds beyond the free case.
major comments (2)
- [double formality theorem and general construction sections] The central claim requires that the double star-product on general A induces an associative star-product on Rep_N(A) to all orders in ħ with the correct first-order double Poisson limit. The manuscript proves the double formality theorem and provides the explicit construction only for A = k<x1,...,xd>; for arbitrary associative A, the compatibility with the representation functor (preservation of higher-order relations) appears to rest solely on the operadic double-algebra axioms without a separate verification step. This is load-bearing for the general statement in the abstract and introduction.
- [definition and induction sections] § on the definition of double star-product: the claim that the structure 'induces a star-product under the representation functor' for every N needs an explicit check that associativity and the Poisson limit hold after applying the functor, beyond the free-algebra case where it is verified.
minor comments (2)
- [notation] Clarify in the notation section how the double star-product is denoted to avoid confusion with ordinary star-products or double Poisson brackets.
- [introduction or examples] Add a brief remark on whether the construction reduces to the classical star-product when A is commutative.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We respond point by point to the major comments below.
read point-by-point responses
-
Referee: [double formality theorem and general construction sections] The central claim requires that the double star-product on general A induces an associative star-product on Rep_N(A) to all orders in ħ with the correct first-order double Poisson limit. The manuscript proves the double formality theorem and provides the explicit construction only for A = k<x1,...,xd>; for arbitrary associative A, the compatibility with the representation functor (preservation of higher-order relations) appears to rest solely on the operadic double-algebra axioms without a separate verification step. This is load-bearing for the general statement in the abstract and introduction.
Authors: The double algebra structure is defined over an operad precisely so that it is functorial with respect to operad morphisms. The representation functor Rep_N corresponds to a morphism of operads from the associative operad to the commutative operad; therefore the axioms of a double algebra ensure by construction that the induced operations on Rep_N(A) satisfy the star-product axioms to all orders in ħ, with the first-order term recovering the double Poisson bracket. The explicit construction and double formality theorem for the free algebra provide a concrete model and existence proof in that case. We agree that the manuscript would benefit from a more explicit spelling-out of this functoriality argument for general A. In the revision we will add a short subsection after the definition of double algebras that derives the induced associativity and Poisson limit directly from the operad morphism property. revision: partial
-
Referee: [definition and induction sections] § on the definition of double star-product: the claim that the structure 'induces a star-product under the representation functor' for every N needs an explicit check that associativity and the Poisson limit hold after applying the functor, beyond the free-algebra case where it is verified.
Authors: We will insert an explicit verification, presented as a proposition immediately following the definition, that applies the representation functor to the defining relations of the double star-product and confirms that the resulting operations on the coordinate ring of Rep_N(A) are associative to all orders with the correct first-order double Poisson bracket. This check will be written in a manner that applies to an arbitrary associative algebra A, using only the operadic axioms and the fact that Rep_N is an operad morphism. revision: yes
Circularity Check
No significant circularity; new structure defined and verified independently
full rationale
The paper defines a double star-product structure directly on an associative algebra A and proves that it induces a star-product on Rep_N(A) via the representation functor, in accordance with the Kontsevich-Rosenberg principle. This is supported by an explicit construction and a double formality theorem for the free algebra case A = k<x1,...,xd>, with the general case following from the introduced operadic double-algebra axioms. No load-bearing step reduces the claimed induction to a tautological fit, self-definition, or unverified self-citation chain; the derivation remains self-contained with independent content from external principles and concrete proofs.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of associative algebras and operads
invented entities (1)
-
double star-product
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We present a structure on A that induces a star-product under the representation functor... double formality theorem for A = k⟨x1,...,xd⟩
-
IndisputableMonolith/Foundation/DimensionForcing.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Definition of a double algebra over an arbitrary operad... di-twisted Poisson brackets and their deformations
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.