Questions tagged [global-fields]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
85 views

Dedekind criterion for function fields

Let $p$ be a prime, $f\in \overline{\mathbb F}_p[x]$ a polynomial of degree $>1$ and $t$ be transcendental over $\mathbb F_p$. Let $i\geq 0$ and let $M=\overline{\mathbb F}_p(t)(\alpha)$, where $\...
1
vote
0answers
38 views

How explicitly write a projective transformation between the conics over the univariate function field?

Consider the quadratic forms $$ Q_1 = x^2 + y^2 - (t^2+1)z^2,\qquad Q_2 = x^2 + y^2 - z^2 $$ over the rational function field $\mathbb{F}_p(t)$, where $p > 2$ is a prime such that $t^2 + 1$ is ...
4
votes
1answer
142 views

Sums of squares in global fields (Reference Request)

There is a result due to Siegel that, for a number field $K$, any totally positive element of $K$ is the sum of four squares of $K$. This is discussed in another question (sum of squares in ring of ...
3
votes
1answer
157 views

Quadratic equation over a global field of characteristic 2

Let $F=\mathbb F_{2^n}(t)$, and let $f=x^2+ax+b\in F[x]$. Is there any necessary and sufficient condition for $f$, depending on its coefficients, to have a root in $F$? I'm not interested in finding ...
5
votes
2answers
210 views

Does a $K_{\upsilon}$-point of a variety $V$ give a point of $V$ in $K_{(\upsilon)}=K^{sep}\cap K_{\upsilon}$ for a global field $K$?

Let $K$ be a global field and $\upsilon$ a place of $K$. Let $K_{\upsilon}$ denote the completion of $K$ at $\upsilon$ and $K_{(\upsilon)}:=K^{sep}\cap K_{\upsilon}$ the henselization (which is the ...
5
votes
2answers
447 views

Why is $K_{\upsilon}|K$ separable for a global field $K$?

I asked this question on math.stackexchange but maybe it fits here better. If not, I apologize in advance and will remove the question. Let $K$ be a global field and $\upsilon$ a prime of $K$. Then ...
1
vote
0answers
121 views

Are elliptic global function fields totally imaginary?

Let $K/\mathbb{F}_{q}(X)$ be a global function field extension of degree $2$, having minimal polynomial $Y^{2}=f(X)$, where $f(X)$ is a degree 3 polynomial in $X$ with coefficients in $\mathbb{F}_{q}$,...
4
votes
1answer
370 views

Reference for: Every local field can be realized as the completion of a global field

It is well known that every local field (i.e. nondiscrete topological field locally compact with respect to the topology) is the completion of some global field. I know the argument, a nice ...
2
votes
0answers
112 views

Property of a derivative in global field

Before posting I want to make it clear that I posted the same question in stack exchange awhile ago (https://math.stackexchange.com/questions/1533814/property-of-derivative-in-a-local-field) but didn'...
4
votes
0answers
510 views

Explicit description/calculation of norm group of ideles of characteristic $p$ global field

I posted the same question earlier in stack exchange, (https://math.stackexchange.com/questions/1130391/algebraic-proof-of-2nd-inequality-of-global-class-field) thinking it is most definitely not a ...
5
votes
1answer
214 views

Compactness of adelic quotients for unipotent groups over global fields

Let $K$ be a global field, $\mathbb{A}_K$ the ring of adeles, and $U$ a unipotent algebraic group over $K$. Why is $U(\mathbb{A}_K)/U(K)$, when endowed with the quotient topology, compact?
2
votes
0answers
290 views

Global Artin reciprocity law from Local class field theory

Let $K=\mathbb F_q((t)), p -$ prime ideal in $K$, $\psi_p$ be the local Artin map$K_p^* \to Gal(K_p^{ab}/K_p)=G_p \subset Gal(K^{ab}/K)$. Then I define global Artin map $\psi_K$as product of $\psi_p$, ...
9
votes
3answers
2k views

Elliptic Curves over Global Function Fields

I am currently thinking about a problem, and I feel that by knowing more about elliptic curves over extensions of $\mathbb{F}_q(T)$, for $q$ a power of $p$ say, might lead to insight. I am also ...
57
votes
2answers
4k views

Is there a “purely algebraic” proof of the finiteness of the class number?

The background is as follows: I have been whittling away at my commutative algebra notes (or, rather at commutative algebra itself, I suppose) recently for the occasion of a course I will be teaching ...
16
votes
4answers
1k views

Dimension of central simple algebra over a global field “built using class field theory”.

If $F$ is a global field then a standard exact sequence relating the Brauer groups of $F$ and its completions is the following: $$0\to Br(F)\to\oplus_v Br(F_v)\to\mathbf{Q}/\mathbf{Z}\to 0.$$ The ...
6
votes
1answer
516 views

Can algebraic number fields be generalized in a similar way to function fields in 1 variable over a finite field?

Global fields consist of finite extensions of $\mathbb{Q}$ (algebraic number fields) and finite extensions of $\mathbb{F}_q(x)$ (function fields in 1 variable over a finite field). The latter are ...
52
votes
9answers
11k views

Learning Class Field Theory: Local or Global First?

I've noticed that there seem to be two approaches to learning class field theory. The first is to first learn about local fields and local class field theory, and then prove the basic theorems about ...
12
votes
2answers
562 views

Evidence for $Q^{\operatorname{solv}}$ being pseudo-algebraically-closed

This is a follow-up to the following answer: Solvable class field theory in which it is stated as a "folklore" conjecture that the maximal solvable extension of Q is pseudo algebraically closed (...
25
votes
5answers
4k 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 ...