In
mathematics, a Riemann form in the theory of
abelian varieties
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a Algebraic variety#Projective variety, projective algebraic variety that is also an algebraic group, i.e., has a group law th ...
and
modular forms
In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory of ...
, is the following data:
* A
lattice
Lattice may refer to:
Arts and design
* Latticework, an ornamental criss-crossed framework, an arrangement of crossing laths or other thin strips of material
* Lattice (music), an organized grid model of pitch ratios
* Lattice (pastry), an orna ...
Λ in a complex
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called ''scalars''. Scalars are often real numbers, but can ...
C
g.
* An
alternating bilinear form α from Λ to the
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the languag ...
s satisfying the following Riemann bilinear relations:
# the real linear extension α
R:C
g × C
g→R of α satisfies α
R(''iv'', ''iw'')=α
R(''v'', ''w'') for all (''v'', ''w'') in C
g × C
g;
# the associated
hermitian form
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allow ...
''H''(''v'', ''w'')=α
R(''iv'', ''w'') + ''i''α
R(''v'', ''w'') is
positive-definite In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite. See, in particular:
* Positive-definite bilinear form
* Positive-definite fu ...
.
(The hermitian form written here is linear in the first variable.)
Riemann forms are important because of the following:
* The
alternatization
In mathematics, more specifically in multilinear algebra, an alternating multilinear map is a multilinear map with all arguments belonging to the same vector space (for example, a bilinear form or a multilinear form) that is zero whenever any pair ...
of the
Chern class
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau ...
of any
factor of automorphy
In mathematics, an automorphic function is a function on a space that is invariant under the action of some group, in other words a function on the quotient space. Often the space is a complex manifold and the group is a discrete group.
Facto ...
is a Riemann form.
* Conversely, given any Riemann form, we can construct a factor of automorphy such that the alternatization of its Chern class is the given Riemann form.
References
*
*
*
*
*
{{Bernhard Riemann
Abelian varieties
Bernhard Riemann