Real Univariate Quintics

Elias Gonzalez,David A. Weinberg

DOI: https://doi.org/10.48550/arXiv.1901.03679

2019-01-11

Commutative Algebra

Abstract:For the general monic quintic with real coefficients, polynomial conditions on the coefficients are derived as directly and as simply as possible from the Sturm sequence that will determine the real and complex root multiplicities together with the order of the real roots with respect to multiplicity.

What problem does this paper attempt to address?

Monogenity in totally real extensions of imaginary quadratic fields with an application to simplest quartic fields

István Gaál

DOI: https://doi.org/10.1007/s44146-023-00081-y

2023-04-29

Acta Scientiarum Mathematicarum

Abstract:We describe an efficient algorithm to calculate generators of power integral bases in composites of totally real fields and imaginary quadratic fields with coprime discriminants. We show that the calculation can be reduced to solving index form equations in the original totally real fields. We illustrate our method by investigating monogenity in the infinite parametric family of imaginary quadratic extensions of the simplest quartic fields.
A family of cyclic quartic monogenic polynomials

P. Voutier

2024-09-19

Abstract:We produce an explicit family of totally real cyclic quartic polynomials that are monogenic in many cases, and conjecturally are monogenic and generating distinct quartic fields infinitely often.

Number Theory
Permutation-Equivariant Quantum K-Theory of the Quintic Singularity

Maxime Cazaux

2024-10-23

Abstract:We compute the genus-0 permutation-equivariant quantum K-theory of the singularity of the quintic polynomial, parallel to Givental--Lee's quantum K-theory of the quintic threefold. We obtain a generating function which recovers the entire 25-dimensional space of solutions to the $q$-difference equation satisfied by the permutation-equivariant K-theoretic $I$-function of the quintic.

Algebraic Geometry
On indices and monogenity of quartic number fields defined by quadrinomials

Hamid Ben Yakkou

2024-09-04

Abstract:Consider a quartic number field $K$ generated by a root of an irreducible quadrinomial of the form $ F(x)= x^4+ax^3+bx+c \in \Z[x]$. Let $i(K)$ denote the index of $K$. Engstrom \cite{Engstrom} established that $i(K)=2^u \cdot 3^v$ with $u \le 2$ and $v \le 1$. In this paper, we provide sufficient conditions on $a$, $b$ and $c$ for $i(K)$ to be divisible by $2$ or $3$, determining the exact corresponding values of $u$ and $v$ in each case. In particular, when $i(K) \neq 1$, $K$ cannot be monogenic. We also identify new infinite parametric families of monogenic quartic number fields generated by roots of non-monogenic quadrinomials. We illustrate our results by some computational examples. Our method is based on a theorem of Ore on the decomposition of primes in number fields \cite{Nar,O}.

Number Theory
Monogenic Quartic Polynomials and Their Galois Groups

Joshua Harrington,Lenny Jones

2024-04-16

Abstract:A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this article, we use the classification of the Galois groups of quartic polynomials, due to Kappe and Warren, to investigate the existence of infinite collections of monogenic quartic polynomials having a prescribed Galois group, such that each member of the collection generates a distinct quartic field. With the exception of the cyclic case, we provide such an infinite single-parameter collection for each possible Galois group. We believe these examples are new, and we provide evidence to support this belief by showing that they are distinct from other infinite collections in the current literature. Finally, we devote a separate section to a discussion concerning, what we believe to be, the still-unresolved cyclic case.

Number Theory
Iterates of Quadratics and Monogenicity

Hanson Smith,Zack Wolske

2024-06-06

Abstract:We investigate monogenicity and prime splitting in extensions generated by roots of iterated quadratic polynomials. Let $f(x)\in\mathbb{Z}[x]$ be an irreducible, monic, quadratic polynomial, and write $f^n(x)$ for the $n^{\text{th}}$ iterate. We obtain necessary and sufficient conditions for $f^n(x)$ to be monogenic for each $n$. We use this to construct multiple families where $f^n(x)$ is monogenic for every $n>0$.

Number Theory
The monogenicity and Galois groups of certain reciprocal quintinomials

Lenny Jones

2024-11-01

Abstract:We say that a monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for ${\mathbb Z}_K$, the ring of integers of $K={\mathbb Q}(\theta)$, where $f(\theta)=0$. For $n\ge 2$, we define the reciprocal quintinomial \[{\mathcal F}_{n,A,B}(x):=x^{2^n}+Ax^{3\cdot 2^{n-2}}+Bx^{2^{n-1}}+Ax^{2^{n-2}}+1\in {\mathbb Z}[x].\] In this article, we extend our previous work on the monogenicity of ${\mathcal F}_{n,A,B}(x)$ to treat the specific previously-unaddressed situation of $A\equiv B\equiv 1\pmod{4}$. Moreover, we determine the Galois group over ${\mathbb Q}$ of ${\mathcal F}_{n,A,B}(x)$ in special cases.

