Related papers: On Huang-Yin's Normal Form I

The purpose of this article is to examine the possible shapes of type I singularities that form in the mean curvature flow of submanifolds of arbitrary codimension, assuming that the initial submanifold satisfies a particular curvature…

We classify rotational surfaces in a normed 3-space with rotationally symmetric norm whose principal curvatures satisfy a linear relation.

We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects.

Given a $T$-rough definably amenable $T$-rough approximate subgroup $A$ of a group in some first-order structure, there is a type-definable subgroup $H$ normalised by $A$ and contained in $A^4$ of bounded index in $\langle A\rangle$.

In this paper, we define the \textit{normal form} of collections of disjoint three \textit{bridge arcs} for a given rational $3$-tangle. We show that there is a sequence of \textit{normal jump moves} which leads one to the other for two…

A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the…

We consider surfaces with boundary satisfying a sixth order nonlinear elliptic partial differential equation corresponding to extremising the $L^2$-norm of the gradient of the mean curvature. We show that such surfaces with small $L^2$-norm…

We give a complete classification of Riemannian and Lorentzian surfaces of arbitrary codimension in a pseudo-sphere whose pseudo-spherical Gauss maps are of 1-type or, in particular, harmonic. In some cases a concrete global classification…

In this paper, we show how to construct a special class of ruled hypersurfaces in the nonflat complex space forms $\mathbb{CP}^n$ and $\mathbb{C}H^n$. This is done by taking an arbitrary smooth curve in a totally geodesic (complex)…

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.

To a singular foliation on the plane corresponds a circular boundary at infinity endowed with a pre-lamination on the circle. We solve the converse direction. We determine which pre-lamination on the circle are boundary at infinity of a…

In this paper, we show that for a simply connected CW complex $Y$ with $H^{*}(Y;\mathbb{Q})$ of finite dimension, if $H^{*}(Y;\mathbb{Q})$ is concentrated in degrees $\leq 3$, then the rationalization $Y_\mathbb{Q}$ is formal. As an…

Let $M$ be a closed oriented Riemannian manifold of dimension $2 \leq d \leq 7$, and let $\rho \in H^{d - 1}(M, \mathbb R)$ have unit norm. We construct a lamination $\lambda_\rho$ whose leaves are exactly the minimal hypersurfaces which…

We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…

We construct three sequences of regular surfaces of general type with unbounded numerical invariants whose canonical map is 2-to-1 onto a canonically embedded surface. Only sporadic examples of surfaces with these properties were previously…

A natural way to obtain a system of partial differential equations on a manifold is to vary a suitably defined sesquilinear form. The sesquilinear forms we study are Hermitian forms acting on sections of the trivial $\mathbb{C}^n$-bundle…

In \cite{X-Z DCS1}, we introduced discrete conformal structures on surfaces with boundary via an axiomatic framework, and provided a classification of such discrete conformal structures. The present work focuses on the rigidity and…

We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…

Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of…

We suggest a construction of virtual fundamental classes of certain types of moduli spaces.