Opened 3 years ago

Last modified 4 hours ago

#20264 needs_review enhancement

Hasse-Weil Zeta function of a cyclic cover of P1 over finite fields.

Reported by: edgarcosta Owned by:
Priority: major Milestone: sage-8.5
Component: padics Keywords: days71, sd87, days88
Cc: alexjbest Merged in:
Authors: Vishal Arul, Edgar Costa, Richard Magner, and Nicholas Triantafillou Reviewers:
Report Upstream: N/A Work issues:
Branch: public/zeta-no-wrap (Commits) Commit: d7a885cb085673a6f7531a765bd0e7405d81b1f4
Dependencies: #25366 Stopgaps:

Description (last modified by edgarcosta)

We add a new method to compute the zeta function of a cyclic cover of P^1, this is the result of a forthcoming paper generalizing the work of Kedlaya, Harvey, Minzlaff and Gonçalves. In particular, we add two classes for cyclic covers, one over a generic ring and a specialized one over finite fields. This requires wrapping David Harvey's code for computing products of matrices already in Sage but not accessible to Sage, see #25366

Here is a quick example:

sage: p = 4999;
sage: x = PolynomialRing(GF(p),"x").gen();
sage: C = CyclicCover(5, x^5 + 1)
sage: C
Cyclic Cover of P^1 over Finite Field of size 4999 defined by y^5 = x^5 + 1
sage: C.frobenius_polynomial()
x^12 + 29994*x^10 + 374850015*x^8 + 2498500299980*x^6 + 9367502249700015*x^4 + 18731257498500149994*x^2 + 15606259372500374970001
sage: C.genus()
6

Change History (13)

comment:1 Changed 17 months ago by roed

  • Keywords sd87 added

comment:2 Changed 16 months ago by edgarcosta

  • Keywords days88 added

comment:3 Changed 7 months ago by edgarcosta

  • Authors changed from Edgar Costa, Chris Nicholls to Vishal Arul, Edgar Costa, Richard Magner, and Nicholas Triantafillou
  • Cc alexjbest added
  • Dependencies set to #25366
  • Description modified (diff)
  • Milestone changed from sage-7.2 to sage-8.3
  • Summary changed from Hasse-Weil Zeta function of a superelliptic curve over finite fields. to Hasse-Weil Zeta function of a cyclic cover of P1 over finite fields.

comment:4 Changed 6 months ago by edgarcosta

  • Branch set to u/edgarcosta/cycliccovers
  • Commit set to 5706cca0599155736f262d6d8d31ee44f31514b0
  • Status changed from new to needs_info

New commits:

3e1041dwrap ntl_mat_ZZ_p functionality
96e0783wrap harvey's intervalproducts
d91d387merge w/develop
5706ccainitial commit for cyclic covers

comment:5 Changed 6 months ago by git

  • Commit changed from 5706cca0599155736f262d6d8d31ee44f31514b0 to 7b51922af08c4002fc36f565025fcad8955cfe12

Branch pushed to git repo; I updated commit sha1. New commits:

7b51922more examples at the top

comment:6 Changed 6 months ago by edgarcosta

Last edited 6 months ago by edgarcosta (previous) (diff)

comment:7 Changed 6 months ago by edgarcosta

  • Status changed from needs_info to needs_review

comment:8 Changed 6 months ago by edgarcosta

  • Description modified (diff)

comment:9 Changed 4 months ago by vdelecroix

  • Milestone changed from sage-8.3 to sage-8.4

update milestone 8.3 -> 8.4

comment:10 Changed 2 weeks ago by alexjbest

  • Branch changed from u/edgarcosta/cycliccovers to public/zeta-cyclic
  • Commit changed from 7b51922af08c4002fc36f565025fcad8955cfe12 to 30d61b5987424de767facbcd6abd9ed82a5562ef

Last 10 new commits:

7c86227began reviewing zeta functions of cyclic covers
05199c0removed many semicolons
91ddb8esmall fix
e91fb3crename folder
ed9eca9finish move
cdca59ddelete unused function
df1216fmore style fixes last bit of move
c4e7788move check squarefree
c0df121add to main reference
30d61b5more cleanup

comment:11 Changed 2 weeks ago by alexjbest

  • Milestone changed from sage-8.4 to sage-8.5

comment:12 Changed 8 hours ago by edgarcosta

  • Branch changed from public/zeta-cyclic to public/zeta-no-wrap
  • Commit changed from 30d61b5987424de767facbcd6abd9ed82a5562ef to d7a885cb085673a6f7531a765bd0e7405d81b1f4

Last 10 new commits:

9b89e3aremoved many semicolons
2493a73small fix
5a8afa8rename folder
3fb8aa1finish move
e5fe996delete unused function
198943fmore style fixes last bit of move
cd05163move check squarefree
b78a04dadd to main reference
3883347more cleanup
d7a885cfixed lots of docs with edgar

comment:13 Changed 4 hours ago by alexjbest

This is looking pretty good now to me, so I intend to mark this as positive review once #25366 is reviewed.

Note: See TracTickets for help on using tickets.