Monomials, binomials and Riemann-Roch (Q2376291): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1997872836 / rank | |||
Normal rank |
Revision as of 03:13, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monomials, binomials and Riemann-Roch |
scientific article |
Statements
Monomials, binomials and Riemann-Roch (English)
0 references
21 June 2013
0 references
In the paper under review, the authors state a Riemann-Roch theorem in the context of combinatorial commutative algebra. The role of curves is played by a special type of Artinian monomial ideals, called Riemann-Roch ideals, and the role of divisors is played by Laurent monomials. For a Riemann-Roch ideal \(M\), the authors give a notion of genus, canonical monomial \(\mathbf{x}^{\mathbf{K}}\) and rank of a Laurent monomial \(\mathbf{x}^{\mathbf{b}}\) with respect to \(M\) such that the Riemann-Roch formula \[ \text{rank}(\mathbf{x}^{\mathbf{b}}) - \text{rank}(\mathbf{x}^{\mathbf{K}}/\mathbf{x}^{\mathbf{b}}) = \text{degree}(\mathbf{x}^{\mathbf{b}}) - \text{genus}(M) + 1 \] holds. The authors apply this technique to finite graphs \(G\) (connected, undirected and without loops) by means of the associated toppling ideal \(I_G\). First, they give a nice description of a set of minimal generators of \(I_G\), which turn out to be a Gröbner basis with respect to a reverse lexicographic order, and of a minimal resolution of \(\mathbb{K}[\mathbf{x}]/I_G\). Second, they prove that the initial ideal \(M_G\) of the toppling ideal \(I_G\) is Riemann-Roch, determining the canonical monomial and the genus of \(M_G\). Finally, they weaken the assumptions, allowing loops in the graph, in order to give a complete new proof of the Riemann-Roch formula for graphs firstly due to \textit{M. Baker} and \textit{S. Norine} [Adv. Math. 215, No. 2, 766--788 (2007; Zbl 1124.05049)].
0 references
Riemann-Roch theory for graphs
0 references
Riemann-Roch theorem
0 references
Alexander duality
0 references