Source author record

Alexander Isaev

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CV math.AG math.AC math.DG

Catalog footprint

Research overview

16works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Associated Forms and Hypersurface Singularities: The Binary Case

In the recent articles by Alper, Eastwood and Isaev, it was conjectured that all rational $GL_n({\mathbb C})$ -invariant functions of forms of degree $d\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(d-2)$ by means of assigning every form with nonvanishing discriminant the so-called associated form. While this surprising statement is interesting from the point of view of classical invariant theory, its original motivation was the reconstruction problem for isolated hypersurface singularities, which is the problem of finding a constructive proof of the well-known Mather-Yau theorem. The conjecture was confirmed by Eastwood and Isaev for binary forms of degree $d \le 6$ as well as ternary cubics. Furthermore, a weaker version of it was settled by Alper and Isaev for arbitrary $n$ and $d$ . In the present paper, we focus on the case $n=2$ and establish the conjecture, in a rather explicit way, for binary forms of an arbitrary degree. This result allows one to extract a complete system of biholomorphic invariants of homogeneous plane curve singularities from their Milnor algebras.

preprint2016arXiv

Effective transitive actions of the unitary group on quotients of Hopf manifolds

In our article of 2002 joint with N. Kruzhilin we showed that every connected complex manifold of dimension $n\ge 2$ that admits an effective transitive action by holomorphic transformations of the unitary group ${\rm U}_n$ is biholomorphic to the quotient of a Hopf manifold by the action of ${\mathbb Z}_m$ for some integer $m$ satisfying $(n,m)=1$ . In this note, we complement the above result with an explicit description of all effective transitive actions of ${\rm U}_n$ on such quotients, which provides an answer to a 10-year old question.

preprint2016arXiv

On homogeneous hypersurfaces in ${\mathbb C}^3$

We consider a family $M_t^n$ , with $n\ge 2$ , $t>1$ , of real hypersurfaces in a complex affine $n$ -dimensional quadric arising in connection with the classification of homogeneous compact simply-connected real-analytic hypersurfaces in ${\mathbb C}^n$ due to Morimoto and Nagano. To finalize their classification, one needs to resolve the problem of the embeddability of $M_t^n$ in ${\mathbb C}^n$ for $n=3,7$ . In our earlier article we showed that $M_t^7$ is not embeddable in ${\mathbb C}^7$ for every $t$ and that $M_t^3$ is embeddable in ${\mathbb C}^3$ for all $1<t<1+10^{-6}$ . In the present paper, we improve on the latter result by showing that the embeddability of $M_t^3$ in fact takes place for $1<t<\sqrt{(2+\sqrt{2})/3}$ . This is achieved by analyzing the explicit totally real embedding of the sphere $S^3$ in ${\mathbb C}^3$ constructed by Ahern and Rudin. For $t\ge\sqrt{(2+\sqrt{2})/3}$ the problem of the embeddability of $M_t^3$ remains open.

preprint2016arXiv

On the contravariant of homogeneous forms arising from isolated hypersurface singularities

Let ${\mathcal Q}_n^d$ be the vector space of homogeneous forms of degree $d\ge 3$ on ${\mathbb C}^n$ , with $n\ge 2$ . The object of our study is the map $Φ$ , introduced in earlier articles by J. Alper, M. Eastwood and the author, that assigns to every form for which the discriminant $Δ$ does not vanish the so-called associated form lying in the space ${\mathcal Q}_n^{n(d-2)*}$ . This map is a morphism from the affine variety $X_n^d:=\{f\in{\mathcal Q}_n^d:Δ(f)\ne 0\}$ to the affine space ${\mathcal Q}_n^{n(d-2)*}$ . Letting $p$ be the smallest integer for which the product $Δ^pΦ$ extends to a morphism from ${\mathcal Q}_n^d$ to ${\mathcal Q}_n^{n(d-2)*}$ , one observes that the extended map defines a contravariant of forms in ${\mathcal Q}_n^d$ . In the present paper we obtain upper bounds for $p$ thus providing estimates for the contravariant's degree.

preprint2016arXiv

On the CR-curvature of Levi degenerate tube hypersurfaces

In our recent article (to appear in the Journal of Differential Geometry in 2016) we studied tube hypersurfaces in ${\mathbb C}^3$ that are 2-nondegenerate and uniformly Levi degenerate of rank 1. In particular, we discovered that for the CR-curvature of such a hypersurface to vanish it suffices to require that only two coefficients (called $Θ^2_{21}$ and $Θ^2_{10}$ ) in the expansion of a single component of the CR-curvature form be identically zero. In this paper, we show that, surprisingly, the vanishing of the entire CR-curvature is in fact implied by the vanishing of a single quantity derived from $Θ^2_{10}$ . This fact strengthens the main theorem of the earlier article and also leads to a remarkable system of partial differential equations. Furthermore, we explicitly characterize the class of not necessarily CR-flat tube hypersurfaces given by the vanishing of $Θ^2_{21}$ .

preprint2016arXiv

On the image of the associated form morphism

