Principal infinity-bundles - Presentations

We discuss two aspects of the presentation of the theory of principal infinity-bundles in an infinity-topos, introduced in [NSSa], in terms of categories of simplicial (pre)sheaves. First we show that over a cohesive site C and for G a presheaf of simplicial groups which is C-acyclic, G-principal infinity-bundles over any object in the infinity-topos over C are classified by hyper-Cech-cohomology with coefficients in G. Then we show that over a site C with enough points, principal infinity-bundles in the infinity-topos are presented by ordinary simplicial bundles in the sheaf topos that satisfy principality by stalkwise weak equivalences. Finally we discuss explicit details of these presentations for the discrete site (in discrete infinity-groupoids) and the smooth site (in smooth infinity-groupoids, generalizing Lie groupoids and differentiable stacks). In the companion article [NSSc] we use these presentations for constructing classes of examples of (twisted) principal infinity-bundles and for the discussion of various applications.Comment: 55 page

Cohomology of toric line bundles via simplicial Alexander duality

We give a rigorous mathematical proof for the validity of the toric sheaf cohomology algorithm conjectured in the recent paper by R. Blumenhagen, B. Jurke, T. Rahn, and H. Roschy (arXiv:1003.5217). We actually prove not only the original algorithm but also a speed-up version of it. Our proof is independent from (in fact appeared earlier on the arXiv than) the proof by H. Roschy and T. Rahn (arXiv:1006.2392), and has several advantages such as being shorter and cleaner and can also settle the additional conjecture on "Serre duality for Betti numbers" which was raised but unresolved in arXiv:1006.2392.Comment: 9 pages. Theorem 1.1 and Corollary 1.2 improved; Abstract and Introduction modified; References updated. To appear in Journal of Mathematical Physic