In this paper we classify three-dimensional singular cubic hypersurfaces with an action of a finite group $G$, which are not $G$-rational, are not $G$-birationally isomorphic to a quadric and have no birational structure of $G$-Mori fiber space with the base of positive dimension. Also we prove the $A_{5}$ -birational superrigidity of the Segre cubic.
Let $X$ be a smooth projective hypersurface of dimension at least three. We show that every automorphism of the Hilbert square $X^{[2]}$ of $X$ is induced by some automorphism of $X$.
We use the specialization homomorphism for the birational automorphism group to study finite order birational automorphisms. For a family of varieties over a DVR, we prove that a birational automorphism of order coprime to the residue characteristic cannot specialize to the identity. As an application, we show that very general $n$-dimensional hypersurfaces of degree $d \geq 5 \lceil (n+3)/6 \rceil$ have no finite order birational automorphisms.
Trinomial hypersurfaces form a natural class of affine algebraic varieties closely connected with varieties admitting a torus action of complexity one. We investigate orbits of the automorphism group on these hypersurfaces. We prove that each nonrigid trinomial variety has finite number of orbits. We investigate singular orbits and this gives us description of all orbits for some classes of flexible trinomial hypersurfaces. Also we obtain a description of orbits for a class of hypersurfaces having a unique variable with power one in the equation.
The secant varieties of Severi varieties provide special examples of (singular) cubic hypersurfaces. An interesting question asks when a given cubic hypersurface is projectively equivalent to a secant cubic hypersurface. Inspired by the ''geometric'' Torelli theorem for smooth cubic hypersurfaces due to F. Charles, we study the geometry of lines on secant cubics and describe the Fano variety of lines. Then we verify the ''geometric'' Torelli theorem for the case of secant cubics. Namely, a cubic hypersurface is isomorphic to a secant cubic if and only if their Fano varieties of lines are isomo…
We use the cut and paste relation $[Y^{[2]}] = [Y][\mathbb{P}^m] + \mathbb{L}^2 [F(Y)]$ in $K_0(\text{Var}_k)$ of Galkin--Shinder for cubic hypersurfaces arising from projective geometry to characterize cubic hypersurfaces of sufficiently high dimension under certain numerical or genericity conditions. Removing the conditions involving the middle Betti number from the numerical conditions used extends the possible $Y$ to cubic hypersurfaces, complete intersections of two quadric hypersurfaces, or complete intersections of two quartic hypersurfaces. The same method also gives a family of other …
Let $X$ be a smooth hypersurface $X$ of degree $d\geq4$ in a projective space $\mathbb P^{n+1}$. We consider a projection of $X$ from $p\in\mathbb P^{n+1}$ to a plane $H\cong\mathbb P^n$. This projection induces an extension of function fields $\mathbb C(X)/\mathbb C(\mathbb P^n)$. The point $p$ is called a Galois point if the extension is Galois. In this paper, we will give a necessary and sufficient conditions for $X$ to have Galois points by using linear automorphisms.
We classify finite groups acting by birational transformations of a non-trivial Severi--Brauer surface over a field of characteristc zero that are not conjugate to subgroups of the automorphism group. Also, we show that the automorphism group of a smooth cubic surface over a field $K$ of characteristic zero that has no $K$-points is abelian, and find a sharp bound for the Jordan constants of birational automorphism groups of such cubic surfaces.
Given integers $d\ge 3$ and $N\ge 3$. Let $G$ be a finite abelian group acting faithfully and linearly on a smooth hypersurface of degree $d$ in the complex projective space $\mathbb{P}^{N-1}$. Suppose $G\subset PGL(N, \mathbb{C})$ can be lifted to a subgroup of $GL(N,\mathbb{C})$. Suppose moreover that there exists an element $g$ in $G$ such that $G/\langle g\rangle$ has order coprime to $d-1$. Then all possible $G$ are determined (Theorem 4.3). As an application, we derive (Theorem 4.8) all possible orders of linear automorphisms of smooth hypersurfaces for any given $(d,N)$. In particular, …
Automorphism groups of Koras-Russell threefolds of the first kind
Koras-Russell三重曲面是仿射复四维空间中一类与仿射三重空间不代数同构的光滑可收缩复超曲面。其中一个重要的例子是三次罗素三倍，由方程x^2y+z^2+t^3+x=0定义。在A的前一篇文章中，Dubouloz，P. M. Poloni和作者，研究了Russell三次三重体的自同构群.特别地，证明了这个超曲面的所有自同构都扩展到周围空间的自同构。这有几个有趣的结果，包括可以找到另一个与罗素三次同构的超曲面，但这两个超曲面是不等价的。在本文中，我们将讨论如何将这些结果推广到第一类Koras-Russell三重类。
It is shown that an irreducible cubic hypersurface with nonzero Hessian and smooth singular locus is the secant variety of a Severi variety if and only if its Lie algebra of infinitesimal linear automorphisms admits a nonzero prolongation.
In this paper, we develop a new method to classify abelian automorphism groups of hypersurfaces. We use this method to classify (Theorem 4.2) abelian groups that admit a liftable action on a smooth cubic fourfold. A parallel result (Theorem 5.1) is obtained for quartic surfaces.
A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by describing the complement. As an application, we can lift the "quadratic Fano correspondence" (due to Galkin-Shinder) in the Grothendieck ring of varieties between a smooth cubic hypersurface, its Fano variety of lines, and its Hilbert square, to a semiorthogonal decomposition. We also show that the Hilbert square of a cubic hypersurface of dimension at leas…
In order to count the number of smooth cubic hypersurfaces tangent to a prescribed number of lines and passing through a given number of points, we construct a compactification of their moduli space. We term the latter a $1$--\textit{complete variety of cubic hypersurfaces} in analogy to the space of complete quadrics. Paolo Aluffi explored the case of plane cubic curves. Starting from his work, we construct such a space in arbitrary dimension by a sequence of five blow-ups. The counting problem is then reduced to the computation of five Chern classes, climbing the sequence of blow-ups. Comput…
