Viro method plays an important role in the study of topology of real algebraic hypersurfaces. The T-primitive hypersurfaces we study here appear as the result of Viro's combinatorial patchworking when one starts with a primitive triangulation. We show that the Euler characteristic of the real part of such a hypersurface of even dimension is equal to the signature of its complex part. We use this result to prove the existence of maximal surfaces in some three-dimensional toric varieties, namely those corresponding Nakajima polytopes. In fact, these results belong to the field of tropical geometry and we explain how they can be understood tropically.
We derive a general formula for the Euler characteristic of a fibration of projective hypersurfaces in terms of invariants of an arbitrary base variety. When the general fiber is an elliptic curve, such formulas have appeared in the physics literature in the context of calculating D-brane charge for M-/F-theory and type-IIB compactifications of string vacua. While there are various methods for computing Euler characteristics of algebraic varieties, we prove a base-independent pushforward formula which reduces the computation of the Euler characteristic of relative hypersurfaces to simple algeb…
Let $k$ be a field and let $\text{GW}(k)$ be the Grothendieck-Witt ring of virtual non-degenerate symmetric bilinear forms over $k$. We develop methods for computing the quadratic Euler characteristic $χ(X/k)\in \text{GW}(k)$ for $X$ a smooth hypersurface in a projective space or a weighted projective space. We raise the question of a quadratic refinement of classical conductor formulas and find such a formula for the degeneration of a smooth hypersurface $X$ in $\mathbb{P}^{n+1}$ to the cone over a smooth hyperplane section of $X$; we also find a similar formula in the weighted homogeneous ca…
Maximum likelihood degree of a projective variety is the number of critical points of a general likelihood function. In this note, we compute the Maximum likelihood degree of Fermat hypersurfaces. We give a formula of the Maximum likelihood degree in terms of the constants $β_{μ, ν}$, which is defined to be the number of complex solutions to the system of equations $z_1^ν=z_2^ν=\cdots=z_μ^ν=1$ and $z_1+\cdots +z_μ+1=0$.
We prove a "strong" Durfee-type inequality for isolated hypersurface surface singularities, which implies Durfee's strong conjecture for such singularities with non-negative topological Euler number of the exceptional set of the minimal resolution.
Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a suitable graph. This disproves a conjecture of Aluffi in a strong sense.
We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers together with combinatorial data of Newton polyhedra. This is used implicitly in an explicit formula by Batyrev--Borisov. Note that a formula for the Euler characteristic subtotal Hodge numbers in terms …
We show that a generic real projective $n$-dimensional hypersurface of odd degree $d$, such that $4(n-2)=\binom{d+3}3$, contains "many" real 3-planes, namely, in the logarithmic scale their number has the same rate of growth, $d^3\log d$, as the number of complex 3-planes. This estimate is based on the interpretation of a suitable signed count of the 3-planes as the Euler number of an appropriate bundle.
We show that minimal models of nondegenerated hypersufaces defined by Laurent polynomials with a $d$-dimensional Newton polytope $Δ$ are Calabi-Yau varieties $X$ if and only if the Fine interior of $Δ$ consists of a single lattice point. We give a combinatorial formula for computing the stringy Euler number of $X$. This formula allows to test mirror symmetry in cases when $Δ$ is not a reflexive polytope. In particular we apply this formula to pairs of lattice polytopes $(Δ, Δ^{\vee})$ that appear in the Mavlyutov's generalization of the polar duality for reflexive polytopes. Some examples of M…
We consider the problem of geometrically approximating a complex analytic curve in the plane by the image of a polynomial parametrization $t \mapsto (x_1(t),x_2(t))$ of bidegree $(d_1,d_2)$. We show the number of such curves is the number of primitive necklaces on $d_1$ white beads and $d_2$ black beads. We show that this number is odd when $d_1=d_2$ is squarefree and use this to give a partial solution to a conjecture by Rababah. Our results naturally extend to a generalization regarding hypersurfaces in higher dimensions. There, the number of parametrized curves of multidegree $(d_1,\ldots,d…
We prove a bound conjectured by Itenberg on the Betti numbers of real algebraic hypersurfaces near non-singular tropical limits. These bounds are given in terms of the Hodge numbers of the complexification. To prove the conjecture we introduce a real variant of tropical homology and define a filtration on the corresponding chain complex inspired by Kalinin's filtration. The spectral sequence associated to this filtration converges to the homology groups of the real algebraic variety and we show that the terms of the first page are tropical homology groups with $\mathbb{Z}_2$-coefficients. The …
It was shown by Kuznetsov that complete intersections of $n$ generic quadrics in ${\mathbb P}^{2n-1}$ are related by Homological Projective Duality to certain non-commutative (Clifford) varieties which are in some sense birational to double covers of ${\mathbb P}^{n-1}$ ramified over symmetric determinantal hypersurfaces. Mirror symmetry predicts that the Hodge numbers of the complete intersections of quadrics must coincide with the appropriately defined Hodge numbers of these double covers. We observe that these numbers must be different from the well-known Batyrev's stringy Hodge numbers, el…
Let $V$ be a closed subscheme of a projective space $\mathbb{P}^n$. We give an algorithm to compute the Chern-Schwartz-MacPherson class, Euler characteristic and Segre class of $ V$. The algorithm can be implemented using either symbolic or numerical methods. The algorithm is based on a new method for calculating the projective degrees of a rational map defined by a homogeneous ideal. Using this result and known formulas for the Chern-Schwartz-MacPherson class of a projective hypersurface and the Segre class of a projective variety in terms of the projective degrees of certain rational maps we…
Let $n\geq 1$ be an integer, $\mathcal L \subset \mathbb{R}^n$ be a compact smooth affine real hypersurface, not necessarily connected. We prove that there exists $c>0$ and $d_0\geq 1$, such that for any $d\geq d_0$, any smooth complex projective hypersurface $Z$ in $\mathbb{C} P^n$ of degree $d$ contains at least $ c\dim H_*(Z, \mathbb{R})$ disjoint Lagrangian submanifolds diffeomorphic to $\mathcal L$, where $Z$ is equipped with the restriction of the Fubini-Study symplectic form. If moreover the connected components of $\mathcal L$ have non vanishing Euler characteristic, which implies that…
