Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 6776

Prime numbers, diophantine equations, diophantine approximations, analytic or algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

0 votes
Accepted

Computing the fixed field of an automorphism of a function field

Colin Weir, suggested the following algorithm to solve the problem in non-rational case, I thought for the sake of others who probably have the same question, I'll post it, here: Suppose that $\sigma …
Syed's user avatar
  • 601
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( …
0 votes
1 answer
406 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)$ Then …
0 votes
Accepted

The image of generator under an automorphism of a cyclic function field

OK, finally, I think I got it, but it is not that trivial to simply be omitted from the proof (If I complicated it and there's is a straight forward way to see it please tell me): We have $\sigma(y)^ …
Syed's user avatar
  • 601
0 votes
0 answers
263 views

Computing the function field of a curve given as a subvariety of the Jacobian of its cover o...

I read following paragraph from: G. Tamme, Teilkörper höheren Geschlechts eines algebraischen Funktionenkörpers, Arch. Math. 23 (1972), 257--259 Here $C$ is a curve of genus $\ge 2$ and $J$ is the …
0 votes
1 answer
342 views

Necessary/Sufficient condition/Algorithm that tells me a function field is a kummer extension

I start my question with an example. Suppose $F/K$ be the function field generated by $x^n - yx^{n-1} - 1 = 0$. It is not a cyclic over K(y), but if I set $t = yx^{n-1}$ then we have $K(x,t) \subset K …
14 votes
2 answers
1k views

Subfields of a function field

Is there an algorithm for generating (some or all) subfields of a certain genus of a given function field (even a random one,I mean for example generating a random elliptic subfield of a certain given …