Questions tagged [function-fields]
The function-fields tag has no usage guidance.
87 questions
1
vote
0
answers
92
views
Proposition 6.2.7 from Goss
I'm following David Goss's book Basic structures of function field arithmetic. Let $L$ be an extension field of $L_0$ and $\sigma$ an automorphism of infinite order which fixes $L_0$. Let $L\{\sigma\}$...
0
votes
1
answer
115
views
Cancellation in correlations of the Möbius function over function fields
Let $p$ be an odd prime and $q$ a power of $p$. For a polynomial $f \in \mathbb{F}_q[T]$, let $\mu(f)$ be the Möbius function of $f$. For a positive integer $d$, let $M_d$ be the set of monic ...
2
votes
0
answers
181
views
Proposition 6.2.3 from Goss "Basic Structures of Function Field Arithmetic"
I'm studying Proposition 6.2.3 from Goss "Basic Structures of Function Field Arithmetic", page 184:
Let $F$ be the sheaf of Data A (a torsion-free coherent $O_{\bar{X}}$-module on $\bar{X}$ ...
2
votes
0
answers
108
views
Arithmetic interest of the Goss zeta function
I'm someone with more of a number fields background who recently started working on a project more in the function fields setting. I was reading Goss's book (Basic structures of function field ...
3
votes
0
answers
55
views
On the complexity of global fields isomorphism
Let $L$ and $K$ be isomorphic global fields (i.e. either function fields of curves over a finite field, or number fields). What is the complexity of finding an isomorphism between them? Is there a ...
2
votes
0
answers
56
views
Degeneracy maps of Drinfeld modular curves
Over number fields, we have two natural degeneracy maps
$$X_0(N)\leftarrow X_0(pN) \rightarrow X_0(N)$$
between the (compactified) moduli space of elliptic curves with level $pN$ and $N$ respectively (...
1
vote
0
answers
89
views
Finiteness of elliptic curves with trivial conductor over function fields
Let $K=\mathbb{F}_q(C)$ be the function field of a smooth projective curve $C$ over a finite field $\mathbb{F}_q$ with $\text{cha}(K)>3$ and let $E$ be an elliptic curve over $E$. To $E$ we may ...
2
votes
1
answer
169
views
Selberg sieve for counting monic irreducible $P \in \mathbb{F}_q[t]$ such that $P + K$ is also irreducible
In a 1983 paper by William Webb (link below), the author gives a version of the Selberg sieve for function fields and uses it to prove that for a fixed $K \in \mathbb{F}_q[t]$, the number $\mathcal{N}(...
5
votes
1
answer
219
views
Higher weight modular forms in function fields
There exists a very nice analogue of modular forms of weight two of some level $N$ in the function field setting, namely (cuspidal) harmonic cochains on the Bruhat-Tits tree which are invariant under ...
2
votes
1
answer
169
views
Automorphism of positive characteristic field
Suppose $K$ is a field with $\text{char}(K) \geq 0$. Let $L$ be a cyclic extension of $K$ with degree $2n$. We consider the generator $\sigma$ of the Galois group $\text{Gal}(L/K)$.
I am interested in ...
4
votes
2
answers
296
views
Biquadratic extension of global function fields with cyclic decomposition groups
Let $F$ be a global function field, for example $F={\mathbb F}_q(t)$, the field of rational functions in one variable over a finite field ${\mathbb F}_q\,$.
Question. What would be an example of a ...
2
votes
1
answer
110
views
Equations for $H_1(M)$ and $T$-Tate module of Anderson t-motive $M$ are equivalent: a reference?
What is a reference for the following construction?
Let $M$ be an Anderson t-motive of rank $r$ dimension $n$, i.e. a module over the Anderson ring $\mathbb{C}_\infty[T]\{\tau\}$ satisfying some ...
2
votes
0
answers
109
views
Action of Galois group on the lattice of a Drinfeld module - a reference?
What is a reference for the following construction?
Let $K$ be a finite extension of $\Bbb F_q(\theta)$ and $M$ a Drinfeld module of rank $r$ defined over $K$. Its lattice $L(M)$ is a free $\Bbb F_q[\...
5
votes
0
answers
185
views
Finite coefficients Langlands for function fields
Do we have a finite coefficients Langlands correspondence for function fields? By which I mean a bijection between Galois representations $$\pi_1(X)\to \mathrm{GL}_n\left(\overline{\mathbb{F}_p}\right)...
4
votes
0
answers
284
views
modularity of elliptic curves over function fields in positive characteristic
Let $F$ be a global function field over a finite field, and $E$ be an elliptic curve over $F$. Much like the number field case, it is natural to study the Galois representation on the Tate module of $...
6
votes
1
answer
512
views
Mordell conjecture over function fields
So I've read (for instance in the introduction to R.S de Jong's thesis ) that the naive adaptation of the proof of the Mordell conjecture over function fields fails, even using Arakelov intersection ...
1
vote
1
answer
100
views
Extension of morphisms in function fields
Let $k=\mathbb F_q\left(\left(\frac1T\right)\right)$, $\overline k$ be an algebraic closure of $k$ and $K$ be the completion of $\overline k$ for the $\frac1T$ valuation. Consider the morphism $\sigma:...
1
vote
0
answers
158
views
$\mathbb{Z}_\ell$-extensions of global function fields
Given a number field $F$ and a prime $p$, it is natural to study Iwasawa theory over the cyclotomic $\mathbb{Z}_p$-extension of $F$, i.e., the unique $\mathbb{Z}_p$-extension of $F$ which is contained ...
2
votes
1
answer
236
views
Ramification and singular points
Let $ X $ and $ Y $ be integral curves over some perfect field $ k $ and suppose that $ X $ is smooth. Moreover, let $ \pi_1 : Y \to X $ and $ \pi_2 : Y \to X $ be finite morphisms such that the ...
2
votes
0
answers
169
views
Monogenic function fields
Recall that a number field $K$ is said to be monogenic if its ring of integers is of the form $\mathbb{Z}[\alpha]$, or equivalently, if it has a power integral basis. There are many references one can ...
1
vote
1
answer
130
views
References on function fields over imperfect fields in positive characteristic
There are many references (good books, papers, ...) available that treat global function fields (over finite fields) of one independent variable. To name a few, Stichtenoth's book "Algebraic ...
6
votes
0
answers
468
views
Étale cohomology of the field with one element
In the function field - number field analogy, some expect progress on RH to come from reproducing various aspects of the Grothendieck program in a way where $\mathbb{Z}$ could be treated as a function ...
14
votes
2
answers
563
views
Does every non-isotrivial 1-parameter family of elliptic curves have a positive rank specialization?
Let $\mathcal{E}/\mathbb{Q}(t)$ be given by $$y^2=x^3+A(T)x+B(T)$$ for some $A(T),B(T)\in\mathbb{Q}[T]$ and assume $\mathcal{E}$ is non-isotrivial (the $j$-invariant $\frac{6912 A(T)^3}{4A(T)^3 + 27B(...
3
votes
0
answers
174
views
Reference Request: CM Motives over Function Fields
Inspired by Schutt and Shioda's lovely "An interesting elliptic surface over an elliptic curve", I have been investigating the following surface:
$$
\mathcal{E} : y^2 = x^3 - 27ux - 54v \...
2
votes
0
answers
108
views
Weierstrass points in Artin-Schreier extensions of the rational function field in characteristic $p$
I encountered a problem when proving a result regarding the orders at non-Weierstrass points ($n$ is an order of the point $P$ if there is some holomorphic differential $\omega$ with order $n$ at $P$) ...
4
votes
1
answer
507
views
Galois cohomology of separable closure
Let $K$ be a local field, $K^{sep}$ its separable closure, $G = Gal(K^{sep}/ K)$ the Galois group and $C := \overline{K^{sep}}$ the completion with respect to the induced valuation.
In his paper on $p$...
2
votes
1
answer
222
views
Wild ramification in composite fields
Let $ F $, $ F_i $ for $ i = 1, 2 $ and $ E $ be function fields over a finite field with characteristic $ p $ such that $ F \subseteq F_i \subseteq E $ and $ E = F_1 \cdot F_2 $ is the composite ...
1
vote
1
answer
373
views
An automorphism of a function field
I am looking for an explicit example of a function field other than rational with an automorphism which fixes places of different degrees. Also, is there a counterexample, namely a function field with ...
4
votes
0
answers
130
views
Honda-Tate theorem and prescribing roots of $L$-functions
I'm currently working with Artin $L$-functions in function field extensions (on one variable, over finite fields). I have heard about a theorem of Honda-Tate which vaguely states that a polynomial $P \...
1
vote
1
answer
125
views
Under what conditions is the compositum of two rational cubic Kummer extensions a rational function field?
Let $k$ be an algebraically closed field of characteristic $p > 3$ and $F = k(x)$ be the rational function field in the variable $x$. Consider two Kummer extensions $F_1 = F(\sqrt[3]{g_1})$, $F_2 = ...
3
votes
1
answer
607
views
Understanding moduli of shtukas of non-minuscule cocharacter
I have kind of a soft question. I've studied the basics of L. Lafforgue's proof of function field Langlands for GLn, and its use of the moduli of shtukas with two legs, and the cocharacters $[1,0,\...
2
votes
2
answers
410
views
Computing the class group of a quadratic function field
I am asking for a reference in which I can find tools to answer questions like the following: Let $K=\mathbb{F}_q(X)$ be a rational function field over the finite field with $q$ elements. Let $E/K$ be ...
3
votes
1
answer
245
views
Bounds on Artin conductors over function fields
Let $L/K$ be a geometric Galois extension of function fields over $\mathbb F_q$. Let $\chi$ be a non-trivial irreducible character of $\text{Gal}(L/K)$. According to Michael Rosen's Number Theory in ...
36
votes
2
answers
3k
views
What is the most direct proof of the Riemann hypothesis for Dirichlet L-functions over function fields?
Let $\mathbb{F}$ be a finite field of order $q$, let $m$ be an irreducible polynomial in the ring $\mathbb{F}[T]$, and let $\chi$ be a Dirichlet character modulo $m$. Define the function field ...
2
votes
0
answers
169
views
A version of weak approximation with S-integers
Let $k$ be a finite field. Let $K$ a finite extension of $k(t)$. Let $S$ be a finite set of places of $K$. Let
$$K_S = \prod_{v\in S} K_v$$
where $K_v$ is the completion of $K$ at $v$. For $v\in S$, ...
7
votes
0
answers
419
views
A mysterious number related to Hasse-Weil L-function of elliptic curve
Let $E/K$ be a non-isotrivial elliptic curve over a function field $K$ of characteristic $p$, with field of constant $F_q$, with semistable reduction. Its Hasse-Weil L-function $L(s)$ is a polynomial ...
3
votes
0
answers
83
views
The analogue of difference operator in Drinfeld module theory
The theory of Drinfeld modules is, in part, inspired by the analogy between Frobenius and the operator of differentiation. My question is: what should be the analogue of a difference operator $f(x)\...
4
votes
0
answers
463
views
Reference request: ramified and local geometric class field theory
There are lots of references on global unramified geometric class field theory (following Deligne's $\ell$-adic sheaves approach). There are also some notes talking about how to extend Deligne's ...
1
vote
1
answer
140
views
On the maximal value of the valuation at infinity of elements in the ring of integers of a global function field
Let $F$ be a global function field with full constant field $\mathbb{F}_q$. We fix a place $\infty$ and let $A$ be the ring of elements of $F$ regular away from $\infty$. We denote by $v_\infty$ the ...
0
votes
1
answer
145
views
Understanding a valuation property of function fields
I came across this point in a paper recently and I'm having difficulty seeing why it's true. Any explanations or hints would be appreciated.
For any prime $\mathfrak{p}$ of $\mathbb{F}_q [t]$ such ...
6
votes
0
answers
158
views
Quadratic function fields that are norm-euclidean or PIDs
It is known that there are finitely many square-free integers $d$ for which the ring of integers of $\mathbf{Q}(\sqrt{d})$ is Euclidean under the norm function.
Is there an analogous result for ...
2
votes
1
answer
311
views
maximal pro-l-quotients of absolute Galois groups
Let $K$ be a field, preferably a function field of a variety $X$ over $\overline{\mathbb{F}}_p$. I am looking for an answer or existing literature on the following question:
What is known about the ...
2
votes
1
answer
181
views
$[J_F : P_FN_{E/F}J_E] = 2$ for quadratic extensions of global fields of characteristic 2?
Let $E/F$ be a quadratic extension of global fields. Denote by $J_F$ the idèle group of $F$, by $P_F$ the subgroup of principal idèles and by $N_{E/F} : J_E \to J_F$ the norm map between idèles. In ...
5
votes
2
answers
436
views
Is there any work on the Gauss circle problem over function fields? [closed]
I would be thankful if someone had references to provide...
0
votes
1
answer
225
views
Field of constants of a Galois extension of function fields
Let $F$ be a finite Galois extension of the rational function field $\mathbb Q(x)$. Let $k$ be the field of constants of $F$, i.e., the algebraic closure of $\mathbb Q$ in $F$. Is $k$ necessarily a ...
2
votes
0
answers
310
views
Rational point on variety over function field
This is one of the theorems in Field Arithmetic written by M. Fried and M. Jarden as following which is Proposition 13.4.6 in that monograph:
Every field K has a regular extension F which is PAC ...
2
votes
1
answer
338
views
Genus of a function field after an extension
Let $t$ and $x$ be indeterminates, and let $P\in\mathbb Q(t)[x]$ be irreducible. Adjoining a root of $P$ to $\mathbb Q(t)$ we obtain a function field $F/\mathbb Q$. Now suppose that $K$ is an ...
2
votes
1
answer
203
views
An estimate to show that Goss L functions are entire
In Section 8 of Goss' Basic Structure of Function Field Arithmetic, Goss computed an estimate in section 8.8 in order to show that his L-function is entire on $S_\infty$. The main tool is binomial/...
2
votes
1
answer
463
views
Modular parametrization in terms of the moduli of shtukas
The modular parametrization of an elliptic curve over $\mathbb{Q}$ (and maybe over a number field in general?) is well-known; also for an elliptic curve over global function field with some condition (...
1
vote
0
answers
171
views
Algorithm to test if a variety is rational
Is there an algorithm to test if a variety is rational? Equivalently, is there an algorithm to test if a field extension is purely transcendental?
I could not find anything in the book by Cox-Little-...