Posted by: Steven Sam | November 9, 2009

Chow rings and K-theory

I want to write a post about the set-valued tableaux of Buch and how they are related to Schur polynomials. But since these two things are related to the K-theory and Chow ring, respectively, of the Grassmannian, I thought I would write a post explaining some basic generalities between the Chow ring and K-theory. Let X be a variety over an algebraically closed field K.

First let’s define the Chow groups. We first form the k-cycles Z_k(X) to be the free Abelian group spanned by the k-dimensional subvarieties of X. Let [V] be the basis element corresponding to a subvariety V. Pick a subvariety W of X of dimension k+1, and a nonzero rational function f/g defined on W. If V is a codimension 1 subvariety of W, let \mathcal{O}_{W,V} be the ring obtained by taking the ring of polynomial functions on W and inverting all polynomial functions which are not identically zero on V. We define the order {\rm ord}_V(f/g) to be \dim_K \mathcal{O}_{W,V}/(f) - \dim_K \mathcal{O}_{W,V}/(g), where the dimension is as K-vector spaces. The divisor of f/g is given by {\rm div}(f/g) = \sum_{\dim V = k} {\rm ord}_V(f/g) [V]. We say these divisors are rationally equivalent to 0, and define the Chow group {\rm A}_k(X) to be the group of k-cycles modulo rational equivalence.
Read More…

Posted by: Steven Sam | October 26, 2009

Exceptional sequences for the Grassmannian

Let K be a field of characteristic 0, and let V be a vector space over K of dimension n, and pick k < n. Let X be the Grassmannian Grass(k, V). We’ll briefly explore the (bounded) derived category of coherent sheaves of X, denoted {\bf D}^b(X).

1. Derived category review

For those unfamiliar with derived categories, here’s a quick summary. If A is any Abelian category, set K(A) to be the category of (co)chain complexes of A with the morphisms being chain maps modulo homotopy equivalence. Chain maps which induce isomorphisms are formally inverted, and the result is the derived category {\bf D}(A) of A. Usually we only want to consider bounded complexes, or at least complexes with finitely many nonzero (co)homology groups, and in this case we denote the category {\bf D}^b(A). The category is equipped with a shift functor, which just shifts the degrees of a given complex.

One thing we can do is reformulate derived functors. Given a left exact functor F \colon A \to B, we define its right derived functor {\bf R}f \colon {\bf D}^b(A) \to {\bf D}^b(B) as follows. Given an object X in A, an injective resolution X \to I^\bullet of X becomes an isomorphism in {\bf D}^b(A) (considering X as a complex with one nonzero term), so we define {\bf R}F(X) to be the complex obtained by applying F to I^\bullet. Actually, we don’t need an injective resolution, we only need a resolution consisting of F-acyclic objects (i.e., the usual right derived functors of F vanish for them). To define {\bf R}F on a general complex C^\bullet, we need to find a double complex C^\bullet \to I^{\bullet, \bullet} which is term by term an injective resolution for each C^i (these are called Cartan–Eilenberg resolutions). Then we apply F to the total complex of I^{\bullet, \bullet}. A similar story is true for right exact functors G, so we get left derived functors {\bf L}G. For notation, the left derived functor of the tensor product is denoted \stackrel{\bf L}{\otimes}.
Read More…

Posted by: Steven Sam | October 12, 2009

GLFq III: characteristic map

In the last post of this series, I gave some definitions and facts regarding the Hall–Littlewood functions. I also sketched the relationship between symmetric functions and representations of the symmetric group. Now we’ll see how this works for the finite general linear groups.

We want to imitate the Frobenius character that is used to relate the characters of the symmetric group to the ring of symmetric functions. But since the description of the conjugacy classes of the finite general linear group (and hence the parametrization of its irreducible characters) are more complicated than the description for the symmetric group, we’ll need a bigger ring to work with.
Read More…

Posted by: yanzhang | October 2, 2009

A Free Association On Basic Adjoints

I’ve been betraying the title of this blog and doing some abstract nonsense lately, mostly to relearn algebraic geometry for the n-th time for some embarrassingly large n. With the memory capabilities of a muffin, I am practically starting over each time. Luckily, each adventure feels slightly more beatable (exp points?), since I have a few more examples I can use for myself. Masnevets and I had a good discussion about a few basic examples of adjoint functors (recall the definition here: basically, we need a pair of functors F \colon C \to D and G \colon D \to C such that we have a natural isomorphism \hom_D(X, F(Y)) \cong \hom_C(G(X), Y)), and thus we have a new Concrete Nonsense post.

Before we start, I want to state that I’m trying something new. This post is not intended to be an introduction to adjoints as I originally envisioned – I realized that there are many better sources for that. Instead, I’ll try to do a free association that juxtoposes a few elementary concepts. You don’t even have to know the definitions of adjoints to start seeing what I’m getting to, since I’ll be namedropping algebraic structures like Kanye West.

