On the complexity of deciding connectedness and computing Betti numbers of a complex algebraic variety

We extend the lower bounds on the complexity of computing Betti numbers proved in [P. Bürgisser, F. Cucker, Counting complexity classes for numeric computations II: algebraic and semialgebraic sets, J. Complexity 22 (2006) 147–191] to complex algebraic varieties. More precisely, we first prove that the problem of deciding connectedness of a complex affine or projective variety given as the zero set of integer polynomials is PSPACE-hard. Then we prove PSPACE-hardness for the more general problem of deciding whether the Betti number of fixed order of a complex affine or projective variety is at most some given integer.     

Regularity of lex-segment ideals: Some closed formulas and applications

A closed formula for computing the regularity of the lex-segment ideal in terms of the Hilbert function is given. This regularity bounds the one of any ideal with the same Hilbert function. As a consequence, we give explicit expressions to bound the regularity of a projective scheme in terms of the coefficients of the Hilbert polynomial.

We also characterize, in terms of their coefficients, which polynomials are Hilbert polynomials of some projective scheme.

Finally, we provide some applications to estimates for the maximal degree of generators of Gröbner bases in terms of the degrees of defining equations.

     

Smooth and irreducible multigraded Hilbert schemes

The multigraded Hilbert scheme parametrizes all homogeneous ideals in a polynomial ring graded by an abelian group with a fixed Hilbert function. We prove that any multigraded Hilbert scheme is smooth and irreducible when the polynomial ring is Z[x,y], which establishes a conjecture of Haiman and Sturmfels.     

On Smale's 17th Problem: A Probabilistic Positive Solution

Smale's 17th Problem asks “Can a zero of n complex polynomial equations in n unknowns be found approximately, on the average [for a suitable probability measure on the space of inputs], in polynomial time with a uniform algorithm?” We present a uniform probabilistic algorithm for this problem and prove that its complexity is polynomial. We thus obtain a partial positive solution to Smale's 17th Problem.     

Asymptotic resurgences for ideals of positive dimensional subschemes of projective space

Recent work of Ein–Lazarsfeld–Smith and Hochster–Huneke raised the containment problem of determining which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci–Harbourne defined a quantity called the resurgence to address this problem for homogeneous ideals in polynomial rings, with a focus on zero-dimensional subschemes of projective space. Here we take the first steps toward extending this work to higher dimensional subschemes. We introduce new asymptotic versions of the resurgence and obtain upper and lower bounds on them for ideals I$I$ of smooth subschemes, generalizing what is done in Bocci and Harbourne (2010)  [5]. We apply these bounds to ideals of unions of general lines in P^N${\mathbb{P}}^N$. We also pose a Nagata type conjecture for symbolic powers of ideals of lines in P³${\mathbb{P}}^3$.     

Smooth threefolds in ${\Bbb P}^5$ without apparent triple or quadruple points and a quadruple-point formula

For a projective variety X of codimension 2 in defined over the complex number field , it is traditionally said that X has no apparent -ple points if the -secant lines of X do not fill up the ambient projective space , equivalently, the locus of -ple points of a generic projection of X to ${\Bbb P}^{n+1}$ is empty. We show that a smooth threefold in has no apparent triple points if and only if it is contained in a quadric hypersurface. We also obtain an enumerative formula counting the quadrisecant lines of X passing through a general point of and give necessary cohomological conditions for smooth threefolds in without apparent quadruple points. This work is intended to generalize the work of F. Severi [fSe] and A. Aure [Au], where it was shown that a smooth surface in has no triple points if and only if it is either a quintic elliptic scroll or contained in a hyperquadric. Furthermore we give open questions along these lines. Received: 24 January 2000 / Published online: 18 June 2001     

The isomorphism problem for some universal operator algebras

