On relative Ulrich bundles and generalized Clifford algebras

Anindya Mukherjee; Soham Mondal

arxiv: 2604.01611 · v4 · submitted 2026-04-02 · 🧮 math.AG · math.AC· math.RT

On relative Ulrich bundles and generalized Clifford algebras

Soham Mondal , Anindya Mukherjee This is my paper

Pith reviewed 2026-05-13 21:26 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.RT

keywords relative Ulrich bundlesgeneralized Clifford algebrasfunctorial equivalencerelative hypersurfacesvector bundles on schemesrepresentations of algebrasUlrich-wild varieties

0 comments

The pith

A functorial equivalence connects the category of relatively Ulrich bundles on a relative hypersurface to representations of its generalized Clifford algebra.

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

The authors establish that for a smooth projective scheme X with vector bundle E and a relative hypersurface Y_f of degree d defined by a section f in projective space of E, there is a functorial equivalence between relatively Ulrich bundles on Y_f and representations of the generalized Clifford algebra C_f. This gives an algebraic way to handle these bundles that avoids geometric obstructions possible in the relative case over a base. It extends the classical Ulrich-Clifford correspondence. The equivalence leads to proofs that relative hypersurfaces always carry infinite families of indecomposable relatively Ulrich bundles with unbounded first extension dimensions, and that relative hyperplanes have the smallest possible Ulrich complexity.

Core claim

We establish a functorial equivalence between the category of relatively Ulrich bundles on Y_f and the category of representations of the associated generalized Clifford algebra C_f. This equivalence generalizes the classical Ulrich-Clifford correspondence of Coskun-Kulkarni-Mustopa and provides a purely algebraic framework that bypasses geometric obstructions in the relative setting.

What carries the argument

The generalized Clifford algebra C_f, constructed from the defining section f of the relative hypersurface, whose module category is equivalent to the category of relatively Ulrich bundles via the functorial correspondence.

If this is right

Relative hypersurfaces are Ulrich-wild: there exist families of indecomposable relatively Ulrich bundles with dimension of Ext^1 growing to infinity.
Relative hyperplanes possess a minimal Ulrich complexity of one.
The equivalence permits algebraic treatment of Ulrich bundles through representations, bypassing direct geometric analysis.
Complex machinery like matrix factorizations, equivalent to generalized Clifford algebras, is required for higher degree cases due to homological obstructions.

Where Pith is reading between the lines

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

The algebraic equivalence could allow transfer of results from representation theory of Clifford algebras to geometric properties of bundles on hypersurfaces.
Wildness of the representation category implies that the geometry of relative hypersurfaces supports arbitrarily complicated Ulrich bundle families.
Similar correspondences might exist for other types of subvarieties or other algebraic structures in algebraic geometry.

Load-bearing premise

The specific definitions of relatively Ulrich bundles and generalized Clifford algebra C_f are compatible in such a way that they yield a functorial equivalence without requiring additional geometric conditions on the base scheme X or the bundle E.

What would settle it

An explicit computation on a concrete example, such as a relative quadric hypersurface over a projective line, where the number or properties of relatively Ulrich bundles fail to match the representations of the corresponding C_f.

read the original abstract

Let $X$ be a smooth projective scheme and $E$ a vector bundle on $X$. For a relative hypersurface $Y_f \subset \mathbb{P}(E)$ of degree $d$ defined by a global section $f$, we establish a functorial equivalence between the category of relatively Ulrich bundles on $Y_f$ and the category of representations of the associated generalized Clifford algebra $C_f$. This equivalence generalizes the classical Ulrich-Clifford correspondence of Coskun-Kulkarni-Mustopa and provides a purely algebraic framework that bypasses geometric obstructions in the relative setting. As a first application, we prove that relative hypersurfaces are Ulrich-wild: there exist families of indecomposable relatively Ulrich bundles $\{E_N\}$ with \[ \dim \mathrm{Ext}^1_{Y_f}(E_N, E_N) \to \infty \quad \text{as } N \to \infty. \] We further show that relative hyperplanes possess a minimal Ulrich complexity of one. Moving beyond degree one, we illustrate how unavoidable homological obstructions require complex machinery, such as matrix factorizations, equivalently generalized Clifford algebras, to find solutions.

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 relative Ulrich-Clifford correspondence via generalized Clifford algebras and deduces Ulrich-wildness, but the global functoriality may need unstated flatness or local-freeness conditions on the base.

read the letter

