Quaternary cubic

Last updated

In mathematics, a quaternary cubic form is a degree 3 homogeneous polynomial in four variables. The zeros form a cubic surface in 3-dimensional projective space.

Contents

Invariants

Salmon (1860) and Clebsch ( 1861 , 1861b ) studied the ring of invariants of a quaternary cubic, which is a ring generated by invariants of degrees 8, 16, 24, 32, 40, 100. The generators of degrees 8, 16, 24, 32, 40 generate a polynomial ring. The generator of degree 100 is a skew invariant, whose square is a polynomial in the other generators given explicitly by Salmon. Salmon also gave an explicit formula for the discriminant as a polynomial in the generators, though Edge (1980) pointed out that the formula has a widely copied misprint in it.

Sylvester pentahedron

A generic quaternary cubic can be written as a sum of 5 cubes of linear forms, unique up to multiplication by cube roots of unity. This was conjectured by Sylvester in 1851, and proven 10 years later by Clebsch. The union of the 5 planes where these 5 linear forms vanish is called the Sylvester pentahedron.

See also

Related Research Articles

In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the original polynomial. The discriminant is widely used in polynomial factoring, number theory, and algebraic geometry.

<span class="mw-page-title-main">James Joseph Sylvester</span> English mathematician (1814–1897)

James Joseph Sylvester was an English mathematician. He made fundamental contributions to matrix theory, invariant theory, number theory, partition theory, and combinatorics. He played a leadership role in American mathematics in the later half of the 19th century as a professor at the Johns Hopkins University and as founder of the American Journal of Mathematics. At his death, he was a professor at Oxford University.

In mathematics, the symbolic method in invariant theory is an algorithm developed by Arthur Cayley, Siegfried Heinrich Aronhold, Alfred Clebsch, and Paul Gordan in the 19th century for computing invariants of algebraic forms. It is based on treating the form as if it were a power of a degree one form, which corresponds to embedding a symmetric power of a vector space into the symmetric elements of a tensor product of copies of it.

<span class="mw-page-title-main">Elwin Bruno Christoffel</span> German mathematician and physicist

Elwin Bruno Christoffel was a German mathematician and physicist. He introduced fundamental concepts of differential geometry, opening the way for the development of tensor calculus, which would later provide the mathematical basis for general relativity.

In mathematics, the Jacobian conjecture is a famous unsolved problem concerning polynomials in several variables. It states that if a polynomial function from an n-dimensional space to itself has Jacobian determinant which is a non-zero constant, then the function has a polynomial inverse. It was first conjectured in 1939 by Ott-Heinrich Keller, and widely publicized by Shreeram Abhyankar, as an example of a difficult question in algebraic geometry that can be understood using little beyond a knowledge of calculus.

<span class="mw-page-title-main">Manjul Bhargava</span> Canadian-American mathematician

Manjul Bhargava is a Canadian-American mathematician. He is the Brandon Fradd, Class of 1983, Professor of Mathematics at Princeton University, the Stieltjes Professor of Number Theory at Leiden University, and also holds Adjunct Professorships at the Tata Institute of Fundamental Research, the Indian Institute of Technology Bombay, and the University of Hyderabad. He is known primarily for his contributions to number theory.

In mathematics, Kummer sum is the name given to certain cubic Gauss sums for a prime modulus p, with p congruent to 1 modulo 3. They are named after Ernst Kummer, who made a conjecture about the statistical properties of their arguments, as complex numbers. These sums were known and used before Kummer, in the theory of cyclotomy.

<span class="mw-page-title-main">Abstract algebra</span> Branch of mathematics

In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in pedagogy.

In mathematics, the conductor-discriminant formula or Führerdiskriminantenproduktformel, introduced by Hasse for abelian extensions and by Artin (1931) for Galois extensions, is a formula calculating the relative discriminant of a finite Galois extension of local or global fields from the Artin conductors of the irreducible characters of the Galois group .

<span class="mw-page-title-main">Clebsch graph</span> One of two different regular graphs with 16 vertices

In the mathematical field of graph theory, the Clebsch graph is either of two complementary graphs on 16 vertices, a 5-regular graph with 40 edges and a 10-regular graph with 80 edges. The 80-edge graph is the dimension-5 halved cube graph; it was called the Clebsch graph name by Seidel (1968) because of its relation to the configuration of 16 lines on the quartic surface discovered in 1868 by the German mathematician Alfred Clebsch. The 40-edge variant is the dimension-5 folded cube graph; it is also known as the Greenwood–Gleason graph after the work of Robert E. Greenwood and Andrew M. Gleason (1955), who used it to evaluate the Ramsey number R(3,3,3) = 17.

In mathematical invariant theory, an invariant of a binary form is a polynomial in the coefficients of a binary form in two variables x and y that remains invariant under the special linear group acting on the variables x and y.

In mathematical invariant theory, the catalecticant of a form of even degree is a polynomial in its coefficients that vanishes when the form is a sum of an unusually small number of powers of linear forms. It was introduced by Sylvester (1852); see Miller (2010). The word catalectic refers to an incomplete line of verse, lacking a syllable at the end or ending with an incomplete foot.

In mathematics, Kummer's congruences are some congruences involving Bernoulli numbers, found by Ernst Eduard Kummer (1851).

In mathematics, the Faber polynomialsPm of a Laurent series

In mathematics, Scholz's reciprocity law is a reciprocity law for quadratic residue symbols of real quadratic number fields discovered by Theodor Schönemann (1839) and rediscovered by Arnold Scholz (1929).

In mathematics, an Eichler order, named after Martin Eichler, is an order of a quaternion algebra that is the intersection of two maximal orders.

The terminology of algebraic geometry changed drastically during the twentieth century, with the introduction of the general methods, initiated by David Hilbert and the Italian school of algebraic geometry in the beginning of the century, and later formalized by André Weil, Jean-Pierre Serre and Alexander Grothendieck. Much of the classical terminology, mainly based on case study, was simply abandoned, with the result that books and papers written before this time can be hard to read. This article lists some of this classical terminology, and describes some of the changes in conventions.

This page is a glossary of terms in invariant theory. For descriptions of particular invariant rings, see invariants of a binary form, symmetric polynomials. For geometric terms used in invariant theory see the glossary of classical algebraic geometry. Definitions of many terms used in invariant theory can be found in, ,, ,, ,, , and the index to the fourth volume of Sylvester's collected works includes many of the terms invented by him.

In mathematics, a ternary cubic form is a homogeneous degree 3 polynomial in three variables.

In mathematics, a ternary quartic form is a degree 4 homogeneous polynomial in three variables.

References