## automorphism of Enrique surface

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

What is the fixed point set of an order two automorhism group of an Enriques surface.

-

1
Are there two questions here? 'Why?' is perhaps a bit too broad for MO. Would you accept "it follows from the axioms of ZFC"? :P – David Roberts Sep 14 2011 at 3:24
Ill edit it, if that bothers you. I was wondering if someone could analyze this if he/she doesnt have an answer. – Ru Sep 14 2011 at 5:05
What do you want to know about the fixed point set? – J.C. Ottem Sep 14 2011 at 9:32
That what it is? Curves?points? how many? – Ru Sep 15 2011 at 1:40

## 1 Answer

In general, the fixed locus of an involution $\iota$ on a smooth complex surface $S$ is the union of a smooth curve $D$ and of $k$ isolated points. This follows by Cartan's Lemma that says that in suitable holomorphic coordinates near a fixed point the action is linear.

There are trace formulae that relate these and the action of $\iota$ on the cohomology of $S$. (Holomorphic Fixed Point Formula): $$\sum_{i=0}^2(-1)^i\text{Trace}(\iota|H^i(S,{\mathcal O}_S)) = \frac{k-D\cdot K_S}{4}$$

(Topological Fixed Point Formula): $$\sum_{i=0}^4(-1)^i\text{Trace}(\iota|H^i(S,\mathbb C)) = k+e(D)$$ where $e(D) = -D^2-D\cdot K_S$ is the topological Euler characteristic of $D$.

In the case of Enriques surface, $h^i({\mathcal O}_S)=0$ for $i=1,2$ and $h^1(S,{\mathbb Z})=0$, $h^2(S,{\mathbb Z})=10$. So the formulae above give you $k=4$ and the relation ${Trace}(\iota|H^2(S,\mathbb C)) = 2-D^2$.

References: (1) the holomorphic fixed point formula can be found at pg.566 of M.F.Atiyah, I.M.Singer, The index of elliptic; (2) for the topological fixed point formula, see (30.9) of M. Greenberg, Algebraic Topology: A First Course, W. A. Benjamin Publ., Reading, Mass. 1981. operators: III, Ann. of Math. 87 (1968), 546-604.

-

Dear Rita,Thanks. I will be pleased if you could tell me where I can find the proof of the above formulas and that the fixed point locus are isolated curves and points? – Ru Sep 21 2011 at 18:53
I've edited the answer and inserted the references. – rita Sep 21 2011 at 20:21
{"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": 14, "mathjax_display_tex": 2, "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.888096034526825, "perplexity_flag": "middle"}