New 2D complex hyperbolic structures found on sphere orbibundles.
problem Locally rigid complex hyperbolic structures on sphere orbibundles.
method Constructing families of complex hyperbolic structures on disc orbibundles.
result Examples of non-locally rigid complex hyperbolic structures.
Develops orbibundle theory for complex hyperbolic geometry.
problem Calculating invariants of complex hyperbolic disc orbibundles.
method Using diffeology, calculates Euler number and Toledo invariant.
result New tools for invariants of complex hyperbolic orbibundles.
Study complex hyperbolic structures on a disc orbibundle with 5 cone points.
problem Constructing complex hyperbolic structures on a disc orbibundle with vanishing Euler number.
method Analyzing involutions in PU(2,1) and using bending-connectedness. result A 4-dimensional bending-connected family of complex hyperbolic structures on a disc orbibundle.
Study on invariants of complex hyperbolic disc bundles over surfaces, proving a conjecture.
problem Investigating relationships between three invariants of complex hyperbolic disc orbibundles.
method Analyzing Euler characteristic, Euler number, and Toledo invariant of disc orbibundles over 2-orbifolds.
result Proved that -3|τ| = 2e + 2χ holds for certain complex hyperbolic disc orbibundles.
In the first part of this article we provide a geometrically oriented approach to the theory of orbispaces which originally had been introduced by Chen. We explain the notion of a vector orbibundle and characterize the good sections of a reduced vector orbibundle as the smooth stratified sections. In the second part of…
Study Higgs bundles and flat connections on quasi-regular Sasakian manifolds.
problem Investigate Higgs bundles and flat connections on compact Sasakian manifolds.
method Introduce quasi-regularity and regularity of vector bundles, relate to orbibundles, extend non-abelian Hodge correspondence.
result Extend non-abelian Hodge correspondence to quasi-regular Sasakian manifolds.
We introduce orbifolds from the classical point of view, using charts, and present orbifold versions of elementary objects from Algebraic Topology, such as the fundamental group, coverings and Euler characteristic; Differential Topology/Geometry, including orbibundles, differential forms, integration and (equivariant) …
We present the theory of pseudodifferential operators acting on a vector orbibundle over an orbifold, construct the zeta function of an elliptic pseudodifferential operator and show the existence of a meromorphic extension to the complex plane with at most simple poles. We give formulas for generalized densities on the…
For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is the separable Banach (Frechet) space of C^r (C^infty, resp.) orbisections of the …
We examine open books with powers of fibered Dehn twists as monodromy. The resulting contact manifolds can be thought of as Boothby-Wang orbibundles over symplectic orbifolds. Using the mean Euler characteristic of equivariant symplectic homology we can distinguish these contact manifolds and hence show that some fiber…
The paper studies Sasaki-Ricci solitons on Sasakian manifolds up to seven dimensions.
problem Characterizing Sasaki-Ricci solitons on Sasakian manifolds of up to seven dimensions.
method Analysis of the Sasaki-Ricci flow and convergence to solitons.
result Existence and classification of Sasaki-Ricci solitons on Sasakian manifolds up to seven dimensions.
Stein fillability of circle bundles over symplectic manifolds is restricted.
problem Stein fillability of circle bundles over symplectic manifolds is restricted.
method Analyzing Boothby-Wang bundles and orbibundles over integral symplectic manifolds.
result Circle bundles over certain symplectic manifolds do not admit Stein fillable contact structures.
This paper studies both the conductance and charge transport on 2D orbifolds in a strong magnetic field. We consider a family of Landau Hamiltonians on a complex, compact 2D orbifold Y that are parametrised by the Jacobian torus J(Y) of Y. We calculate the degree of the associated stable holomorphic spectral orbi…
Every compact aspherical Riemannian manifold admits a canonical series of orbibundle structures with infrasolv fibers which is called its infrasolv tower. The tower arises from the solvable radicals of isometry group actions on the universal covers. Its length and the geometry of its base measure the degree of continuo…
We present an approach to Gromov-Witten invariants that works on arbitrary (closed) symplectic manifolds. We avoid genericity arguments and take into account singular curves in the very formulation. The method is by first endowing mapping spaces from (prestable) algebraic curves into the symplectic manifold with the st…
The paper shows convergence of Sasaki-Ricci flow on Sasakian 5-manifolds.
problem Analyzing convergence of Sasaki-Ricci flow on Sasakian manifolds.
method Uniform L^4-bound of transverse Ricci curvature, application of normalized Sasaki-Ricci flow.
result Solutions converge to unique singular Sasaki η-Einstein metric.
Study of lattices and subgroups in PSL2(R) with grafting continuity.
problem Topology of subgroups in PSL2(R) and their properties.
method Identifying spaces of lattices and elementary subgroups, proving continuity of conformal grafting.
result Spaces of lattices are fiber orbibundles over moduli space, and closures have specific topological properties.
The paper proves the existence of Sasaki-Einstein metrics on specific Sasakian manifolds.
problem Proving the existence of conic Sasaki-Einstein metrics on log Fano Sasakian manifolds of dimension five.
method Deriving uniform L^{4}-bounds and analyzing the conic Sasaki-Ricci flow.
result Existence of conic Sasaki-Einstein metrics on log Fano Sasakian manifolds of dimension five.
We consider four notions of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that one of these notions is natural and necessary in order to uniquely define the notion of orbibundle pullback. For the notion of complete orbifold map, we show that the corresponding set of C^r maps between …
New research finds 145 infinite families of CS spheres are standard.
problem Determining which Cappell-Shaneson spheres are diffeomorphic to the standard 4-sphere.
method Using Kirby calculus and new families of CS spheres.
result Proves 145 new infinite families of CS spheres are standard.
Every smooth 4-sphere is the same as the standard one.
problem Identifying smooth 4-spheres.
method Proved diffeomorphism to the standard 4-sphere.
result Smooth homotopy 4-spheres are diffeomorphic to the 4-sphere.
Kervaire's sphere-link is equivalent to a ribbon sphere-link, simplifying complex 2-complexes.
problem Understanding the structure of 2-complexes and their asphericity.
method Using Kervaire's sphere-link and ribbon sphere-link equivalence, analyzing the compact complement of ribbon disk-links.
result Every connected subcomplex of a contractible finite 2-complex is aspherical.
New theory proves infinite homology 3-spheres in homology 4-spheres.
problem Existence of homology 3-spheres in homology 4-spheres.
method Diagrammatics of surface cross sections, Taubes' work.
result Infinite number of homology 3-spheres in homology 4-spheres.
The 3-sphere has either 2 minimal 2-spheres or an optimal foliation by 2-spheres.
problem Proving existence of minimal 2-spheres or optimal foliations in arbitrary Riemannian 3-spheres.
method Analyzing the properties of arbitrary Riemannian metrics on 3-spheres.
result The existence of at least two minimal 2-spheres or an optimal foliation in 3-spheres with arbitrary metrics.
Infinitely many splitting spheres found for unlinked 2-spheres in 4-space.
problem Existence of pairwise non-isotopic splitting spheres for unlinked 2-spheres in 4-space.
method Analytical proof showing non-isotopic spheres.
result Infinitely many non-isotopic splitting spheres found.
Reduces weak reducing pairs to spheres in 3-sphere Heegaard surfaces.
problem Finding reducing spheres for weak reducing pairs in Heegaard surfaces.
method Proves existence of reducing spheres for weak reducing pairs in 3-sphere Heegaard surfaces.
result Reduction of weak reducing pairs to spheres if genus is at most 3.
The study shows how to construct d-spheres from (d−1)-spheres and d-balls without additional vertices.
problem Constructing d-spheres from (d−1)-spheres and d-balls without additional vertices. method Examining specific types of spheres (flag, stacked, join of spheres) and d-balls to determine if constructions can be made without extra vertices. result Affirmative answers to constructing d-spheres from (d−1)-spheres and d-balls without additional vertices for certain types of spheres and d-balls. New proof for sphere recognition algorithm.
problem Sphere recognition algorithm proof.
method New proof of a lemma in Abigail Thompson's algorithm.
result New proof of a lemma in Abigail Thompson's proof of the Recognition Algorithm for 3-spheres.
Proves stability of convex spheres with similar geodesic lengths.
problem Stability of convex spheres with specific geodesic properties.
method Proves C^0 Cheeger-Gromov closeness to the round sphere.
result Strictly convex 2-spheres are close to the round sphere.
Soliton spheres are immersed 2-spheres in the conformal 4-sphere S^4=HP^1 that allow rational, conformal parametrizations f:CP^1->HP^1 obtained via twistor projection and dualization from rational curves in CP^{2n+1}. Soliton spheres can be characterized as the case of equality in the quaternionic Pluecker estimate. A …
Study on sphere immersions and their stability indices.
problem Analyzing the stability of sphere immersions.
method Calculation of Morse indices and stability indices for specific sphere immersions.
result Bounds on stability index of associative cone in R7. The paper constructs biharmonic maps between spheres using polynomial maps.
problem Creating biharmonic maps between spheres.
method Using harmonic homogeneous polynomial maps of different degrees to generate proper biharmonic maps.
result Established a method for constructing proper biharmonic product maps.
Classification of constant curvature surfaces in Berger spheres.
problem Identifying complete rotationally invariant surfaces with constant Gauss curvature in Berger spheres.
method Complete classification through detailed analysis of Clifford tori and spheres.
result Rotationally invariant spheres with constant Gauss curvature are the only topological spheres in Berger spheres for K>KP. Characterizes a specific type of convex curves on a 3-sphere.
problem Understanding convex curves on a 3-sphere.
method Decomposes curves on 3-sphere into 2-sphere curves, characterizes locally convex ones.
result Completely characterized a class of convex curves on the 3-sphere.
Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.
problem Connectivity problem in reducing sphere complex for genus-4 Heegaard surface.
method Presented a sufficient condition for a non-separating weak reducing pair to be separated by a reducing sphere.
result Reduced connectivity problem to showing disjointness of representative reducing spheres from a fixed disk.
Paper studies inscribed sphere and lines through centers of Apollonius spheres in n dimensions.
problem Tangency of spheres and lines through their centers.
method Lie sphere geometry and two-step construction of Apollonius spheres.
result Center of inscribed sphere coincides with point PX. Author provides an alternate proof of the free ribbon lemma.
problem Proving that every free sphere-link in the 4-sphere is a ribbon sphere-link.
method An alternate proof of the free ribbon lemma.
result Provides an alternate proof of the free ribbon lemma.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
In the 1-parameter family of Berger spheres S^3(a), a > 0 (S^3(1) is the round 3-sphere of radius 1) we classify the stable constant mean curvature spheres, showing that in some Berger spheres (a close to 0) there are unstable constant mean curvature spheres. Also, we classify the orientable compact stable constant mea…
We introduce and study a new class of homotopy spheres called Farrell-Jones spheres. Using Farrell-Jones sphere we construct examples of closed negatively curved manifolds M2n, where n=7 or 8, which are homeomorphic but not diffeomorphic to complex hyperbolic manifolds, thereby giving a partial answer to a que…
In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.
Study finds infinite families of Sasaki-Einstein metrics on spheres.
problem Finding Sasaki-Einstein metrics on spheres and exotic spheres.
method Analyzing odd-dimensional spheres and exotic spheres that bound parallelizable manifolds.
result Infinitely many families of Sasaki-Einstein metrics on spheres and exotic spheres.
We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum…
We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty…
Study biharmonic hypersurfaces in spheres, proving unique continuation theorem.
problem Characterize biharmonic hypersurfaces in spheres.
method Prove CMC Unique Continuation Theorem for biharmonic hypersurfaces of spheres.
result Supports the conjecture that biharmonic submanifolds of Euclidean spheres must be of constant mean curvature.
Standard S4 proved to be diffeomorphic to a curious homotopy sphere.
problem Determining the diffeomorphism of a curious homotopy sphere to the standard S4. method Proof based on properties of homotopy spheres and loose corks.
result The curious homotopy sphere is diffeomorphic to the standard S4. Formula derived for discrete improper affine spheres.
problem Constructing discrete improper affine spheres.
method Loop group factorizations and Birkhoff decomposition.
result Representation formula for discrete indefinite affine spheres.
We provide a computer-assisted proof of the holomorphy of the quartic and the octic meromorphic differentials arising in the main Theorem 4.11 of our paper 'The Classification of Branched Willmore spheres in the 3-Sphere and the 4-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.