## What are “good” examples of string manifolds?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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?

-

3
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 2011 at 13:10

2
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 2011 at 16:21

## 1 Answer

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).$$

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 27, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.877420961856842, "perplexity_flag": "head"}