The main takeaway is that Mondal and Mukherjee extend the classical Ulrich-Clifford correspondence to relative hypersurfaces Y_f in P(E) over a smooth projective base X. They build a generalized Clifford algebra C_f from the section f and claim a functorial equivalence between the category of relatively Ulrich bundles on Y_f and the representations of C_f. As a direct consequence they show that relative hypersurfaces are Ulrich-wild: there are families of indecomposable bundles whose self-Ext^1 dimensions grow unbounded. They also recover the minimal complexity one for relative hyperplanes and note that higher degrees require the algebraic machinery of matrix factorizations or these algebras to bypass geometric blocks. This algebraic framing is the useful part. It turns a construction that used to depend on special geometry into something that can be handled by algebra, and the wildness statement follows cleanly once the equivalence is in place. The classical case sits inside as the base-point specialization, which is reassuring. The soft spot is the global reach of the equivalence. For the functor to be well-defined and to identify the Ext groups correctly across all of X, C_f needs to behave like a sheaf of algebras whose module category glues properly. If Y_f is not flat over X or if the algebra is only locally free after base change to affines, the identification could fail without extra descent data. The abstract does not list flatness or local-freeness hypotheses on E, so the proofs will have to show that no such restrictions are needed or that they are harmless. Without those details it is hard to judge how far the result travels. This is for readers already working with Ulrich bundles or Clifford algebras in algebraic geometry. Someone familiar with the Coskun-Kulkarni-Mustopa correspondence will see the extension immediately and can check the new definitions against the classical ones. It is worth sending to referees. The core claim is a natural generalization with a concrete application, and the potential gap on base assumptions is the sort of thing a careful review can settle.

Referee Report

2 major / 2 minor

Summary. The paper claims a functorial equivalence between the category of relatively Ulrich bundles on the relative hypersurface Y_f ⊂ ℙ(E) (defined by a section f of Sym^d(E^*)) and the category of representations of the associated generalized Clifford algebra C_f. This generalizes the classical Ulrich-Clifford correspondence of Coskun-Kulkarni-Mustopa. As applications, it proves that relative hypersurfaces are Ulrich-wild (existence of families of indecomposable relatively Ulrich bundles with dim Ext^1_{Y_f}(E_N, E_N) → ∞ as N → ∞) and that relative hyperplanes have minimal Ulrich complexity one, while noting homological obstructions for higher degrees that require matrix factorizations or generalized Clifford algebras.

Significance. If the claimed equivalence holds rigorously, the result supplies a purely algebraic framework for relative Ulrich bundles that bypasses certain geometric obstructions, extending the absolute case in a useful way. The Ulrich-wildness statement is a concrete, falsifiable prediction about the representation theory of these categories and would be of interest for classification problems in algebraic geometry.

major comments (2)

[§3 (construction of C_f)] The central functorial equivalence is asserted to follow from the definitions of relatively Ulrich bundles and C_f, but the manuscript must explicitly confirm that C_f forms a sheaf of O_X-algebras whose global module category is equivalent to the category of relatively Ulrich bundles on Y_f (via the indicated push-pull or Fourier-Mukai-type functor). In particular, §3 (construction of C_f) should verify that local equivalences on affine opens of X glue without extra descent data, and that no unstated flatness of Y_f over X or local-freeness of C_f is required; otherwise the global statement does not follow from the local definitions.
[Application to Ulrich-wildness (after §4)] The wildness result (families {E_N} with dim Ext^1 → ∞) is stated to follow from the equivalence, but the growth of Ext dimensions must be shown to be preserved under the functor; if the equivalence is only an equivalence of categories without control on Ext groups, the claim that dim Ext^1_{Y_f}(E_N, E_N) → ∞ does not automatically transfer from Rep(C_f).

minor comments (2)

The abstract refers to 'generalized Clifford algebra C_f' without a one-sentence comparison to the classical Clifford algebra; adding this would clarify the generalization.
[Introduction] Notation for the relative hypersurface Y_f and the section f should be introduced with a displayed equation in the introduction for immediate reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The two major comments identify points where additional explicit verification would strengthen the exposition. We address each below and will incorporate the necessary clarifications in the revised manuscript.

read point-by-point responses

Referee: [§3 (construction of C_f)] The central functorial equivalence is asserted to follow from the definitions of relatively Ulrich bundles and C_f, but the manuscript must explicitly confirm that C_f forms a sheaf of O_X-algebras whose global module category is equivalent to the category of relatively Ulrich bundles on Y_f (via the indicated push-pull or Fourier-Mukai-type functor). In particular, §3 (construction of C_f) should verify that local equivalences on affine opens of X glue without extra descent data, and that no unstated flatness of Y_f over X or local-freeness of C_f is required; otherwise the global statement does not follow from the local definitions.

