zoo: S3 Infrastructure for Regular and Irregular Time Series

zoo is an R package providing an S3 class with methods for indexed totally ordered observations, such as discrete irregular time series. Its key design goals are independence of a particular index/time/date class and consistency with base R and the "ts" class for regular time series. This paper describes how these are achieved within zoo and provides several illustrations of the available methods for "zoo" objects which include plotting, merging and binding, several mathematical operations, extracting and replacing data and index, coercion and NA handling. A subclass "zooreg" embeds regular time series into the "zoo" framework and thus bridges the gap between regular and irregular time series classes in R.Comment: 24 pages, 5 figure

Representability of Hilbert schemes and Hilbert stacks of points

We show that the Hilbert functor of points on an arbitrary separated algebraic stack is an algebraic space. We also show the algebraicity of the Hilbert stack of points on an algebraic stack and the algebraicity of the Weil restriction of an algebraic stack along a finite flat morphism. For the latter two results, no separation assumptions are necessary.Comment: 15 pages; major revision, final versio

On the Grothendieck Theorem for jointly completely bounded bilinear forms

We show how the proof of the Grothendieck Theorem for jointly completely bounded bilinear forms on C*-algebras by Haagerup and Musat can be modified in such a way that the method of proof is essentially C*-algebraic. To this purpose, we use Cuntz algebras rather than type III factors. Furthermore, we show that the best constant in Blecher's inequality is strictly greater than one.Comment: 9 pages, minor change

A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields

Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.Comment: Section "Formal loops and affine Grassmannians" is removed as this is now covered in arXiv:1308.3078. Exposition is improved and slightly restructured. Some minor correction

Transversely projective foliations on surfaces: existence of normal forms and prescription of the monodromy

We introduce a notion of normal form for transversely projective structures of singular foliations on complex manifolds. Our first main result says that this normal form exists and is unique when ambient space is two-dimensional. From this result one obtains a natural way to produce invariants for transversely projective foliations on surfaces. Our second main result says that on projective surfaces one can construct singular transversely projective foliations with prescribed monodromy

Uniformizing the Stacks of Abelian Sheaves

Elliptic sheaves (which are related to Drinfeld modules) were introduced by Drinfeld and further studied by Laumon--Rapoport--Stuhler and others. They can be viewed as function field analogues of elliptic curves and hence are objects "of dimension 1". Their higher dimensional generalisations are called abelian sheaves. In the analogy between function fields and number fields, abelian sheaves are counterparts of abelian varieties. In this article we study the moduli spaces of abelian sheaves and prove that they are algebraic stacks. We further transfer results of Cerednik--Drinfeld and Rapoport--Zink on the uniformization of Shimura varieties to the setting of abelian sheaves. Actually the analogy of the Cerednik--Drinfeld uniformization is nothing but the uniformization of the moduli schemes of Drinfeld modules by the Drinfeld upper half space. Our results generalise this uniformization. The proof closely follows the ideas of Rapoport--Zink. In particular, analogies of $p$-divisible groups play an important role. As a crucial intermediate step we prove that in a family of abelian sheaves with good reduction at infinity, the set of points where the abelian sheaf is uniformizable in the sense of Anderson, is formally closed.Comment: Final version, appears in "Number Fields and Function Fields - Two Parallel Worlds", Papers from the 4th Conference held on Texel Island, April 2004, edited by G. van der Geer, B. Moonen, R. Schoo

Motivic Serre invariants, ramification, and the analytic Milnor fiber

We show how formal and rigid geometry can be used in the theory of complex singularities, and in particular in the study of the Milnor fibration and the motivic zeta function. We introduce the so-called analytic Milnor fiber associated to the germ of a morphism f from a smooth complex algebraic variety X to the affine line. This analytic Milnor fiber is a smooth rigid variety over the field of Laurent series C((t)). Its etale cohomology coincides with the singular cohomology of the classical topological Milnor fiber of f; the monodromy transformation is given by the Galois action. Moreover, the points on the analytic Milnor fiber are closely related to the motivic zeta function of f, and the arc space of X. We show how the motivic zeta function can be recovered as some kind of Weil zeta function of the formal completion of X along the special fiber of f, and we establish a corresponding Grothendieck trace formula, which relates, in particular, the rational points on the analytic Milnor fiber over finite extensions of C((t)), to the Galois action on its etale cohomology. The general observation is that the arithmetic properties of the analytic Milnor fiber reflect the structure of the singularity of the germ f.Comment: Some minor errors corrected. The original publication is available at http://www.springerlink.co

Lectures on mathematical aspects of (twisted) supersymmetric gauge theories

Supersymmetric gauge theories have played a central role in applications of quantum field theory to mathematics. Topologically twisted supersymmetric gauge theories often admit a rigorous mathematical description: for example, the Donaldson invariants of a 4-manifold can be interpreted as the correlation functions of a topologically twisted N=2 gauge theory. The aim of these lectures is to describe a mathematical formulation of partially-twisted supersymmetric gauge theories (in perturbation theory). These partially twisted theories are intermediate in complexity between the physical theory and the topologically twisted theories. Moreover, we will sketch how the operators of such a theory form a two complex dimensional analog of a vertex algebra. Finally, we will consider a deformation of the N=1 theory and discuss its relation to the Yangian, as explained in arXiv:1308.0370 and arXiv:1303.2632.Comment: Notes from a lecture series by the first author at the Les Houches Winter School on Mathematical Physics in 2012. To appear in the proceedings of this conference. Related to papers arXiv:1308.0370, arXiv:1303.2632, and arXiv:1111.423

L-functions of Symmetric Products of the Kloosterman Sheaf over Z

The classical $n$-variable Kloosterman sums over the finite field ${\bf F}_p$ give rise to a lisse $\bar {\bf Q}_l$-sheaf ${\rm Kl}_{n+1}$ on ${\bf G}_{m, {\bf F}_p}={\bf P}^1_{{\bf F}_p}-\{0,\infty\}$, which we call the Kloosterman sheaf. Let $L_p({\bf G}_{m,{\bf F}_p}, {\rm Sym}^k{\rm Kl}_{n+1}, s)$ be the $L$-function of the $k$-fold symmetric product of ${\rm Kl}_{n+1}$. We construct an explicit virtual scheme $X$ of finite type over ${\rm Spec} {\bf Z}$ such that the $p$-Euler factor of the zeta function of $X$ coincides with $L_p({\bf G}_{m,{\bf F}_p}, {\rm Sym}^k{\rm Kl}_{n+1}, s)$. We also prove similar results for $\otimes^k {\rm Kl}_{n+1}$ and $\bigwedge^k {\rm Kl}_{n+1}$.Comment: 16 page

Foncteur de Picard d'un champ alg\'ebrique

In this article we study the Picard functor and the Picard stack of an algebraic stack. We give a new and direct proof of the representability of the Picard stack. We prove that it is quasi-separated, and that the connected component of the identity is proper when the fibers of the stack are geometrically normal. We study some examples of Picard functors of classical stacks. In an appendix, we review the lisse-etale cohomology of abelian sheaves on an algebraic stack