Factor of automorphy
This term is related to: actions on complex manifolds
View other terms related to actions on complex manifolds | View facts related to actions on complex manifolds
Let be a group acting on a complex manifold . Then, also acts on the vector spaces of holomorphic functions from to , as vector space actions.
Each of these gives a linear representation of over .
A factor of automorphy is defined as a 1-cocycle for the action of on the space of holomorphic functions to . Two factors of automorphy are termed equivalent if they they give the same element in the cohomology group, or in other words, if they differ multiplicatively by a coboundary.
Thus, the equivalence classes of factors ofautomorphy can be identified with the first cohomology group for the action on the space of holomorphic function to .
Definition with symbols
Associated with any factor of automorphy, we can construct a space ofautomorphic functions. An automorphic function for a factor of automorphy is a function from to satisfying:
Note that if were everywhere a nonzero function, then that would make into a coboundary. Thus, in some sense, it is the presence of zeroes of that prevents from being a coboundary.
The automorphic functions for a given factor of automorphy form a vector space. Further, the product of automorphic functions corresponding to two factors of automorphy is an automorphic function corresponding to their product. Thus, we can associate to the entire cohomology group a ring comprising those functions that are finite linear combinations of automorphic functions corresponding to various factors of automorphic functions.
Given any factor of automorphy, we can define an associated Chern class. The Chern class is the same for equivalent factors of automorphy.