My first introduction to adjoints was from algebraic topology, where you naturally bump into the functors \otimes_R and \hom(R, -). It was unnecessary at the time (for the scope of the course, at least) to know that they were adjoints, but now I know them as the “tensor-hom adjunction pair” (saying “tensor-hom” a lot helps me remember tensor as the left adjoint and hom as the right). Furthermore,  knowing this relationship allows me to remember some other things – in particular, knowing the left- and right- exactness of these functors, which I used to always mix up. Left adjoints are always right-exact, and right adjoints are always left-exact. Combined with knowing that tensoring is a left-adjoint, I now know that tensoring is right-exact and adjoints are left-exact.

Read More…

Posted by: Steven Sam | September 28, 2009

GLFq II: Hall–Littlewood functions

Last time, I discussed how to parametrize the conjugacy classes of the general linear group G over a finite field. In a sense, this group is a q-analogue of the symmetric group, so we might try to imitate the constructions for the symmetric group to get information about G. There’s a nice construction that Frobenius worked out which connects the characters of the symmetric group with the combinatorics of the Schur functions. I’ll briefly summarize the statement. The conjugacy classes of the symmetric group on n letters are parametrized by partitions of n. So we can also parametrize the irreducible characters by partitions as well (though it is not clear how to do this in a “canonical” way a priori). Ignoring the indexing issue (which can be dealt with) and letting \chi^\lambda(\mu) be the irreducible character indexed by \lambda evaluated at the conjugacy class consisting of permutations whose cycle lengths are given by the parts of \mu, then one has s_\lambda(x) = \sum_\mu z_\mu^{-1} \chi^\lambda(\mu) p_\mu(x) where s_\lambda(x) is a Schur function, p_\mu(x) is a power sum (Newton) symmetric function, and z_\mu = 1^{m_1} m_1! 2^{m_2} m_2! \cdots where m_i is the number of times that i appears as a part of \mu (the meaning of z_\mu is that n! z_\mu^{-1} is the size of the conjugacy class index by \mu.)

So the question to ask might be “can we find a similar interpretation for the characters of G?” The answer is yes, but becomes a bit more involved.
Read More…

Posted by: Steven Sam | September 14, 2009

GLFq I: Conjugacy classes of a finite general linear group

I’d like to start a series of posts, GLFq (general linear group over a finite field), in which I hope to explain the representation theory of G = {\bf GL}_n({\bf F}_q) (n and q will remain fixed). In this first post, I’ll explain how to write down the conjugacy classes of G. In later posts, I plan to introduce Hall–Littlewood polynomials and the characteristic map. I would like to also go into how to construct the actual representations, and discuss things related to Hall–Littlewood polynomials, like the q-Kostka polynomials and a lot of the interesting algebra/geometry behind them.

There are two pieces of data we would like to know. First, what is the size of G? Second, how do we parameterize the conjugacy classes? The first question is easy to answer since an invertible matrix is given by the data of n linearly independent vectors. The first one can be chosen to be any nonzero vector, so there are q^n - 1 of them. In general, the ith one can be chosen to be any vector not in the span of the last i-1 (so we are just avoiding some i-1 dimensional subspace, which has q^{i-1} elements), and hence there are q^n - q^{i-1} choices for such a vector. All together, the number of elements of G is \prod_{i=1}^n (q^n-q^{i-1}). We can rewrite this as q^{\binom{n}{2}} (q-1)^n [n]_q! to make it more analogous to the number of elements of the symmetric group.
Read More…

Posted by: lewallen | September 3, 2009

Symplectic geometry II

Back to symplectic geometry. So far, everything I did in my last post only used the fact that the symplectic form {\omega} was skew symmetric, not that it was closed. Indeed the “closed” property is rather mysterious, (as far as I’m concerned, although in the literature it is called “geometric”), since I don’t know of any really good geometric intuition for the action of exterior derivative on 2-forms. Still, it is a hugely important condition, and key to many of the special properties of symplectic geometry, notably for us, the Darboux theorem. Note that there is no real equivalent condition for Riemannian structures, and therefore it takes us in a whole new direction. I would love to have a better sense of how to “explain” why certain symplectic arguments don’t work in the Riemannian world (eg Darboux theorem), but I haven’t delved deeply enough into the proof to do this, since it’s not coherent to just say “the Riemannian form isn’t closed.”

Read More…

Posted by: lewallen | September 2, 2009

Symplectic geometry I

One of my summer projects was to try to learn symplectic geometry. In this, my first installment of notes, I discuss some introductory notions; hopefully it’s not too rambling. In the continuation, I’ll prove Darboux’s theorem, a fundamental result which says that locally, all symplectic spaces are isomorphic (something which sharply distinguishes symplectic geometry from Riemannian geometry, where there are many local invariants, such as curvature).

