Euler Characteristic of Line Bundles on Simplicial Torics via the Stanley-reisner Ring
نویسنده
چکیده
We combine work of Cox on the homogeneous coordinate ring of a toric variety and results of Eisenbud-Mustaţǎ-Stillman and Mustaţǎ on cohomology of toric and monomial ideals to obtain a formula for computing χ(OX (D)) for a divisor D on a complete simplicial toric variety XΣ. The main point is to use Alexander duality to pass from the toric irrelevant ideal, which appears in the computation of χ(OX(D)) to the Stanley-Reisner ideal of Σ, which is used in defining the Chow ring of XΣ.
منابع مشابه
On a special class of Stanley-Reisner ideals
For an $n$-gon with vertices at points $1,2,cdots,n$, the Betti numbers of its suspension, the simplicial complex that involves two more vertices $n+1$ and $n+2$, is known. In this paper, with a constructive and simple proof, wegeneralize this result to find the minimal free resolution and Betti numbers of the $S$-module $S/I$ where $S=K[x_{1},cdots, x_{n}]$ and $I$ is the associated ideal to ...
متن کاملThe Coloring Ideal and Coloring Complex of a Graph
Let G be a simple graph on d vertices. We define a monomial ideal K in the Stanley-Reisner ring A of the order complex of the Boolean algebra on d atoms. The monomials in K are in one-to-one correspondence with the proper colorings of G. In particular, the Hilbert polynomial of K equals the chromatic polynomial of G. The ideal K is generated by square-free monomials, so A/K is the Stanley-Reisn...
متن کاملOn the arithmetic of graphs
The Zykov ring of signed finite simple graphs with topological join as addition and compatible multiplication is an integral domain but not a unique factorization domain. We know that because by the graph complement operation it is isomorphic to the strong Sabidussi ring with disjoint union as addition. We prove that the Euler characteristic is a ring homomorphism from the strong ring to the in...
متن کاملThe strong ring of simplicial complexes
The strong ring R is a commutative ring generated by finite abstract simplicial complexes. To every G ∈ R belongs a Hodge Laplacian H = H(G) = D = (d + d∗)2 determining the cohomology and a unimodular connection operator L = L(G). The sum of the matrix entries of g = L−1 is the Euler characteristic χ(G). For any A,B ∈ R the spectra of H satisfy σ(H(A × B)) = σ(H(A)) + σ(H(B)) and the spectra of...
متن کامل