pith. sign in

arxiv: 2605.18369 · v1 · pith:4A2HUOZ2new · submitted 2026-05-18 · 🧮 math.QA · math.CT· math.RT

Embedding of pseudotensor category

Yao Rui , Wu Zhixiang This is my paper

Pith reviewed 2026-05-19 23:38 UTC · model grok-4.3

classification 🧮 math.QA math.CTmath.RT
keywords pseudotensor categorytensor categoryembedding functorM(H)operadic methodsSchur functorfree objectHopf algebra modules
0
0 comments X

The pith

A purely algebraic construction embeds the pseudotensor category M(H) into a tensor category.

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

The paper shows how to embed the pseudotensor category M(H) of left modules over a Hopf algebra into a tensor category using only algebraic methods. This replaces the original geometric or analytic definition. Once embedded, operadic techniques allow construction of the Schur functor and free objects directly in the tensor category. Readers interested in algebraic approaches to category theory in quantum settings may find this useful for avoiding geometric complications.

Core claim

We realize the embedding functor from pseudotensor category to tensor category in a purely algebraic setting when the pseudotensor category is the category M(H) of left H-modules, which is originally defined by Beilinson and Drinfeld. Then we use operadic methods to construct the Schur functor and free object in the tensor category.

What carries the argument

The algebraic embedding functor from the pseudotensor category M(H) to a tensor category, which supports subsequent operadic constructions.

If this is right

  • The Schur functor is constructed in the tensor category using operads.
  • Free objects are obtained in the tensor category via operadic methods.
  • The embedding provides an algebraic alternative to the geometric Beilinson-Drinfeld construction for M(H).

Where Pith is reading between the lines

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

  • This algebraic embedding might extend to pseudotensor categories defined in other ways.
  • It could facilitate explicit calculations in the representation theory of Hopf algebras.
  • Neighbouring problems in operad theory may benefit from similar algebraic realizations.

Load-bearing premise

The pseudotensor structure on M(H) admits an embedding into a tensor category that can be constructed purely algebraically without reference to geometric or analytic features.

What would settle it

An explicit example of a Hopf algebra H for which the algebraic embedding does not yield a category satisfying all tensor category axioms or fails to embed the pseudotensor operations correctly.

read the original abstract

We realize the embedding functor from pseudotensor category to tensor category in a purely algebraic setting when the pseudotensor category is the category $\mathcal{M}(H)$ of left $H$-modules, which is originally defined by Beilinson and Drinfeld. Then we use operadic methods to construct the Schur functor and free object in the tensor category.

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.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to realize an embedding functor from the pseudotensor category M(H) of left H-modules (originally defined geometrically by Beilinson and Drinfeld) into a tensor category using a purely algebraic construction. It then applies operadic methods to construct the Schur functor and free object in the resulting tensor category.

Significance. If the algebraic embedding is shown to be equivalent to the original definition and independent of geometric features, the work would enable purely algebraic treatments of pseudotensor structures on module categories, potentially simplifying operadic constructions in representation theory and quantum algebra. The explicit use of operadic methods for the Schur functor and free object is a constructive strength when the foundations are secured.

major comments (2)
  1. [Section on the definition of the pseudotensor structure on M(H)] The central claim of a purely algebraic embedding requires an explicit isomorphism or equivalence between the algebraically presented pseudotensor operations on M(H) (via the H-module structure) and the original Beilinson-Drinfeld geometric definition. Without this, the embedding and the subsequent operadic constructions of the Schur functor and free object may retain dependence on non-algebraic features. This equivalence is load-bearing for the 'purely algebraic setting' assertion.
  2. [Section on operadic methods and Schur functor] The operadic construction of the Schur functor and free object in the tensor category inherits any gaps in the embedding step. If the equivalence to the geometric definition is not established, the algebraic independence of these constructions is not verified.
minor comments (1)
  1. [Abstract] The abstract would be strengthened by briefly indicating the specific algebraic operations or lemmas that replace the geometric features of the Beilinson-Drinfeld definition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We address each major comment below, clarifying the algebraic foundations of our construction while agreeing to strengthen the exposition on equivalence where appropriate.