Authors: C_f is defined in §3 as the quotient of the tensor algebra of E by the two-sided ideal generated by the global section f ∈ H^0(X, Sym^d(E^*)). Because f is global, the local presentations on affine opens of X glue canonically to a sheaf of O_X-algebras; no additional descent datum is needed. The equivalence is realized by the global functor that sends a relatively Ulrich bundle E on Y_f to the pushforward π_*E equipped with the natural C_f-action induced by the hypersurface equation. This functor is defined globally using the projection π: Y_f → X and requires neither flatness of Y_f over X (beyond the projective-bundle structure already present) nor local-freeness of C_f. We will add a short paragraph at the end of §3 that records these gluing and independence statements explicitly. revision: yes
Referee: [Application to Ulrich-wildness (after §4)] The wildness result (families {E_N} with dim Ext^1 → ∞) is stated to follow from the equivalence, but the growth of Ext dimensions must be shown to be preserved under the functor; if the equivalence is only an equivalence of categories without control on Ext groups, the claim that dim Ext^1_{Y_f}(E_N, E_N) → ∞ does not automatically transfer from Rep(C_f).

Authors: The equivalence functor constructed in §3 is exact (it is a Fourier-Mukai transform between abelian categories of coherent sheaves and modules that preserves short exact sequences). Consequently it induces isomorphisms on all Ext groups, including Ext^1. The explicit families of representations of C_f with unbounded Ext^1 dimension therefore map to families of relatively Ulrich bundles with the same property. We will insert a one-sentence remark immediately after the statement of the equivalence theorem noting that the functor is exact and hence preserves Ext^1 dimensions, thereby justifying the transfer of the wildness statement. revision: yes

Circularity Check

0 steps flagged

No circularity detected; equivalence derived from independent definitions

full rationale

The paper claims a functorial equivalence between the category of relatively Ulrich bundles on Y_f (defined via relative vanishing conditions on the hypersurface) and representations of the associated generalized Clifford algebra C_f (constructed from the section f of Sym^d(E^*)). This generalizes the classical Ulrich-Clifford correspondence of Coskun-Kulkarni-Mustopa without any quoted reduction of the equivalence to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. No equations or steps in the abstract reduce the central claim to its inputs by construction; the derivation is presented as a new algebraic framework with independent content. Honest non-finding applies as the provided text shows no specific circular step meeting the strict quotation-and-reduction criteria.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claim rests on standard definitions from algebraic geometry (smooth projective schemes, vector bundles, relative hypersurfaces) and the construction of the generalized Clifford algebra from the section f; no free parameters or invented entities with independent evidence are visible in the abstract.

axioms (2)

domain assumption X is a smooth projective scheme and E is a vector bundle on X
Standard setup for defining relative projective bundles and hypersurfaces in algebraic geometry.
domain assumption The generalized Clifford algebra C_f is well-defined from the global section f
The algebra is introduced as 'associated' to f; its precise construction is assumed to exist and be functorial.

invented entities (1)

generalized Clifford algebra C_f no independent evidence
purpose: To encode the category of relatively Ulrich bundles via its representations
New algebraic object introduced to realize the equivalence; no independent existence proof or falsifiable prediction is given in the abstract.

pith-pipeline@v0.9.0 · 5504 in / 1396 out tokens · 37845 ms · 2026-05-13T21:26:31.167672+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Theorem 7.4 (Equivalence of Categories). The assignment ρ ↦ F_ρ induces a functorial equivalence … {Linear Clifford representations of C_f} ↔ {Relatively Ulrich bundles on Y_f}.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Definition 5.1 (Generalized Clifford Algebra) … quotient of the tensor algebra T•(E) by the two-sided ideal sheaf generated by v⊗d − f(v)·1

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.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Conrad, Grothendieck Duality and Base Change,

B. Conrad, Grothendieck Duality and Base Change,

work page
[2]

Characterization of U lrich bundles on H irzebruch surfaces

Vincenzo Antonelli. Characterization of U lrich bundles on H irzebruch surfaces. Rev. Mat. Complut. , 34(1):43--74, 2021

work page 2021
[3]

o rgen Backelin, J \

J \"o rgen Backelin, J \"u rgen Herzog, and Herbert Sanders. Matrix factorizations of homogeneous polynomials. Algebra: some current trends, Proc . 5th Natl . Sch . Algebra , Varna / Bulg . 1986, Lect . Notes Math . 1352, 1-33 (1988)., 1988

work page 1986
[4]

An introduction to Ulrich bundles

Arnaud Beauville. An introduction to Ulrich bundles. Eur. J. Math. , 4(1):26--36, 2018

