Rational Varieties
In mathematics, a rational variety is an algebraic variety, over a given field ''K'', which is birationally equivalent to a projective space of some dimension over ''K''. This means that its function field is isomorphic to :K(U_1, \dots , U_d), the field of all rational functions for some set \ of indeterminates, where ''d'' is the dimension of the variety. Rationality and parameterization Let ''V'' be an affine algebraic variety of dimension ''d'' defined by a prime ideal ''I'' = ⟨''f''1, ..., ''f''''k''⟩ in K _1, \dots , X_n/math>. If ''V'' is rational, then there are ''n'' + 1 polynomials ''g''0, ..., ''g''''n'' in K(U_1, \dots , U_d) such that f_i(g_1/g_0, \ldots, g_n/g_0)=0. In order words, we have a x_i=\frac(u_1,\ldots,u_d) of the variety. Conversely, such a rational parameterization induces a field homomorphism of the field of functions of ''V'' into K(U_1, \dots , U_d). But this homomorphism is not necessarily onto. If such a parameterizati ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Rational Function Field
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rational numbers; they may be taken in any field ''K''. In this case, one speaks of a rational function and a rational fraction ''over K''. The values of the variables may be taken in any field ''L'' containing ''K''. Then the domain of the function is the set of the values of the variables for which the denominator is not zero, and the codomain is ''L''. The set of rational functions over a field ''K'' is a field, the field of fractions of the ring of the polynomial functions over ''K''. Definitions A function f(x) is called a rational function if and only if it can be written in the form : f(x) = \frac where P\, and Q\, are polynomial functions of x\, and Q\, is not the zero function. The domain of f\, is the set of all values of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Plurigenus
In mathematics, the pluricanonical ring of an algebraic variety ''V'' (which is non-singular), or of a complex manifold, is the graded ring :R(V,K)=R(V,K_V) \, of sections of powers of the canonical bundle ''K''. Its ''n''th graded component (for n\geq 0) is: :R_n := H^0(V, K^n),\ that is, the space of sections of the ''n''-th tensor product ''K''''n'' of the canonical bundle ''K''. The 0th graded component R_0 is sections of the trivial bundle, and is one-dimensional as ''V'' is projective. The projective variety defined by this graded ring is called the canonical model of ''V'', and the dimension of the canonical model is called the Kodaira dimension of ''V''. One can define an analogous ring for any line bundle ''L'' over ''V''; the analogous dimension is called the Iitaka dimension. A line bundle is called big if the Iitaka dimension equals the dimension of the variety. Properties Birational invariance The canonical ring and therefore likewise the Kodaira dimension is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arithmetic Genus
In mathematics, the arithmetic genus of an algebraic variety is one of a few possible generalizations of the genus of an algebraic curve or Riemann surface. Projective varieties Let ''X'' be a projective scheme of dimension ''r'' over a field ''k'', the ''arithmetic genus'' p_a of ''X'' is defined asp_a(X)=(-1)^r (\chi(\mathcal_X)-1).Here \chi(\mathcal_X) is the Euler characteristic of the structure sheaf \mathcal_X. Complex projective manifolds The arithmetic genus of a complex projective manifold of dimension ''n'' can be defined as a combination of Hodge numbers, namely :p_a=\sum_^ (-1)^j h^. When ''n=1'', the formula becomes p_a=h^. According to the Hodge theorem, h^=h^. Consequently h^=h^1(X)/2=g, where ''g'' is the usual (topological) meaning of genus of a surface, so the definitions are compatible. When ''X'' is a compact Kähler manifold, applying ''h''''p'',''q'' = ''h''''q'',''p'' recovers the earlier definition for projective varieties. Kähler manifolds By u ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemann–Hurwitz Formula
In mathematics, the Riemann–Hurwitz formula, named after Bernhard Riemann and Adolf Hurwitz, describes the relationship of the Euler characteristics of two surfaces when one is a ''ramified covering'' of the other. It therefore connects ramification with algebraic topology, in this case. It is a prototype result for many others, and is often applied in the theory of Riemann surfaces (which is its origin) and algebraic curves. Statement For a compact, connected, orientable surface S, the Euler characteristic \chi(S) is :\chi(S)=2-2g, where ''g'' is the genus (the ''number of handles''), since the Betti numbers are 1, 2g, 1, 0, 0, \dots. In the case of an (''unramified'') covering map of surfaces :\pi\colon S' \to S that is surjective and of degree N, we have the formula :\chi(S') = N\cdot\chi(S). That is because each simplex of S should be covered by exactly N in S', at least if we use a fine enough triangulation of S, as we are entitled to do since the Euler characteristic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Genus Of A Curve
In mathematics, genus (plural genera) has a few different, but closely related, meanings. Intuitively, the genus is the number of "holes" of a surface. A sphere has genus 0, while a torus has genus 1. Topology Orientable surfaces The genus of a connected, orientable surface is an integer representing the maximum number of cuttings along non-intersecting closed simple curves without rendering the resultant manifold disconnected. It is equal to the number of handles on it. Alternatively, it can be defined in terms of the Euler characteristic ''χ'', via the relationship ''χ'' = 2 − 2''g'' for closed surfaces, where ''g'' is the genus. For surfaces with ''b'' boundary components, the equation reads ''χ'' = 2 − 2''g'' − ''b''. In layman's terms, it's the number of "holes" an object has ("holes" interpreted in the sense of doughnut holes; a hollow sphere would be considered as having zero holes in this sense). A torus has 1 suc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Projective Line
In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a ''point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see real projective line for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of ''homogeneous coordinates'', which take the form of a pair : _1 : x_2/mat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Rational Map
In mathematics, in particular the subfield of algebraic geometry, a rational map or rational mapping is a kind of partial function between algebraic varieties. This article uses the convention that varieties are irreducible. Definition Formal definition Formally, a rational map f \colon V \to W between two varieties is an equivalence class of pairs (f_U, U) in which f_U is a morphism of varieties from a non-empty open set U\subset V to W, and two such pairs (f_U, U) and (_, U') are considered equivalent if f_U and _ coincide on the intersection U \cap U' (this is, in particular, vacuously true if the intersection is empty, but since V is assumed irreducible, this is impossible). The proof that this defines an equivalence relation relies on the following lemma: * If two morphisms of varieties are equal on some non-empty open set, then they are equal. f is said to be birational if there exists a rational map g \colon W \to V which is its inverse, where the composition is taken i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jacob Lüroth
Jacob Lüroth (18 February 1844, Mannheim, Germany – 14 September 1910, Munich, Germany) was a German mathematician who proved Lüroth's theorem and introduced Lüroth quartics. His name is sometimes written Lueroth, following the common printing convention for umlauted characters. He began his studies in astronomy at the University of Bonn, but switched to mathematics when his poor eyesight made taking astronomical observations impossible. He received his doctorate in 1865 from Heidelberg University, for a thesis on Pascal's theorem. From 1868 he was at the Karlsruhe Institute of Technology, where he became a professor in 1869, and from 1880 he was a professor at the Technical University of Munich, succeeding Felix Klein. In 1883, he became a professor at the University of Freiburg, where he remained until his retirement. Following up on Carl Friedrich Gauss' work on statistics, Lüroth discovered the ''t''-distribution usually credited to William Sealy Gosset. In modern ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Field Extension
In mathematics, particularly in algebra, a field extension is a pair of fields E\subseteq F, such that the operations of ''E'' are those of ''F'' restricted to ''E''. In this case, ''F'' is an extension field of ''E'' and ''E'' is a subfield of ''F''. For example, under the usual notions of addition and multiplication, the complex numbers are an extension field of the real numbers; the real numbers are a subfield of the complex numbers. Field extensions are fundamental in algebraic number theory, and in the study of polynomial roots through Galois theory, and are widely used in algebraic geometry. Subfield A subfield K of a field L is a subset K\subseteq L that is a field with respect to the field operations inherited from L. Equivalently, a subfield is a subset that contains 1, and is closed under the operations of addition, subtraction, multiplication, and taking the inverse of a nonzero element of K. As , the latter definition implies K and L have the same zero eleme ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fixed Point (mathematics)
A fixed point (sometimes shortened to fixpoint, also known as an invariant point) is a value that does not change under a given transformation. Specifically, in mathematics, a fixed point of a function is an element that is mapped to itself by the function. In physics, the term fixed point can refer to a temperature that can be used as a reproducible reference point, usually defined by a phase change or triple point. Fixed point of a function Formally, is a fixed point of a function if belongs to both the domain and the codomain of , and . For example, if is defined on the real numbers by f(x) = x^2 - 3 x + 4, then 2 is a fixed point of , because . Not all functions have fixed points: for example, , has no fixed points, since is never equal to for any real number. In graphical terms, a fixed point means the point is on the line , or in other words the graph of has a point in common with that line. Fixed-point iteration In numerical analysis, ''fixed-point iter ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |