The main goal of this paper is to give an explicit formula forin terms of simplicial and reduced simplicial cohomology, where K[△] is the Stanley-Reisner ring of the simplicial complex △. In particular we compute the local Picard group of K [△]. To achieve this we study the corresponding purely combinatorial problem on the punctured spectrum of the pointed monoid defined by △. The cohomology of the sheaf of units on Spec • K[△] is then the direct sum of this combinatorial cohomology, which has a decomposition along the vertices, and another part depending on the field K.Mathematical Subject Classification (2010): 13F55, 13C20, 14C22. graded normal ring the Picard group is trivial, Carlo Traverso in 1970 [Tra70], Richard G. Swan in 1980 [Swa80] and David F. Anderson in 1981 [And81] covered the seminormal case, showing that Pic(A) = Pic(A[X 1 , . . . , X n ]) in this case. We will prove that for Stanley-Reisner rings and their localizations, the cohomology of the sheaf of units vanishes. The next task is to determine the units of D(x i ), where the combinatorial units and the base field have to be considered. Already the affine line shows that there is not a direct splitting of the sheaf of units into combinatorial units and field units. However, in many favorable situations there is such a splitting on the combinatorial topology, the topology generated by the D(x i )s, and so the two aspects can be studied separately. In such situations, the first part is determined completely by the combinatorial situation, whereas the second part depends on the constant sheaf given by the units of the field. In the nonintegral case, this part contributes to the local Picard group.
Main resultsWe give an overview of our main results, in particular for binoids M △ and their algebra K[△] that arise from a simplicial complex △. In Lemma 2.6 we observe that the intersection pattern of the open subsets D(x i ) of Spec M is given directly by the faces of the simplicial complex, thus leading us to prove, in Theorem 2.10, that the cohomology of a constant sheaf can be computed entirely in terms of simplicial cohomology. In Theorem 2.15, we show that the localization of a simplicial binoid at a face is isomorphic to the smash product of the simplicial binoid of the link of that face and a free group on that face. This opens the door to Theorem 2.21, where we show that we can rewrite the sheaf O * M △ as a direct sum of smaller sheaves, indexed by the vertices. These sheaves are actually defined as extensions by zeros of the constant sheaf Z on D(x i ), which is homeomorphic to the spectrum of the link of the corresponding vertex. This brings us to Theorem 2.25, which shows that we can compute sheaf cohomology (and thus the local Picard group) by means of reduced simplicial cohomology, via the formulaWe then use these results to understand the sheaf of units on the binoid algebra and their cohomology. In order to do so, we introduce in Definition 3.17 the combinatorial topology on Spec K[M ], which builds a bridge between the topology on ...