Hall algebras and Hecke modifications of vector bundles

Leonardo Mo\c{c}o; Roberto Alvarenga

REVIEW 2 major objections 4 minor 30 references

Hall algebras and Hecke modifications of vector bundles

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper gives a complete classification, with multiplicities, of Hecke modifications of split vector bundles on the projective line over a finite field, and uses it to prove that the space of unramified toroidal automorphic forms for…

desk verdict Strong classification results for Hecke modifications on P1; the advertised application to toroidal forms has a concrete mismatch in the base Hecke coefficient. read the letter →

arxiv 2506.00186 v1 pith:YYPSZQQQ submitted 2025-05-30 math.AG

Roberto Alvarenga , Leonardo Moço This is my paper

classification math.AG MSC 14H6014D2011F70

keywords HeckemodificationsvectorbundlesHallalgebrasprojectivelineoperatorsautomorphicformstoroidalfinitefields

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Every vector bundle on the projective line decomposes into line bundles, so the paper's input is just a list of $n$ integers. The paper asks which bundles $E'$ sit inside $E=\bigoplus O(d_i)$ with quotient supported at a single point, and how many ways there are; it answers completely in terms of lowering some of the $d_i$'s by amounts between $0$ and the point degree, subject to a short list of inequalities, and it gives the number of distinct inclusions as an explicit product of $q$-powers and Grassmannian counts. Because Hecke operators on unramified automorphic forms are defined by exactly these inclusions, the classification turns eigenfunction identities into linear recurrences. Following the recurrences, the paper concludes that the space of unramified toroidal automorphic forms for $\mathrm{PGL}_n$ on the projective line is trivial for every $n\ge 2$.

What carries the argument

The engine is the Hall algebra of the category of coherent sheaves on $\mathbb{P}^1$ over $\mathbb{F}_q$, whose structure constants count short exact sequences. The relevant identity is that the coefficient of $E'$ in the product $K_x^{\oplus r}\ast E$ is exactly the multiplicity $m_{x,r}(E',E)$ of the Hecke modification, so every counting problem becomes a product expansion. The paper uses the known multiplication rules in this Hall algebra, for products of line bundles and for products with skyscraper sheaves, to expand $K_x^{\oplus r}\ast (O(d_1)\ast\cdots\ast O(d_n))$ as a sum over $\delta\in\Delta^n_r$ with coefficients $q^{|\delta|d}$. Smith normal form supplies the local diagonal form of a modification, yielding the structural reduction of Hecke modifications to lower-rank sums and the degree bounds $0\le \epsilon_i\le |x|$. The automorphic step recasts the Hecke operator $\Phi_{x,r}$ as summing over exactly these counted modifications, turning eigenfunction equations into linear recurrences in the values $f(E)$.

What would settle it

Evaluate the Hecke operator $\Phi_{x,1}$ on the trivial rank-2 bundle $O\oplus O$ at a degree-one point $x$. The paper's own Proposition 4.7 (and the Grassmannian identification of Theorem 2.4) gives exactly $q+1$ modifications of the form $O(-1)\oplus O$, so the coefficient $\lambda_1 f(O\oplus O)$ should be $(q+1)f(O(1)\oplus O)$, not $q\,f(O(1)\oplus O)$. If an explicit computation over $\mathbb{F}_q$ confirms the $q+1$ count, the base identity $\lambda_r f(E_0)=q^{r(n-r)}f(E_{(1^{n-r})})$ used in Theorem 6.4 fails at $n=2,r=1$; a corrected induction would be needed to preserve the vanishing conclusion.

Watch

Extended reading notes

Core claim

