I always use PARI when I need to do computations and I am a big fan of this little program. I believe that it is possible to do in PARI everything you can do with such big programs as Maple and Mathematica. Well… almost everything. Here I’d like to present some tricks to do things in PARI that seem impossible from first sight, or just convenient hints. Readers are very welcome to publish their own tricks in comments. This way we may create something like a library of tricks.
Faithful readers of Vivastgasse 7 may have noticed that we haven’t posted anything in a while now- the reasons are numerous, but it mostly boils down to the fact that two of us (Anton and I) are in the middle of resolving several quasi-bureaucratic/ quasi-academic things: Anton is right now in Ukraine, finishing up his thesis and busy planning his move to Paris in a couple of months for his first postdoc. I’m busy planning a move as well- off to Durham next month for five months. So both of us are sort of ‘out-of-commission’ right now. However, I do intend to post something soon (maybe this weekend?) either on schemes over the mysterious “field with one element” or better yet, an unpacking of our guest-blogger Sniggy Mahanta’s post on conformal field theories. (Thanks goes to AJ Tolland for pointing out some gross inaccuracies in that post!)
But here is the main reason for this (non-mathematical) post- to vent!
Readers should be warned that the author is not an expert of CFT and, in fact, not even a novice in physics. What follows should be taken with a hefty pinch of salt.
Given any Riemann surface 
It seems when people talk about modular forms they tend to forget that they are very related to families of elliptic curves. Here I want to explain some simple way to understand the connection. We will consider modular forms for the full modular group 
So consider the simplest family of elliptic curves, the Weierstrass family:
Recently, the norm-residue homomorphism has been the subject of intense discussions in the K-theoretic community following the proof of the Bloch-Kato conjecture by Voevodsky, Suslin and Rost (see Rost’s lecture at this year’s Arbeitstagung.) The goal of this post is to explain the norm-residue homomorphism in a down to earth ring-theoretic language.
(Via Anton (my fellow-blogger) and his wife Masha- their seven year old daughter Ivanka’s notes from Hirzebruch’s opening lecture at the 50th Arbeitstagung here a couple of weeks ago)
Recently I asked Faltings for some references for a self-study of Arakelov theory beyond Lang’s Arakelov theory.
He suggested the following (all revolving around the arithmetic Riemann-Roch theorem):
1. Papers by Gillet and Soule on arithmetic intersection theory
2. Papers by Bismut, Gillet and Soule on determinant of cohomology of an arithmetic variety (towards Riemann-Roch for this determinant.)
Recently I was trying to understand what’s behind the mysterious condition
![\sum_i [z_i]\wedge[1-z_i] = 0\in \Lambda^2 \mathbb C^\times](https://cdn.statically.io/img/s0.wp.com/latex.php?latex=%5Csum_i+%5Bz_i%5D%5Cwedge%5B1-z_i%5D+%3D+0%5Cin+%5CLambda%5E2+%5Cmathbb+C%5E%5Ctimes&bg=ffffff&fg=545454&s=0&c=20201002)
for elements 
![\sum_i[z_i]](https://cdn.statically.io/img/s0.wp.com/latex.php?latex=%5Csum_i%5Bz_i%5D&bg=ffffff&fg=545454&s=0&c=20201002)
Of late, a lot of people have been asking me about Tannakian categories, so I decided to post this short blurb (mainly to check the Latex-related features of wordpress and also to provide some bird’s-eye view of why we should care about Tannakian categories.)
To begin with:
Definition
A neutral Tannakian category 
Vivatsgasse 7
Recent Comments