Searcharxiv⌕ Search

arXiv subjects

Julio Fernández-González

Publications and source records attributed to Julio Fernández-González.

3 recordsLinked to original sources

The right-generators descendant of a numerical semigroup

For a numerical semigroup, we encode the set of primitive elements that are larger than its Frobenius number and show how to produce in a fast way the corresponding sets for its children in the semigroup tree. This allows us to present an efficient algorithm for exploring the tree up to a given genus. The algorithm exploits the second nonzero element of a numerical semigroup and the particular pseudo-ordinary case in which this element is the conductor.

math.CO↗

Computation of numerical semigroups by means of seeds

For the elements of a numerical semigroup which are larger than the Frobenius number, we introduce the definition of, seed, by broadening the notion of generator. This new concept allows us to explore the semigroup tree in an alternative efficient way, since the seeds of each descendant can be easily obtained from the seeds of its parent. The paper is devoted to presenting the results which are related to this approach, leading to a new algorithm for computing and counting the semigroups of a given genus.

math.CO↗

Octahedral Galois representations arising from Q-curves of degree 2

Generically, one can attach to a Q-curve C octahedral representations Gal(Qbar/Q) --> GL(2,Fbar_3) coming from the Galois action on the 3-torsion of those abelian varieties of GL_2-type whose building block is C. When C is defined over a quadratic field and has an isogeny of degree 2 to its Galois conjugate, there exist such representations having image into GL(2,F_9). Going the other way, we can ask which mod 3 octahedral representations of Gal(Qbar/Q) arise from Q-curves in the above sense. We characterize those arising from quadratic Q-curves of degree 2. The approach makes use of Galois embedding techniques in GL(2,F_9), and the characterization can be given in terms of a quartic polynomial defining the S_4-extension of Q attached to the octahedral representation.

math.NT↗