Number Theory
q-Rational and q-real binomial coefficients

John Machacek,Nicholas Ovenhouse

DOI: https://doi.org/10.1016/j.aam.2023.102618

IF: 1.271

2024-02-01

Advances in Applied Mathematics

Abstract:We consider q-binomial coefficients built from the q-rational and q-real numbers defined by Morier-Genoud and Ovsienko in terms of continued fractions. We establish versions of both the q-Pascal identity and the q-binomial theorem in this setting. These results are then used to find more identities satisfied by the q-analogues of Morier-Genoud and Ovsienko, including a Chu–Vandermonde identity and q-Gamma function identities.

mathematics, applied
Quantifier elimination for quartics

Lu Yang,Bican Xia

DOI: https://doi.org/10.1007/11856290_13

2006-01-01

Abstract:Concerning quartics, two particular quantifier elimination (QE) problems of historical interests and practical values are studied. We solve the problems by the theory of complete discrimination systems and negative root discriminant sequences for polynomials that provide a method for real (positive/negative) and complex root classification for polynomials. The equivalent quantifier-free formulas are obtained mainly be hand and are simpler than those obtained automatically by previous methods or QE tools. Also, applications of the results to program verification and determination of positivity of symmetric polynomials are showed.
Solving the Quintic by Iteration in Three Dimensions

Scott Crass

DOI: https://doi.org/10.1080/10586458.2001.10504425

2001-01-01

Experimental Mathematics

Abstract:The requirement for solving a polynomial is a means of breaking its symmetry, which in the case of the quintic, is that of the symmetric group S5 Induced by its five-dimensional linear permutation representation is a three-dimensional projective action. A mapping of complex projective 3-space with this S5 symmetry can provide the requisite symmetry-breaking tool. The article describes some of the S5 geometry in CP3 as well as several maps with particu larly elegant geometric and dynamical properties. Using a rational map in degree six, it culminates with an explicit algorithm for solving a general quintic. In contrast to the Doyle-McMullen procedure, which involves three 1-dimensional iterations, the present solution employs one 3-dimensional iteration.

mathematics
Idempotents and Quasi-Monic Polynomials

XS Zhu

DOI: https://doi.org/10.1081/agb-120023136

2003-01-01

Communications in Algebra

Abstract:In this paper, the definitions of quasi-orthogonal idempotent sequences and Iq-dimensions of a ring R are given. The relations between Iq-dimensions and block decomposition numbers of a ring are discussed. As a generalization of monic polynomials, the concept of quasi-monic polynomials over a ring is introduced. It is shown that, for a quasi-monic polynomial over a ring, the division algorithm holds. Suslin Lemma and Horrocks' Theorem are extended to the setting of quasi-monic polynomials. For a commutative ring R, if f(x) is a quasi-monic polynomial in R[x], then GD(R) = GD(R[x]/f(x)) is proved, where GD(R) denotes the global dimension of R.
A general formula to solve quintic equation

Rodrigo José Martinelli Biglia Andrade

DOI: https://doi.org/10.48550/arXiv.2110.08730

2021-10-17

Abstract:After Abel Ruffini theorem and Galois Theory the search for a method or formula to solve quintic equation ends. This paper discuss about the radical solution of quintic equation using a method that could be proved in some simple steps. A quintic equation as an example was given for understand better this method.

General Mathematics
Monogenic Even Quartic Trinomials

LENNY JONES

DOI: https://doi.org/10.1017/s0004972724000510

2024-09-15

Bulletin of the Australian Mathematical Society

Abstract:A monic polynomial of degree N is called monogenic if is irreducible over and is a basis for the ring of integers of , where . We prove that there exist exactly three distinct monogenic trinomials of the form whose Galois group is the cyclic group of order 4. We also show that the situation is quite different when the Galois group is not cyclic.

mathematics
A Method for Locating the Real Roots of the Symbolic Quintic Equation Using Quadratic Equations

Emil M. Prodanov

DOI: https://doi.org/10.1002/adts.202200011

2022-05-21

Advanced Theory and Simulations

Abstract:The isolation intervals of the roots of the parametric quintic polynomial x5+a4x4+a3x3+a2x2+a1x+a0 are determined geometrically by the roots of two auxiliary quadratic polynomials: x2+a4x+a3 and a2x2+a1x+a0 . This graph is an example for the case with a4>0 , a3<0 , a2>0 , a1<0 . A method is proposed with which the locations of the roots of the monic symbolic quintic polynomial x5+a4x4+a3x3+a2x2+a1x+a0 can be determined using the roots of two resolvent quadratic polynomials: q1(x)=x2+a4x+a3 and q2(x)=a2x2+a1x+a0 , whose coefficients are exactly those of the quintic polynomial. The different cases depend on the coefficients of q1(x) and q2(x) and on some specific relationships between them. The method is illustrated with the full analysis of one of the possible cases. Some of the roots of the symbolic quintic equation for this case have their isolation intervals determined and, as this cannot be done for all roots with the help of quadratic equations only, finite intervals containing 1 or 3 roots, or 0 or 2 roots, or, rarely, 0, or 2, or 4 roots of the quintic are identified. Knowledge of the stationary points of the quintic lifts this indeterminacy and allows finding the isolation interval of each root. Separately, using the complete root classification of the quintic, one can also lift this indeterminacy. The method also allows to see how variation of the individual coefficients of the quintic affect its roots. No root finding iterations or any numerical approximations are used and no equations of degree higher than two are solved.
Real Rank Geometry of Ternary Forms

