MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am looking at a Kahler metric $g$ on a certain manifold $M$, which has the good taste to be invariant under a transitive group of isometries, and I want to say something about its holomorphic sectional curvature.

Now, I can calculate the curvature tensor $R$ of $g$ explicitly at the center of a holomorphic coordinate system. If $(X_1, \ldots, X_n)$ is an orthonormal frame of tangent vectors at a given point, then the entries of the tensor are of the form

$$ R_{j \overline k l \overline m} := R(X_j, \overline X_k, X_l, \overline X_m) = \text{term 1} \cdot \text{term 2} - \text{term 3} $$

where the terms are sums of Kronecker deltas in $j$, $k$, $l$ and $m$. So if $X = \sum_j a_j X_j$ is a holomorphic tangent vector, which we may assume is of unit norm, the holomorphic sectional curvature in the direction of $X$ is

$$ H(X) = \sum_{j,k,l,m} a_j \overline a_k a_l \overline a_m R_{j \overline k l \overline m}. $$

This is where the pain begins. So far I haven't been able to make any sense of the herd of Kronecker deltas which comes out (except in exceptional cases, like for $R_{j \overline j k \overline k}$), and I'd be quite happy if I could just let a computer work the damn thing out for me.

Question: Is there software that calculates this sort of thing? Or is there a language particularily well adapted to hacking out a script that will calculate this?

share|cite|improve this question
up vote 1 down vote accepted

Yes, there are a number of packages, check out for example:

and more generally

(I know people use the mathematica packages heavily, and have for the last 25 years, not sure about the other ones).

share|cite|improve this answer
How delightfully timesaving. – Gunnar Þór Magnússon Nov 17 '11 at 12:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.