On $\mathbb{P}^1$ over an algebraically closed field, the paper shows that every Hecke modification of $E=\bigoplus O(d_i)$ at weight $r$ is obtained by choosing $r$ indices and lowering the corresponding degrees by $1$: $E'\cong \bigoplus O(d_i-\delta(i))$ with $\delta\in\Delta^n_r$. Over a finite field this remains the shape, and the multiplicity of each $E'$ is $q^{\alpha}\prod_j \#\mathrm{Gr}(\theta_j,\ell_j)$, where $\ell_j$ counts the line bundles of degree $b_j$, $\theta_j$ counts how many of those are lowered, and $\alpha$ records how the lowering is distributed across the ordered summands. For a closed point of degree $d$, the classification becomes a list of inequalities: with $E'=\bigoplus O(d_i-\epsilon_i)$, $0\le \epsilon_i\le d$ and $\sum_i \epsilon_i=d$, the modification exists exactly when $d_{j+1}-\epsilon_{j+1}\le d_j$ across the range of changed indices. The paper then proves that for $\mathrm{PGL}_n$ over $\mathbb{P}^1$, every Hecke eigenform is determined by its eigenvalues and its value on the trivial bundle, and consequently the space of unramified toroidal automorphic forms is trivial for every $n\ge 2$.

Load-bearing premise

The induction that fixes all values $f(E)$ assumes that the trivial rank-$n$ bundle on $\mathbb{P}^1$ has exactly $q^{r(n-r)}$ Hecke modifications of weight $r$ at a degree-one point; the paper's own multiplicity formula counts those modifications as the number of $r$-dimensional subspaces of an $n$-dimensional vector space over $\mathbb{F}_q$, and these two numbers are equal only for $r=0$ or $r=n$.

Editorial extensions

If this is right

Over any algebraically closed field, the only Hecke modifications of a split bundle on P1 are the ones that lower exactly r chosen summands by one degree; no other isomorphism classes occur.
Over a finite field, every multiplicity is given by a closed formula in q, so the action of each Hecke operator on projective bundles over P1 can be written down explicitly.
For points of degree d, existence of a weight-one modification is decided by the inequalities d_{j+1} - epsilon_{j+1} <= d_j, making the classification combinatorial.
Every unramified Hecke eigenform for PGL_n over P1 is determined by its eigenvalues and its value on the trivial bundle, so the joint eigenspace A(x,lambda) has dimension at most one.
The space of unramified toroidal automorphic forms is trivial for every n >= 2, and the paper further derives the absence of unramified cusp forms.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The base identity in the eigenform induction treats the number of Hecke neighbors of the trivial bundle at weight r as q^{r(n-r)}, whereas Theorem 5.5 counts it as #Gr(r,n)(F_q); these agree only at the endpoints, so the induction as written appears to need a corrected coefficient.
The structural reduction in Theorem 2.11 assumes both bundles split as direct sums of semistable bundles; since this splitting fails for typical bundles on higher-genus curves, the reduction yields a classification only for split bundles, not for a general curve.
Because the multiplicity formulas are explicit in q, the graph of Hecke operators on the set of projective bundles over P1 is now computable for small n and q; comparing such graphs with Eisenstein-series coefficients would give a numeric check of the vanishing theorem.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: the classification in Sections 2–5 is real and worth reading; the application in Section 6 has a concrete numerical error in its base step, so the advertised proof of triviality of toroidal forms does not hold as written.

What's new: Theorem 5.5 gives a closed-form multiplicity for all Hecke modifications of any split vector bundle on P1 at a degree-one point, with the q^α ∏ #Gr(θ_j, ℓ_j) formula. That's a natural completion of the rank-2 and elliptic curve cases, and the Hall algebra derivation is mostly self-contained. The reduction arguments in Section 2 (Smith normal form, block-diagonalization) are clean and useful. I checked the small cases: for E0=O^n and E'=O(-1)^r ⊕ O^{n-r}, Lemma 5.3 gives #Gr(r,n), which for n=2, r=1 is q+1, and that matches Theorem 2.4's total count.

The soft spot: Theorem 6.4 starts the induction with λ_r f(E0) = q^{r(n-r)} f(E_{(1^{n-r})}). That coefficient should be the multiplicity of E_{(1^{n-r})} as a Hecke neighbor of E0, and the paper's own Lemma 5.3 and Theorem 5.5 say the multiplicity is #Gr(r,n). For n=2 this is q+1, not q. Since the entire induction for f-values and the later vanishing results (Corollary 6.6, Theorems 6.11, 6.12) depend on that base relation, the advertised application is unsupported as written. The error is numerical and might be repairable — if the induction can be re-run with the correct coefficient — but it's not a minor typo because the recursion determines all values.

