The log canonical threshold of homogeneous affine hypersurfaces
Lawrence Ein, Mircea Mustata
备注：
6 pages. We generalize the lower bound and the characterization for equality to the case when the hypersurface has a singular locus of arbitrary (but fixed) dimension
We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the projective cone over a (smooth) hypersurface in P^{n-1}. In the case when Y is a hyperplane section of a smooth hypersurface in P^{n+1}, Cheltsov and Park have proved that Y has isolated singularities and they have obtained the above lower bound for the log canonical threshold. Moreover they made the conjecture about the equality case (for d=n+1) and they proved that the conjecture follows from the Log Minimal Model Program. The purpose of this note is to give an easy proof of their conjecture using the description of the log canonical threshold in terms of jet schemes.
We find polyhedral divisors corresponding to the torus action of complexity one on affine trinomial hypersurfaces. Explicit computations for particular classes of such hypersurfaces including Pham-Brieskorn surfaces and rational trinomial hypersurfaces are given.
We study a kind of modification of an affine domain which produces another affine domain. First appeared in passing in the basic paper of O. Zariski (1942), it was further considered by E.D. Davis (1967). The first named author applied its geometric counterpart to construct contractible smooth affine varieties non-isomorphic to Euclidean spaces. Here we provide certain conditions which guarantee preservation of the topology under a modification. As an application, we show that the group of biregular automorphisms of the affine hypersurface $X \subset C^{k+2}$ given by the equation $uv=p(x_1,..…
We calculate the period integrals for a special class of affine hypersurfaces (deformed Delsarte hypersurfaces) in an algebraic torus by the aid of their Mellin transforms. A description of the relation between poles of Mellin transforms of period integrals and the mixed Hodge structure of the cohomology of the hypersurface is given. By interpreting the period integrals as solutions to Pochhammer hypergeometric differential equation, we calculate concretely the irreducible monodromy group of period integrals that correspond to the compactification of the affine hypersurface in a complete simpl…
In this paper the detailed classification of three-dimensional exceptional canonical hypersurface singularities which don't satisfy the condition of well-formedness is given. This result completes the classification of three-dimensional exceptional log canonical hypersurface singularities started in [4] (math.AG 0201025).
The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.
We describe a method to construct hypersurfaces of the complex affine $n$-space with isomorphic $\mathbb{C}^*$-cylinders. Among these hypersurfaces, we find new explicit counterexamples to the Laurent Cancellation Problem, i.e. hypersurfaces that are non isomorphic, although their $\mathbb{C}^*$-cylinders are isomorphic as abstract algebraic varieties. We also provide examples of non isomorphic varieties $X$ and $Y$ with isomorphic cartesian squares $X\times X$ and $Y\times Y$.
Trinomial varieties are affine varieties given by some special system of equations consisting of polynomials with three terms. Such varieties are total coordinate spaces of normal rational varieties with torus action of complexity one. For an affine variety X we consider the subgroup SAut(X) of the automorphism group generated by all algebraic subgroups isomorphic to the additive group of the ground field. An affine variety X is rigid if SAut(X) is trivial. In opposite an affine variety is flexible if SAut(X) acts transitively on the regular locus. Arzhantsev proved a criterium for a factorial…
In this paper we characterize two-dimensional semi-log canonical hypersurfaces in arbitrary characteristic from the viewpoint of the initial term of the defining equation. As an application, we prove a conjecture about a uniform bound of divisors computing minimal log discrepancies for two dimensional varieties, which is a conjecture by Ishii and also a special case of the conjecture by Mustaţǎ-Nakamura.
We obtain sharp estimates on the connectivity of complex affine hypersurfaces in terms of the decomposition of the defining equation as a sum of weighted homogeneous components relative to some weight system.
We prove that every biregular automorphism of the affine algebraic variety ${\mathbb P}^M\setminus S$, $M\geqslant 3$, where $S\subset {\mathbb P}^M$ is a hypersurface of degree $m\geqslant M+1$ with a unique singular point of multiplicity $(m-1)$, resolved by one blow up, is a restriction of some automorphism of the projective space ${\mathbb P}^M$, preserving the hypersurface $S$; in particular, for a general hypersurface $S$ the group $\mathop{\rm Aut} ({\mathbb P}^M\setminus S)$ is trivial.
We prove that every rational trinomial affine hypersurface admits a horizontal polynomial curve. This result provides an explicit non-trivial polynomial solution to a trinomial equation. Also we show that a trinomial affine hypersurface admits a Schwartz-Halphen curve if and only if the trinomial comes from a platonic triple. It is a generalization of Schwartz-Halphen's Theorem for Pham-Brieskorn surfaces.
In this note we look at the freeness for complex affine hypersurfaces. If $X \subset \mathbb{C}^n$ is such a hypersurface, and $D$ denotes the associated projective hypersurface, obtained by taking the closure of $X$ in $\mathbb{P}^n$, then we relate first the Jacobian syzygies of $D$ and those of $X$. Then we introduce two types of freeness for an affine hypersurface $X$, and prove various relations between them and the freeness of the projective hypersurface $D$. We write down a proof of the folklore result saying that an affine hypersurface is free if and only if all of its singularities ar…
The Russell cubic is a smooth contractible affine complex threefold which is not isomorphic to affine three-space. In previous articles, we discussed the structure of the automorphism group of this variety. Here we review some consequences of this structure and generalize some results to other hypersurfaces which arise as deformations of Koras-Russell threefolds.
In this paper, we address the following two general problems: given two algebraic varieties in ${\bf C}^n$, find out whether or not they are (1) isomorphic; (2) equivalent under an automorphism of ${\bf C}^n$. Although a complete solution of either of these problems is out of the question at this time, we give here some handy and useful invariants of isomorphic as well as of equivalent varieties. Furthermore, and more importantly, we give a universal procedure for obtaining all possible algebraic varieties isomorphic to a given one, and use it to construct numerous examples of isomorphic, but …
A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial construction of a compact topological space S as a union of components of real dimension n, and prove that S embeds into Z as a deformation retract. In particular, Z is homotopy equivalent to S.
We prove that square integrable holomorphic functions (with respect to a plurisubharmonic weight) can be extended in a square integrable manner from certain singular hypersurfaces (which include uniformly flat, normal crossing divisors) to entire functions in affine space. This provides evidence for a conjecture regarding the positivity of the curvature of the weight under consideration.
We describe in purely combinatorial terms dual pairs of integral affine structures on spheres which come from the conjectural metric collapse of mirror families of Calabi-Yau toric hypersurfaces. The same structures arise on the base of a special Lagrangian torus fibration in the Strominger-Yau-Zaslow conjecture. We study the topological torus fibration in the large complex structure limit and show that it coincides with our combinatorial model.
We classify four-dimensional quasismooth weighted hypersurfaces with small canonical class, and verify a conjecture of Johnson and Kollar on infinite series of quasismooth hypersurfaces with anticanonical hyperplane section in the case of fourfolds. By considering the quotient singularities that arise, we classify those weighted hypersurfaces that are canonical, Calabi-Yau, and Fano fourfolds. We also consider other classes of hypersurfaces, including Fano hypersurfaces of index greater than 1 in dimensions 3 and 4.
This paper is a continuation of our paper math.AG/0205321 where we have built a combinatorial model for the torus fibrations of Calabi-Yau toric hypersurfaces. This part addresses the connection between the model torus fibration and the complex and Kähler geometry of the hypersurfaces.
In this article we present a formula for the plurigenera of minimal models of nondegenerate toric hypersurfaces, which is valid in arbitrary dimension and which expresses these invariants through lattice points on the Fine interior. From this formula we derive a formula for the volume of the canonical divisor of the toric hypersurface. We also study the pluricanonical mappings and show under some restrictions how to construct a canonical model of the toric hypersurface.
This paper is the widely extended version of the publication, appeared in Proceedings of ISSAC'2009 conference \citep*{ALM09}. We discuss more details on proofs, present new algorithms and examples. We present a general algorithm for computing an intersection of a left ideal of an associative algebra over a field with a subalgebra, generated by a single element. We show applications of this algorithm in different algebraic situations and describe our implementation in \textsc{Singular}. Among other, we use this algorithm in computational $D$-module theory for computing e. g. the Bernstein-Sato…
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
Linearly projecting smooth projective varieties provides a method of obtaining hypersurfaces birational to the original varieties. We show that in low dimension, the resulting hypersurfaces only have Du Bois singularities. Moreover, we conclude that these Du Bois singularities are in fact semi log canonical. However, we demonstrate the existence of counterexamples in high dimension -- the generic linear projection of certain varieties of dimension 30 or higher is neither semi log canonical nor Du Bois.
In this paper we classify all the compactifications of affine homology $3$-cells into the blow-ups of the projective $3$-space along smooth curves such that the log canonical divisors are linearly trivial. As a result, we prove that each embedded affine $3$-fold is isomorphic to the affine $3$-space except one example.
It is well-known that the Hasse principle holds for quadric hypersurfaces. The Hasse principle fails for integral points on smooth quadric hypersurfaces of dimension 2 but the failure can be completely explained by the Brauer-Manin obstruction. We investigate how often the family of quadric hypersurfaces $ax^2 + by^2 +cz^2 = n$ has a Brauer-Manin obstruction. We improve previous bounds of Mitankin.
The total curvature of complex hypersurfaces in $\bC^{n+1}$ and its variation in families appear to depend not only on singularities but also on the behaviour in the neighbourhood of infinity. We find the asymptotic loss of total curvature towards infinity and we express the total curvature and the Gauss-Bonnet defect in terms of singularities and tangencies at infinity.
We study log canonical thresholds on quartic threefolds, quintic fourfolds, and double spaces. As an application, we show that they have a Kaehler-Einstein metric if they are general.
An affine algebraic variety $X$ is rigid if the algebra of regular functions ${\mathbb K}[X]$ admits no nonzero locally nilpotent derivation. We prove that a factorial trinomial hypersurface is rigid if and only if every exponent in the trinomial is at least 2.
The Aluffi algebra is algebraic definition of characteristic cycles of a hypersurface in intersection theory. In this paper we focus on the Aluffi algebra of quasi-homogeneous and locally Eulerian hypersurface with isolated singularities. We prove that the Jacobian ideal of an affine hypersurfac with isolated singularities is of linear type if and only if it is locally Eulerian. We show that the gradient ideal of a projective hypersurface is of linear type if and only if the corresponding affine curve in the affine chart associated to singular points is locally Eulerian. We prove that the grad…
To every Gorenstein algebra $A$ of finite dimension greater than 1 over a field ${\Bbb F}$ of characteristic zero, and a projection $π$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator $\hbox{Ann}({\mathfrak m})$ of ${\mathfrak m}$, one can associate a certain algebraic hypersurface $S_π\subset{\mathfrak m}$. Such hypersurfaces possess remarkable properties. They can be used, for instance, to help decide whether two given Gorenstein algebras are isomorphic, which for ${\Bbb F}={\Bbb C}$ leads to interesting consequences in singularity theory. Also, for ${\Bbb F}={\Bbb R…
Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber of $f$. This result has an interesting implication on the structure of the vanishing cycles in the category of perverse sheaves.
T.Kishimoto raised the problem to classify all compactifications of contractible affine 3-folds into smooth Fano 3-folds with second Betti number two and classified such compactifications whose log canonical divisors are not nef. In this article, we show that there are 14 deformation equivalence classes of smooth Fano 3-folds which can admit structures of such compactifications whose log canonical divisors are trivial. We also construct an example of such compactifications with trivial log canonical divisors for each of all the 14 classes.
Let $S$ be a complete intersection of a smooth quadric 3-fold $Q$ and a hypersurface of degree $d$ in ${\mathbb P}^4$. In this paper we analyze GIT stability of $S$ with respect to the natural $G=SO(5, {\mathbb C})$-action. We prove that if $d\ge 4$ and $S$ has at worst semi-log canonical singularities then $S$ is $G$-stable. Also, we prove that if $d\ge 3$ and $S$ has at worst semi-log canonical singularities then $S$ is $G$-semistable.
We point out an interesting relation between hypersurface elliptic singularities and log Enriques surfaces: with a few exceptions, every hypersurface elliptic singularity define some klt log Enriques surface $(S,Diff)$. In many cases, the log canonical cover of $(S,Diff)$ is a Du Val K3 surface with ``large'' nonsymplectic automorphism group.
Working over a ground field of characteristic zero, this paper studies the quotient morphism $π:X\to Y$ for an affine $\mathbb{G}_a$-variety $X$ with affine quotient $Y$. It is shown that the degree modules associated to the $\mathbb{G}_a$-action give a uniquely determined sequence of dominant $\mathbb{G}_a$-equivariant morphisms, $X=X_r\to X_{r-1}\to\cdots\to X_1\to X_0=Y$, where $X_i$ is an affine $\mathbb{G}_a$-variety and $X_{i+1}\to X_i$ is birational for each $i\ge 1$. This is the canonical factorization of $π$. We give an algorithm for finding the degree modules associated to the given …
We show the birational boundedness of anti-canonical irreducible hypersurfaces which form 3-fold plt pairs. We also treat a collection of Du Val K3 surfaces which is birationally bounded but unbounded.
We establish a link between the GIT stability of complete intersections of same degree hypersurfaces in the same ambient projective space, which can be parametrised as tuples in a Grassmanian scheme, and the log canonical thresholds of hypersurfaces contained in these tuples. We also establish a similar link in the case of Variations of GIT quotients, where we consider tuples of complete intersections and distinct hyperplanes.
In this paper we give a description of hypersurfaces with trivial ring $AK(S)$, introduced by the second author as following. Let $X$ be an affine variety and let $G(X)$ be the group generated by all $\Bbb {C}^+$-actions on $X$. Then $AK(X)$ is the subring of all regular $G(X)-$ invariant functions on $X.$ We show that a smooth affine surface $S$ with $AK(S)=\Bbb C$ is quasihomogeneous and so may be obtained from a smooth rational projective surface by deleting a divisor of special form, which is called a ``zigzag''. We denote by $A$ the set of all such surfaces, and by $H$ those which have on…
We determine, complementing a paper by Marcel Morales, the log-pluricanonical forms on a nondegenerate hypersurface. This description shows that they are extendable to 1-parameter deformations. For an equisingular deformation we thus obtain a simultaneous log-canonical model.
All varieties, extremal contractions, singularities are divided on exceptional and non-exceptional ones. Roughly speaking, there are the infinite families of non-exceptional varieties, extremal contractions or singularities and only the finite number of the types of exceptional ones. This subdivision is well demonstrated by the example of Du Val singularities. There are two infinite series of non-exceptional singularities: $A_n$ and $D_n$ and only three types of exceptional ones: $E_6$, $E_7$ and $E_8$. Also the importance of exceptionality phenomenon follows from the next observation: A). If …
Let $X$ be a smooth hypersurface of degree $n\geq 3$ in $\mathbb{P}^n$. We prove that the log canonical threshold of $H\in|-K_X|$ is at least $\frac{n-1}{n}$. Under the assumption of the Log minimal model program, we also prove that a hyperplane section $H$ of $X$ is a cone in $\mathbb{P}^{n-1}$ over a smooth hypersurface of degree $n$ in $\mathbb{P}^{n-2}$ if and only if the log canonical threshold of $H$ is $\frac{n-1}{n}$.
The Koras-Russell threefold is the hypersurface X of the complex affine four-space defined by the equation x^2y+z^2+t^3+x=0. It is well-known that X is smooth contractible and rational but that it is not algebraically isomorphic to affine three-space. The main result of this article is to show that there exists another hypersurface Y of the affine four-space, which is isomorphic to X as an abstract variety, but such that there exists no algebraic automorphism of the ambient space which restricts to an isomorphism between X and Y. In other words, the two hypersurfaces are inequivalent. The proo…
The purpose of this paper is to point out a relation between the canonical sheaf and the intersection complex of a singular algebraic variety. We focus on the hypersurface case. Let $M$ be a complex manifold, $X\subset M$ a singular hypersurface. We study residues of top-dimensional meromorphic forms with poles along $X$. Applying resolution of singularities sometimes we are able to construct residue classes either in $L^2$-cohomology of $X$ or in the intersection cohomology. The conditions allowing to construct these classes coincide. They can be formulated in terms of the weight filtration. …
Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of degree $d$ in $\mathrm{R}^n$ due to Petrovski{\uı} and Ole{\uı}nik, Thom and Milnor). Moreover, we show there exists $c > 1$, such that given a sequence $(B_n)_{n >0}$ where $B_n$ is a closed ball in…
In this article we introduce the mixed Hodge structure of the Brieskorn module of a polynomial $f$ in $\C^{n+1}$, where $f$ satisfies a certain regularity condition at infinity (and hence has isolated singularities). We give an algorithm which produces a basis of a localization of the Brieskorn module which is compatible with its mixed Hodge structure. As an application we show that the notion of a Hodge cycle in regular fibers of $f$ is given in terms of the vanishing of integrals of certain polynomial $n$-forms in $\C^{n+1}$ over topological $n$-cycles on the fibers of $f$. Since the $n$-th …
The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of the fundamental groups of the complements to the hypersurface in the plane and in the space. If a family of hypersurfaces depends algebraically on parameters then it is not true in general that there exists a plane such that the natural embedding generates isomorphisms of the fundamental groups of the complements to each hypersurface from this family in the p…
The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, Morgenstern, Pardo \cite{gihemorpar} can be applied to a case of real polynomial equation solving. Our main result concerns the problem of finding one representative point for each connected component of a real bounded smooth hypersurface. The algorithm in \cite{gihemorpar} yields a method for symbolically solving a zero-dimensional polynomial equation system in the affine (and toric) case. Its main feature is the use of adapted data structure: Arithmetical networks and straight-line programs. Th…
Let $M$ be a smooth Fano threefold such that a canonical extension of the tangent bundle is an affine manifold. We show that $M$ is rational homogeneous.
