|
Level Structure (algebraic Geometry)
In algebraic geometry, a level structure on a space ''X'' is an extra structure attached to ''X'' that shrinks or eliminates the automorphism group of ''X'', by demanding automorphisms to preserve the level structure; attaching a level structure is often phrased as rigidifying the geometry of ''X''. In applications, a level structure is used in the construction of moduli spaces; a moduli space is often constructed as a quotient. The presence of automorphisms poses a difficulty to forming a quotient; thus introducing level structures helps overcome this difficulty. There is no single definition of a level structure; rather, depending on the space ''X'', one introduces the notion of a level structure. The classic one is that on an elliptic curve (see #Example: an abelian scheme). There is a level structure attached to a formal group called a Drinfeld level structure, introduced in . Level structures on elliptic curves Classically, level structures on elliptic curves E = \mathbb/\L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weil Pairing
Weil may refer to: Places in Germany *Weil, Bavaria *Weil am Rhein, Baden-Württemberg *Weil der Stadt, Baden-Württemberg *Weil im Schönbuch, Baden-Württemberg Other uses * Weil (river), Hesse, Germany * Weil (surname), including people with the surname Weill, Weyl * Doctor Weil (Mega Man Zero), a fictional character from the ''Mega Man'' Zero video game series * Weil-Marbach, now the Marbach Stud in Baden-Württemberg See also * Weill (other) * Weil, Gotshal & Manges Weil, Gotshal & Manges LLP is an American international law firm with approximately 1,100 attorneys, headquartered in New York City. With a gross annual revenue in excess of $1.8 billion, it is among the world's largest law firms according to ..., law firm founded in the United States * Weil's disease {{disambiguation, geo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Princeton University Press
Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financial support of Charles Scribner, as a printing press to serve the Princeton community in 1905. Its distinctive building was constructed in 1911 on William Street in Princeton. Its first book was a new 1912 edition of John Witherspoon's ''Lectures on Moral Philosophy.'' History Princeton University Press was founded in 1905 by a recent Princeton graduate, Whitney Darrow, with financial support from another Princetonian, Charles Scribner II. Darrow and Scribner purchased the equipment and assumed the operations of two already existing local publishers, that of the ''Princeton Alumni Weekly'' and the Princeton Press. The new press printed both local newspapers, university documents, ''The Daily Princetonian'', and later added book publishing to it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Rigidity
Local rigidity theorems in the theory of discrete subgroups of Lie groups are results which show that small deformations of certain such subgroups are always trivial. It is different from Mostow rigidity and weaker (but holds more frequently) than superrigidity. History The first such theorem was proven by Atle Selberg for co-compact discrete subgroups of the unimodular groups \mathrm_n(\mathbb R). Shortly afterwards a similar statement was proven by Eugenio Calabi in the setting of fundamental groups of compact hyperbolic manifolds. Finally, the theorem was extended to all co-compact subgroups of semisimple Lie groups by André Weil. The extension to non-cocompact lattices was made later by Howard Garland and Madabusi Santanam Raghunathan. The result is now sometimes referred to as Calabi—Weil (or just Weil) rigidity. Statement Deformations of subgroups Let \Gamma be a group generated by a finite number of elements g_1, \ldots, g_n and G a Lie group. Then the map \mathr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rigidity (mathematics)
In mathematics, a rigid collection ''C'' of mathematical objects (for instance sets or functions) is one in which every ''c'' ∈ ''C'' is uniquely determined by less information about ''c'' than one would expect. The above statement does not define a mathematical property. Instead, it describes in what sense the adjective rigid is typically used in mathematics, by mathematicians. __FORCETOC__ Examples Some examples include: #Harmonic functions on the unit disk are rigid in the sense that they are uniquely determined by their boundary values. #Holomorphic functions are determined by the set of all derivatives at a single point. A smooth function from the real line to the complex plane is not, in general, determined by all its derivatives at a single point, but it is if we require additionally that it be possible to extend the function to one on a neighbourhood of the real line in the complex plane. The Schwarz lemma is an example of such a rigidity theorem. #By the fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Siegel Modular Form
In mathematics, Siegel modular forms are a major type of automorphic form. These generalize conventional ''elliptic'' modular forms which are closely related to elliptic curves. The complex manifolds constructed in the theory of Siegel modular forms are Siegel modular varieties, which are basic models for what a moduli space for abelian varieties (with some extra level structure) should be and are constructed as quotients of the Siegel upper half-space rather than the upper half-plane by discrete groups. Siegel modular forms are holomorphic functions on the set of symmetric ''n'' × ''n'' matrices with positive definite imaginary part; the forms must satisfy an automorphy condition. Siegel modular forms can be thought of as multivariable modular forms, i.e. as special functions of several complex variables. Siegel modular forms were first investigated by for the purpose of studying quadratic forms analytically. These primarily arise in various branches of number theory, su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Stack Of Elliptic Curves
In mathematics, the moduli stack of elliptic curves, denoted as \mathcal_ or \mathcal_, is an algebraic stack over \text(\mathbb) classifying elliptic curves. Note that it is a special case of the moduli stack of algebraic curves \mathcal_. In particular its points with values in some field correspond to elliptic curves over the field, and more generally morphisms from a scheme S to it correspond to elliptic curves over S. The construction of this space spans over a century because of the various generalizations of elliptic curves as the field has developed. All of these generalizations are contained in \mathcal_. Properties Smooth Deligne-Mumford stack The moduli stack of elliptic curves is a smooth separated Deligne–Mumford stack of finite type over \text(\mathbb), but is not a scheme as elliptic curves have non-trivial automorphisms. j-invariant There is a proper morphism of \mathcal_ to the affine line, the coarse moduli space of elliptic curves, given by the ''j''-inv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Scheme
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory. An abelian variety can be defined by equations having coefficients in any field; the variety is then said to be defined ''over'' that field. Historically the first abelian varieties to be studied were those defined over the field of complex numbers. Such abelian varieties turn out to be exactly those complex tori that can be embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which is important also from the viewpoint of number theory. Localization techniques lead naturally from abe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Curve
In number theory and algebraic geometry, a modular curve ''Y''(Γ) is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane H by the action of a congruence subgroup Γ of the modular group of integral 2×2 matrices SL(2, Z). The term modular curve can also be used to refer to the compactified modular curves ''X''(Γ) which are compactifications obtained by adding finitely many points (called the cusps of Γ) to this quotient (via an action on the extended complex upper-half plane). The points of a modular curve parametrize isomorphism classes of elliptic curves, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are defined either over the field of rational numbers Q or a cyclotomic field Q(ζ''n''). The latter fact and its generalization ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Space (mathematics)
In mathematics, a space is a set (sometimes called a universe) with some added structure. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself. A space consists of selected mathematical objects that are treated as points, and selected relationships between these points. The nature of the points can vary widely: for example, the points can be elements of a set, functions on another space, or subspaces of another space. It is the relationships that define the nature of the space. More precisely, isomorphic spaces are considered identical, where an isomorphism between two spaces is a one-to-one correspondence between their points that preserves the relationships. For example, the relationships between the points of a three-dimensional Euclidean space are uniquely determined by Euclid's axioms, and all three-dimensional Euclidean spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Group
In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were introduced by . The term formal group sometimes means the same as formal group law, and sometimes means one of several generalizations. Formal groups are intermediate between Lie groups (or algebraic groups) and Lie algebras. They are used in algebraic number theory and algebraic topology. Definitions A one-dimensional formal group law over a commutative ring ''R'' is a power series ''F''(''x'',''y'') with coefficients in ''R'', such that # ''F''(''x'',''y'') = ''x'' + ''y'' + terms of higher degree # ''F''(''x'', ''F''(''y'',''z'')) = ''F''(''F''(''x'',''y''), ''z'') (associativity). The simplest example is the additive formal group law ''F''(''x'', ''y'') = ''x'' + ''y''. The idea of the definition is that ''F'' should be something like the formal power series expansion of the product of a Lie group, where we choose coordinates so that the id ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
An Abelian Scheme
An, AN, aN, or an may refer to: Businesses and organizations * Airlinair (IATA airline code AN) * Alleanza Nazionale, a former political party in Italy * AnimeNEXT, an annual anime convention located in New Jersey * Anime North, a Canadian anime convention * Ansett Australia, a major Australian airline group that is now defunct (IATA designator AN) * Apalachicola Northern Railroad (reporting mark AN) 1903–2002 ** AN Railway, a successor company, 2002– * Aryan Nations, a white supremacist religious organization * Australian National Railways Commission, an Australian rail operator from 1975 until 1987 * Antonov, a Ukrainian (formerly Soviet) aircraft manufacturing and services company, as a model prefix Entertainment and media * Antv, an Indonesian television network * ''Astronomische Nachrichten'', or ''Astronomical Notes'', an international astronomy journal * ''Avisa Nordland'', a Norwegian newspaper * '' Sweet Bean'' (あん), a 2015 Japanese film also known as ''A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Moduli Stack Of Elliptic Curves")
