Related papers: Linear orbits of smooth quadric surfaces
In this paper, we prove three related results; (1) Extension of our result in [10] to all generic hypersurfaces. More precisely, the normal sheaf of a generic rational map $c_0$ to a generic hypersurface $X_0$ of $\mathbf P^n, n\geq 4$ has…
The group PGL(2) of linear transformations of the projective line acts naturally on the d-dimensional projective space P^d parametrizing configurations (`d-tuples') of points on the line. In this note we are concerned with the orbits of…
Let ${\cal P}=\{h_1, ..., h_s\}\subset \Z[Y_1, ..., Y_k]$, $D\geq \deg(h_i)$ for $1\leq i \leq s$, $\sigma$ bounding the bit length of the coefficients of the $h_i$'s, and $\Phi$ be a quantifier-free ${\cal P}$-formula defining a convex…
The Newton polygon of the implicit equation of a rational plane curve is explicitly determined by the multiplicities of any of its parametrizations. We give an intersection-theoretical proof of this fact based on a refinement of the…
We present new real algebraic maps of non-positive codimensions with prescribed images whose boundaries consist of explicit non-singular real algebraic hypersurfaces satisfying so-called "transversality" as follows. Explicit information on…
Let $K$ be a field of characteristic $0$. We present an explicit algorithm that, given the invariants of a generic homogeneous polynomial $f$ under the linear action of $\mathrm{GL}_n$ or $\mathrm{SL}_n$, returns a polynomial differing from…
Given a smooth cubic hypersurface $X$ over a finite field of characteristic greater than 3 and two generic points on $X$, we use a function field analogue of the Hardy-Littlewood circle method to obtain an asymptotic formula for the number…
In (the surface of) a convex polytope P^3 in R^4, an area-minimizing surface avoids the vertices of P and crosses the edges orthogonally. In a smooth Riemannian manifold M with a group of isometries G, an area-minimizing G-invariant…
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the…
Using a refinement of the differential method introduced by Oguiso and Yu, we provide effective conditions under which the automorphisms of a smooth degree $d$ hypersurface of $\mathbf{P}^{n+1}$ are given by generalized triangular matrices.…
The parametric degree of a rational surface is the degree of the polynomials in the smallest possible proper parametrization. An example shows that the parametric degree is not a geometric but an arithmetic concept, in the sense that it…
In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the…
Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical…
It is well known since Noether that the gonality of a smooth plane curve of degree d>3 is d-1. Given a k-dimensional complex projective variety X, the most natural extension of gonality is probably the degree of irrationality, that is the…
The main purpose of this paper is to show that the mixed Hodge polynomial of the ``space of equations'' for smooth complete intersections of given multidegree in $\mathbb{C} P^n$ is divisible by the mixed Hodge polynomial of the group…
It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear…
A Hopf hypersurface in complex hyperbolic space CH^n is one in which the complex structure applied to the normal vector is a principal direction at each point. In this paper, Hopf hypersurfaces for which the corresponding principal…
We introduce the notion of domain of finite type $\mathscr{D}\subset\mathbb{R}^n$ generalizing an earlier work of Bodin, Popescu-Pampu and Sorea. Then, we prove that every finite graph admitting a good orientation whose vertices have degree…
Using equivariant geometry, we find a universal formula that computes the number of times a general cubic surface arises in a family. As applications, we show that the PGL(4) orbit closure of a generic cubic surface has degree 96120, and…
The first part of this paper considers higher order CR invariants of three dimensional hypersurfaces of finite type. Using a full normal form we give a complete characterization of hypersurfaces with trivial local automorphism group, and…