3,976 reputation
1029
bio website math.lsa.umich.edu/~zieve
location University of Michigan
age
visits member for 2 years, 1 month
seen Oct 20 at 12:16

I am a professor at the University of Michigan. In 2013-2014 I am on leave from Michigan, and I am at Shing-Tung Yau's Mathematical Sciences Center attached to Tsinghua University.


Sep
24
awarded  Autobiographer
Aug
29
awarded  Yearling
Aug
11
comment Inverse problem for zeta functions of curves over finite fields
Even for hyperelliptic curves, we aren't anywhere close to having a conjecture of which zeta functions actually occur. But the asymptotic distribution of these zeta functions is known when $q\gg g$ (Katz-Sarnak) and when $g\gg q$ (Kurlberg-Rudnick and subsequent authors).
Aug
11
answered Inverse problem for zeta functions of curves over finite fields
Aug
6
comment Existence of roots of high order polynomial over finite fields
I doubt that efficient algorithms are known -- for instance Bi, Cheng and Rojas recently published a proof that there is an algorithm running in time $p^{m^2+O(m)}$, which of course is very far from $\text{poly}(m)$. Their paper is arxiv.org/abs/1204.1113
Aug
1
comment Which polynomials define extensions of $k(t)$ unramified at the finite places
My point is that any answer to this question must take account of the fact that there are several different generators for a given field extension. For instance, evaluating my polynomial $tx^q+x^{q-1}+1$ at $x+1$ gives $tx^q+x^{q-1}+x^{q-2}+...+x+(t+2)$, which is another polynomial defining an extension of $k(t)$ unramified over finite places, and this polynomial has terms of every degree up to $q$.
Aug
1
comment Which polynomials define extensions of $k(t)$ unramified at the finite places
@JasonStarr: What's the problem? The two polynomials I wrote down define the same extension of $k(t)$, and hence are ramified over the same places of $k(t)$. For example, if $q$ is a power of $p$ then $f(x)=x^q+x+t$ defines an extension of $k(t)$ unramified over finite places, so also $tx^q+x^{q-1}+1$ defines the same extension, and visibly the latter polynomial has a term of degree not $1$ or divisible by $q$ (unless $q=2$).
Jul
31
comment Which polynomials define extensions of $k(t)$ unramified at the finite places
Note that there must be examples involving other powers of $x$, since the extension gotten by adjoining a root of $f(x)$ is the same as the extension gotten by adjoining a root of $x^{\text{deg}(f)} f(1/x)$.
Jul
22
comment Weil's Riemann Hypothesis for dummies?
You might like to look into Stichtenoth's book "Algebraic function fields and codes", which gives a completely self-contained exposition of the Riemann hypothesis for curves and all material leading up to it. It is completely algebraic and non-geometric, but it does get to Weil's Riemann hypothesis very quickly starting from nothing.
Jul
22
comment Weil's Riemann Hypothesis for dummies?
@Dustin: yes, see my answer.
Jul
22
answered Weil's Riemann Hypothesis for dummies?
Jul
4
comment The equation $f(x)=f(a^n)^k$ always has a solution in $\mathbb{Q}$
The question was copied verbatim from the website Rodgrigo pointed to. It seems strange that the OP did not mention the question's source, or that a solution was given at that source.
Jul
2
awarded  Curious
Jun
29
comment Relations among the height of algebraic numbers
Related question: mathoverflow.net/questions/64643/…
Jun
29
comment Relations among the height of algebraic numbers
This is not possible unless you bound the degrees of a and b as well. The trace of $a+1$ is $\text{tr}(a)+\text{deg}(a)$.
Jun
18
comment Quadratic twist of curve defined over finite field
An elementary exposition of twists in the case of curves over finite fields is Proposition 5.2.8 of Stichtenoth's book "Algebraic Function Fields and Codes". The proof there is essentially Chebotarev's field-crossing argument, and makes the proof of the function field analogue of Chebotarev's density theorem seem quite natural, which might be helpful for thinking about the proof in the number field case.
Jun
5
revised Lagrange Interpolation and integer polynomials
added 196 characters in body
Jun
5
answered Lagrange Interpolation and integer polynomials
May
26
comment Enumerating certain types of permutation polynomials
I want to clarify that the current (7th) version of this question is internally inconsistent. For $q=3$ there are 31555584 permutations $f$ of $GF(q^3)$ which satisfy conditions (1) and (2). The OP's assertion that there are only 3852 such permutations is wrong. It appears that the OP did not compute these permutations, but got the number 3852 from the number of perfect matchings in the incidence graph of $PG(2,3)$. So the real question is to find the mistake in the OP's proof (given in version 7 of the question) that the number of such permutations equals the number of perfect matchings.
May
22
comment Maximal separable extension of $\mathbb F_q((t))$
@user76758: thanks for the correction. To salvage something of what I said, I just wanted to make the simple observation that the absolute Galois group of $\overline{\mathbf{F}_q}((t))$ is a subgroup of the absolute Galois group of $\mathbf{F}_q((t))$, and that we can say things about the former absolute Galois group.