|
Rosati Involution
In mathematics, a Rosati involution, named after Carlo Rosati, is an involution of the rational endomorphism ring of an abelian variety induced by a polarization. Let A be an abelian variety, let \hat = \mathrm^0(A) be the dual abelian variety, and for a\in A, let T_a:A\to A be the translation-by-a map, T_a(x)=x+a. Then each divisor D on A defines a map \phi_D:A\to\hat A via \phi_D(a)= _a^*D-D/math>. The map \phi_D is a polarization if D is ample. The Rosati involution of \mathrm(A)\otimes\mathbb relative to the polarization \phi_D sends a map \psi\in\mathrm(A)\otimes\mathbb to the map \psi'=\phi_D^\circ\hat\psi\circ\phi_D, where \hat\psi:\hat A\to\hat A is the dual map induced by the action of \psi^* on \mathrm(A). Let \mathrm(A) denote the Néron–Severi group of A. The polarization \phi_D also induces an inclusion \Phi:\mathrm(A)\otimes\mathbb\to\mathrm(A)\otimes\mathbb via \Phi_E=\phi_D^\circ\phi_E. The image of \Phi is equal to \, i.e., the set of endomorphisms fixed by th ... [...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] |
Carlo Rosati
Carlo Rosati (Livorno, 24 April 1876 – Pisa, 19 August 1929) was an Italian mathematician working on algebraic geometry who introduced the Rosati involution In mathematics, a Rosati involution, named after Carlo Rosati, is an involution of the rational endomorphism ring of an abelian variety induced by a polarization. Let A be an abelian variety, let \hat = \mathrm^0(A) be the dual abelian variety, an .... Notes References * * External linksCarlo Rosatiin Mathematica Italiana {{DEFAULTSORT:Rosati, Carlo 1876 births 1929 deaths Italian mathematicians Academic staff of the University of Pisa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Endomorphism Ring
In mathematics, the endomorphisms of an abelian group ''X'' form a ring. This ring is called the endomorphism ring of ''X'', denoted by End(''X''); the set of all homomorphisms of ''X'' into itself. Addition of endomorphisms arises naturally in a pointwise manner and multiplication via endomorphism composition. Using these operations, the set of endomorphisms of an abelian group forms a (unital) ring, with the zero map 0: x \mapsto 0 as additive identity and the identity map 1: x \mapsto x as multiplicative identity. The functions involved are restricted to what is defined as a homomorphism in the context, which depends upon the category of the object under consideration. The endomorphism ring consequently encodes several internal properties of the object. As the resulting object is often an algebra over some ring ''R,'' this may also be called the endomorphism algebra. An abelian group is the same thing as a module over the ring of integers, which is the initial object in the c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Variety
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 fr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Abelian Variety
In mathematics, a dual abelian variety can be defined from an abelian variety ''A'', defined over a field ''K''. Definition To an abelian variety ''A'' over a field ''k'', one associates a dual abelian variety ''A''v (over the same field), which is the solution to the following moduli problem. A family of degree 0 line bundles parametrized by a ''k''-variety ''T'' is defined to be a line bundle ''L'' on ''A''×''T'' such that # for all t \in T, the restriction of ''L'' to ''A''× is a degree 0 line bundle, # the restriction of ''L'' to ×''T'' is a trivial line bundle (here 0 is the identity of ''A''). Then there is a variety ''A''v and a line bundle P \to A \times A^\vee,, called the Poincaré bundle, which is a family of degree 0 line bundles parametrized by ''A''v in the sense of the above definition. Moreover, this family is universal, that is, to any family ''L'' parametrized by ''T'' is associated a unique morphism ''f'': ''T'' → ''A''v so that ''L'' is isomorphic to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ample Divisor
In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative" (or a mixture of the two). The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety ''X'' amounts to understanding the different ways of mapping ''X'' into projective space. In view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of an ample divisor. In more detail, a line bundle is called basepoint-free if it has enough sections to give a morphism to projective space. A line bundle is semi-ample if some positive power of it is basepoint-free; semi-ampleness is a kind of "nonnegativity". More strongly, a line bun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Néron–Severi Group
In algebraic geometry, the Néron–Severi group of a variety is the group of divisors modulo algebraic equivalence; in other words it is the group of components of the Picard scheme of a variety. Its rank is called the Picard number. It is named after Francesco Severi and André Néron. Definition In the cases of most importance to classical algebraic geometry, for a complete variety ''V'' that is non-singular, the connected component of the Picard scheme is an abelian variety written :Pic0(''V''). The quotient :Pic(''V'')/Pic0(''V'') is an abelian group NS(''V''), called the Néron–Severi group of ''V''. This is a finitely-generated abelian group by the Néron–Severi theorem, which was proved by Severi over the complex numbers and by Néron over more general fields. In other words, the Picard group fits into an exact sequence :1\to \mathrm^0(V)\to\mathrm(V)\to \mathrm(V)\to 0 The fact that the rank is finite is Francesco Severi's theorem of the base; the rank is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jordan Algebra
In abstract algebra, a Jordan algebra is a nonassociative algebra over a field whose multiplication satisfies the following axioms: # xy = yx (commutative law) # (xy)(xx) = x(y(xx)) (). The product of two elements ''x'' and ''y'' in a Jordan algebra is also denoted ''x'' ∘ ''y'', particularly to avoid confusion with the product of a related associative algebra. The axioms imply that a Jordan algebra is power-associative, meaning that x^n = x \cdots x is independent of how we parenthesize this expression. They also imply that x^m (x^n y) = x^n(x^m y) for all positive integers ''m'' and ''n''. Thus, we may equivalently define a Jordan algebra to be a commutative, power-associative algebra such that for any element x, the operations of multiplying by powers x^n all commute. Jordan algebras were first introduced by to formalize the notion of an algebra of observables in quantum mechanics. They were originally called "r-number systems", but were renamed "Jordan algebras" by , ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
