arXiv research

Study framed links in simply connected 4-manifolds, linking to exotic phenomena.

Study $4$-dim hypersurfaces with constant mean curvature in unit spheres.

Proof outlined for 4D smooth Poincaré conjecture.

We characterise the actions, by holomorphic isometries on a Kähler manifold with zero first Betti number, of an abelian Lie group of dim\geq 2, for which the moment map is horizontally weakly conformal (with respect to some Euclidean structure on the Lie algebra of the group). Furthermore, we study the hyper-Kähler mom…

Proves planar Lipschitz critical points of area functional are smooth.

The study confirms a conjecture about critical points of smooth functions.

Solves Yau-Tian-Donaldson conjecture for smooth projective varieties.

New 4D shapes found that defy smoothness rules.

We show that the torus knot $T_{4,9}$ bounds a smooth Möbius band in the $4$-ball, giving a counterexample to Batson's non-orientable analogue of Milnor's conjecture on the smooth slice genera of torus knots.

Computes invariant for smooth h-cobordisms families, proving duality and vanishing theorems.

We give a detailed construction of a proper C^2-smooth function on R^4 such that its Hamiltonian flow has no periodic orbits on at least one regular level set. This result can be viewed as a C^2-smooth counterexample to the Hamiltonian Seifert conjecture in dimension four.

Proves Sard conjecture for specific distributions, controlling divergence of vector fields.

4-dim intrinsic (material) Riemannian metric $G$ of the material 4-D space-time continuum $P$ is utilized as the characteristic of the aging processes developing in the material. Manifested through variation of basic material characteristics such as density, moduli of elasticity, yield stress, strength, and toughness.,…

The minimal number of critical points is studied for smooth functions on closed manifolds.

Smooth convergence shown for curve diffusion flows.

In this note, we first give a criterion of pseudo-Einstein contact forms and then affirm the CR analogue of Frankel conjecture in a closed, spherical, strictly pseudoconvex CR manifold of nonnegative pseudohermitian curvature on the space of smooth representatives of the first Kohn-Rossi cohomology group. Moreover, we …

In this follow-up of our earlier two works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) in the D-project, we study further the notion of a `differentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matri…

A counterexample is given for the Knaster-like conjecture of Makeev for functions on $S^2$. Some particular cases of another conjecture of Makeev, on inscribing a quadrangle into a smooth simple closed curve, are solved positively.

Proves classification of 4D complete intersections up to diffeomorphism.

Prove Gromov's Euclidean endpoint $C^0$ rigidity conjecture for positive mass theorem.

We study the twisted Ruelle zeta function $ζ_X(s)$ for smooth Anosov vector fields $X$ acting on flat vector bundles over smooth compact manifolds. In dimension $3$, we prove Fried conjecture, relating Reidemeister torsion and $ζ_X(0)$. In higher dimensions, we show more generally that $ζ_X(0)$ is locally constant with…

In this paper, we show that the derivative of the genus-1 Virasoro conjecture for Gromov-Witten invariants along the direction of quantum volume element holds for all smooth projective varieties. This result provides new evidence for the Virasoro conjecture.

We discuss the connection between the smooth and metric structure on quotient spaces, prove smoothness of isometries in special cases and discuss an application to a conjecture of Molino.

We outline the construction of a proper C^2-smooth function on R^4 such that its Hamiltonian flow has no periodic orbits on at least one regular level set. This result can be viewed as a C^2-smooth counterexample to the Hamiltonian Seifert conjecture in dimension four.

Paper proves KRR saturation effect for smooth functions.

We give an explicit counter-example to a conjecture of Kyusik Hong and Joonyeong Won about $α$-invariants of polarized smooth del Pezzo surfaces of degree one.

Solves Besse conjecture on 3D manifolds, proving metric rigidity.

Smooth deformation of Moishezon manifolds preserves their Moishezon property.

This is the announcement of an alternative approach to the 3-dimensional Poincaré Conjecture, different from Perelman's big and spectacular breakthrough. No claim concerning the other parts of the Thurston Geometrization Conjecture, come with our purely 4-dimensional line of argument.

Counterexamples found for knot conjectures.

Conjecture 1 of Stanley Chang: "Positive scalar curvature of totally nonspin manifolds" asserts that a closed smooth manifold M with non-spin universal covering admits a metric of positive scalar curvature if and only if a certain homological condition is satisfied. We present a counterexample to this conjecture, based…

Let $u$ be a harmonic function in the unit ball $B(0,1) \subset \mathbb{R}^n$, $n \geq 3$, such that $u(0)=0$. Nadirashvili conjectured that there exists a positive constant $c$, depending on the dimension $n$ only, such that $H^{n-1}(\{u=0 \}\cap B) \geq c$. We prove Nadirashvili's conjecture as well as its counterpar…

Paper proves existence of area-minimizing submanifolds on almost any manifold with fractal singular sets.

A viable and still unproved conjecture states that, if $X$ is a smooth algebraic surface and $C$ is a smooth algebraic curve in $X$, then $C$ realizes the smallest possible genus amongst all smoothly embedded $2$-manifolds in its homology class. A proof is announced here for this conjecture, for a large class of surfac…

Proves conjecture on deformation invariance of big fundamental groups.

Proof of Gromov's theorem on convex polytopes with acute angles.

In this paper, by use of techniques associated to cobordism theory and Morse theory,we give a simple proof of Poincare conjecture, i.e. Every compact smooth simply connected 3-manifold is homeomorphic to 3-sphere.

For any closed smooth Riemannian manifold H. Weyl has defined a sequence of numbers called today intrinsic volumes. They include volume, Euler characteristic, and integral of the scalar curvature. We conjecture that absolute values of all intrinsic volumes are bounded by a constant depending only on the dimension of th…

The study refines known counterexamples in 4D to satisfy certain inequalities.

We construct a new aperiodic symplectic plug and hence new smooth counterexamples to the Hamiltonian Seifert conjecture in R^{2n} for n>2. In other words, we develop an alternative procedure, to those of V. L. Ginzburg and M. Herman, for constructing smooth Hamiltonian flows, on the standard symplectic R^{2n} for n>2, …

Approaches 4D Schoenflies via pseudo-isotopy.

Proves Schoen's conjecture on tori with specific conditions.

Study confirms conjecture about Kähler metrics on smooth minimal models.

Proves existence of Killing fields in smooth spacetimes with compact Cauchy horizons.

Diffusion models adapt to data geometry through log-domain smoothing.

We prove the Yau-Tian-Donaldson's conjecture for any $\mathbb{Q}$-Fano variety that has a log smooth resolution of singularities such that the discrepancies of all exceptional divisors are non-positive. In other words, if such a Fano variety is K-polystable, then it admits a Kähler-Einstein metric. This extends the pre…

We prove the long time existence and uniqueness of solution to a parabolic Monge-Ampère type equation on compact Hermitian manifolds. We also show that the normalization of the solution converges to a smooth function in the smooth topology as $t$ approaches infinity which, up to scaling, is the solution to a Monge-Ampè…

We prove here that given a proper isometric action $K\times M\to M$ on a complete Riemannian manifold $M$ then every continuous isometric flow on the orbit space $M/K$ is smooth, i.e., it is the projection of an $K$-equivariant smooth flow on the manifold $M$. As a direct corollary we infer the smoothness of isometric …