Abstract:We study characteristic classes of hypersurfaces in the complex projective space, with emphasis on secants to rational normal curves. For $Sec_k C\subset \mathbb{P}^{n}$, the secant of $k$ points to a rational normal curve $C\subset \mathbb{P}^n$, we compute the Hilbert series and the topological Euler characteristic. For $n=2r$ and $k=r$, the case when $Sec_r C\subset \mathbb{P}^{2r}$ is a hypersurface, we show that the dual $(Sec_r C)^*$ is isomorphic to the Veronese variety $\nu_2(\mathbb{P}^r)$, from which we obtain, for $Sec_r C$, formulas for the Mather class, the generic Euclidean distance degree and its polar degrees. Furthermore, we present an explicit formula for the topological degree of the gradient map $\phi_r \colon \mathbb{P}^{2r} \dashrightarrow \mathbb{P}^{2r} $ associated with $Sec_r C$, and as a consequence we obtain an affirmative answer for a conjecture by M. Mostafazadehfard and A. Simis: for $r \geq 2$, the hypersurface $Sec_r C\subset \mathbb{P}^{2r}$ is not homaloidal. From computations in particular cases we are led to a conjecture, namely, explicit formulas for the projective degrees of the gradient map $\phi_r$ and the Schwartz-MacPherson class $c_{SM}(Sec_r C)\in A_* \mathbb{P}^{2r}$, for all $r$. We conclude by presenting evidence that indicates the validity of our conjecture.
Keywords: Characteristic classes. Gradient maps. Secants to rational normal curves.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to determine the characteristic classes of secant lines of rational normal curves. Specifically, the author studies the characteristic classes of surfaces in complex projective spaces, especially the secant lines of rational normal curves. The main contributions of the paper include:
1. **Calculation of Hilbert series and topological Euler characteristics**:
- For \( \text{Sec}_k C \subset \mathbb{P}^n \), that is, the \( k \)-point secant lines of the rational normal curve \( C \subset \mathbb{P}^n \), calculate its Hilbert series and topological Euler characteristics.
2. **Duality and characteristic classes in special cases**:
- When \( n = 2r \) and \( k = r \), \( \text{Sec}_r C \subset \mathbb{P}^{2r} \) is a hypersurface, and prove that its dual \( (\text{Sec}_r C)^* \) is isomorphic to the Veronese variety \( \nu_2(\mathbb{P}^r) \).
- From this isomorphism, derive the formulas for the Mather class, the universal Euclidean distance degree and its polarity degree of \( \text{Sec}_r C \).
3. **Topological degree of the gradient map**:
- Give an explicit formula for the topological degree of the gradient map \( \phi_r: \mathbb{P}^{2r} \dashrightarrow \mathbb{P}^{2r} \) related to \( \text{Sec}_r C \).
- As a result, verify a conjecture proposed by M. Mostafazadehfard and A. Simis: for \( r\geq2 \), the hypersurface \( \text{Sec}_r C \subset \mathbb{P}^{2r} \) is not homomorphic.
4. **Conjecture on projection degree and Schwartz - MacPherson class**:
- Through calculations in specific cases, propose a conjecture on an explicit formula for the projection degree and Schwartz - MacPherson class of the gradient map.
- Provide some evidence to support the validity of this conjecture.
### Formula summary
- **Hilbert series and topological Euler characteristics**:
- Calculate the Hilbert series and topological Euler characteristics of \( \text{Sec}_k C \).
- **Duality and characteristic classes**:
- \( (\text{Sec}_r C)^* \cong \nu_2(\mathbb{P}^r) \).
- Mather class formula:
\[
c_{\text{Ma}}(\text{Sec}_r C)=(1 + h)^r \sum_{j = 0}^{\left\lfloor \frac{r}{2} \right\rfloor} \binom{r + 1}{2j+1} h^{2j+1}\in A^*(\mathbb{P}^{2r})
\]
- **Topological degree of the gradient map**:
- Topological degree formula of the gradient map \( \phi_r \):
\[
\deg(\phi_r)=\frac{1}{r + 1}\binom{2r}{r}
\]
- **Conjecture**:
- Explicit formula for projection degree and Schwartz - MacPherson class:
\[
c_i(U_r)=\binom{r}{\left\lfloor \frac{i}{2} \right\rfloor} \binom{r}{\left\lfloor \frac{i + 1}{2} \right\rfloor}
\]
\[
e_i(\phi_r)=\s