|
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 polarisation. 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 polarisation if D is ample. The Rosati involution of \mathrm(A)\otimes\mathbb relative to the polarisation \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 polarisation \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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
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 polarisation. Let A be an abelian variety, let \hat = \mathrm^0(A) be the dual abelian variety, .... 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 endomorphism ring 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 ... [...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 smooth Algebraic variety#Projective variety, 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 research on other topics in algebraic geometry and number theory. An abelian variety can be defined by equations having coefficients in any Field (mathematics), 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 torus, complex tori that can be holomorphic, holomorphically embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which ... [...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 (mathematics), field ''k''. A 1-dimensional abelian variety is an elliptic curve, and every elliptic curve is isomorphic to its dual, but this fails for higher-dimensional abelian varieties, so the concept of dual becomes more interesting in higher dimensions. Definition Let ''A'' be an abelian variety over a field ''k''. We define \operatorname^0 (A) \subset \operatorname (A) to be the subgroup of the Picard group consisting of line bundles ''L'' such that m^*L \cong p^*L \otimes q^*L, where m, p, q are the multiplication and projection maps A \times_k A \to A respectively. An element of \operatorname^0(A) is called a degree 0 line bundle on ''A''. To ''A'' one then 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 li ... [...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 spaces. 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 bundle ... [...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 the ... [...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 introduced by in an effort to formalize the notion of an algebra of observables in quantum electrodynamics. It was soon shown that the algebras were not useful in this context, howev ... [...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 became the first president while Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance over 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 influentia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