Also worth noting: Theorem 2.11 and Theorem A are stated for a general curve but assume E and E' are direct sums of semistable bundles. On P1 that's automatic by Birkhoff–Grothendieck, but on higher-genus curves it's a genuine restriction, so the general-curve framing overstates the scope. That doesn't hurt the P1 results.

Citations look fine; the self-citations are for background lemmas and the earlier rank-2/elliptic cases.

Bottom line: the classification portion is a solid contribution and deserves a serious referee. The automorphic application needs a corrected proof before it can be trusted. I'd send it to review, with a clear request to fix Section 6.

Referee Report

2 major / 4 minor

Summary. The paper studies Hecke modifications E' ⊂ E of vector bundles on a smooth projective curve, where E/E' is a skyscraper sheaf K_x^{⊕r}. Sections 2–3 give structural criteria, using Smith normal forms and a block-matrix reduction, for splitting a Hecke modification into lower-rank modifications when the bundles are direct sums of semistable bundles. Sections 4–5 specialize to P^1 over a finite field and use the Baumann–Kassel Hall algebra of coherent sheaves to classify all Hecke modifications of split vector bundles and to compute their multiplicities, culminating in Theorems 5.5 and 5.6. Section 6 applies these multiplicity formulas to the action of Hecke operators Φ_{x,r} on unramified automorphic forms for PGL_n over P^1, claiming in Theorem 6.4 that the common eigenspace A(x,λ) is one-dimensional and in Theorem 6.12 that the space of unramified toroidal automorphic forms is trivial for all n ≥ 2.

Significance. If the classification results in Sections 4–5 are correct, they form a useful and fairly explicit description of Hecke modifications on P^1, including multiplicities, and they connect naturally to Hecke operators via the Hall algebra. The paper is largely self-contained in its P^1-strata, and the Hall-algebra formalism is appropriate for the problem. However, the advertised automorphic application is not supported as written: the base identity in Theorem 6.4 contradicts the paper's own multiplicity formula in Lemma 5.3 and Theorem 5.5. Since that identity drives the induction determining all f-values and hence the toroidal vanishing theorem, the central application needs substantial repair before the paper's main advertised claim can be accepted.

major comments (2)

[§6, Theorem 6.4] The first displayed identity in Theorem 6.4, λ_r f(E0) = q^{r(n-r)} f(E_{(1^{n-r})}), is not implied by the paper's own computations. For E0 = O^n, the Hecke modification of weight r with target O(-x)^{⊕r} ⊕ O^{⊕(n-r)} has multiplicity #Gr(r,n)(F_q) by Lemma 5.3, and Theorem 5.5 gives the same value for the corresponding projective class. For n=2, q=2, r=1 this coefficient is 3, not q^{r(n-r)} = 2. Theorem 4.14 cannot be used to produce q^{r(n-r)} because its gap hypothesis d_{n1+1}-d_{n1} ≥ |x| fails for E0, which has a single degree block. Since this base identity starts the induction in Theorem 6.4 and is subsequently used in Corollary 6.6, Theorem 6.11, and Theorem 6.12, the advertised vanishing of toroidal automorphic forms is not proved as written. The error appears repairable, but the induction in Section 6 must be redone with the correct base coefficient #Gr(r,n).
[§2, Theorem 2.11] The reduction theorem for a general curve assumes that E and E' are direct sums of semistable bundles. This is not a harmless normalization on a curve of genus g ≥ 1, where most vector bundles are indecomposable and do not admit such a splitting. The abstract and introduction present Theorem A as a structural result for arbitrary smooth projective curves, but the proof applies only to split bundles. The statement should be restricted accordingly, or the authors should justify that the Harder–Narasimhan filtration can replace the direct-sum assumption.

minor comments (4)

