Lyrics & Knowledge Personal Pages Record Shop Auction Links Radio & Media Kids Membership Help
The Mudcat Cafesj



User Name Thread Name Subject Posted
GUEST,Olddude BS: Polarizing Reality on a global scale. (35) RE: BS: Polarizing Reality on a global scale. 22 Jun 15


Here is one description on it.

For intuition about polarizations, it may be helpful to think like this: the category of abelian varieties over a field k (say up to isogeny) acts like a full subcategory of the category of representations of a group G on Q-vector spaces. (To show the shift in thinking we can write V(A) when we think of A as like a vector space.) The category of abelian varieties is too small to admit anything like the tensor products that exist in the larger category of G-representations, but one can see some multilinear structures. In particular, the dual abelian variety is like a dual representation---or at least a dual representation twisted by a character. A divisorial correspondence between abelian varieties A and B (a sufficiently rigidified line bundle on A×kB---a biextension of (A,B) by Gm) is like a G-invariant bilinear form on V(A)×V(B). A polarization on A is a divisorial correspondence on A×kA satisfying a symmetry and positivity condition (ampleness of pullback along the diagonal), which is like a G-invariant bilinear form on V(A)×V(A) satisfying a symmetry and positivity condition. There are some subtleties in the translation; for example, the symmetry on side of A corresponds to antisymmetry on the side of V(A). We know from the early pages of books on representation theory that G-invariant bilinear forms satisfying positivity conditions are useful---they give us complete reducibility, for example---and Weil used polarizations in a similar way in [1955d]. The fact that abelian varieties are polarizable corresponds to something like the fact that G is a compact group, but the aforementioned subtleties mean that statement is not quite right.

These vague remarks can be made precise when k=C in the way that Francesco Polizzi suggests: take V(A) to be H1(Aan,Q) equipped with its standard Hodge structure, and the above remarks correspond to some of the theory of theta functions (which is what Matsusaka had in mind in his introduction)


Post to this Thread -

Back to the Main Forum Page

By clicking on the User Name, you will requery the forum for that user. You will see everything that he or she has posted with that Mudcat name.

By clicking on the Thread Name, you will be sent to the Forum on that thread as if you selected it from the main Mudcat Forum page.

By clicking on the Subject, you will also go to the thread as if you selected it from the original Forum page, but also go directly to that particular message.

By clicking on the Date (Posted), you will dig out every message posted that day.

Try it all, you will see.