work page 2018
[6]

Kulkarni, and Yusuf Mustopa

Emre Coskun, Rajesh S. Kulkarni, and Yusuf Mustopa. On representations of Clifford algebras of ternary cubic forms. In New trends in noncommutative algebra. A conference in honor of Ken Goodearl's 65th birthday, Washington, Seattle, WA, USA, August 9--14, 2010. , pages 91--99. Providence, RI: American Mathematical Society (AMS), 2012

work page 2010
[7]

Ulrich bundles

Laura Costa, Rosa Mar \' a Mir \'o -Roig, and Joan Pons-Llopis. Ulrich bundles. From commutative algebra to algebraic geometry , volume 77 of De Gruyter Stud. Math. Berlin: De Gruyter, 2021

work page 2021
[8]

Resultants and Chow forms via exterior syzygies

David Eisenbud and Frank-Olaf Schreyer. Resultants and Chow forms via exterior syzygies. Appendix by Jerzy Weyman : Homomorphisms and extensions between the bundles $ ^p U$ on the Grassmannian . J. Am. Math. Soc. , 16(3):537--575, appendix 576--579, 2003

work page 2003
[9]

Algebraic geometry

Robin Hartshorne. Algebraic geometry . Springer Science & Business Media, 2013

work page 2013
[11]

Carlos T. Simpson. Moduli of representations of the fundamental group of a smooth projective variety. I . Publ. Math., Inst. Hautes \'E tud. Sci. , 79:47--129, 1994

work page 1994
[12]

Van den Bergh

M. Van den Bergh. Linearizations of binary and ternary forms. J. Algebra , 109:172--183, 1987

work page 1987
[13]

52, Springer-Verlag, New York-Heidelberg, 1977\\

Hartshorne, Robin, Algebraic geometry, Graduate Texts in Mathematics, VOLUME No. 52, Springer-Verlag, New York-Heidelberg, 1977\\

work page 1977
[14]

Beauville, Arnaud, An introduction to Ulrich bundles, Eur.J.Math,2018,pp 26--36\\

work page 2018
[15]

Costa, Laura and Miró-Roig, Rosa Maria and Joan Pons-Llopis, Ulrich bundles---from commutative algebra to algebraic geometry, De Gruyter in Mathematics, Volume 77,202\\

work page
[16]

Van Den Bergh, Linearizations of binary and ternary forms, Journal of algebra,pp 1--12, 1987\\

M. Van Den Bergh, Linearizations of binary and ternary forms, Journal of algebra,pp 1--12, 1987\\

work page 1987
[17]

and Mustopa, Yusuf,On representations of C lifford algebras of ternary cubic forms, Contemp

Coskun, Emre and Kulkarni, Rajesh S. and Mustopa, Yusuf,On representations of C lifford algebras of ternary cubic forms, Contemp. Math.,pp 91--99,2012\\

work page 2012
[18]

Hautes \'Etudes Sci

Simpson, Carlos T., Moduli of representations of the fundamental group of a smooth projective variety I, Inst. Hautes \'Etudes Sci. Publ. Math. pp 47--129,1994\\

work page 1994
[19]

Antonelli, Vincenzo, Characterization of U lrich bundles on H irzebruch surface, Rev. Mat. Complut., PP 43--74,2021\\

work page 2021
[20]

The geometry of moduli space of sheaves, Second edition\\

work page
[21]

