Related papers: An algorithm for the HK function for disjoint-term…
In the first part we survey some of the known results and conjectures on compact Hyperkaehler (HK) manifolds. In the second part we presents a program which aims to show that HK four-folds whose second cohomology (with 4-tuple cup-product)…
In this paper we investigate some algebraic and geometric consequences which arise from an extremal bound on the Hilbert function of the general hyperplane section of a variety (Green's Hyperplane Restriction Theorem). These geometric…
Let k be an arbitrary field (of arbitrary characteristic) and let X = [x_{i,j}] be a generic m x n matrix of variables. Denote by I_2(X) the ideal in k[X] = k[x_{i,j}: i = 1, ..., m; j = 1, ..., n] generated by the 2 x 2 minors of X. We…
We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the…
Existence results for Hilbert's problem 13th mean that any equation constructed by continue functions can be given solution represented as a superposition of continue functions of one variable or of continue functions of two variables.…
In this paper we find the tight closure of powers of parameter ideals of certain diagonal hypersurface rings. In many cases the associated graded ring with respect to tight closure filtration turns out to be Cohen-Macaulay. This helps us…
We present an algorithm for computing a holonomic system for a definite integral of a holonomic function over a domain defined by polynomial inequalities. If the integrand satisfies a holonomic difference-differential system including…
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…
Kummer's function, also known as the confluent hypergeometric function (CHF), is an important mathematical function, in particular due to its many special cases, which include the Bessel function, the incomplete Gamma function and the error…
We provide a remarkably simple algorithm to compute all (at most four) common tangents of two disjoint simple polygons. Given each polygon as a read-only array of its corners in cyclic order, the algorithm runs in linear time and constant…
The goal of this paper is to exhibit and analyze an algorithm that takes a given closed orientable hyperbolic surface and outputs an explicit Dirichlet domain. The input is a fundamental polygon with side pairings. While grounded in…
We prove the existence of HK density function for a pair $(R, I)$, where $R$ is a ${\mathbb N}$-graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result…
We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $\Delta$ is given by a lattice point count in the polytope boundary $\partial \Delta,$ just as the Hilbert…
In this paper, we analyze the Hessian locus associated to a general cubic hypersurface, by describing for every $n$ its singular locus and its desingularization. The strategy is based on strong connections between the Hessian and the…
For a smooth, closed and uniformly $h$-convex hypersurface $M$ in $\mathbb{H}^{n+1}$, the horospherical Gauss map $G: M \rightarrow \mathbb{S}^n$ is a diffeomorphism. We consider the problem of finding a smooth, closed and uniformly…
We consider expansions of functions in $L^{p}(\mathbb{R},|x|^{2k}dx)$, $1\leq p<+\infty$ with respect to Dunkl-Hermite functions in the rank-one setting. We actually define the heat-diffusion and Poisson integrals in the one-dimensional…
In this paper we give an effective characterization of Hilbert functions and polynomials of standard algebras over an Artinian equicharacteristic local ring; the cohomological properties of such algebras are also studied. We describe…
In this paper, a new triangular decomposition algorithm is proposed for ordinary differential polynomial systems, which has triple exponential computational complexity. The key idea is to eliminate one algebraic variable from a set of…
We describe an algorithm which computes components of Humbert surfaces in terms of Rosenhain invariants, based on Runge's method
We provide simple criteria and algorithms for expressing homogeneous polynomials as sums of powers of independent linear forms, or equivalently, for decomposing symmetric tensors into sums of rank-1 symmetric tensors of linearly independent…