BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Alexander Isaev

Alexander Isaev contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CVmath.AGmath.ACmath.DG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

16 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;s degree.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access