Jorgen Backelin, Matrix factorizations of homogeneous polynomials, Algebra---some current trends ( V arna, 1986, Lecture Notes in Math.pp 1--33, Springer, Berlin,1988\\

work page 1986
[22]

Indranil Biswas, Jagadish Pine, On triviality of direct image of vector bundle, arXiv:2601.20460\\

work page arXiv
[23]

A. J. Parameswaran, Jagadish Pine, Ulrich bundle on cyclic covering of projective space, arXiv:2408.10837\\

work page arXiv
[24]

Eisenbud David and Schreyer Frank Olaf, resultant and chow forms via exterior syzygies, J. Amer. Math. Soc., pp. 537--579, 2003\\

work page 2003

[1] [1]

Conrad, Grothendieck Duality and Base Change,

B. Conrad, Grothendieck Duality and Base Change,

work page

[2] [2]

Characterization of U lrich bundles on H irzebruch surfaces

Vincenzo Antonelli. Characterization of U lrich bundles on H irzebruch surfaces. Rev. Mat. Complut. , 34(1):43--74, 2021

work page 2021

[3] [3]

o rgen Backelin, J \

J \"o rgen Backelin, J \"u rgen Herzog, and Herbert Sanders. Matrix factorizations of homogeneous polynomials. Algebra: some current trends, Proc . 5th Natl . Sch . Algebra , Varna / Bulg . 1986, Lect . Notes Math . 1352, 1-33 (1988)., 1988

work page 1986

[4] [4]

An introduction to Ulrich bundles

Arnaud Beauville. An introduction to Ulrich bundles. Eur. J. Math. , 4(1):26--36, 2018

work page 2018

[5] [6]

Kulkarni, and Yusuf Mustopa

Emre Coskun, Rajesh S. Kulkarni, and Yusuf Mustopa. On representations of Clifford algebras of ternary cubic forms. In New trends in noncommutative algebra. A conference in honor of Ken Goodearl's 65th birthday, Washington, Seattle, WA, USA, August 9--14, 2010. , pages 91--99. Providence, RI: American Mathematical Society (AMS), 2012

work page 2010

[6] [7]

Ulrich bundles

Laura Costa, Rosa Mar \' a Mir \'o -Roig, and Joan Pons-Llopis. Ulrich bundles. From commutative algebra to algebraic geometry , volume 77 of De Gruyter Stud. Math. Berlin: De Gruyter, 2021

work page 2021

[7] [8]

Resultants and Chow forms via exterior syzygies

David Eisenbud and Frank-Olaf Schreyer. Resultants and Chow forms via exterior syzygies. Appendix by Jerzy Weyman : Homomorphisms and extensions between the bundles \( ^p U\) on the Grassmannian . J. Am. Math. Soc. , 16(3):537--575, appendix 576--579, 2003

work page 2003

[8] [9]

Algebraic geometry

Robin Hartshorne. Algebraic geometry . Springer Science & Business Media, 2013

work page 2013

[9] [11]

Carlos T. Simpson. Moduli of representations of the fundamental group of a smooth projective variety. I . Publ. Math., Inst. Hautes \'E tud. Sci. , 79:47--129, 1994

work page 1994

[10] [12]

Van den Bergh

M. Van den Bergh. Linearizations of binary and ternary forms. J. Algebra , 109:172--183, 1987

work page 1987

[11] [13]

52, Springer-Verlag, New York-Heidelberg, 1977\\

Hartshorne, Robin, Algebraic geometry, Graduate Texts in Mathematics, VOLUME No. 52, Springer-Verlag, New York-Heidelberg, 1977\\

work page 1977

[12] [14]

Beauville, Arnaud, An introduction to Ulrich bundles, Eur.J.Math,2018,pp 26--36\\

work page 2018

[13] [15]

Costa, Laura and Miró-Roig, Rosa Maria and Joan Pons-Llopis, Ulrich bundles---from commutative algebra to algebraic geometry, De Gruyter in Mathematics, Volume 77,202\\

work page

[14] [16]

Van Den Bergh, Linearizations of binary and ternary forms, Journal of algebra,pp 1--12, 1987\\

M. Van Den Bergh, Linearizations of binary and ternary forms, Journal of algebra,pp 1--12, 1987\\

work page 1987

[15] [17]

and Mustopa, Yusuf,On representations of C lifford algebras of ternary cubic forms, Contemp

Coskun, Emre and Kulkarni, Rajesh S. and Mustopa, Yusuf,On representations of C lifford algebras of ternary cubic forms, Contemp. Math.,pp 91--99,2012\\

work page 2012

[16] [18]

Hautes \'Etudes Sci

Simpson, Carlos T., Moduli of representations of the fundamental group of a smooth projective variety I, Inst. Hautes \'Etudes Sci. Publ. Math. pp 47--129,1994\\

work page 1994

[17] [19]

Antonelli, Vincenzo, Characterization of U lrich bundles on H irzebruch surface, Rev. Mat. Complut., PP 43--74,2021\\

work page 2021

[18] [20]

The geometry of moduli space of sheaves, Second edition\\

work page

[19] [21]

Jorgen Backelin, Matrix factorizations of homogeneous polynomials, Algebra---some current trends ( V arna, 1986, Lecture Notes in Math.pp 1--33, Springer, Berlin,1988\\

work page 1986

[20] [22]

Indranil Biswas, Jagadish Pine, On triviality of direct image of vector bundle, arXiv:2601.20460\\

work page arXiv

[21] [23]

A. J. Parameswaran, Jagadish Pine, Ulrich bundle on cyclic covering of projective space, arXiv:2408.10837\\

work page arXiv

[22] [24]

Eisenbud David and Schreyer Frank Olaf, resultant and chow forms via exterior syzygies, J. Amer. Math. Soc., pp. 537--579, 2003\\

work page 2003