Mateusz Michałek,Hyunsuk Moon,Bernd Sturmfels,Emanuele Ventura

DOI: https://doi.org/10.48550/arXiv.1601.06574

2016-08-06

Abstract:We study real ternary forms whose real rank equals the generic complex rank, and we characterize the semialgebraic set of sums of powers representations with that rank. Complete results are obtained for quadrics and cubics. For quintics we determine the real rank boundary: it is a hypersurface of degree 168. For quartics, sextics and septics we identify some of the components of the real rank boundary. The real varieties of sums of powers are stratified by discriminants that are derived from hyperdeterminants.

Algebraic Geometry,Commutative Algebra
On indices of quintic number fields defined by x 5 + ax + b

Lhoussain El Fadil

DOI: https://doi.org/10.1515/ms-2024-0102

2024-12-08

Mathematica Slovaca

Abstract:The goal of this paper is to calculate explicitly the field index of any quintic number field K generated by a complex root α of a monic irreducible trinomial F ( x ) = x 5 + ax + b ∈ Z[ x ]. In such a way we provide a complete answer to the Problem 22 of Narkiewicz [36] for this class of number fields. Namely, for every prime integer p , we evaluate the highest power of p dividing i ( K ). In particular, we give sufficient conditions on a and b , which guarantee the non-monogenity of K .

mathematics
On common index divisors and monogenity of certain number fields defined by $x^5+ax+b$

Lhoussain El Fadil

2023-06-19

Abstract:The goal of this paper is to calculate explicitly the field index of any quintic number field $K$ generated by a complex root $\al$ of a monic irreducible trinomial $F(x) = x^5+ax+b \in \Z[x]$. In such a way we provide a complete answer to the Problem 22 of Narkiewicz \cite{WN}. Namely for every prime integer $p$, we evaluate the highest power of $p$ dividing $i(K)$. In particular, we give sufficient conditions on $a$ and $b$, which guarantee the non monogenity of $K$.

Number Theory
Quadratic unilateral polynomials over split quaternions

Wensheng Cao

2024-03-28

Abstract:In this paper, we derive explicit formulas for computing the roots of $ax^{2}+bx+c=0$ with $a$ being not invertible in split quaternion algebra. We also imitate the approach developed by Opfer, Janovska and Falcao etc. to verify our results when the corresponding companion polynomials are not identically vanishing.

Algebraic Geometry
Decompositions of Powers of Quadrics

Cosimo Flavi

2024-11-05

Abstract:We analyze the problem of determining Waring decompositions of the powers of any quadratic form over the field of complex numbers. Our main goal is to provide information about their rank and also to obtain decompositions whose size is as close as possible to this value. This problem is classical and these forms assume importance especially because of their invariance under the action of the special orthogonal group. We give the detailed procedure to prove that the apolar ideal of the $s$-th power of a quadratic form is generated by the harmonic polynomials of degree $s+1$. We also generalize and improve some of the results on real decompositions given by B. Reznick in his notes of 1992, focusing on possibly minimal decompositions and providing new ones, both real and complex. We investigate the rank of the second power of a non-degenerate quadratic form in $n$ variables, which in most cases is equal to $(n^2+n+2)/2$, and also give some results on powers of ternary quadratic forms.

Algebraic Geometry

Real Univariate Quintics

Monogenity in totally real extensions of imaginary quadratic fields with an application to simplest quartic fields

A family of cyclic quartic monogenic polynomials

Permutation-Equivariant Quantum K-Theory of the Quintic Singularity

On indices and monogenity of quartic number fields defined by quadrinomials

Monogenic Quartic Polynomials and Their Galois Groups

Iterates of Quadratics and Monogenicity

The monogenicity and Galois groups of certain reciprocal quintinomials

q-Rational and q-real binomial coefficients

Quantifier elimination for quartics

Solving the Quintic by Iteration in Three Dimensions

Idempotents and Quasi-Monic Polynomials

A general formula to solve quintic equation

Monogenic Even Quartic Trinomials

A Method for Locating the Real Roots of the Symbolic Quintic Equation Using Quadratic Equations

Real Rank Geometry of Ternary Forms

On indices of quintic number fields defined by x 5 + ax + b

On common index divisors and monogenity of certain number fields defined by $x^5+ax+b$

Quadratic unilateral polynomials over split quaternions

Decompositions of Powers of Quadrics