read point-by-point responses

  1. Referee: [Section on the definition of the pseudotensor structure on M(H)] The central claim of a purely algebraic embedding requires an explicit isomorphism or equivalence between the algebraically presented pseudotensor operations on M(H) (via the H-module structure) and the original Beilinson-Drinfeld geometric definition. Without this, the embedding and the subsequent operadic constructions of the Schur functor and free object may retain dependence on non-algebraic features. This equivalence is load-bearing for the 'purely algebraic setting' assertion.

    Authors: Our construction defines the pseudotensor operations on the category M(H) of left H-modules directly from the algebraic data of the Hopf algebra action: the operations are given explicitly by compositions involving the module structure maps, the coproduct of H, and the associativity constraints in the module category. These are stated and verified in Section 2 without any reference to geometry or topology. The embedding functor into a tensor category is then built functorially from these algebraic operations. While the original Beilinson-Drinfeld definition is geometric, the category M(H) admits this algebraic presentation, and our operations reproduce the expected pseudotensor structure on the same objects. To make the equivalence fully explicit, we will add a short subsection (or appendix) that translates the geometric operations into the algebraic language of H-modules and verifies agreement on the level of the defining maps. revision: yes

  2. Referee: [Section on operadic methods and Schur functor] The operadic construction of the Schur functor and free object in the tensor category inherits any gaps in the embedding step. If the equivalence to the geometric definition is not established, the algebraic independence of these constructions is not verified.

    Authors: The operadic constructions in Sections 3 and 4 are performed entirely within the tensor category obtained from the algebraic embedding. Because the pseudotensor operations and the embedding itself are defined using only the Hopf algebra structure (as explained in our response to the first comment), the resulting operad, Schur functor, and free object are likewise algebraic. The referee's concern is addressed once the equivalence clarification is added; the constructions do not invoke or depend on geometric features beyond what is already encoded algebraically in M(H). We will insert a brief paragraph in the introduction to Section 3 stating this independence explicitly and cross-referencing the new comparison subsection. revision: yes

Circularity Check

0 steps flagged

No circularity: algebraic realization presented as independent construction

full rationale

The paper cites Beilinson-Drinfeld solely for the original geometric definition of the pseudotensor structure on M(H) and then supplies its own algebraic embedding functor together with an operadic construction of the Schur functor and free object. No equation or step is shown to reduce by definition to the cited geometric data; the cited source is external (different authors) and the new construction is offered as a purely algebraic alternative. This satisfies the criteria for an independent derivation with no self-definitional, fitted-input, or self-citation load-bearing circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the prior existence of the pseudotensor structure on M(H) and on the possibility of an algebraic embedding that does not invoke the original non-algebraic features of that structure.

axioms (1)
  • domain assumption M(H) carries a pseudotensor category structure as originally defined by Beilinson and Drinfeld
    The paper takes this structure as given and proceeds to embed it algebraically.

