Questions tagged [function-fields]
The function-fields tag has no usage guidance.
87 questions
4
votes
1
answer
247
views
Puiseux decomposition over a field with positive characteristic
Let $K$ be an algebraically closed field with characteristic $p>0$, and let $f(t,x)\in K[t,x]$ be a polynomial separable in $x$. Denote:
\begin{equation} \Lambda = \bigcup_{i\in \mathbb{N}} K((t^\...
- 155
5
votes
1
answer
296
views
Elementary symmetric functions of reciprocals of monic polynomials in function fields
Let $q$ be a prime power and $\mathbb{F}_q$ the field of cardinality $q$. Let $A = \mathbb{F}_q[T]$ and let $A_+ \subset A$ be the monic polynomials. Choose any ordering $<$ of $A_+$ and let $k$ be ...
- 156k
3
votes
1
answer
338
views
Function field of a Drinfeld module and product formula
I am learning about Drinfeld modules, and I have a few questions. There is an analogue that Drinfeld modules are like elliptic curves, which are projective, or are compact Riemann surfaces over $\...
- 181
8
votes
1
answer
329
views
Lexicographic distribution of irreducible polynomials
Let $A = {\mathbb F}_2[X]$, though the following can be adapted to $p \neq 2$ too. Order the elements of $A$ lexicographically. Equivalently, take a polynomial such as $P = X^4 + X + 1$, write its ...
- 13.3k
2
votes
1
answer
160
views
What is the cokernel of $O_S \to F_\infty/O_\infty$?
Let $k$ be a field of characteristic $\neq 2$ and consider the quadratic extension $F$ of $k(T)$ generated by $\sqrt{T^3 + 1}$. Let $X$ be the set of all places of $F$. Let $S = \{\infty\} \subset X$ ...
user81900
4
votes
0
answers
457
views
Fermat's Little Theorem in function fields
There is a well-known generalisation of Fermat's Little Theorem as for any $a\in\mathbb{Z}$ and $n\in\mathbb{N}$ we have $$\sum_{d\mid n} \mu(n/d) a^d\equiv 0\pmod n.$$ where $\mu$ is the Möbius ...
user76513
0
votes
0
answers
373
views
Extension of a valuation on a function field
Let $K$ be a field, and $K(x)$ the field of rational functions over $K$. Consider the degree valuation $v$ on $K(x)$, That is
$v\left(\frac{f(x)}{g(x)}\right)=\deg(g)-\deg(f)$. So for every $f(x)\in ...
- 155
2
votes
0
answers
95
views
Pairing for non-uniformizable Anderson T-motives
Let $M$ be an Anderson T-motive (the simplest case, i.e. abelian in the meaning of [G] Goss, Basic structures of function field arithmetic, Def. 5.4.12, over $A^1$, having $N=0$), and let $H_1(E)$ ([G]...
- 305
1
vote
0
answers
74
views
Generators of fixed function fields under involutions
I am trying to prove something for function fields in two generators and only one involution but I don't know if it is true, if true, I would like to generalize, here it is.
Let $K=k(\eta_1,\eta_2)$ ...
5
votes
0
answers
307
views
Ranks of elliptic curves over Q(t)
I have an elliptic curve $E/\mathbb{Q}(t)$, and I want to compute its rank. Does knowing the rank over $\mathbb{F}_p(t)$ for some prime of good reduction give a bound on the rank over $\mathbb{Q}(t)$?...
- 585
2
votes
0
answers
85
views
Action of a Drinfeld modular group on a Drinfeld symmetric space
Let $\Bbb C_\infty$ be functional field case analog of $\Bbb C$, i.e. $\Bbb C_\infty$ is the completion of the algebraic closure of the field of Laurent series $\Bbb F_q((\theta^{-1}))$, where $q$ is ...
- 305
5
votes
1
answer
442
views
Relation between ramification locus of a tower and of its constant field extension
I am trying to understand Remark 7.2.22 (Page 256) of Algebraic Function Fields and Codes (Second Edition) by Henning Stichtenoth.
In that remark he considers a tower $\mathcal{F} = (F_0,F_1,F_2,\...
- 93
12
votes
2
answers
901
views
Infinitely many irreducible polynomials of the form f(X^2) + X mod 3?
Are there infinitely many polynomials $f \in \mathbb{F}_3[X]$ for which $f(X^2) + X$ is irreducible?
- 11.3k
2
votes
0
answers
230
views
Genus of $k(T)$ is $0$ without using Riemann-Roch
Let $F$ be a function field with one variable with total constant field $k$, and let $X$ be the set of all places of $F$. How do I show that the genus of $k(T)$ is $0$ without using Riemann-Roch? Is ...
- 29
8
votes
1
answer
774
views
Abelian varieties with good reduction everywhere over function fields
There is a famous theorem due to J.-M. Fontaine,
Il n'y a pas de variété abélienne sur Z
(and independently by V.A. Abrashkin) that there are no abelian varieties over Z. I was wondering whether ...
- 83
3
votes
1
answer
292
views
Special linear groups over function fields
Let $p$ be a prime number, and let $q$ be a finite power of $p$. Denote by $F_q$ the unique field with $q$ elements.
What is known about the structure and properties of $\mathrm{SL}_2(F_q[t])$ as ...
- 11.3k
3
votes
0
answers
282
views
The uniform boundedness of rational torsion for traceless abelian surfaces over a function field
The function field analog of the theorem of Mazur-Kamienny-Merel (giving a universal bound in $[K:\mathbb{Q}]$ for the size of the $K$-rational torsion of an elliptic curve) is immediate just from the ...
- 13.8k
5
votes
2
answers
1k
views
Are Anderson $T$-motives motives for the function field analogy?
this question is related to this one Geometry for Anderson's motives?, though the previous one doesn't answer exactly my question.
Let $\mathbb{C}_{\infty}$ be the function field analog of $\...
- 2,227
6
votes
1
answer
516
views
Comparison of finite field extensions of $\mathbb{C}(t)$
Let K be a finite field extension of $\mathbb{C}(t)$. Then $K$ is isomorphic to the field of meromorphic functions on a compact Riemann surface $X$ with genius $g$. By an argument similar to the proof ...
- 4,484
3
votes
0
answers
202
views
Lang's height conjecture over $\mathbb{F}_q(T)$?
Is the canonical height of a non-torsion $\mathbb{F}_q(T)$-rational point of an elliptic curve over $\mathbb{F}_q(T)$ known or supposed to be bounded from below by an absolute positive number (or ...
- 13.8k
4
votes
0
answers
177
views
Rational cohomology of $S$-arithmetic groups over function fields and Gauss-Bonnet
I have a question on the ranks of rational cohomology groups of
$S$-arithmetic groups over function fields. To fix the situation, $G$
is a simple Chevalley group of rank $r$, $k=\mathbb{F}_q$ a finite
...
- 17.4k
1
vote
1
answer
85
views
Function field Towers of larger depth of recursion
A function field tower is a sequence of function fields
$$\mathcal{F}_0 \subset \mathcal{F}_1 \subset \mathcal{F}_2 \dots \subset \mathcal{F}_{n} \subset \mathcal{F}_{n+1} \subset \dots $$
over a base ...
- 949
2
votes
0
answers
160
views
Automorphisms of function fields under constant reduction
Let $K=\mathbb{Q}(x,y)$ be a function field of genus at least 2, with defining equation $f(x,y)=0$ (say, absolutely irreducible and with coefficients not divisible by $p$), and let $k$ be the mod-$p$ ...
4
votes
1
answer
590
views
To which automorphic forms/rep's over a function field can we associate a Galois representation?
As far as I understand it, by the work of Lafforgue (cf. Laumon, "Cohom. of Drinfeld ... II", Thm 12.4.1) there is a Galois representation associated to an irreducible cuspidal automorphic ...
- 43
6
votes
0
answers
472
views
elliptic curves over function fields
Let $K$ be a number field, $E$ an elliptic curve over $K$, and $p$ an odd prime. If $v$ is a place of $K$, we know by the Kummer injection that $E(K_v)/pE(K_v) \hookrightarrow H^1 (K_v, E[p])$ for ...
- 61
9
votes
2
answers
850
views
What is the advantage of the approach of valuations to the Riemann-Roch Theorem for curves (a la Chevalley)? AKA theory of algebraic functions in one variable
Hello,
Some books and courses take the approach to Riemann-Roch for curves considering only the algebraic viewpoint of algebraic extensions of a field k(t) without going into any algebraic geometry (...
- 1,893
6
votes
2
answers
2k
views
Computing the fixed field of an automorphism of a function field
Let say we have a function field $k(x,y)$ defined by $f(x,y)$ over $k$, with $\sigma \in Aut(k(x,y)/k)$ and. Suppose, I'm not that out of luck, so that either of $\prod \sigma^i(x)$ or $\sum \sigma^i(...
- 601
0
votes
1
answer
410
views
The image of generator under an automorphism of a cyclic function field
I'm reading the proof of Lemma 4.1 [1] which says:
"Let $F = K(x,y), y^q = f(x)$, where $q$ is a prime different from characteristic of $K$.
Let $Z := Gal(F/K(x))$ and we have $Z < G < Aut(F/K)$...
- 601
2
votes
2
answers
506
views
About the ring used in the definition of drinfeld modules. Why is that ring a dedekind domain?
Let $K/F$ be a function field with exact field of constants $F$ ($F$ is a finite field of characteristic $p$ prime). A prime in $K$ is a discrete valuation in $K$ containing $F$. It has a unique ...
9
votes
1
answer
837
views
Splitting a polynomial with one root
Suppose we have an irreducible polynomial $f\in K[x]$. Is there some way to sometimes tell whether $f$ splits completely after adjoining just one root of $f$ to $K$?
I am mostly interested in the ...
- 1,537
5
votes
0
answers
374
views
Sheaf Cohomology on Zariski-Riemann Spaces
Can sheaf cohomology on the Zariski-Riemann spaces give some sort of classification for field extensions (even just for function fields)? If not, are there any significant or useful results (e.g. for ...
- 468
3
votes
3
answers
829
views
Implicit Function Theorem over arbitrary fields
Are there any restrictions on the ground field over which the implicit function theorem holds? In particular, does the theorem hold over function fields like $F_q((1/t))$?
- 31
2
votes
0
answers
764
views
Riemann-Roch for ARBITRARY Function Fields
I know that on an algebraic function field in one variable over any base field, there is a good divisor theory for it and a Riemann-Roch Theorem; in particular, there is a 'good' notion of 'genus'. (...
- 468
2
votes
1
answer
271
views
behavior of places of a function field under automorphism
if $P_{1}$ and $P_{2}$ are distinct places of equal degree of the function field F/K, and $\sigma$ is a K-field automorphism, such that $\sigma(P_{1})=P_{2}$. then, does $\deg (P_{1}\cap K(x))=\deg (...
- 123
11
votes
2
answers
891
views
Why the roots of unity are the analogs of constants ?
Hello,
Joel Dogde, in a comment on his question "Roots of unity in different completions of a number field", says the following, about the analogy between number fields and function fields :
...
- 1,320
3
votes
1
answer
395
views
ray class field of rational function field
Let $f \in \mathbf{F}_q[T]$ be irreducible. I know that the ray class field for $\mathrm{Cl}((f)) \cong (\mathbf{F}_q[T]/(f))^\times$ can be constructed by adjoining torsion points of a Carlitz module....
user19475
30
votes
5
answers
6k
views
Global fields: What exactly is the analogy between number fields and function fields?
Note: This comes up as a byproduct of Qiaochu's question "What are examples of good toy models in mathematics?"
There seems to be a general philosophy that problems over function fields are easier to ...
user709