This paper addresses the isomorphism problem for the universal (non-self-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct systems are isomorphic. The proof makes use of the complex analytic structure of the character space, together with some recent results on subproduct systems. Restricting attention to commutative operator algebras defined by a radical ideal of relations yields strong resemblances with classical algebraic geometry. These commutative operator algebras turn out to be algebras of analytic functions on algebraic varieties. We prove a projective Nullstellensatz connecting closed ideals and their zero sets. Under some technical assumptions, we find that two such algebras are isomorphic as algebras if and only if they are similar, and we obtain a clear geometrical picture of when this happens. This result is obtained with tools from algebraic geometry, reproducing kernel Hilbert spaces, and some new complex-geometric rigidity results of independent interest. The C^?-envelopes of these algebras are also determined. The Banach-algebraic and the algebraic classification results are shown to hold for the wot-closures of these algebras as well.     

On the complexity of the resolvent representation of some prime differential ideals

We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential system for a particular class of ordinary first order algebraic-differential equations arising in control theory. We also exhibit a probabilistic algorithm which computes this resolvent representation within time polynomial in the natural syntactic parameters and the degree of a certain algebraic variety related to the input system. In addition, we give a probabilistic polynomial-time algorithm for the computation of the differential Hilbert function of the ideal.     

Lower bounds for the zeros of analytic functions

Summary In the present work the problem of finding lower bounds for the zeros of an analytic function is reduced by a Hilbert space technique to the well-known problem of finding upper bounds for the zeros of a polynomial. Several lower bounds for all the zeros of analytic functions are thus found, which are always better than the well-known Carmichael-Mason inequality. Several numerical examples are also given and a comparison of our bounds with well-known bounds in literature and/or the exact solution is made.     

带权Paneitz算子和带权圆盘振动问题的特征值不等式

本文研究光滑度量测度空间上带权Paneitz算子的闭特征值问题和带权圆盘振动问题,给出Euclid空间、单位球面、射影空间和一般Riemann流形的n维紧子流形的权重Paneitz算子和带权圆盘振动问题的前n个特征值上界估计.进一步地,本文给出带权Ricci曲率有界的紧致度量测度空间上带权圆盘振动问题的第一特征值的下界估计.     

Bounds on the Dimension of Trivariate Spline Spaces: A Homological Approach

We consider the vector space of globally differentiable piecewise polynomial functions defined on a three-dimensional polyhedral domain partitioned into tetrahedra. We prove new lower and upper bounds on the dimension of this space by applying homological techniques. We give an insight of different ways of approaching this problem by exploring its connections with the Hilbert series of ideals generated by powers of linear forms, fat points, the so-called Fröberg–Iarrobino conjecture, and the weak Lefschetz property.     

Homogeneous polynomials and extensions of Hardy‐Hilbert's inequality

If L is a continuous symmetric n‐linear form on a real or complex Hilbert space and $\widehat{L}$ is the associated continuous n‐homogeneous polynomial, then $\Vert L\Vert =\big \Vert \widehat{L}\big \Vert$. We give a simple proof of this well‐known result, which works for both real and complex Hilbert spaces, by using a classical inequality due to S. Bernstein for trigonometric polynomials. As an application, an open problem for the optimal lower bound of the norm of a homogeneous polynomial, which is a product of linear forms, is related to the so‐called permanent function of an n × n positive definite Hermitian matrix. We have also derived generalizations of Hardy‐Hilbert's inequality.     

On tangential deformations of homogeneous polynomials

The Jacobian ideal provides the set of infinitesimally trivial deformations for a homogeneous polynomial, or for the corresponding complex projective hypersurface. In this article, we investigate whether the associated linear deformation is indeed trivial, and show that the answer is no in a general situation. We also give a characterization of tangentially smoothable hypersurfaces with isolated singularities. Our results have applications in the local study of variations of projective hypersurfaces, complementing the global versions given by J. Carlson and P. Griffiths, R. Donagi and the author, and in the study of isotrivial linear systems on the projective space, showing that a general divisor does not belong to an isotrivial linear system of positive dimension.     

Some remarks on blvarlational bounds and the pointwise estimation of solutions

When a given equation can be realised in some Hilbert space H as an operator equation in the from A[d] then it is known that complementary variational bounds can be obtained for the inner product [d]. Recently it has been shown that complementary bivariational bounds can be obtained for the inner product [d]associated with the equation A[d]= f and an arbitary elementy [d]. These latter bounds are a natural starting point for investigatng pointwise estimatesd of solutions provided thta certain questions relating, on the one hand, to the self-adjointness and the invertibility of associated operators and on the other to the availability of a suitable large Hilbert space can be resolved. We show that if the underlying problem can be given an operator realisation in a suitably equipped Hilbert space then pointwise estimates of solution can be obtained     

Some degenerations of Kazhdan–Lusztig ideals and multiplicities of Schubert varieties

We study Hilbert–Samuel multiplicity for points of Schubert varieties in the complete flag variety, by Gröbner degenerations of the Kazhdan–Lusztig ideal. In the covexillary case, we give a manifestly positive combinatorial rule for multiplicity by establishing (with a Gröbner basis) a reduced limit whose Stanley–Reisner simplicial complex is homeomorphic to a shellable ball or sphere. We show that multiplicity counts the number of facets of this complex. We also obtain a formula for the Hilbert series of the local ring. In particular, our work gives a multiplicity rule for Grassmannian Schubert varieties, providing alternative statements and proofs to formulae of Lakshmibai and Weyman (1990) [26], Rosenthal and Zelevinsky (2001) [37], Krattenthaler (2001) [22], Kodiyalam and Raghavan (2003) [21], Kreiman and Lakshmibai (2004) [24], Ikeda and Naruse (2009) [13] and Woo and Yong (2009) [40]. We suggest extensions of our methodology to the general case.     

Segments and Hilbert schemes of points

Using results obtained from a study of homogeneous ideals sharing the same initial ideal with respect to some term order, we prove the singularity of the point corresponding to a segment ideal with respect to a degreverse term order (as, for example, the degrevlex order) in the Hilbert scheme of points in Pⁿ. In this context, we look into the properties of several types of “segment” ideals that we define and compare. This study also leads us to focus on the connections between the shape of generators of Borel ideals and the related Hilbert polynomial, thus providing an algorithm for computing all saturated Borel ideals with a given Hilbert polynomial.     

Codes associated to the zero-schemes of sections of vector bundles

We consider the algebraic geometric codes associated to the zero-schemes of sections of vector bundles on a smooth projective variety. We give lower bounds for the minimum distances of the codes exploiting the Cayley–Bacharach property of zero-dimensional subschemes.     

Quantization of the Geodesic Flow on Quaternion Projective Spaces

We study a problem of the geometric quantization for the quaternionprojective space. First we explain a Kähler structure on the punctured cotangent bundleof the quaternion projective space, whose Kähler form coincides withthe natural symplectic form on the cotangent bundle and show thatthe canonical line bundle of this complex structure is holomorphicallytrivial by explicitly constructing a nowhere vanishing holomorphicglobal section. Then we construct a Hilbert space consisting of acertain class of holomorphic functions on the punctured cotangentbundle by the method ofpairing polarization and incidentally we construct an operatorfrom this Hilbert space to the L ₂ space of the quaternionprojective space. Also we construct a similar operator between thesetwo Hilbert spaces through the Hopf fiberation.We prove that these operators quantizethe geodesic flow of the quaternion projective space tothe one parameter group of the unitary Fourier integral operatorsgenerated by the square root of the Laplacian plus suitable constant.Finally we remark that the Hilbert space above has the reproducing kernel.     

Algebraic properties of grids of projective lines

In this paper we compute the generators, the Hilbert function, and the Hilbert polynomial of the projective closure of affine lines which are parallel to the coordinate axes and pass through a lattice of points. We also consider the Cohen-Macaulay and seminormality property of their homogeneous coordinate ring. These lines are said to form a grid.     

Mixed multiplicities,Hilbert polynomials and homaloidal surfaces

We investigate the relationship among several numerical invariants associated to a (free) projective hypersurface V : the sequence of mixed multiplicities of its Jacobian ideal, the Hilbert polynomial of its Milnor algebra, and the sequence of exponents when V is free. As a byproduct, we obtain explicit equations for some of the homaloidal surfaces in the projective 3‐dimensional space constructed by C. Ciliberto, F. Russo and A. Simis.