pith-pipeline@v0.9.0 · 5568 in / 1263 out tokens · 42807 ms · 2026-05-19T23:38:44.399206+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Bakalov, A

    B. Bakalov, A. D'Andrea, V. Kac : Theory of finite pseudoalgebras. Adv. Math. Vol.162 (2001) no.1 1--140

    work page 2001

  2. [2]

    Bakalov, A

    B. Bakalov, A. D' Andrea, V. Kac : Irreducible modules over finite simple Lie pseudoalgebras I. Primitive pseudoalgebras of type W and S. Adv. Math. Vol.204 (2006) 278--346

    work page 2006

  3. [3]

    Bakalov, A

    B. Bakalov, A. D' Andrea, V. Kac : Irreducible modules over finite simple Lie pseudoalgebras II. Primitive pseudoalgebras of type K. Adv. Math. Vol.232 (2013) 188--237

    work page 2013

  4. [4]

    Bakalov, A

    B. Bakalov, A. D' Andrea, V. Kac : Irreducible modules over finite simple Lie pseudoalgebras III. Primitive pseudoalgebras of type H. Adv. Math. Vol.392 (2021) 0001--8708

    work page 2021

  5. [5]

    Bakalov et al

    B. Bakalov et al. : An operadic approach to vertex algebra and Poisson vertex algebra cohomology. Jpn. J. Math. Vol.14 (2019), no.2, 249--342

    work page 2019

  6. [6]

    Bakalov et al

    B. Bakalov et al. : Chiral versus classical operad. Int. Math. Res. Not. Vol.2020, no.19, 6463--6488

    work page 2020

  7. [7]

    Beilinson, V

    A. Beilinson, V. Drinfeld : Chiral algebras. American Mathematical Society, 2004

    work page 2004

  8. [8]

    Borcherds : Vertex algebras, Kac-Moody algebras, and the Monster

    R. Borcherds : Vertex algebras, Kac-Moody algebras, and the Monster. Proc. Nat. Acad. Sci. U.S.A. Vol.83 (1986) no.10 3068-3071

    work page 1986

  9. [9]

    Borcherds : Vertex algebras, Topological field theory, primitive forms and related topics(M

    R. Borcherds : Vertex algebras, Topological field theory, primitive forms and related topics(M. Kashiwara, A. Matsuo, K. Saito, and I. Satake, eds.). Birkh\"auser, Boston, 1998, pp. 35-77

    work page 1998

  10. [10]

    Benini, A

    M. Benini, A. Schenkel and L. Woike : Operads for algebraic quantum field theory. Commun. Contemp. Math. Vol.23 (2021), no.2, No. 2050007, 39 pp

    work page 2021

  11. [11]

    J. N. K. Francis and D. Gaitsgory : Chiral Koszul duality. Selecta Math. (N.S.) Vol.18 (2012), no.1, 27--87

    work page 2012

  12. [12]

    Kac : Vertex algebras for beginners

    V. Kac : Vertex algebras for beginners. Univ. Lecture Ser., 10 American Mathematical Society, Providence, RI, 1997, viii+141 pp. ISBN: 0-8218-0643-2

    work page 1997

  13. [13]

    Kolesnikov : Simple finite Jordan pseudoalgebras

    P. Kolesnikov : Simple finite Jordan pseudoalgebras. SIGMA Symmetry Integrability Geom. Methods Appl. Vol.5 (2009) Paper 014, 17

    work page 2009

  14. [14]

    Lambek : Deductive systems and categories

    J. Lambek : Deductive systems and categories. Lecture Notes in Math., vol.86 Springer-Verlag, Berlin-New York-Heidelberg, 1969, pp. 76-122

    work page 1969

  15. [15]

    F. E. J. Linton : The multilinear Yoneda lemmas: Toccata, fugue, and fantasia on themes by Eilenberg-Kelly and Yoneda. Lecture Notes in Math., vol.195 Springer-Verlag, Berlin-New York-Heidelberg, 1971, pp. 209-229

    work page 1971

  16. [16]

    Loday, B

    J.L. Loday, B. Vallette : Algebraic operads. Grundlehren Math. Wiss., 346[Fundamental Principles of Mathematical Sciences] Springer, Heidelberg, 2012, xxiv+634 pp. ISBN: 978-3-642-30361-6

    work page 2012

  17. [17]

    May : The geometry of iterated loop spaces

    J.P. May : The geometry of iterated loop spaces. Springer-Verlag, Berlin, 1972, Lectures Notes in Mathematics, Vol.271

    work page 1972

  18. [18]

    Nishinaka and S

    Y. Nishinaka and S. Yanagida : Algebraic operads of SUSY vertex algebras and SUSY Poisson vertex algebras. Adv. Math. Vol.483 (2025) No.110671, 115 pp

    work page 2025

  19. [19]

    A.Retakh : Unital associative pseudoalgebras and their representations. J. Algebra Vol.277 2004 no.2 769--805

    work page 2004

  20. [20]

    Wu Zhixiang : Leibniz H -pseudoalgebras. J. Algebra Vol.437 (2015) 1--33

    work page 2015

  21. [21]

    Wu Zhixiang : Graded left symmetric pseudo-algebras. Comm. Algebra Vol.43 (2015) no.9 3869--3897

    work page 2015

  22. [22]

    Yau : Colored operads

    D. Yau : Colored operads. Graduate Studies in Mathematics, 170, Amer. Math. Soc., Providence, RI, 2016

    work page 2016

  23. [23]

    Yao Rui, Wu Zhixiang : Some results in Zinbiel H -pseudoalgebras. J. Algebra Appl. Vol.24 (2025) no.11 2550256

    work page 2025