Let ${\mathbb C}[x_1,\dots,x_n]_{d+1}$ be the vector space of homogeneous forms of degree $d+1$ on ${\mathbb C}^n$ , with $n,d\ge 2$ . In earlier articles by J. Alper, M. Eastwood and the author, we introduced a morphism, called $A$ , that assigns to every nondegenerate form the so-called associated form lying in the space ${\mathbb C}[y_1,\dots,y_n]_{n(d-1)}$ . One of the reasons for our interest in $A$ is the conjecture---motivated by the well-known Mather-Yau theorem on complex isolated hypersurface singularities---asserting that all regular ${\mathrm {GL}}_n$ -invariant functions on the affine open subvariety ${\mathbb C}[x_1,\dots,x_n]_{d+1,Δ}$ of forms with nonvanishing discriminant can be obtained as the pull-backs by means of $A$ of the rational ${\mathrm {GL}}_n$ -invariant functions on ${\mathbb C}[y_1,\dots,y_n]_{n(d-1)}$ defined on ${\mathrm {im}}(A)$ . The morphism $A$ factors as $A={\mathbf A}\circ {\mathrm {grad}}$ , where ${\mathrm {grad}}$ is the gradient morphism and ${\mathbf A}$ assigns to every $n$ -tuple of forms of degree $d$ with nonvanishing resultant a form in ${\mathbb C}[y_1,\dots,y_n]_{n(d-1)}$ defined analogously to $A(f)$ for a nondegenerate $f$ . In order to establish the conjecture, it is important to study the image of ${\mathbf A}$ . In the present paper, we show that ${\mathrm {im}}({\mathbf A})$ is an open subset of an irreducible component of each of the so-called catalecticant varieties $V$ , ${\mathrm {Gor}}(T)$ and describe the closed complement to ${\mathrm {im}}({\mathbf A})$ , at the same time clarifying and extending known results on these varieties. Furthermore, for $n=3$ , $d=2$ we give a description of the complement to ${\mathrm {im}}({\mathbf A})$ via the zero locus of the Aronhold invariant of degree 4, which is analogous to the case $n=2$ where this complement is known to be the vanishing locus of the catalecticant for any $d\ge 2$ .

preprint2015arXiv

A short proof of the Dimension Conjecture for real hypersurfaces in ${\mathbb C}^2$

Recently, I. Kossovskiy and R. Shafikov have settled the so-called Dimension Conjecture, which characterizes spherical hypersurfaces in ${\mathbb C}^2$ via the dimension of the algebra of infinitesimal automorphisms. In this note, we propose a short argument for obtaining their result.

preprint2015arXiv

On the Kobayashi hyperbolicity of tube domains in ${\mathbb C}^2$

We construct an elementary counterexample to the criterion for Kobayashi hyperbolicity for a class of tube domains in ${\mathbb C}^2$ proposed by J.-J. Loeb.

preprint2015arXiv

Proper group actions in complex geometry

Proper group actions are ubiquitous in mathematics and have many of the attractive features of actions of compact groups. In this survey, we discuss proper actions of Lie groups on smooth manifolds. If the group dimension is sufficiently high, all proper effective actions can be explicitly determined, and our principal goal is to provide a comprehensive exposition of known classification results in the complex setting. They include a complete description of Kobayashi-hyperbolic manifolds with high-dimensional automorphism group, which is a case of special interest.

preprint2014arXiv

Affine rigidity of Levi degenerate tube hypersurfaces

Let C(2,1) be the class of connected 5-dimensional CR-hypersurfaces that are 2-nondegenerate and uniformly Levi degenerate of rank 1. In a recent article, we proved that the CR-structures in C(2,1) are reducible to so(3,2)-valued absolute parallelisms. In the present paper, we apply this result to study tube hypersurfaces in C^3 that belong to C(2,1) and whose CR-curvature identically vanishes. Every such hypersurface is shown to be affinely equivalent to an open subset of the tube over the future light cone.

preprint2013arXiv

Associated Forms in Classical Invariant Theory

It was conjectured in a recent article by M. Eastwood and the second author that all absolute classical invariants of forms of degree $m\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(m-2)$ by means of assigning every form with non-vanishing discriminant the so-called associated form. In that paper, this surprising conjecture was confirmed for binary forms of degree $m \le 6$ and ternary cubics. In the present article, we settle the conjecture in full generality. In addition, we propose a stronger version of this statement and obtain evidence supporting it.

preprint2013arXiv

On the Classification of Homogeneous Hypersurfaces in Complex Space

We discuss a family $M_t^n$ , with $n\ge 2$ , $t>1$ , of real hypersurfaces in a complex affine $n$ -dimensional quadric arising in connection with the classification of homogeneous compact simply-connected real-analytic hypersurfaces in ${\mathbb C}^n$ due to Morimoto and Nagano. To finalize their classification, one needs to resolve the problem of the embeddability of $M_t^n$ in ${\mathbb C}^n$ for $n=3,7$ . We show that $M_t^7$ is not embeddable in ${\mathbb C}^7$ for every $t$ and that $M_t^3$ is embeddable in ${\mathbb C}^3$ for all $1<t<1+10^{-6}$ . As a consequence of our analysis of a map constructed by Ahern and Rudin, we also conjecture that the embeddability of $M_t^3$ takes place for all\, $1<t<\sqrt{(2+\sqrt{2})/3}$ .

