|
Moduli Space Of Abelian Varieties
In mathematics, a Siegel modular variety or Siegel moduli space is an algebraic variety that parametrizes certain types of abelian varieties of a fixed dimension. More precisely, Siegel modular varieties are the moduli spaces of principally polarized abelian varieties of a fixed dimension. They are named after Carl Ludwig Siegel, the 20th-century German number theorist who introduced the varieties in 1943. Siegel modular varieties are the most basic examples of Shimura varieties. Siegel modular varieties generalize moduli spaces of elliptic curves to higher dimensions and play a central role in the theory of Siegel modular forms, which generalize classical modular forms to higher dimensions. They also have applications to black hole entropy and conformal field theory. Construction The Siegel modular variety ''A''''g'', which parametrize principally polarized abelian varieties of dimension ''g'', can be constructed as the complex analytic spaces constructed as the quotient of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Group
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and for positive integer ''n'' and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by \mathrm(n). Many authors prefer slightly different notations, usually differing by factors of . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group is denoted , and is the compact real form of . Note that when we refer to ''the'' (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension . The name " symplectic group" was coined by Hermann Weyl as a replacement for the previous confusing names (line) complex group and Abelian linear group, and is the Greek analog of "complex". The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Burkhardt Quartic
In mathematics, the Burkhardt quartic is a quartic threefold in 4-dimensional projective space studied by , with the maximum possible number of 45 nodes. Definition The equations defining the Burkhardt quartic become simpler if it is embedded in ''P''5 rather than ''P''4. In this case it can be defined by the equations σ1 = σ4 = 0, where σ''i'' is the ''i''th elementary symmetric function of the coordinates (''x''0 : ''x''1 : ''x''2 : ''x''3 : ''x''4 : ''x''5) of ''P''5. Properties The automorphism group of the Burkhardt quartic is the Burkhardt group ''U''4(2) = PSp4(3), a simple group of order 25920, which is isomorphic to a subgroup of index 2 in the Weyl group of E6. The Burkhardt quartic is rational and furthermore birationally equivalent In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Variety
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 other 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 parameteriza ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Segre Cubic
In algebraic geometry, the Segre cubic is a cubic threefold embedded in 4 (or sometimes 5) dimensional projective space, studied by . Definition The Segre cubic is the set of points (''x''0:''x''1:''x''2:''x''3:''x''4:''x''5) of ''P''5 satisfying the equations :\displaystyle x_0+x_1+x_2+x_3+x_4+x_5= 0 :\displaystyle x_0^3+x_1^3+x_2^3+x_3^3+x_4^3+x_5^3 = 0. Properties The intersection of the Segre cubic with any hyperplane ''x''''i'' = 0 is the Clebsch cubic surface. Its intersection with any hyperplane ''x''''i'' = ''x''''j'' is Cayley's nodal cubic surface. Its dual is the Igusa quartic 3-fold in P4. Its Hessian is the Barth–Nieto quintic. A cubic hypersurface in ''P''4 has at most 10 nodes, and up to isomorphism the Segre cubic is the unique one with 10 nodes. Its nodes are the points conjugate to (1:1:1:−1:−1:−1) under permutations of coordinates. The Segre cubic is rational Rationality is the quality of being guided by or based on reason. In thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Birational Geometry
In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying Map (mathematics), mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles. Birational maps Rational maps A rational mapping, rational map from one variety (understood to be Irreducible component, irreducible) X to another variety Y, written as a dashed arrow , is defined as a algebraic geometry#Morphism of affine varieties, morphism from a nonempty open subset U \subset X to Y. By definition of the Zariski topology used in algebraic geometry, a nonempty open subset U is always dense in X, in fact the complement of a lower-dimensional subset. Concretely, a rational map can be written in coordinates using rational functions. Birational maps A birational map from ''X'' to ''Y'' is a ration ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Variety
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dimension can be read off the Hilbert polynomial of this graded ring. Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kodaira Dimension
In algebraic geometry, the Kodaira dimension measures the size of the canonical model of a projective variety . Soviet mathematician Igor Shafarevich in a seminar introduced an important numerical invariant of surfaces with the notation . Japanese mathematician Shigeru Iitaka extended it and defined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension), and later named it after Kunihiko Kodaira. The plurigenera The canonical bundle of a smooth algebraic variety ''X'' of dimension ''n'' over a field is the line bundle of ''n''-forms, :\,\!K_X = \bigwedge^n\Omega^1_X, which is the ''n''th exterior power of the cotangent bundle of ''X''. For an integer ''d'', the ''d''th tensor power of ''K''''X'' is again a line bundle. For ''d'' ≥ 0, the vector space of global sections ''H''0(''X'',''K''''X''''d'') has the remarkable property that it is a birational invariant of smooth projective varieties ''X''. That is, this vector space i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Mumford
David Bryant Mumford (born 11 June 1937) is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University. Early life and education Mumford was born in Worth, West Sussex in England, of an English father and American mother. His father William started an experimental school in Tanzania and worked for the then newly created United Nations. He attended Phillips Exeter Academy, where he received a Westinghouse Science Talent Search prize for his relay-based computer project. Mumford then went to Harvard University, where he became a student of Oscar Zariski. At Harvard, he became a Putnam Fellow in 1955 and 1956. He completed his PhD in 1961, with a thesis entitled ''Existence of the moduli scheme for curve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eberhard Freitag
Eberhard Freitag (born 19 May 1942, in Mühlacker) is a German mathematician, specializing in complex analysis and especially modular forms. Education and career Freitag studied from 1961 mathematics, physics and astronomy at Heidelberg University, where he received in 1964 his Diplom and in 1966 his Ph.D. (promotion), supervised by Hans Maaß (and also Albrecht Dold), with thesis ''Modulformen zweiten Grades zum rationalen und Gaußschen Zahlkörper'', published in Sitzungsberichte Heidelberger Akad. Wiss. 1967. From 1964 he was a research assistant at the Mathematischen Institut in Heidelberg, where he received at the end of 1969 his habilitation and became there a Privatdozent and in 1970 a scientific advisor. In 1970–1971 he was a visiting professor at Johann-Wolfgang-Goethe-Universität Frankfurt am Main. In 1973 he became a professor ordinarius at the University of Mainz. In 1977 he became a professor ordinarius at Heidelberg University, where from 1991 to 1993 he was t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Vector Space
In mathematics, a symplectic vector space is a vector space V over a Field (mathematics), field F (for example the real numbers \mathbb) equipped with a symplectic bilinear form. A symplectic bilinear form is a map (mathematics), mapping \omega : V \times V \to F that is ; bilinear form, Bilinear: linear map, Linear in each argument separately; ; alternating form, Alternating: \omega(v, v) = 0 holds for all v \in V; and ; Nondegenerate form, Non-degenerate: \omega(v, u) = 0 for all v \in V implies that u = 0. If the underlying field (mathematics), field has characteristic (algebra), characteristic not 2, alternation is equivalent to skew symmetry, skew-symmetry. If the characteristic is 2, the skew-symmetry is implied by, but does not imply alternation. In this case every symplectic form is a symmetric bilinear form, symmetric form, but not vice versa. Working in a fixed basis (linear algebra), basis, \omega can be represented by a matrix (mathematics), matrix. The conditions abo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Congruence Subgroup
In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example is the subgroup of invertible integer matrices of determinant 1 in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer. The existence of congruence subgroups in an arithmetic group provides it with a wealth of subgroups, in particular it shows that the group is residually finite. An important question regarding the algebraic structure of arithmetic groups is the congruence subgroup problem, which asks whether all subgroups of finite index are essentially congruence subgroups. Congruence subgroups of matrices are fundamental objects in the classical theory of modular forms; the modern theory of automorphic for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
