On the Smith-Thom deficiency of Hilbert squares
type: Item
instance of: scholarly article
title: On the Smith-Thom deficiency of Hilbert squares
zbMATH Open document ID: 1548.14178
author: Viatcheslav Kharlamov
author: Rareş Răsdeaconu
published in: Journal of Topology
publication date: 2024-07-01T00:00:00Z
review text: Recall that, for any real algebraic variety~\(X\), one has the so-called Smith-Thom inequality \(\beta_*(X_\mathbb{R})\le\beta_*(X_\mathbb{C})\), where \(\beta_*\) stands for the total Betti number with coefficients \(\mathbb{F}_2\). The even difference \(2d:=\beta_*(X_\mathbb{C})\le\beta_*(X_\mathbb{R})\) is called the Smith-Thom deficiency of~\(X\) in the paper, and \(X\) is called maximal if \(2d=0\). Maximal smooth real algebraic varieties are known to have quite a few very special properties.\N\NThe authors study the deficiency of the (naturally real) Hilbert square of a smooth projective real variety~\(X\), and their principal observation is the fact that \(X^{[2]}\) is almost never maximal. More precisely, if \(X^{[2]}\) is maximal, then so is \(X\) and, in the latter case, there is an explicit formula for the deficiency of \(X^{[2]}\) in terms of the Betti numbers \(\beta_i(X_\mathbb{R})\). In particular, if \(X\) is a maximal complete intersection, then \(X^{[2]}\) is maximal if and only if \(\beta_i(X_\mathbb{R})=1\) for all \(0\le i<\lfloor\dim X/2\rfloor\). The authors derive a few consequences of their findings, both known and new, and analyze a few other special cases (beyond complete intersections) where the (non-)maximality of \(X^{[2]}\) can be asserted.
reviewed by: Alex Degtyarev
Mathematics Subject Classification ID: 14P25
Mathematics Subject Classification ID: 14C05
Mathematics Subject Classification ID: 14J99
zbMATH DE Number: 7873635
zbMATH Keywords: real algebraic variety
zbMATH Keywords: maximal variety
zbMATH Keywords: Thom-Smith inequality
zbMATH Keywords: Hilbert square
MaRDI profile type: Publication
cites work: Derived categories of flips and cubic hypersurfaces
cites work: Q5658847
cites work: Real Enriques surfaces
cites work: Additional congruences for the Euler characteristic of real algebraic manifolds of even dimensions
cites work: On intersections of two real quadrics
cites work: Complément à l'article de P. Deligne ''La conjecture de Weil pour les surfaces \(K 3\)''. (Complement to the paper of P. Deligne ''Weil conjecture for \(K 3\) surfaces'')
cites work: Q5801093
cites work: Q5269773
cites work: The integral cohomology of the Hilbert scheme of two points
DOI: 10.1112/TOPO.12345
description: scientific article; zbMATH DE number 7873635