Related papers: A new look at Condition A
In this sequel, employing more commutative algebra than that explored in \cite{CCJ}, we show that an isoparametric hypersurface with four principal curvatures and multiplicities $(3,4)$ in $S^{15}$ is one constructed by Ozeki-Takeuchi…
Let $M$ be an isoparametric hypersurface in the sphere $S^n$ with four distinct principal curvatures. M\"{u}nzner showed that the four principal curvatures can have at most two distinct multiplicities $m_1, m_2$, and Stolz showed that the…
We prove that an isoparametric hypersurface with four principal curvatures and multiplicity pair $(7,8)$ is either the one constructed by Ozeki and Takeuchi, or one of the two constructed by Ferus, Karcher, and M\"{u}nzner. This completes…
The classification of isoparametric hypersurfaces with four principal curvatures in spheres in [2] hinges on a crucial characterization, in terms of four sets of equations of the 2nd fundamental form tensors of a focal submanifold, of an…
The classification work [5], [9] left unsettled only those anomalous isoparametric hypersurfaces with four principal curvatures and multiplicity pair $\{4,5\},\{6,9\}$ or $\{7,8\}$ in the sphere. By systematically exploring the ideal theory…
A new proof of the homogeneity of isoparametric hypersurfaces with six simple principal curvatures (Dorfmeister-Neher's theorem) is given in a method applicable to the multiplicity two case.
Based on representation theory of Clifford algebra, Ferus, Karcher and M\"{u}nzner constructed a series of isoparametric foliations. In this paper, we will survey recent studies on isoparametric hypersurfaces of OT-FKM type and investigate…
We study isoparametric hypersurfaces, whose principal curvatures are all constant, in the pseudo-Riemannian space forms. In this paper, we investigate two topics. Firstly, according to representations of Clifford algebras, we give a…
Let $\mathscr{k}=\overline{\mathbb{F}_2}$ and let $0\neq\alpha\in \mathscr{k}$. We present a conjecture supported by computer experimentation involving the Brenner-Monsky quartic $g_\alpha=\alpha x^2y^2+z^4+xyz^2+(x^3+y^3)z\in…
Using the Blaschke-Berwald metric and the affine shape operator of a hypersurface M in the (n+1)-dimensional real affine space we can define some generalized curvature tensor named the Opozda-Verstraelen affine curvature tensor. In this…
Let $A$ be an integer matrix, and assume that its semigroup ring $\mathbb{C}[\mathbb{N}A]$ is normal. Fix a face $F$ of the cone of $A$. We show that the projection and restriction of an $A$-hypergeometric system to the coordinate subspace…
Oeljeklaus-Toma (OT) manifolds are higher dimensional analogues of Inoue-Bombieri surfaces and their construction is associated to a finite extension $K$ of $Q$ and a subgroup of units $U$. We characterize the existence of pluriclosed…
We show that the SO(3) monopole cobordism formula from Feehan and Leness (2002) implies that all smooth, closed, oriented four-manifolds with $b^1=0$ and $b^+\geq 3$ and odd with Seiberg-Witten simple type satisfy the superconformal simple…
It is well-known that, in general, an appearance of an algebraic hypersurface of finite multiplicity in the projective joint spectrum of an operator tuple does not imply the existence of a finite-dimensional common invariant subspace.We…
In 2015, I. Soprunov and A. Zvavitch have shown how to use the Bernstein-Khovanskii-Kushnirenko theorem to derive non-negativity of a certain bilinear form $F_{\Delta}$, defined on (pairs of) convex bodies. Together with C. Saroglou, they…
An isoparametric hypersurface in unit spheres has two focal submanifolds. Condition A plays a crucial role in the classification theory of isoparametric hypersurfaces in [CCJ07], [Chi16] and [Miy13]. This paper determines $C_A$, the set of…
We consider the topology for a class of hypersurfaces with highly nonisolated singularites which arise as exceptional orbit varieties of a special class of prehomogeneous vector spaces, which are representations of linear algebraic groups…
For a finite set A of integral vectors, Gel'fand, Kapranov and Zelevinskii defined a system of differential equations with a parameter vector as a D-module, which system is called an A-hypergeometric (or a GKZ hypergeometric) system.…
This is a preliminary note on a family of minimal surfaces in the 3-sphere defined by a compatible fourth order equation. The minimal surfaces are geometrically characterized either by having a surface of revolution like induced metric, or…
For the class of quantum integrable models generated from the $q-$Onsager algebra, a basis of bispectral multivariable $q-$orthogonal polynomials is exhibited. In a first part, it is shown that the multivariable Askey-Wilson polynomials…