-
Polynomial factorization over henselian fields
Authors:
Maria Alberich-Carramiñana,
Jordi Guàrdia,
Enric Nart,
Adrien Poteaux,
Joaquim Roé,
Martin Weimann
Abstract:
Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$, we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaquié and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the factorization of $g$ over a henselization of $(K,v)$.
Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$, we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaquié and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the factorization of $g$ over a henselization of $(K,v)$.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Valuations with infinite limit-depth
Authors:
Maria Alberich-Carramiñana,
Jordi Guàrdia,
Enric Nart,
Joaquim Roé
Abstract:
For a certain field $K$, we construct a valuation-algebraic valuation on the polynomial ring $K[x]$, whose Maclane--Vaquié chain consists of an infinite (countable) number of limit augmentations
For a certain field $K$, we construct a valuation-algebraic valuation on the polynomial ring $K[x]$, whose Maclane--Vaquié chain consists of an infinite (countable) number of limit augmentations
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Square-free OM computation of global integral bases
Authors:
Jordi Guàrdia,
Enric Nart
Abstract:
For a prime $p$, the OM algorithm finds the $p$-adic factorization of an irreducible polynomial $f\in\mathbb{Z}[x]$ in polynomial time. This may be applied to construct $p$-integral bases in the number field $K$ defined by $f$. In this paper, we adapt the OM techniques to work with a positive integer $N$ instead of $p$. As an application, we obtain an algorithm to compute global integral bases in…
▽ More
For a prime $p$, the OM algorithm finds the $p$-adic factorization of an irreducible polynomial $f\in\mathbb{Z}[x]$ in polynomial time. This may be applied to construct $p$-integral bases in the number field $K$ defined by $f$. In this paper, we adapt the OM techniques to work with a positive integer $N$ instead of $p$. As an application, we obtain an algorithm to compute global integral bases in $K$, which does not require a previous factorization of the discriminant of $f$.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
Okutsu frames of irreducible polynomials over henselian fields
Authors:
Maria Alberich-Carramiñana,
Jordi Guàrdia,
Joaquím Roé,
Enric Nart
Abstract:
For a henselian valued field $(K,v)$ we establish a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaquié chains. This parallelism was only known for defectless irreducible polynomials.
For a henselian valued field $(K,v)$ we establish a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaquié chains. This parallelism was only known for defectless irreducible polynomials.
△ Less
Submitted 23 March, 2023; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Valuative trees over valued fields
Authors:
Maria Alberich-Carramiñana,
Jordi Guàrdia,
Enric Nart,
Joaquim Roé
Abstract:
For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrowΛ$ of ordered groups, we analyze the structure of the tree formed by all $Λ$-valued extensions of $v$ to the polynomial ring $K[x]$. As an application, we find a model for the tree of all equivalence classes of valuations on $K[x]$ (without fixing their value group), whose restriction to $K$ is equivalent to $v$.
I…
▽ More
For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrowΛ$ of ordered groups, we analyze the structure of the tree formed by all $Λ$-valued extensions of $v$ to the polynomial ring $K[x]$. As an application, we find a model for the tree of all equivalence classes of valuations on $K[x]$ (without fixing their value group), whose restriction to $K$ is equivalent to $v$.
In the henselian case, we apply these results to show that there is a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaquié chains. This parallelism was only known for defectless irreducible polynomials.
△ Less
Submitted 25 April, 2022; v1 submitted 20 July, 2021;
originally announced July 2021.
-
Invariants of limit key polynomials
Authors:
Maria Alberich-Carramiñana,
Alberto F. Boix,
Julio Fernández,
Jordi Guàrdia,
Enric Nart,
Joaquim Roé
Abstract:
Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$.
Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials…
▽ More
Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$.
Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials of unbounded continuous MacLane chains have numerical character equal to one.
△ Less
Submitted 9 May, 2020;
originally announced May 2020.
-
A giant exoplanet orbiting a very low-mass star challenges planet formation models
Authors:
J. C. Morales,
A. J. Mustill,
I. Ribas,
M. B. Davies,
A. Reiners,
F. F. Bauer,
D. Kossakowski,
E. Herrero,
E. Rodríguez,
M. J. López-González,
C. Rodríguez-López,
V. J. S. Béjar,
L. González-Cuesta,
R. Luque,
E. Pallé,
M. Perger,
D. Baroch,
A. Johansen,
H. Klahr,
C. Mordasini,
G. Anglada-Escudé,
J. A. Caballero,
M. Cortés-Contreras,
S. Dreizler,
M. Lafarga
, et al. (157 additional authors not shown)
Abstract:
Statistical analyses from exoplanet surveys around low-mass stars indicate that super-Earth and Neptune-mass planets are more frequent than gas giants around such stars, in agreement with core accretion theory of planet formation. Using precise radial velocities derived from visual and near-infrared spectra, we report the discovery of a giant planet with a minimum mass of 0.46 Jupiter masses in an…
▽ More
Statistical analyses from exoplanet surveys around low-mass stars indicate that super-Earth and Neptune-mass planets are more frequent than gas giants around such stars, in agreement with core accretion theory of planet formation. Using precise radial velocities derived from visual and near-infrared spectra, we report the discovery of a giant planet with a minimum mass of 0.46 Jupiter masses in an eccentric 204-day orbit around the very low-mass star GJ 3512. Dynamical models show that the high eccentricity of the orbit is most likely explained from planet-planet interactions. The reported planetary system challenges current formation theories and puts stringent constraints on the accretion and migration rates of planet formation and evolution models, indicating that disc instability may be more efficient in forming planets than previously thought.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
The CARMENES search for exoplanets around M dwarfs. Two temperate Earth-mass planet candidates around Teegarden's Star
Authors:
M. Zechmeister,
S. Dreizler,
I. Ribas,
A. Reiners,
J. A. Caballero,
F. F. Bauer,
V. J. S. Béjar,
L. González-Cuesta,
E. Herrero,
S. Lalitha,
M. J. López-González,
R. Luque,
J. C. Morales,
E. Pallé,
E. Rodríguez,
C. Rodríguez López,
L. Tal-Or,
G. Anglada-Escudé,
A. Quirrenbach,
P. J. Amado,
M. Abril,
F. J. Aceituno,
J. Aceituno,
F. J. Alonso-Floriano,
M. Ammler-von Eiff
, et al. (160 additional authors not shown)
Abstract:
Context. Teegarden's Star is the brightest and one of the nearest ultra-cool dwarfs in the solar neighbourhood. For its late spectral type (M7.0V), the star shows relatively little activity and is a prime target for near-infrared radial velocity surveys such as CARMENES.
Aims. As part of the CARMENES search for exoplanets around M dwarfs, we obtained more than 200 radial-velocity measurements of…
▽ More
Context. Teegarden's Star is the brightest and one of the nearest ultra-cool dwarfs in the solar neighbourhood. For its late spectral type (M7.0V), the star shows relatively little activity and is a prime target for near-infrared radial velocity surveys such as CARMENES.
Aims. As part of the CARMENES search for exoplanets around M dwarfs, we obtained more than 200 radial-velocity measurements of Teegarden's Star and analysed them for planetary signals.
Methods. We find periodic variability in the radial velocities of Teegarden's Star. We also studied photometric measurements to rule out stellar brightness variations mimicking planetary signals.
Results. We find evidence for two planet candidates, each with $1.1M_\oplus$ minimum mass, orbiting at periods of 4.91 and 11.4 d, respectively. No evidence for planetary transits could be found in archival and follow-up photometry. Small photometric variability is suggestive of slow rotation and old age.
Conclusions. The two planets are among the lowest-mass planets discovered so far, and they are the first Earth-mass planets around an ultra-cool dwarf for which the masses have been determined using radial velocities.
△ Less
Submitted 13 September, 2019; v1 submitted 17 June, 2019;
originally announced June 2019.
-
The CARMENES search for exoplanets around M dwarfs - HD 147379b: A nearby Neptune in the temperate zone of an early-M dwarf
Authors:
A. Reiners,
I. Ribas,
M. Zechmeister,
J. A. Caballero,
T. Trifonov,
S. Dreizler,
J. C. Morales,
L. Tal-Or,
M. Lafarga,
A. Quirrenbach,
P. J. Amado,
A. Kaminski,
S. V. Jeffers,
J. Aceituno,
V. J. S. Béjar,
J. Guàrdia,
E. W. Guenther,
H. -J. Hagen,
D. Montes,
V. M. Passegger,
W. Seifert,
A. Schweitzer,
M. Cortés-Contreras,
M. Abril,
F. J. Alonso-Floriano
, et al. (147 additional authors not shown)
Abstract:
We report on the first star discovered to host a planet detected by radial velocity (RV) observations obtained within the CARMENES survey for exoplanets around M dwarfs. HD 147379 ($V = 8.9$ mag, $M = 0.58 \pm 0.08$ M$_{\odot}$), a bright M0.0V star at a distance of 10.7 pc, is found to undergo periodic RV variations with a semi-amplitude of $K = 5.1\pm0.4$ m s$^{-1}$ and a period of…
▽ More
We report on the first star discovered to host a planet detected by radial velocity (RV) observations obtained within the CARMENES survey for exoplanets around M dwarfs. HD 147379 ($V = 8.9$ mag, $M = 0.58 \pm 0.08$ M$_{\odot}$), a bright M0.0V star at a distance of 10.7 pc, is found to undergo periodic RV variations with a semi-amplitude of $K = 5.1\pm0.4$ m s$^{-1}$ and a period of $P = 86.54\pm0.06$ d. The RV signal is found in our CARMENES data, which were taken between 2016 and 2017, and is supported by HIRES/Keck observations that were obtained since 2000. The RV variations are interpreted as resulting from a planet of minimum mass $m_{\rm p}\sin{i} = 25 \pm 2$ M$_{\oplus}$, 1.5 times the mass of Neptune, with an orbital semi-major axis $a = 0.32$ au and low eccentricity ($e < 0.13$). HD 147379b is orbiting inside the temperate zone around the star, where water could exist in liquid form. The RV time-series and various spectroscopic indicators show additional hints of variations at an approximate period of 21.1d (and its first harmonic), which we attribute to the rotation period of the star.
△ Less
Submitted 15 December, 2017;
originally announced December 2017.
-
The CARMENES search for exoplanets around M dwarfs: High-resolution optical and near-infrared spectroscopy of 324 survey stars
Authors:
A. Reiners,
M. Zechmeister,
J. A. Caballero,
I. Ribas,
J. C. Morales,
S. V. Jeffers,
P. Schöfer,
L. Tal-Or,
A. Quirrenbach,
P. J. Amado,
A. Kaminski,
W. Seifert,
M. Abril,
J. Aceituno,
F. J. Alonso-Floriano,
M. Ammler-von Eiff,
R. Antona,
G. Anglada-Escudé,
H. Anwand-Heerwart,
B. Arroyo-Torres,
M. Azzaro,
D. Baroch,
D. Barrado,
F. F. Bauer,
S. Becerril
, et al. (148 additional authors not shown)
Abstract:
The CARMENES radial velocity (RV) survey is observing 324 M dwarfs to search for any orbiting planets. In this paper, we present the survey sample by publishing one CARMENES spectrum for each M dwarf. These spectra cover the wavelength range 520--1710nm at a resolution of at least $R > 80,000$, and we measure its RV, H$α$ emission, and projected rotation velocity. We present an atlas of high-resol…
▽ More
The CARMENES radial velocity (RV) survey is observing 324 M dwarfs to search for any orbiting planets. In this paper, we present the survey sample by publishing one CARMENES spectrum for each M dwarf. These spectra cover the wavelength range 520--1710nm at a resolution of at least $R > 80,000$, and we measure its RV, H$α$ emission, and projected rotation velocity. We present an atlas of high-resolution M-dwarf spectra and compare the spectra to atmospheric models. To quantify the RV precision that can be achieved in low-mass stars over the CARMENES wavelength range, we analyze our empirical information on the RV precision from more than 6500 observations. We compare our high-resolution M-dwarf spectra to atmospheric models where we determine the spectroscopic RV information content, $Q$, and signal-to-noise ratio. We find that for all M-type dwarfs, the highest RV precision can be reached in the wavelength range 700--900nm. Observations at longer wavelengths are equally precise only at the very latest spectral types (M8 and M9). We demonstrate that in this spectroscopic range, the large amount of absorption features compensates for the intrinsic faintness of an M7 star. To reach an RV precision of 1ms$^{-1}$ in very low mass M dwarfs at longer wavelengths likely requires the use of a 10m class telescope. For spectral types M6 and earlier, the combination of a red visual and a near-infrared spectrograph is ideal to search for low-mass planets and to distinguish between planets and stellar variability. At a 4m class telescope, an instrument like CARMENES has the potential to push the RV precision well below the typical jitter level of 3-4ms$^{-1}$.
△ Less
Submitted 9 February, 2018; v1 submitted 17 November, 2017;
originally announced November 2017.
-
The CARMENES search for exoplanets around M dwarfs. First visual-channel radial-velocity measurements and orbital parameter updates of seven M-dwarf planetary systems
Authors:
T. Trifonov,
M. Kürster,
M. Zechmeister,
L. Tal-Or,
J. A. Caballero,
A. Quirrenbach,
P. J. Amado,
I. Ribas,
A. Reiners,
S. Reffert,
S. Dreizler,
A. P. Hatzes,
A. Kaminski,
R. Launhardt,
Th. Henning,
D. Montes,
V. J. S. Béjar,
R. Mundt,
A. Pavlov,
J. H. M. M. Schmitt,
W. Seifert,
J. C. Morales,
G. Nowak,
S. V. Jeffers,
C. Rodríguez-López
, et al. (144 additional authors not shown)
Abstract:
Context: The main goal of the CARMENES survey is to find Earth-mass planets around nearby M-dwarf stars. Seven M-dwarfs included in the CARMENES sample had been observed before with HIRES and HARPS and either were reported to have one short period planetary companion (GJ15A, GJ176, GJ436, GJ536 and GJ1148) or are multiple planetary systems (GJ581 and GJ876).
Aims: We aim to report new precise op…
▽ More
Context: The main goal of the CARMENES survey is to find Earth-mass planets around nearby M-dwarf stars. Seven M-dwarfs included in the CARMENES sample had been observed before with HIRES and HARPS and either were reported to have one short period planetary companion (GJ15A, GJ176, GJ436, GJ536 and GJ1148) or are multiple planetary systems (GJ581 and GJ876).
Aims: We aim to report new precise optical radial velocity measurements for these planet hosts and test the overall capabilities of CARMENES.
Methods: We combined our CARMENES precise Doppler measurements with those available from HIRES and HARPS and derived new orbital parameters for the systems. Bona-fide single planet systems are fitted with a Keplerian model. The multiple planet systems were analyzed using a self-consistent dynamical model and their best fit orbits were tested for long-term stability.
Results: We confirm or provide supportive arguments for planets around all the investigated stars except for GJ15A, for which we find that the post-discovery HIRES data and our CARMENES data do not show a signal at 11.4 days. Although we cannot confirm the super-Earth planet GJ15Ab, we show evidence for a possible long-period ($P_{\rm c}$ = 7025$_{-629}^{+972}$ d) Saturn-mass ($m_{\rm c} \sin i$ = 51.8$_{-5.8}^{+5.5}M_\oplus$) planet around GJ15A. In addition, based on our CARMENES and HIRES data we discover a second planet around GJ1148, for which we estimate a period $P_{\rm c}$ = 532.6$_{-2.5}^{+4.1}$ d, eccentricity $e_{\rm c}$ = 0.34$_{-0.06}^{+0.05}$ and minimum mass $m_{\rm c} \sin i$ = 68.1$_{-2.2}^{+4.9}M_\oplus$.
Conclusions: The CARMENES optical radial velocities have similar precision and overall scatter when compared to the Doppler measurements conducted with HARPS and HIRES. We conclude that CARMENES is an instrument that is up to the challenge of discovering rocky planets around low-mass stars.
△ Less
Submitted 29 January, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.
-
Efficient scheduling of astronomical observations. Application to the CARMENES radial-velocity survey
Authors:
A. Garcia-Piquer,
J. C. Morales,
I. Ribas,
J. Colomé,
J. Guàrdia,
M. Perger,
J. A. Caballero,
M. Cortés-Contreras,
S. V. Jeffers,
A. Reiners,
P. J. Amado,
A. Quirrenbach,
W. Seifert
Abstract:
Targeted spectroscopic exoplanet surveys face the challenge of maximizing their planet detection rates by means of careful planning. The number of possible observation combinations for a large exoplanet survey, i.e., the sequence of observations night after night, both in total time and amount of targets, is enormous.
Sophisticated scheduling tools and the improved understanding of the exoplanet…
▽ More
Targeted spectroscopic exoplanet surveys face the challenge of maximizing their planet detection rates by means of careful planning. The number of possible observation combinations for a large exoplanet survey, i.e., the sequence of observations night after night, both in total time and amount of targets, is enormous.
Sophisticated scheduling tools and the improved understanding of the exoplanet population are employed to investigate an efficient and optimal way to plan the execution of observations. This is applied to the CARMENES instrument, which is an optical and infrared high-resolution spectrograph that has started a survey of about 300 M-dwarf stars in search for terrestrial exoplanets.
We use evolutionary computation techniques to create an automatic scheduler that minimizes the idle periods of the telescope and that distributes the observations among all the targets using configurable criteria. We simulate the case of the CARMENES survey with a realistic sample of targets, and we estimate the efficiency of the planning tool both in terms of telescope operations and planet detection.
Our scheduling simulations produce plans that use about 99$\%$ of the available telescope time (including overheads) and optimally distribute the observations among the different targets. Under such conditions, and using current planet statistics, the optimized plan using this tool should allow the CARMENES survey to discover about 65$\%$ of the planets with radial-velocity semi-amplitudes greater than 1$~m\thinspace s^{-1}$ when considering only photon noise.
The simulations using our scheduling tool show that it is possible to optimize the survey planning by minimizing idle instrument periods and fulfilling the science objectives in an efficient manner to maximize the scientific return.
△ Less
Submitted 6 June, 2018; v1 submitted 19 July, 2017;
originally announced July 2017.
-
Local-to-global computation of integral bases without a previous factorization of the discriminant
Authors:
Jordi Guàrdia,
Enric Nart
Abstract:
We adapt an old local-to-global technique of Ore to compute, under certain mild assumptions, an integral basis of a number field without a previous factorization of the discriminant of the defining polynomial. In a first phase, the method yields as a by-product successive splittings of the discriminant. When this phase concludes, it requires a squarefree factorization of some base factors of the d…
▽ More
We adapt an old local-to-global technique of Ore to compute, under certain mild assumptions, an integral basis of a number field without a previous factorization of the discriminant of the defining polynomial. In a first phase, the method yields as a by-product successive splittings of the discriminant. When this phase concludes, it requires a squarefree factorization of some base factors of the discriminant to terminate.
△ Less
Submitted 7 October, 2015;
originally announced October 2015.
-
The EChO science case
Authors:
Giovanna Tinetti,
Pierre Drossart,
Paul Eccleston,
Paul Hartogh,
Kate Isaak,
Martin Linder,
Christophe Lovis,
Giusi Micela,
Marc Ollivier,
Ludovic Puig,
Ignasi Ribas,
Ignas Snellen,
Bruce Swinyard. France Allard,
Joanna Barstow,
James Cho,
Athena Coustenis,
Charles Cockell,
Alexandre Correia,
Leen Decin,
Remco de Kok,
Pieter Deroo,
Therese Encrenaz,
Francois Forget,
Alistair Glasse,
Caitlin Griffith
, et al. (326 additional authors not shown)
Abstract:
The discovery of almost 2000 exoplanets has revealed an unexpectedly diverse planet population. Observations to date have shown that our Solar System is certainly not representative of the general population of planets in our Milky Way. The key science questions that urgently need addressing are therefore: What are exoplanets made of? Why are planets as they are? What causes the exceptional divers…
▽ More
The discovery of almost 2000 exoplanets has revealed an unexpectedly diverse planet population. Observations to date have shown that our Solar System is certainly not representative of the general population of planets in our Milky Way. The key science questions that urgently need addressing are therefore: What are exoplanets made of? Why are planets as they are? What causes the exceptional diversity observed as compared to the Solar System?
EChO (Exoplanet Characterisation Observatory) has been designed as a dedicated survey mission for transit and eclipse spectroscopy capable of observing a large and diverse planet sample within its four-year mission lifetime. EChO can target the atmospheres of super-Earths, Neptune-like, and Jupiter-like planets, in the very hot to temperate zones (planet temperatures of 300K-3000K) of F to M-type host stars. Over the next ten years, several new ground- and space-based transit surveys will come on-line (e.g. NGTS, CHEOPS, TESS, PLATO), which will specifically focus on finding bright, nearby systems. The current rapid rate of discovery would allow the target list to be further optimised in the years prior to EChO's launch and enable the atmospheric characterisation of hundreds of planets. Placing the satellite at L2 provides a cold and stable thermal environment, as well as a large field of regard to allow efficient time-critical observation of targets randomly distributed over the sky. A 1m class telescope is sufficiently large to achieve the necessary spectro-photometric precision. The spectral coverage (0.5-11 micron, goal 16 micron) and SNR to be achieved by EChO, thanks to its high stability and dedicated design, would enable a very accurate measurement of the atmospheric composition and structure of hundreds of exoplanets.
△ Less
Submitted 19 February, 2015;
originally announced February 2015.
-
Geometric and arithmetic relations concerning origami
Authors:
Jordi Guàrdia,
Eulàlia Tramuns
Abstract:
We present a formalization of geometric instruments that considers separately geometric and arithmetic aspects of them. We introduce the concept of tool, which formalizes a physical instrument as a set of axioms representing its geometric capabilities. We also define a map as a tool together with a set of points and curves as an initial reference. We rewrite known results using this new approach a…
▽ More
We present a formalization of geometric instruments that considers separately geometric and arithmetic aspects of them. We introduce the concept of tool, which formalizes a physical instrument as a set of axioms representing its geometric capabilities. We also define a map as a tool together with a set of points and curves as an initial reference. We rewrite known results using this new approach and give new relations between origami and other instruments, some obtained considering them as tools and others considering them as maps.
△ Less
Submitted 25 September, 2014; v1 submitted 16 September, 2014;
originally announced September 2014.
-
Genetics of polynomials over local fields
Authors:
Jordi Guàrdia,
Enric Nart
Abstract:
Let $(K,v)$ be a discrete valued field with valuation ring $\oo$, and let $\oo_v$ be the completion of $\oo$ with respect to the $v$-adic topology. In this paper we discuss the advantages of manipulating polynomials in $\oo_v[x]$ in a computer by means of OM representations of prime (monic and irreducible) polynomials. An OM representation supports discrete data characterizing the Okutsu equivalen…
▽ More
Let $(K,v)$ be a discrete valued field with valuation ring $\oo$, and let $\oo_v$ be the completion of $\oo$ with respect to the $v$-adic topology. In this paper we discuss the advantages of manipulating polynomials in $\oo_v[x]$ in a computer by means of OM representations of prime (monic and irreducible) polynomials. An OM representation supports discrete data characterizing the Okutsu equivalence class of the prime polynomial. These discrete parameters are a kind of DNA sequence common to all individuals in the same Okutsu class, and they contain relevant arithmetic information about the polynomial and the extension of $K_v$ that it determines.
△ Less
Submitted 10 June, 2014; v1 submitted 17 September, 2013;
originally announced September 2013.
-
Residual ideals of MacLane valuations
Authors:
Julio Fernández,
Jordi Guàrdia,
Jesús Montes,
Enric Nart
Abstract:
Let $K$ be a field equipped with a discrete valuation $v$. In a pioneering work, S. MacLane determined all valuations on $K(x)$ extending $v$. His work was recently reviewed and generalized by M. Vaquié, by using the graded algebra of a valuation. We extend Vaquié's approach by studying residual ideals of the graded algebra of a valuation as an abstract counterpart of certain residual polynomials…
▽ More
Let $K$ be a field equipped with a discrete valuation $v$. In a pioneering work, S. MacLane determined all valuations on $K(x)$ extending $v$. His work was recently reviewed and generalized by M. Vaquié, by using the graded algebra of a valuation. We extend Vaquié's approach by studying residual ideals of the graded algebra of a valuation as an abstract counterpart of certain residual polynomials which play a key role in the computational applications of the theory. As a consequence, we determine the structure of the graded algebra of the discrete valuations on $K(x)$ and we show how these valuations may be used to parameterize irreducible polynomials over local fields up to Okutsu equivalence.
△ Less
Submitted 26 July, 2013; v1 submitted 3 May, 2013;
originally announced May 2013.
-
Single-factor lifting and factorization of polynomials over local fields
Authors:
J. Guàrdia,
E. Nart,
S. Pauli
Abstract:
Let $f(x)$ be a separable polynomial over a local field. Montes algorithm computes certain approximations to the different irreducible factors of $f(x)$, with strong arithmetic properties. In this paper we develop an algorithm to improve any one of these approximations, till a prescribed precision is attained. The most natural application of this "single-factor lifting" routine is to combine it wi…
▽ More
Let $f(x)$ be a separable polynomial over a local field. Montes algorithm computes certain approximations to the different irreducible factors of $f(x)$, with strong arithmetic properties. In this paper we develop an algorithm to improve any one of these approximations, till a prescribed precision is attained. The most natural application of this "single-factor lifting" routine is to combine it with Montes algorithm to provide a fast polynomial factorization algorithm. Moreover, the single-factor lifting algorithm may be applied as well to accelerate the computational resolution of several global arithmetic problems in which the improvement of an approximation to a single local irreducible factor of a polynomial is required.
△ Less
Submitted 15 April, 2011;
originally announced April 2011.
-
Arithmetic in big number fields: the '+Ideals' package
Authors:
J. Guardia,
J. Montes,
E. Nart
Abstract:
We introduce our package '+Ideals' for Magma, designed to perform the basic tasks related to ideals in number fields without pre-computing integral bases. It is based on Montes algorithm and a number of local techniques that we have developed in a series of papers in the last years.
We introduce our package '+Ideals' for Magma, designed to perform the basic tasks related to ideals in number fields without pre-computing integral bases. It is based on Montes algorithm and a number of local techniques that we have developed in a series of papers in the last years.
△ Less
Submitted 25 May, 2010;
originally announced May 2010.
-
A new computational approach to ideal theory in number fields
Authors:
Jordi Guardia,
Jesus Montes,
Enric Nart
Abstract:
Let $K$ be the number field determined by a monic irreducible polynomial $f(x)$ with integer coefficients. In previous papers we parameterized the prime ideals of $K$ in terms of certain invariants attached to Newton polygons of higher order of the defining equation $f(x)$. In this paper we show how to carry out the basic operations on fractional ideals of $K$ in terms of these constructive repres…
▽ More
Let $K$ be the number field determined by a monic irreducible polynomial $f(x)$ with integer coefficients. In previous papers we parameterized the prime ideals of $K$ in terms of certain invariants attached to Newton polygons of higher order of the defining equation $f(x)$. In this paper we show how to carry out the basic operations on fractional ideals of $K$ in terms of these constructive representations of the prime ideals. From a computational perspective, these results facilitate the manipulation of fractional ideals of $K$ avoiding two heavy tasks: the construction of the maximal order of $K$ and the factorization of the discriminant of $f(x)$. The main computational ingredient is Montes algorithm, which is an extremely fast procedure to construct the prime ideals.
△ Less
Submitted 15 July, 2010; v1 submitted 7 May, 2010;
originally announced May 2010.
-
Okutsu invariants and Newton polygons
Authors:
Jordi Guardia,
Jesus Montes,
Enric Nart
Abstract:
Let K be a local field of characteristic zero, O its ring of integers and F(x) a monic irreducible polynomial with coefficients in O. K. Okutsu attached to F(x) certain primitive divisor polynomials F_1(x),..., F_r(x), that are specially close to F(x) with respect to their degree. In this paper we characterize the Okutsu families [F_1,..., F_r] in terms of certain Newton polygons of higher order…
▽ More
Let K be a local field of characteristic zero, O its ring of integers and F(x) a monic irreducible polynomial with coefficients in O. K. Okutsu attached to F(x) certain primitive divisor polynomials F_1(x),..., F_r(x), that are specially close to F(x) with respect to their degree. In this paper we characterize the Okutsu families [F_1,..., F_r] in terms of certain Newton polygons of higher order, and we derive some applications: closed formulas for certain Okutsu invariants, the discovery of new Okutsu invariants, or the construction of Montes approximations to F(x); these are monic irreducible polynomials sufficiently close to F(x) to share all its Okutsu invariants. This perspective widens the scope of applications of Montes' algorithm, which can be reinterpreted as a tool to compute the Okutsu polynomials and a Montes approximation, for each irreducible factor of a monic separable polynomial f(x) in O[x].
△ Less
Submitted 17 May, 2010; v1 submitted 2 November, 2009;
originally announced November 2009.
-
Higher Newton polygons and integral bases
Authors:
J. Guardia,
J. Montes,
E. Nart
Abstract:
Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$, Montes algorithm determines the factorization of $f(x)$ over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ d…
▽ More
Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$, Montes algorithm determines the factorization of $f(x)$ over $K_\pp[x]$, and it provides essential arithmetic information about the finite extensions of $K_\pp$ determined by the different irreducible factors. In particular, it can be used to compute $\p$-integral bases of the extension of $K$ determined by $f(x)$ \cite{newapp}. In this paper we present new (and faster) methods to compute $\p$-integral bases, based on the use of the quotients of certain divisions with remainder of $f(x)$ that occur along the flow of Montes algorithm.
△ Less
Submitted 22 July, 2012; v1 submitted 19 February, 2009;
originally announced February 2009.
-
On the Torelli problem and Jacobian Nullwerte in genus three
Authors:
Jordi Guardia
Abstract:
We give a closed formula for recovering a non-hyperelliptic genus three curve from its period matrix, and derive some identities between Jacobian Nullwerte in dimension three.
We give a closed formula for recovering a non-hyperelliptic genus three curve from its period matrix, and derive some identities between Jacobian Nullwerte in dimension three.
△ Less
Submitted 27 January, 2009;
originally announced January 2009.
-
Higher Newton polygons in the computation of discriminants and prime ideal decomposition in number fields
Authors:
Jordi Guardia,
Jesus Montes,
Enric Nart
Abstract:
We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory requirements of the algorithm appear to be very good: for a given prime number p, it computes the p-valuation of the discriminant and the factorization of p in a num…
▽ More
We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory requirements of the algorithm appear to be very good: for a given prime number p, it computes the p-valuation of the discriminant and the factorization of p in a number field of degree 1000 in a few seconds, in a personal computer.
△ Less
Submitted 3 November, 2008; v1 submitted 25 July, 2008;
originally announced July 2008.
-
Newton polygons of higher order in algebraic number theory
Authors:
Jordi Guardia,
Jesus Montes,
Enric Nart
Abstract:
We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible factors. This carries out a program suggested by Ø. Ore. As an application, we obtain fast algorithms to compute discriminants, prime ideal decomposition and…
▽ More
We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible factors. This carries out a program suggested by Ø. Ore. As an application, we obtain fast algorithms to compute discriminants, prime ideal decomposition and integral bases of number fields.
△ Less
Submitted 31 October, 2008; v1 submitted 16 July, 2008;
originally announced July 2008.
-
Genus two curves with quaternionic multiplication and modular jacobian
Authors:
Josep Gonzalez,
Jordi Guardia
Abstract:
We describe a method to determine all the isomorphism classes of principal polarizations of the modular abelian surfaces $A_f$ with quaternionic multiplication attached to a normalized newform $f$ without complex multiplication. We include an example of $A_f$ with quaternionic multiplication for which we find numerically a curve $C$ whose Jacobian is $A_f$ up to numerical approximation, and we p…
▽ More
We describe a method to determine all the isomorphism classes of principal polarizations of the modular abelian surfaces $A_f$ with quaternionic multiplication attached to a normalized newform $f$ without complex multiplication. We include an example of $A_f$ with quaternionic multiplication for which we find numerically a curve $C$ whose Jacobian is $A_f$ up to numerical approximation, and we prove that it has quaternionic multiplication and is isogenous to $A_f$.
△ Less
Submitted 9 May, 2008;
originally announced May 2008.
-
Jacobian Nullwerte, Periods and Symmetric Equations for Hyperelliptic Curves
Authors:
J. Guàrdia
Abstract:
We propose a solution to the hyperelliptic Schottky problem, based on the use of Jacobian Nullwerte and symmetric models for hyperelliptic curves. Both ingredients are interesting on its own, since the first provide period matrices which can be geometrically described, and the second have remarkable arithmetic properties.
We propose a solution to the hyperelliptic Schottky problem, based on the use of Jacobian Nullwerte and symmetric models for hyperelliptic curves. Both ingredients are interesting on its own, since the first provide period matrices which can be geometrically described, and the second have remarkable arithmetic properties.
△ Less
Submitted 10 October, 2006;
originally announced October 2006.
-
Abelian surfaces of GL2-type as Jacobians of curves
Authors:
Josep Gonzalez,
Jordi Guardia,
Victor Rotger
Abstract:
We study the set of isomorphism classes of principal polarizations on abelian varieties of GL2-type. As applications of our results, we construct examples of curves C, C'/\Q of genus two which are nonisomorphic over \bar \Q and share isomorphic unpolarized modular Jacobian varieties over \Q ; we also show a method to obtain genus two curves over \Q whose Jacobian varieties are isomorphic to Weil…
▽ More
We study the set of isomorphism classes of principal polarizations on abelian varieties of GL2-type. As applications of our results, we construct examples of curves C, C'/\Q of genus two which are nonisomorphic over \bar \Q and share isomorphic unpolarized modular Jacobian varieties over \Q ; we also show a method to obtain genus two curves over \Q whose Jacobian varieties are isomorphic to Weil's restriction of quadratic \Q-curves, and present examples.
△ Less
Submitted 20 September, 2004;
originally announced September 2004.