Thomae's Formula
   HOME





Thomae's Formula
In mathematics, Thomae's formula is a formula introduced by relating theta constants to the branch points of a hyperelliptic curve . History In 1824, the Abel–Ruffini theorem established that polynomial equations of a degree of five or higher could have no solutions in radicals. It became clear to mathematicians since then that one needed to go beyond radicals in order to express the solutions to equations of the fifth and higher degrees. In 1858, Charles Hermite, Leopold Kronecker, and Francesco Brioschi independently discovered that the quintic equation could be solved with elliptic transcendents. This proved to be a generalization of the radical, which can be written as: \sqrt \exp \left(\right) = \exp \left(\frac\int^x_1\frac\right). With the restriction to only this exponential, as shown by Galois theory, only compositions of Abelian extensions may be constructed, which suffices only for equations of the fourth degree and below. Something more general is required for eq ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Comptes Rendus De L'Académie Des Sciences
(, ''Proceedings of the Academy of Sciences''), or simply ''Comptes rendus'', is a French scientific journal published since 1835. It is the proceedings of the French Academy of Sciences. It is currently split into seven sections, published on behalf of the Academy until 2020 by Elsevier: ''Mathématique, Mécanique, Physique, Géoscience, Palévol, Chimie, ''and'' Biologies.'' As of 2020, the ''Comptes Rendus'' journals are published by the Academy with a diamond open access model. Naming history The journal has had several name changes and splits over the years. 1835–1965 ''Comptes rendus'' was initially established in 1835 as ''Comptes rendus hebdomadaires des séances de l'Académie des Sciences''. It began as an alternative publication pathway for more prompt publication than the ''Mémoires de l'Académie des Sciences,'' which had been published since 1666. The ''Mémoires,'' which continued to be published alongside the ''Comptes rendus'' throughout the ninetee ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Polynomials
In mathematics, a polynomial is a mathematical expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication and exponentiation to nonnegative integer powers, and has a finite number of terms. An example of a polynomial of a single indeterminate is . An example with three indeterminates is . Polynomials appear in many areas of mathematics and science. For example, they are used to form polynomial equations, which encode a wide range of problems, from elementary word problems to complicated scientific problems; they are used to define polynomial functions, which appear in settings ranging from basic chemistry and physics to economics and social science; and they are used in calculus and numerical analysis to approximate other functions. In advanced mathematics, polynomials are used to construct polynomial rings and algebraic varieties, which are central concepts in algebra and a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Theorems In Number Theory
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In mainstream mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice (ZFC), or of a less powerful theory, such as Peano arithmetic. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ''corollary'' for less important theorems. In mathematical logic, the concepts of theorems and proofs have been formalized in order to allow mathematical reasoni ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Riemann Surfaces
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together. Examples of Riemann surfaces include graphs of multivalued functions such as √''z'' or log(''z''), e.g. the subset of pairs with . Every Riemann surface is a surface: a two-dimensional real manifold, but it contains more structure (specifically a complex structure). Conversely, a two-dimensional real manifold can be turned into a Riemann surface (usually in several inequivalent ways) if and only if it is orientable and metrizable. Given this, the sphere and torus admit complex structures but the Möbius ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Bring–Jerrard Form
In algebra, the Bring radical or ultraradical of a real number ''a'' is the unique real root of the polynomial x^5 + x + a. The Bring radical of a complex number ''a'' is either any of the five roots of the above polynomial (it is thus multi-valued), or a specific root, which is usually chosen such that the Bring radical is real-valued for real ''a'' and is an analytic function in a neighborhood of the real line. Because of the existence of four branch points, the Bring radical cannot be defined as a function that is continuous over the whole complex plane, and its domain of continuity must exclude four branch cuts. George Jerrard showed that some quintic equations can be solved in closed form using radicals and Bring radicals, which had been introduced by Erland Bring. In this article, the Bring radical of ''a'' is denoted \operatorname(a). For real argument, it is odd, monotonically decreasing, and unbounded, with asymptotic behavior \operatorname(a) \sim -a^ for larg ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Tschirnhaus Transformation
In mathematics, a Tschirnhaus transformation, also known as Tschirnhausen transformation, is a type of mapping on polynomials developed by Ehrenfried Walther von Tschirnhaus in 1683. Simply, it is a method for transforming a polynomial equation of degree n\ge2 with some nonzero intermediate coefficients, a_1, ..., a_, such that some or all of the transformed intermediate coefficients, a'_1, ..., a'_, are exactly zero. For example, finding a substitutiony(x)=k_1x^2 + k_2x+k_3for a cubic equation of degree n=3,f(x) = x^3+a_2x^2+a_1x+a_0such that substituting x=x(y) yields a new equationf'(y)=y^3+a'_2y^2+a'_1y+a'_0such that a'_1=0, a'_2=0, or both. More generally, it may be defined conveniently by means of field theory, as the transformation on minimal polynomials implied by a different choice of primitive element. This is the most general transformation of an irreducible polynomial that takes a root to some rational function applied to that root. Definition For a generic n^ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Period Matrix
In mathematics, in the field of algebraic geometry, the period mapping relates families of Kähler manifolds to families of Hodge structures. Ehresmann's theorem Let be a holomorphic submersive morphism. For a point ''b'' of ''B'', we denote the fiber of ''f'' over ''b'' by ''X''''b''. Fix a point 0 in ''B''. Ehresmann's theorem guarantees that there is a small open neighborhood ''U'' around 0 in which ''f'' becomes a fiber bundle. That is, is diffeomorphic to . In particular, the composite map :X_b \hookrightarrow f^(U) \cong X_0 \times U \twoheadrightarrow X_0 is a diffeomorphism. This diffeomorphism is not unique because it depends on the choice of trivialization. The trivialization is constructed from smooth paths in ''U'', and it can be shown that the homotopy class of the diffeomorphism depends only on the choice of a homotopy class of paths from ''b'' to 0. In particular, if ''U'' is contractible, there is a well-defined diffeomorphism up to homotopy. The dif ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Irreducible Polynomial
In mathematics, an irreducible polynomial is, roughly speaking, a polynomial that cannot be factored into the product of two non-constant polynomials. The property of irreducibility depends on the nature of the coefficients that are accepted for the possible factors, that is, the ring to which the coefficients of the polynomial and its possible factors are supposed to belong. For example, the polynomial is a polynomial with integer coefficients, but, as every integer is also a real number, it is also a polynomial with real coefficients. It is irreducible if it is considered as a polynomial with integer coefficients, but it factors as \left(x - \sqrt\right)\left(x + \sqrt\right) if it is considered as a polynomial with real coefficients. One says that the polynomial is irreducible over the integers but not over the reals. Polynomial irreducibility can be considered for polynomials with coefficients in an integral domain, and there are two common definitions. Most often, a pol ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Polynomial Function
In mathematics, a polynomial is a mathematical expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication and exponentiation to nonnegative integer powers, and has a finite number of terms. An example of a polynomial of a single indeterminate is . An example with three indeterminates is . Polynomials appear in many areas of mathematics and science. For example, they are used to form polynomial equations, which encode a wide range of problems, from elementary word problems to complicated scientific problems; they are used to define polynomial functions, which appear in settings ranging from basic chemistry and physics to economics and social science; and they are used in calculus and numerical analysis to approximate other functions. In advanced mathematics, polynomials are used to construct polynomial rings and algebraic varieties, which are central concepts in algebra and a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Theta Function
In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. Theta functions are parametrized by points in a tube domain inside a complex Lagrangian Grassmannian, namely the Siegel upper half space. The most common form of theta function is that occurring in the theory of elliptic functions. With respect to one of the complex variables (conventionally called ), a theta function has a property expressing its behavior with respect to the addition of a period of the associated elliptic functions, making it a quasiperiodic function. In the abstract theory this quasiperiodicity comes from the cohomology class of a line bundle on a complex torus, a condition of descent. One interpretation of theta functions when dealing with the heat equation is that "a theta function is a special function that describes the evolution of temperature on a segment do ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hyperelliptic Integral
In mathematics, ''differential of the first kind'' is a traditional term used in the theories of Riemann surfaces (more generally, complex manifolds) and algebraic curves (more generally, algebraic varieties), for everywhere-regular differential 1-forms. Given a complex manifold ''M'', a differential of the first kind ω is therefore the same thing as a 1-form that is everywhere holomorphic; on an algebraic variety ''V'' that is non-singular it would be a global section of the coherent sheaf Ω1 of Kähler differentials. In either case the definition has its origins in the theory of abelian integrals. The dimension of the space of differentials of the first kind, by means of this identification, is the Hodge number :''h''1,0. The differentials of the first kind, when integrated along paths, give rise to integrals that generalise the elliptic integrals to all curves over the complex numbers. They include for example the hyperelliptic integrals of type : \int\frac where ''Q ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]