[§5, proof of Theorem 5.6] The final displayed inequality in the proof reads d_{s+i+1} − ε_{s+i+1} ≤ d_{s+i+1}, which is trivially true since ε ≥ 0; the intended condition is d_{s+i+1} − ε_{s+i+1} ≤ d_{s+i}, as stated in the theorem.
[§4, Proposition 4.15] There is an inconsistent use of the two arguments of the multiplicity in the statement: the first occurrence is mx,1(E',E), but the sentence about classes modulo Aut(E') writes mx,1(E,E'). The second occurrence should be mx,1(E',E).
[§5, proof of Theorem 5.2] In the definition of E'_s, the direct sum is written over i=1 to s, but E_s has ℓ_s summands; the index range should be 1 to ℓ_s to match the decomposition of E.
[§6, notation before Theorem 6.4] The notation E_{(1^{n-r})} should be clarified explicitly in terms of projective classes: the weight-r Hecke neighbor of E0 is O^{⊕r} ⊕ O(1)^{⊕(n-r)} up to tensor product by O(1). The current notation can make the r and n−r roles look inconsistent.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: the multiplicity classification is computed from Baumann-Kassel Hall products and Schubert-cell counts, not from the claimed outputs; the advertised application has an internal unsupported coefficient identity, which is a correctness concern rather than a circularity.

full rationale

The paper's central structural results and explicit P^1 classification are not circular. Multiplicities are defined as counts of exact sequences in Definition 2.2 and are computed via Hall numbers from the independent Baumann-Kassel structure theory of H(Coh(P^1)), together with standard Schubert-cell decompositions; the target quantities are not built into the inputs. The self-citations [Alv19], [Alv20], and [ALJ21] provide background lemmas—Grassmannian parametrization, the Hall-number identification of multiplicities, and a dual exact sequence—that are also standard or cited to independent sources, and they do not already contain the P^1 classification proved here. The main flaw in the paper is in the application, not in circularity: Theorem 6.4 states 'λr f(E0) = q^{r(n-r)} f(E_{(1^{n-r})})' and attributes this to Theorem 4.14, but Theorem 4.14 requires a splitting gap d_{n1+1}-d_{n1} ≥ d, which fails for E0 = ⊕O; Lemma 5.3 and Theorem 5.5 give the coefficient #Gr(r,n)(F_q), not q^{r(n-r)}. This is an internal missing-support/correctness issue in the advertised application, but it does not reduce the derivation to its own inputs, so the circularity score remains low.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted; the computations are structural. The main unpaid inputs are standard theorems in algebraic geometry, the Baumann-Kassel Hall algebra structure, and external facts about automorphic forms. The paper also assumes, for its general-curve reduction, a splitting into semistable direct summands that does not hold for every vector bundle. There are no newly invented particles, constants, or forces.

assumptions (6)

standard math Smith Normal Form / elementary divisor theorem for free modules over a PID holds for the local matrix φ(U) in Proposition 2.6.
Used to diagonalize Hecke modification morphisms over an affine neighborhood U of x.
standard math Every vector bundle on P1 is isomorphic to a direct sum of line bundles (Birkhoff-Grothendieck, Theorem 3.9).
Basis for representing E and E' as ⊕O(d_i) throughout Sections 3-5.
standard math Hall algebra formulas of Baumann-Kassel for Coh(P1), Theorem 4.5, including multiplication rules for line bundles and skyscraper sheaves.
The multiplicities in Theorems 5.1-5.6 are derived from these formulas via Theorem 4.9.
ad hoc to paper E and E' are direct sums of semistable bundles in Theorem 2.11.
Not all vector bundles on a general curve admit such a splitting; the structural reduction is conditional on this splitting.
domain assumption Weil's identification of unramified automorphic forms with functions on PBun_n(X), and the admissibility and finite-dimensionality of the Hecke module used in Theorem 6.12.
Imported from the automorphic-forms literature; needed to convert classification statements into statements about eigenforms.
domain assumption Unramified toroidal integral formula for constant field extensions from [PJ20, Thm 2.8.1], used in Theorem 6.11.
Used to conclude that a toroidal eigenform must vanish on E0.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hall algebras and Hecke modifications of vector bundles." pith.science (2026). https://pith.science/paper/YYPSZQQQ

@misc{pith2026250600186,
  author       = {Pith},
  title        = {Pith review of: Hall algebras and Hecke modifications of vector bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YYPSZQQQ}},
  note         = {Machine review of arXiv:2506.00186}
}

abstract

