Subfields of a function field - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T17:23:25Z http://mathoverflow.net/feeds/question/56693 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56693/subfields-of-a-function-field Subfields of a function field Syed 2011-02-26T00:56:20Z 2011-03-01T00:57:02Z <p>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 function field). I did a quick search and it seems to me that the problem is heavily treated in the case of cyclic and Hermitian function fields, but I was wondering what do we know in general case. Is there something that I can do in Magma?</p> <p>On the other hand, do we have an algorithm to check if \$F\$ is a subfield of \$E\$, When \$F, E\$ are function fields (of one variable)? Florian Hess told me that somebody developed such an algorithm using his automorphism algorithm but I don't have much luck finding it.</p> <p>In order to stick to the tradition, I give a motivation also: Subfields of function fields with a rich automorphism group are subject to cover attack in cryptography when they are not one of those few which are fixed by an automorphism of the cover.</p> <p>Thank you very much indeed!</p> http://mathoverflow.net/questions/56693/subfields-of-a-function-field/56774#56774 Answer by Felipe Voloch for Subfields of a function field Felipe Voloch 2011-02-26T23:35:05Z 2011-02-27T05:32:21Z <p>Here is an algorithm (horribly inefficient) to generate all non-hyperelliptic, non-rational, separable subfields of a non-hyperelliptic function field \$F\$ over a finite field \$K\$. Let \$\Omega\$ be the space of global holomorphic differentials of \$F/K\$. For any \$K\$-subspace \$V\$ of \$\Omega\$, choose a basis \$v_1,\ldots,v_m\$ of \$V\$, compute the elements \$v_j/v_1,j>1\$ of \$F\$ (and compute the algebraic relations among these \$v_j\$), let \$E_V\$ be the subfield they generate. If \$E_V \ne F\$ and is not rational, then you found a subfield as above. All such subfields will appear this way (proof left to the reader). There are only finitely many such \$V\$ since \$K\$ is assume finite. </p> <p>Don't even dream of implementing this algorithm as is. Using the numerator of the zeta function, its factors and the Cartier operator, you can perhaps cut down the number of \$V\$'s that need to be tested. Maybe hyperelliptic subfields can be dealt with by using quadratic differentials.</p> <p>If Florian Hess can't do it, you are probably out of luck, as far as implementation goes. </p> <p>Added later: For a hyperelliptic subfield of genus \$>1\$, one still has a subspace \$V\$ but the corresponding \$E_V\$ is the canonical rational subfield of the hyperelliptic field. In this case, the field will be intermediate between \$F\$ and \$E_V\$ and perhaps the suggestion of Dror Speiser of using number field arguments might lead to it. It's the elliptic fields that are going to be hard to get.</p> http://mathoverflow.net/questions/56693/subfields-of-a-function-field/56952#56952 Answer by Claus Fieker for Subfields of a function field Claus Fieker 2011-03-01T00:57:02Z 2011-03-01T00:57:02Z <p>The algorithm to embed function fields, ie. to test if a function field E can be embedded into a function field F has been developed (and implemented in Magma) by a student of Florian Hess: Gerriet M&ouml;hlmann as part of his Diploma work. His thesis (in German) can be found at <a href="http://www.math.tu-berlin.de/~kant/publications/diplom/moehlmann.pdf" rel="nofollow">http://www.math.tu-berlin.de/~kant/publications/diplom/moehlmann.pdf</a>. The method is an extension of Florian's automorphism algorithm, in Magma, it is available through the Inclusions command. <p> To generate function fields of a given genus there are a few possibilities, none of them worked out completely. If the field can be obtained as an Abelian extension (eg. (hyper)elliptic curves have a degree 2 model) then class field theory can be used to generate all such fields. Similar, soluble exxtensions can be constructed this way. For general extensions, one could use Hunter's theorem to get bounds on the valuations of a primitive element and then enumerate all polynomials that might have such roots. Both methods have in common that they produce too many field extensions that correspond to isomorphic curves. The class field theoretic approach has the advantage of being available through Magma.... (I can provide details if anyone is interested)</p>