EDIT: Here, I take the point of view that the reader is somewhat familiar with Riemannian geometry, and try to build intuition for the structures in symplectic geometry via an analogy with the Riemannian case. This was helpful for me, to some extent, in order to even have a chance of “breaking into” the field, so to speak. However, there are many reasons why this is possibly a misleading vantage point, so do not believe that it’s the whole story. It may be helpful for some. Please see the comments for additional (undoubtedly better, I am an extreme novice) points of view. Some of these would also be quite suitable for an introduction.

In both symplectic and Riemannian geometry, the main object of study is a smooth manifold equipped with a bilinear form on each tangent space, in such a way that the forms vary smoothly as we move between tangent spaces. In the (possibly more familiar) Riemannian case, this form is a symmetric, non-degenerate, positive definite form, turning each tangent space into a normed vector space. In symplectic geometry, we instead require a skew-symmetric bilinear form on each tangent space, again varying smoothly. We still require that at each point {m} in our manifold {M}, {\omega_{m}} should be non-degenerate, so that if {\omega_{m}(X,Y)}=0 for all {Y\in T_{m}M}, then {X} must be 0. Finally, note that because {\omega} is a skew-symmetric 2-form, it is a differential 2-form on {M}, and we require that as a 2-form, {\omega} is closed, i.e., {d\omega = 0}. I’ll introduce examples as we go.

Read More…

Posted by: Steven Sam | August 31, 2009

A Fock space representation

Lately I’ve been reading about quantum groups. I particularly enjoyed Bernard Leclerc’s paper Symmetric functions and the Fock space representation of U_q(\widehat{\mathfrak{sl}_n}), so I want to discuss a little bit of it. In particular, I want to give an example of the technique of deforming an object in order to see “hidden structure.” My notation will differ slightly from Leclerc’s since he uses the French notation for Young diagrams.

One thing that has always been really hard for me to wrap my head around is the really complicated presentations that affine Lie algebras have and how one is supposed to do anything with them. This post will be about the affine Lie algebra \widehat{\mathfrak{sl}_n}, which is defined in the paper as the Lie algebra with generators e_i, f_i, h_i (0 \le i \le n-1) and d, with 5 lines of relations. Let K be a field of characteristic 0. Another way around this is to first define the loop algebra L(\mathfrak{g}) of a simple Lie algebra \mathfrak{g} as: L(\mathfrak{g}) = \mathfrak{g} \otimes K[t,t^{-1}] with a Lie bracket given by [a \otimes t^n, b \otimes t^m] = [a,b]_{\mathfrak{g}} \otimes t^{n+m}, and then to say that \widehat{\mathfrak{g}} is its universal central extension. More precisely, we say add a central element c, and then extend the bracket above via [a \otimes t^n, b \otimes t^m] = [a,b]_{\mathfrak{g}} \otimes t^{n+m} + (a,b)_{\mathfrak{g}} n \delta_{n,-m} c where \delta is the Kronecker delta, and (,) is the Killing form of \mathfrak{g}.

In the case that \mathfrak{g} is \mathfrak{sl}_n, I want to discuss a more concrete (combinatorial) description. Just as \mathfrak{sl}_n can be thought as the traceless operators on an n-dimensional vector space (the standard representation), we can also find a standard representation for \widehat{\mathfrak{sl}_n} (the Fock space representation). For this, let {\cal F} denote the ring of symmetric functions over K in infinitely many variables. The Schur functions s_\lambda form a basis indexed by partitions, and this will be our representation. In order to describe the actions of \widehat{\mathfrak{sl}_n} on Sym, we’ll need some notation.
Read More…

Posted by: yanzhang | August 20, 2009

Trees, The BEST Theorem, and Alexander Polynomials

Most of my “free math time” has been used to study for quals, but today I’ve made myself post to stop Steven from taking over this blog.

One of my favorite elementary algebric combinatorial results is the Matrix Tree Theorem, which states:

In a nondirected graph with vertices labelled 1, 2, \ldots n, the number of spanning trees is equal to any principal minor of the Laplacian.

This cute result gets the number of trees on n vertices (n^{n-2}) fairly quickly with some matrix manipulation, which I will leave as an exercise to the reader. I know two proofs of this theorem: the first one involves using the Cauchy-Binet formula on the Laplacian L, after making the slick observation that L = MM^t, where M is the incidence matrix. Another quick solution can be obtained by invoking the lesser-known version of the Matrix Tree Theorem for directed graphs, which is actually a bit simpler to prove:

In a directed graph with vertices labelled 1, 2, \ldots n, the number of arborescences into vertex i (that is, trees rooted at i where all the edges point towards i) is equal to the i-th minor of the Laplacian.

But this is not all!

Read More…

Older Posts »

Categories