In this article, we investigate Hecke modifications of vector bundles on a smooth projective curve $X$ defined over an arbitrary field. We obtain structural results that allow us to reduce the classification problem of Hecke modifications to the case of vector bundles of lower rank. Moreover, when the base field is a finite field and $X$ is the projective line, we apply the Hall algebra of coherent sheaves to provide a full classification of the Hecke modifications, including their multiplicities. These results are applied to study the space of unramified automorphic forms for $\mathrm{PGL}_n$ over the projective line, leading to a proof that the space of unramified toroidal automorphic forms is trivial.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

[1]

Araujo, T

C. Araujo, T. Fassarella, I. Kaur, and A. Massarenti. On automorphisms of moduli spaces of parabolic vector bundles. International Mathematics Research Notices , 2021(3):2261--2283, 2021

work page 2021
[2]

Alfaya and T

D. Alfaya and T. L. G \'o mez. Automorphism group of the moduli space of parabolic bundles over a curve. Adv. Math. , 393:127, 2021. Id/No 108070

work page 2021
[3]

Alvarenga, I

R. Alvarenga, I. Kaur, and L. Moço. Hecke modifications of vector bundles. Rendiconti dell'Istituto di Matematica dell'Università di Trieste (to appear) , 2025

work page 2025
[4]

Automorphic forms for PGL(3) over elliptic function fields. Part 1: Graphs of Hecke operators

R. Alvarenga, O. Lorscheid, and V. P. J\'unior. Automorphic forms for PGL(3) over elliptic function fields. Online available at https://arxiv.org/pdf/2107.08375, 2021

work page Pith review arXiv 2021
[5]

Alvarenga

R. Alvarenga. On graphs of Hecke operators. J. Number Theory , 199:192--228, 2019

work page 2019
[6]

Alvarenga

R. Alvarenga. Hall algebras and graphs of Hecke operators for elliptic curves. Isr. J. Math. , 239(1):215--269, 2020

work page 2020
[7]

Bernstein and S

J. Bernstein and S. Gelbart, editors. An introduction to the Langlands program. Lectures presented at the Hebrew University of Jerusalem , Jerusalem , Israel , March 12--16, 2001 . Boston, MA: Birkh \"a user, 2003

work page 2001
[8]

Baumann and C

P. Baumann and C. Kassel. The Hall algebra of the category of coherent sheaves on the projective line. J. Reine Angew. Math. , 533:207--233, 2001

work page 2001

Show all 30 references

[9]

D. Boozer. Moduli spaces of Hecke modifications for rational and elliptic curves. Algebr. Geom. Topol. , 21(2):543--600, 2021

2021
[10]

V. G. Drinfeld. Langlands' conjecture for GL (2) over functional fields. In Proceedings of the I nternational C ongress of M athematicians ( H elsinki, 1978) , pages 565--574. Acad. Sci. Fennica, Helsinki, 1980

1978
[11]

E. Frenkel. Recent advances in the Langlands Program . Bull. Am. Math. Soc., New Ser. , 41(2):151--184, 2004

2004
[12]

G. Harder. Halbeinfache Gruppenschemata \"u ber Dedekindringen . Invent. Math. , 4:165--191, 1967

1967
[13]

Hartshorne

R. Hartshorne. Algebraic geometry , volume 52 of Grad. Texts Math. Springer, Cham, 1977

1977
[14]

Heu and F

V. Heu and F. Loray. Flat rank two vector bundles on genus two curves , volume 1247 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 2019

2019
[15]

He and T

S. He and T. Walpuski. Hecke modifications of Higgs bundles and the extended Bogomolny equation. J. Geom. Phys. , 146:17, 2019. Id/No 103487

2019
[16]

Kapranov

M. Kapranov. Eisenstein series and quantum affine algebras. J. Math. Sci. (New York) , 84(5):1311--1360, 1997. Algebraic geometry, 7

1997
[17]

Lafforgue

L. Lafforgue. Chtoucas de D rinfeld et correspondance de L anglands. Invent. Math. , 147(1):1--241, 2002

2002
[18]

Lorscheid

O. Lorscheid. Toroidal Automorphic Forms for Function Fields . http://w3.impa.br/ lorschei/thesis.pdf. 2008

2008
[19]

