We extend the classical Enriques-Petri Theorem to $s$-subcanonical projectively normal curves, proving that such a curve is $(s+2)$-gonal if and only if it is contained in a surface of minimal degree. Moreover, we show that any Fermat hypersurface of degree $s+2$ is apolar to an $s$-subcanonical $(s+2)$-gonal projectively normal curve, and vice versa.
Let $X$ be a codimension 1 subvariety of dimension $>1$ of a variety of minimal degree $Y$. If $X$ is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then $X$ is Arithmetically Gorenstein and we characterise such subvarieties $X$ of $Y$ via apolarity as those whose apolar hypersurfaces are Fermat.
We study the critical points of the likelihood function over the Fermat hypersurface. This problem is related to one of the main problems in statistical optimization: maximum likelihood estimation. The number of critical points over a projective variety is a topological invariant of the variety and is called maximum likelihood degree. We provide closed formulas for the maximum likelihood degree of any Fermat curve in the projective plane and of Fermat hypersurfaces of degree 2 in any projective space. Algorithmic methods to compute the ML degree of a generic Fermat hypersurface are developed t…
This paper studies the existence of free and very free curves on the degree 5 Fermat hypersurface in P^5 over a field of characteristic 2. We find that such curves exist in degrees 8 and 9 and not in lower degrees.
The variety of all smooth hypersurfaces of given degree and dimension has the Fermat hypersurface as a natural base point. In order to study the period map for such varieties, we first determine the integral polarized Hodge structure of the primitive cohomology of a Fermat hypersurface (as a module over the automorphism group of the hypersurface). We then focus on the degree 3 case and show that the period map for cubic fourfolds as analyzed by R. Laza and the author gives complete information about the period map for cubic hypersurfaces of lower dimension dimension. In particular, we thus rec…
In this note we study rational curves on degree $p^r+1$ Fermat hypersurface in $\PP^{p^r+1}_k$, where $k$ is an algebraically closed field of characteristic $p$. The key point is that the presence of Frobenius morphism makes the behavior of rational curves to be very different from that of charateristic 0. We show that if there exists $N_0$ such that for all $e\geq N_0$ there is a degree $e$ very free rational curve on $X$, then $N_0> p^r(p^r-1)$.
We study the intersection of two particular Fermat hypersurfaces in $\mathbb{P}^3$ over a finite field. Using the Kani-Rosen decomposition we study arithmetic properties of this curve in terms of its quotients. Explicit computation of the quotients is done using a Gröbner basis algorithm. We also study the $p$-rank, zeta function, and number of rational points, of the modulo $p$ reduction of the curve. We show that the Jacobian of the genus 2 quotient is $(4,4)$-split.
Finding the point in an algebraic variety that is closest to a given point is an optimization problem with many applications. We study the case when the variety is a Fermat hypersurface. Our formula for its Euclidean distance degree is a piecewise polynomial whose pieces are defined by subtle congruence conditons.
We produce special Lagrangian $T^n$-fibrations on the generic regions of some Calabi-Yau hypersurfaces in the Fermat family $X_s=\{ Z_0\ldots Z_{n+1}+ e^{-s} ( Z_0^{n+2}+ \ldots Z_{n+1}^{n+2} ) =0 \}\subset \mathbb{CP}^{n+1} $ near the large complex structure limit $s\to +\infty$.
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$.
Let $\mathbb{F}_q$ be a finite field with $q=p^n$ elements. In this paper, we study the number of $\mathbb{F}_q$-rational points on the affine hypersurface $\mathcal X$ given by $a_1 x_1^{d_1}+\dots+a_s x_s^{d_s}=b$, where $b\in\mathbb{F}_q^*$. A classic well-konwn result from Weil yields a bound for such number of points. This paper presents necessary and sufficient conditions for the maximality and minimality of $\mathcal X$ with respect to Weil's bound.
We characterize the smallest codimension components of the Hodge locus of smooth degree $d$ hypersurfaces of the projective space $\mathbb{P}^{n+1}$ of even dimension $n$, passing through the Fermat variety (with $d\neq 3,4,6$). They correspond to the locus of hypersurfaces containing a linear algebraic cycle of dimension $\frac{n}{2}$. Furthermore, we prove that among all the local Hodge loci associated to a non-linear cycle passing through Fermat, the ones associated to a complete intersection cycle of type $(1,1,\ldots,1,2)$ attain the minimal possible codimension of their Zariski tangent s…
The most fundamental example of mirror symmetry compares the Fermat hypersurfaces in P^n and P^n/G, where G is a finite group that acts on P^n and preserves the Fermat hypersurface. We generalise this to hypersurfaces in Grassmannians, where the picture is richer and more complex. There is a finite group G that acts on the Grassmannian Gr(n,r) and preserves an appropriate Calabi-Yau hypersurface. We establish how mirror symmetry, toric degenerations, blow-ups and variation of GIT relate the Calabi-Yau hypersurfaces inside Gr(n,r) and Gr(n,r)/G. This allows us to describe a compactification of …
Traditional algebraic geometric invariants lose some of their potency in positive characteristic. For instance, smooth projective hypersurfaces may be covered by lines despite being of arbitrarily high degree. The purpose of this dissertation is to define a class of hypersurfaces that exhibits such classically unexpected properties, and to offer a perspective with which to conceptualize such phenomena. Specifically, this dissertation proposes an analogy between the eponymous $q$-bic hypersurfaces -- special hypersurfaces of degree $q+1$, with $q$ any power of the ground field characteristic, a…
The Eckardt hypersurface in $\mathbb{P}^{19}$ parameterizes smooth cubic surfaces with an Eckardt point, which is a point common to three of the $27$ lines on a smooth cubic surface. We describe the cubic surfaces lying on the singular locus of the model of this hypersurface in $\mathbb{P}^4$, obtained via restriction to the space of cubic surfaces possessing a so-called Sylvester form. We prove that inside the moduli of cubics, the singular locus corresponds to a reducible surface with two rational irreducible components intersecting along two rational curves. The two curves intersect in two …
Let $f$ be a function on a finite field $F$. The decomposition of the generalized Fermat variety $X$ defined by the multivariate polynomial of degree $n$, $ϕ(x,y,z)=f(x)+f(y)+f(z)$ in $\Bbb{P}^3(\overline{\mathbb{F}}_2)$, plays a crucial role in the study of almost perfect non-linear (APN) functions and exceptional APN functions. Their structure depends fundamentally on the Fermat varieties corresponding to the monomial functions of exceptional degrees $n=2^k+1$ and $n=2^{2k}-2^k+1$ (Gold and Kasami-Welch numbers, respectively). Very important results for these have been obtained by Janwa, McG…
We study Galois points for a hypersurface $X$ with $\dim {\rm Sing}(X) \le \dim X-2$. The purpose of this article is to determine the set $Δ(X)$ of Galois points in characteristic zero: Indeed, we give a sharp upper bound of the number of Galois points in terms of $\dim X$ and $\dim {\rm Sing}(X)$ if $Δ(X)$ is a finite set, and prove that $X$ is a cone if $Δ(X)$ is infinite. To achieve our purpose, we need a certain hyperplane section theorem on Galois point. We prove this theorem in arbitrary characteristic. On the other hand, the hyperplane section theorem has other important applications: F…
A Dwork family is a one-parameter monomial deformation of a Fermat hypersurface. In this paper we compute algebraically the invariant part of its Gauss-Manin cohomology under the action of certain subgroup of automorphisms. To achieve that goal we use the algebraic theory of $\mathcal{D}$-modules, especially one-dimensional hypergeometric ones.