preprint2012arXiv

Reduction of five-dimensional uniformly Levi degenerate CR structures to absolute parallelisms

Let ${\mathfrak C}_{2,1}$ be the class of connected 5-dimensional CR-hypersurfaces that are 2-nondegenerate and uniformly Levi degenerate of rank 1. We show that the CR-structures in ${\mathfrak C}_{2,1}$ are reducible to ${\mathfrak{so}}(3,2)$ -valued absolute parallelisms and give applications of this result.

preprint2011arXiv

Application of classical invariant theory to biholomorphic classification of plane curve singularities, and associated binary forms

We use classical invariant theory to solve the biholomorphic equivalence problem for two families of plane curve singularities previously considered in the literature. Our calculations motivate an intriguing conjecture that proposes a way of extracting a complete set of invariants of homogeneous plane curve singularities from their moduli algebras.

preprint2011arXiv

On the Affine Homogeneity of Algebraic Hypersurfaces Arising from Gorenstein Algebras

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}$ such hypersurfaces naturally arise in CR-geometry. Applications of these hypersurfaces to problems in algebra and geometry are particularly striking when the hypersurfaces are affine homogeneous. In the present paper we establish a criterion for the affine homogeneity of $S_π$ . This condition requires the automorphism group $\hbox{Aut}({\mathfrak m})$ of ${\mathfrak m}$ to act transitively on the set of hyperplanes in ${\mathfrak m}$ complementary to $\hbox{Ann}({\mathfrak m})$ . As a consequence of this result we obtain the affine homogeneity of $S_π$ under the assumption that the algebra $A$ is graded.

preprint2011arXiv

On the Kobayashi hyperbolicity of certain tube domains

In an earlier article the second author introduced three families of tube domains in ${\mathbf C}^2$ with holomorphic automorphism group isomorphic to ${\mathbf R}\ltimes{\mathbf R}^2$ and envelope of holomorphy equal to ${\mathbf C}^2$ . In the present paper we show that every domain in each of these families is Kobayashi-hyperbolic.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Alexander Isaev

Research overview

Is this your work?

16 publications

Associated Forms and Hypersurface Singularities: The Binary Case

Effective transitive actions of the unitary group on quotients of Hopf manifolds

On homogeneous hypersurfaces in ${\mathbb C}^3$

On the contravariant of homogeneous forms arising from isolated hypersurface singularities

On the CR-curvature of Levi degenerate tube hypersurfaces

On the image of the associated form morphism

A short proof of the Dimension Conjecture for real hypersurfaces in ${\mathbb C}^2$

On the Kobayashi hyperbolicity of tube domains in ${\mathbb C}^2$

Proper group actions in complex geometry

Affine rigidity of Levi degenerate tube hypersurfaces

Associated Forms in Classical Invariant Theory

On the Classification of Homogeneous Hypersurfaces in Complex Space

Reduction of five-dimensional uniformly Levi degenerate CR structures to absolute parallelisms

Application of classical invariant theory to biholomorphic classification of plane curve singularities, and associated binary forms

On the Affine Homogeneity of Algebraic Hypersurfaces Arising from Gorenstein Algebras

On the Kobayashi hyperbolicity of certain tube domains

See the researcher in context

Building this map preview

Alexander Isaev

Research overview

Is this your work?

16 publications

Associated Forms and Hypersurface Singularities: The Binary Case

Effective transitive actions of the unitary group on quotients of Hopf manifolds

On homogeneous hypersurfaces in C3{\mathbb C}^3C3

On the contravariant of homogeneous forms arising from isolated hypersurface singularities

On the CR-curvature of Levi degenerate tube hypersurfaces

On the image of the associated form morphism

A short proof of the Dimension Conjecture for real hypersurfaces in C2{\mathbb C}^2C2

On the Kobayashi hyperbolicity of tube domains in C2{\mathbb C}^2C2

Proper group actions in complex geometry

Affine rigidity of Levi degenerate tube hypersurfaces

Associated Forms in Classical Invariant Theory

On the Classification of Homogeneous Hypersurfaces in Complex Space

Reduction of five-dimensional uniformly Levi degenerate CR structures to absolute parallelisms

Application of classical invariant theory to biholomorphic classification of plane curve singularities, and associated binary forms

On the Affine Homogeneity of Algebraic Hypersurfaces Arising from Gorenstein Algebras

On the Kobayashi hyperbolicity of certain tube domains

See the researcher in context

Building this map preview

On homogeneous hypersurfaces in ${\mathbb C}^3$

A short proof of the Dimension Conjecture for real hypersurfaces in ${\mathbb C}^2$

On the Kobayashi hyperbolicity of tube domains in ${\mathbb C}^2$