MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Based on this mathoverlow question, I would like to have a similar list for the case of string manifolds. An $n$-dim. Riemannian manifold $M$ is said to be string, if the classifying map of its bundle of orthonormal frames $M \to BO(n)$ lifts to a map $M \to BO(n)<8> = BString(n)$, which is the case if and only if the class $\frac{p_1}{2} \in H^4(M, \mathbb{Z})$ vanishes. There are a lot of models that yield geometric realizations of $String(n)$ either as a topological group (see Stolz-Teichner), infinite-dimensional Lie group (see Nikolaus-Sachse-Wockel) or a 2-group (see Schommer-Pries).

What are enlightening examples of string manifolds? What are non-examples? When do you have a geometric interpretation of the obstruction class?

So far, I am aware of the list given at the end of Douglas-Henriques-Hill. What else is out there?

share|cite|improve this question
There is always a geometric interpretation of the obstruction class, namely as the Chern-Simons 2-gerbe associated to the frame bundle of M and the basic gerbe over Spin. – Konrad Waldorf Nov 7 '11 at 13:10
Here are the string manifolds from the cited paper by Douglas, Henriques, and Hill: RP^{16n+7}, G_2/T, F_4/Spin(9), F_4/G_2. – Dmitri Pavlov Nov 7 '11 at 16:21

Qingtao Chen and Fei Han have constructed [arxiv:0612055] tons of examples of string manifolds and non-string manifolds as complete intersections in products of complex projective spaces.

For integers $s$ and $n_q$ with $1\leq q \leq s$ consider the product $$ Z:=\mathbb{C}P^{n_1} \times ... \times \mathbb{C}P^{n_s} $$ and the projection $pr_q:Z \to \mathbb{C}P^{n_q}$ to the $q$th factor. For further integers $t$ and $d_{pq}$ with $1 \leq p \leq t$ and $1 \leq q \leq s$, consider for $1 \leq p \leq t$ the line bundle $$ E_p := \bigotimes_{q=1}^s \;\; pr_q^{*}\mathcal{O}^{d_{pq}}_{q} $$ over $Z$, where $\mathcal{O}_q$ is the canonical line bundle over $\mathbb{C}P^{n_q}$. Now let $V_{d_{pq}}$ be the intersection of the zero loci of smooth global sections of $E_1,...,E_t$.

$V_{d_{pq}}$ is always a smooth manifold, and the statement of Proposition 3.1 of the above paper is:

Theorem. Let $m_q$ be the number of non-zero elements in the $q$th column of the matrix $D := (d_{pq})$. Suppose that $m_q +2 \leq n_q$. Then, $V_{d_{pq}}$ is string if and only if $$ D^t D = diag(n_1 + 1,...,n_s+1). $$

share|cite|improve this answer

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.