Lorscheid

O. Lorscheid. Automorphic forms for elliptic function fields. Math. Z. , 272(3-4):885--911, 2012

2012
[20]

Lorscheid

O. Lorscheid. Graphs of H ecke operators. Algebra Number Theory , 7(1):19--61, 2013

2013
[21]

Lorscheid

O. Lorscheid. Toroidal automorphic forms for function fields. Israel J. Math. , 194(2):555--596, 2013

2013
[22]

Le Potier

J. Le Potier. Lectures on Vector Bundles . Cambridge University Press, 1997

1997
[23]

G. Lusztig. Quivers, perverse sheaves, and quantized enveloping algebras. J. Am. Math. Soc. , 4(2):365--421, 1991

1991
[24]

V. B. Mehta and C. S. Seshadri. Moduli of vector bundles on curves with parabolic structures. Math. Ann. , 248:205--239, 1980

1980
[25]

M. S. Narasimhan and S. Ramanan. Geometry of Hecke cycles. I . C. P . Ramanujam . - A tribute. Collect . Publ . of C . P . Ramanujam and Pap . in his Mem ., Tata Inst . fundam. Res ., Stud . Math . 8, 291-345 (1978)., 1978

1978
[26]

Pereira Junior

V. Pereira Junior. Graphs of Hecke Operators, Orthogonal Periods, and Prime Numbers in Short Intervals . https://impa.br/wp-content/uploads/2021/03/tese_dout_Valdir-Pereira-Junior.pdf. 2020

2021
[27]

Schiffmann

O. Schiffmann. Lectures on H all algebras. In Geometric methods in representation theory. II , volume 24 of S\'emin. Congr. , pages 1--141. Soc. Math. France, Paris, 2012

2012
[28]

R. P. Stanley. Smith normal form in combinatorics. J. Combin. Theory Ser. A , pages 476--495, 2016

2016
[29]

A. Weil. G \'e n \'e ralisation des fonctions ab \'e liennes. J. Math. Pures Appl. (9) , 17:47--87, 1938

1938
[30]

D. Zagier. Eisenstein series and the Riemann zeta-function. Automorphic forms, representation theory and arithmetic, Pap . Colloq ., Bombay 1979, 275-301 (1981)., 1981

1981

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Araujo, T

C. Araujo, T. Fassarella, I. Kaur, and A. Massarenti. On automorphisms of moduli spaces of parabolic vector bundles. International Mathematics Research Notices , 2021(3):2261--2283, 2021

work page 2021

[2] [2]

Alfaya and T

D. Alfaya and T. L. G \'o mez. Automorphism group of the moduli space of parabolic bundles over a curve. Adv. Math. , 393:127, 2021. Id/No 108070

work page 2021

[3] [3]

Alvarenga, I

R. Alvarenga, I. Kaur, and L. Moço. Hecke modifications of vector bundles. Rendiconti dell'Istituto di Matematica dell'Università di Trieste (to appear) , 2025

work page 2025

[4] [4]

Automorphic forms for PGL(3) over elliptic function fields. Part 1: Graphs of Hecke operators

R. Alvarenga, O. Lorscheid, and V. P. J\'unior. Automorphic forms for PGL(3) over elliptic function fields. Online available at https://arxiv.org/pdf/2107.08375, 2021

work page Pith review arXiv 2021

[5] [5]

Alvarenga

R. Alvarenga. On graphs of Hecke operators. J. Number Theory , 199:192--228, 2019

work page 2019

[6] [6]

Alvarenga

R. Alvarenga. Hall algebras and graphs of Hecke operators for elliptic curves. Isr. J. Math. , 239(1):215--269, 2020

work page 2020

[7] [7]

Bernstein and S

J. Bernstein and S. Gelbart, editors. An introduction to the Langlands program. Lectures presented at the Hebrew University of Jerusalem , Jerusalem , Israel , March 12--16, 2001 . Boston, MA: Birkh \"a user, 2003

work page 2001

[8] [8]

Baumann and C

P. Baumann and C. Kassel. The Hall algebra of the category of coherent sheaves on the projective line. J. Reine Angew. Math. , 533:207--233, 2001

work page 2001