{
  "id": "math/0610281",
  "version": "v2",
  "published": "2006-10-09T11:15:26.000Z",
  "updated": "2007-11-08T09:33:01.000Z",
  "title": "Gaussian hypergeometric series and supercongruences",
  "authors": [
    "Robert Osburn",
    "Carsten Schneider"
  ],
  "comment": "completely rewritten version, 19 pages, accepted for publication in Mathematics of Computation",
  "journal": "Mathematics of Computation 78 (2009), 275-292",
  "categories": [
    "math.NT"
  ],
  "abstract": "Let p be an odd prime. In 1984, Greene introduced the notion of hypergeometric functions over finite fields. Special values of these functions have been of interest as they are related to the number of F_p points on algebraic varieties and to Fourier coefficients of modular forms. In this paper, we explicitly determine these functions modulo higher powers of p and discuss an application to supercongruences. This application uses two non-trivial generalized Harmonic sum identities discovered using the computer summation package Sigma. We illustrate the usage of Sigma in the discovery and proof of these two identities.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2007-11-08T09:33:01.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "11F33",
      "33F10",
      "11S80"
    ],
    "keywords": [
      "gaussian hypergeometric series",
      "supercongruences",
      "computer summation package sigma",
      "non-trivial generalized harmonic sum identities",
      "functions modulo higher powers"
    ],
    "tags": [
      "journal article"
    ],
    "publication": {
      "publisher": "AMS",
      "journal": "Mathematics of Computation",
      "doi": "10.1090/S0025-5718-08-02118-2",
      "year": 2009,
      "month": "Mar",
      "volume": 78,
      "number": 265,
      "pages": 275
    },
    "note": {
      "typesetting": "TeX",
      "pages": 19,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2009MaCom..78..275O"
    }
  }
}