## $\psi$ class in $\overline{M}_{0,n}$

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

Basic question, but I found no reference.

Is the $\psi$ class the only one which is not a boundary class in the PIcard group of the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$? Or can it be expressed in terms of boundary divisors? If yes what is its expression?

-

## 1 Answer

Unless you mean something else when you write $\psi$ class, it is expressible in terms of boundary divisors.

That is, if $\psi_i$ is the $i$-th cotangent bundle, then you can write it in terms of boundary divisors. One reference for this is the tome "Mirror Symmetry" by Hori, Katz, Klemm, et al. on p. 513, the comparison lemma.

The idea is that you can consider the forgetful maps $\pi$ from $M_{0,n}$ to $M_{0,n-1}$ and look at the divisor $$\psi_i - \pi^*\psi_i$$ (where the $\psi$ classes are, by abuse of notation, living on different spaces). This is expressible in terms of boundary divisors, and so we can inductively write out the $\psi$ classes on any $M_{0,n}$.

-

Thank you Simon, excellent and precise answer. – IMeasy Feb 7 2012 at 22:01
{"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": 13, "mathjax_display_tex": 1, "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.8747188448905945, "perplexity_flag": "head"}