On a Problem of Kuiper

Kefeng Liu

DOI: https://doi.org/10.1007/bf02877013

2001-01-01

Science in China Series A Mathematics

Abstract:We construct explicit Morse functions on Grassmannian manifolds, and use them to find explicit taut embeddings of the quadratic hypersurfaces in complex projective spaces into Euclidean spaces.

What problem does this paper attempt to address?

On Pseudo-Holomorhpic Curves in Complex Grassmannians

Yb Shen,Yx Dong

DOI: https://doi.org/10.1142/s0252959999000394

1999-01-01

Chinese Annals of Mathematics Series B

Abstract:Further geometry and topology for pseudo-holomorphic curves in complex Grassmannians Gn(CN) are studied. Some curvature pinching theorems for pseudo-holomorphic curves with constant Kahler angles in G(m)(C-N) are obtained, so that the corresponding results for pseudo-holomorphic curves in complex projective spaces are generalized.
Construction of Pluriharmonic Maps into Complex GrassmannManifolds

Xiao-li CHAO,Yi-bing SHEN

DOI: https://doi.org/10.3321/j.issn:0583-1431.2000.02.010

2000-01-01

Abstract:In this paper, some construction theorems ofpluriharmonic maps into complex Grassmann manifolds are obtained. Thesegeneralize the results of Mo Xiaohuan, Burstall F. E., Wood J. C. andUdagawa S.
On Mod 2 and Higher Elliptic Genera

Kefeng Liu

DOI: https://doi.org/10.1007/bf02096624

IF: 2.361

1992-01-01

Communications in Mathematical Physics

Abstract:In the first part of this paper, we construct mod 2 elliptic genera on manifolds of dimensions 8k+1, 8k+2 by mod 2 index formulas of Dirac operators. They are given by mod 2 modular forms or mod 2 automorphic functions. We also obtain an integral formula for the mod 2 index of the Dirac operator. As a by-product we find topological obstructions to group actions. In the second part, we construct higher elliptic genera and prove some of their rigidity properties under group actions. In the third part we write down characteristic series for all Witten genera by Jacobi theta-functions. The modular property and transformation formulas of elliptic genera then follow easily. We shall also prove that Krichever's genera, which come from integrable systems, can be written as indices of twisted Dirac operators forSU-manifolds. Some general discussions about elliptic genera are given.
Solving equations with Hodge theory

Kefeng Liu,Shengmao Zhu

2018-01-01

Abstract:We treat two quite different problems related to changes of complex structures on Kähler manifolds by using global geometric method. First, by using operators from Hodge theory on compact Kähler manifold, we present a closed explicit extension formula for holomorphic canonical forms in different complex structures. As applications, we give a closed explicit formula for certain canonical sections of Hodge bundles on marked and polarized moduli spaces of projective manifolds, and provide a closed explicit extension formula for holomorphic pluricanonical forms under certain natural conditions. Second, by using the operators in L^2-Hodge theory on Poincaré disk, we present a simple and unified method to solve the Beltrami equations with measurable coefficients for quasi-conformal maps.
Global Torelli Theorem for Projective Manifolds of Calabi-Yau Type

Xiaojing Chen,Kefeng Liu,Yang Shen

2016-01-01

Abstract: We prove that the period map from the Torelli space of Calabi--Yau type manifolds to the period domain of polarized Hodge structures is injective. The proof is based on the construction of holomorphic affine structure on the Teichm\"uller space and the construction of the completion space of the Torelli space with respect to the Hodge metric.
Birational geometry of Beauville–Mukai systems III: Asymptotic behavior

Xuqiang Qin,Justin Sawon

DOI: https://doi.org/10.1112/blms.13158

IF: 1.036

2024-10-01

Bulletin of the London Mathematical Society

Abstract:Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme is the unique hyperkähler manifold in its birational class. In particular, the Hilbert scheme is a Lagrangian fibration itself, which we realize as coming from a (twisted) Beauville–Mukai system on a Fourier–Mukai partner of S . We also show that when the degree of the surface is small our method can be used to find all birational models of the Hilbert scheme.

mathematics
On a classification of Morse functions on $3$-dimensional manifolds represented as connected sums of manifolds of Heegaard genus one

Naoki Kitazawa

2024-11-25

Abstract:Morse functions are important objects and tools in understanding topologies of manifolds since the 20th century. Their classification has been natural and difficult problems, and surprisingly, this is recently developing. Since the 2010's, results for cases of surfaces have been presented by Gelbukh, Marzantowicz and Michalak for example. We have also longed for higher dimensional cases. We present a classification of Morse functions on $3$-dimensional manifolds represented as connected sums of manifolds of Heegaard genus one. We concentrate on Morse functions such that preimages of single points containing no singular points are disjoint unions of spheres and tori. Existence of such functions implies that the $3$-dimensional closed and connected manifolds are of such manifolds. This has been shown by Saeki in 2006 and we further study structures of these functions.

Geometric Topology,Algebraic Topology
An analytic approach to Lefschetz and Morse theory on stratified pseudomanifolds

Gayana Jayasinghe

2024-07-20

Abstract:We develop an analytic framework for Lefschetz fixed point theory and Morse theory for Hilbert complexes on stratified pseudomanifolds. We develop formulas for both global and local Lefschetz numbers and Morse, Poincaré polynomials as (polynomial) supertraces over cohomology groups of Hilbert complexes, developing techniques for relating local and global quantities using heat kernel and Witten deformation based methods. We focus on the case where the metric is wedge and the Hilbert complex is associated to a Dirac-type operator and satisfies the Witt condition, constructing Lefschetz versions of Bismut-Cheeger $\mathcal{J}$ forms for local Lefschetz numbers of Dirac operators, with specialized formulas for twisted de Rham, Dolbeault and spin$^{\mathbb{C}}$ Dirac complexes as supertraces of geometric endomorphisms on cohomology groups of local Hilbert complexes. We construct geometric endomorphisms to define de Rham Lefschetz numbers for some self-maps for which the pullback does not induce a bounded operator on $L^2$ forms. A de Rham Witten instanton complex is constructed for Witt spaces with stratified Morse functions, proving Morse inequalities related to other results in the literature including Goresky and MacPherson's in intersection cohomology. We also prove a Lefschetz-Morse inequality for geometric endomorphisms on the instanton complex that is new even on smooth manifolds. We derive $L^2$ Lefschetz-Riemann-Roch formulas, which we compare and contrast with algebraic versions of Baum-Fulton-Quart. In the complex setting, we derive Lefschetz formulas for spin Dirac complexes and Hirzebruch $\chi_y$ genera which we relate to signature, self-dual and anti-self-dual Lefschetz numbers, studying their properties and applications including instanton counting. We compute these invariants in various examples with different features, comparing with versions in other cohomology theories.

Differential Geometry,Analysis of PDEs
Lefschetz Theorem Using Real Morse Theory

Nima Rose Manjila,A. J. Parameswaran

DOI: https://doi.org/10.48550/arXiv.2107.01591

2021-07-06

Abstract:We prove the Lefschetz hyperplane section theorem using a simpler machinery by making the observation that we can compose the Lefschetz Pencil with a Real Morse function to get a map from the variety to $\mathbb{R}$ which is "close" to being a Real Morse function. The proof uses a new method unlike the conventional one which uses vanishing cycles, thimbles and monodromy. We prove the genus formula for plane curves using Morse theory, Lefschetz pencil and Bézout's theorem. And then we prove the Riemann Hurwitz formula for ramified maps between curves by employing techniques from deformation theory. Lastly, we prove the Lefschetz Hyperplane Section Theorem solely using Real Morse Theory and exact sequences.

Algebraic Geometry,Dynamical Systems
On the Bergman Projection and the Lu Qi-Keng Conjecture

Steven G. Krantz

DOI: https://doi.org/10.48550/arXiv.1306.4382

2013-06-19

Abstract:On a reasonable class of domains in $\CC^n$, we characterize those holomorphic functions which continue analytically past the boundary. Then we give some applications of this result to holomorphic mappings. In addition, some new results about the Lu Qi-Keng conjecture are treated.

Complex Variables
Perverse sheaves on varieties with large fundamental groups

Donu Arapura,Botong Wang

2023-09-26

Abstract:We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map.

Algebraic Geometry,Differential Geometry
Generalized Morse Functions, Excision and Higher Torsions

Martin Puchol,Junrong Yan

2024-07-24

Abstract:Comparing invariants from both topological and geometric perspectives is a key focus in index theorem. This paper compares higher analytic and topological torsions and establishes a version of the higher Cheeger-Müller/Bismut-Zhang theorem. In fact, Bismut-Goette achieved this comparison assuming the existence of fiberwise Morse functions satisfying the fiberwise Thom-Smale transversality condition (TS condition). To fully generalize the theorem, we should remove this assumption. Notably, unlike fiberwise Morse functions, fiberwise generalized Morse functions (GMFs) always exist, we extend Bismut-Goette's setup by considering a fibration $ M \to S $ with a unitarily flat complex bundle $ F \to M $ and a fiberwise GMF $ f $, while retaining the TS condition. Compared to Bismut-Goette's work, handling birth-death points for a generalized Morse function poses a key difficulty. To address this, first, by the work of the author M.P., joint with Zhang and Zhu, we focus on a relative version of the theorem. Here, analytic and topological torsions are normalized by subtracting their corresponding torsions for trivial bundles. Next, using new techniques from by the author J.Y., we excise a small neighborhood around the locus where $f$ has birth-death points. This reduces the problem to Bismut-Goette's settings (or its version with boundaries) via a Witten-type deformation. However, new difficulties arise from very singular critical points during this <a class="link-external link-http" href="http://deformation.To" rel="external noopener nofollow">this http URL</a> address these, we extend methods from Bismut-Lebeau, using Agmon estimates for noncompact manifolds developed by Dai and J.Y.

Differential Geometry,Analysis of PDEs,Spectral Theory
The Coble quadric

Vladimiro Benedetti,Michele Bolognesi,Daniele Faenzi,Laurent Manivel

DOI: https://doi.org/10.1017/fms.2024.52

2024-05-19

Forum of Mathematics Sigma

Abstract:Given a smooth genus three curve C, the moduli space of rank two stable vector bundles on C with trivial determinant embeds in as a hypersurface whose singular locus is the Kummer threefold of C; this hypersurface is the Coble quartic. Gruson, Sam and Weyman realized that this quartic could be constructed from a general skew-symmetric four-form in eight variables. Using the lines contained in the quartic, we prove that a similar construction allows to recover , the moduli space of rank two stable vector bundles on C with fixed determinant of odd degree L, as a subvariety of . In fact, each point defines a natural embedding of in . We show that, for the generic such embedding, there exists a unique quadratic section of the Grassmannian which is singular exactly along the image of and thus deserves to be coined the Coble quadric of the pointed curve .

mathematics, applied
Two-orbit Kähler manifolds and Morse Theory

Anna Gori,Fabio Podesta'

DOI: https://doi.org/10.48550/arXiv.math/0310178

2003-10-13

Abstract:We deal with compact Kähler manifolds $M$ acted on by a compact Lie group $K$ of isometries, whose complexification $K^\C$ has exactly one open and one closed orbit in $M$. If the $K$-action is Hamiltonian, we obtain results on the cohomology and the $K$-equivariant cohomology of $M$.

Symplectic Geometry
Moduli spaces and period mappings of genus one fibered K3 surfaces

Benson Farb,Eduard looijenga

2023-03-15

Abstract:In this paper we construct various moduli spaces of K3 surfaces $M$ equipped with a surjective holomorphic map $\pi:M\to\Pb^1$ with generic fiber a complex torus (e.g., an elliptic fibration). Examples include moduli spaces of such maps with primitive fibers; with reduced, irreducible fibers; equipped with a section; etc. Such spaces are closely related to the moduli space of Ricci-flat metrics on $M$. We construct period mappings relating these moduli spaces to locally symmetric spaces, and use these to compute their (orbifold) fundamental groups. These results lie in contrast to, and exhibit different behavior than, the well-studied case of moduli spaces of polarized K3 surfaces, and are more useful for applications to the mapping class group $\Mod(M)$. Indeed, we apply our results on moduli space to give two applications to the smooth mapping class group of $M$.

Algebraic Geometry,Geometric Topology
Morse properties in convex projective geometry

Mitul Islam,Theodore Weisman

2024-05-06

Abstract:We study properties of "hyperbolic directions" in groups acting cocompactly on properly convex domains in real projective space, from three different perspectives simultaneously: the (coarse) metric geometry of the Hilbert metric, the projective geometry of the boundary of the domain, and the singular value gaps of projective automorphisms. We describe the relationship between different definitions of "Morse" and "regular" quasi-geodesics arising in these three different contexts. This generalizes several results of Benoist and Guichard to the non-Gromov hyperbolic setting.

Geometric Topology,Differential Geometry
Symplectic Morse Theory and Witten Deformation

David Clausen,Xiang Tang,Li-Sheng Tseng

2024-07-02

Abstract:On symplectic manifolds, we introduce a Morse-type complex with elements generated by pairs of critical points of a Morse function. The differential of the complex consists of gradient flows and an integration of the symplectic structure over spaces of gradient flow lines. Using the Witten deformation method, we prove that the cohomology of this complex is independent of both the Riemannian metric and the Morse function used to define the complex and is in fact isomorphic to the cohomology of differential forms of Tsai, Tseng and Yau (TTY). We also obtain Morse-type inequalities that bound the dimensions of the TTY cohomologies by the number of Morse critical points and the interaction of symplectic structure with the critical points.

Symplectic Geometry,Differential Geometry,Geometric Topology
Moduli of K3 families over $\mathbb{P}^1$, cycle spaces of IHS period domains, and deformations of complex-hyperkähler metrics

Daniel Greb,Martin Schwald

2024-05-25

Abstract:In the spirit of the classical theory for K3 surfaces, we construct a Hausdorff fine moduli space for families of marked K3 surfaces over smooth rational curves in the K3 period domain. This moduli space admits an étale holomorphic map to the parameter space for such rational curves, which assumes the role of a period space for this moduli problem. Over an open subset containing all twistor cycles, we construct a family of such families that is a universal small deformation for every twistor family. Finally, small deformations of K3 twistor families are shown to induce complex-hyperkähler metrics on members of the families via the original complex version of Penrose's Non-linear Graviton construction. This answers a question posed independently by Fels--Huckleberry--Wolf and Looijenga. Generalizations to higher-dimensional irreducible holomorphic-symplectic manifolds are studied throughout.

Algebraic Geometry,Complex Variables,Differential Geometry
On the metric Kollár-Pardon problem

Vasily Rogov

2024-01-16

Abstract:Let $(M, g)$ be a compact real analytic Riemannian manifold and $\pi \colon \widetilde{M} \to M$ its universal cover. Assume that $\widetilde{M}$ can be realised as a manifold definable in an o-minimal structure $\Sigma$ expanding $\mathbb{R}_{\mathrm{an}}$ in such a way that the pullback metric $\widetilde{g}:=\pi^*g$ is $\Sigma$-definable. For instance, this is the case when $\widetilde{M}$ can be realised as a semi-algebraic submanifold in $\mathbb{R}^n$ in such a way that the coefficients of the metric $\widetilde{g}$ are semi-algebraic. We show that there exists a definable smooth map $\widetilde{M} \to \widetilde{K}$ to a compact simply connected $\Sigma$-definable space $\widetilde{K}$ such that its regular fibres are Riemann locally homogeneous with respect to the metric $\widetilde{g}$. We deduce that under these assumptions $\pi_1(M)$ is quasi-isometric to a locally homogeneous space. In the case when $M$ is aspherical we show that $(\widetilde{M}, \widetilde{g})$ is a homogeneous Riemannian manifold. A similar result in the setting of complex algebraic geometry was earlier conjectured by Kollár and Pardon (\cite{KP}). Using our results, we prove the conjecture of Kollár-Pardon in the special case of smooth aspherical varieties admitting a bi-definable Kähler metric and discuss the analogues of this conjecture in other branches of geometry.

Differential Geometry,Algebraic Geometry,Geometric Topology

On a Problem of Kuiper

On Pseudo-Holomorhpic Curves in Complex Grassmannians

Construction of Pluriharmonic Maps into Complex GrassmannManifolds

On Mod 2 and Higher Elliptic Genera

Solving equations with Hodge theory

Global Torelli Theorem for Projective Manifolds of Calabi-Yau Type

Birational geometry of Beauville–Mukai systems III: Asymptotic behavior

On a classification of Morse functions on $3$-dimensional manifolds represented as connected sums of manifolds of Heegaard genus one

An analytic approach to Lefschetz and Morse theory on stratified pseudomanifolds

Lefschetz Theorem Using Real Morse Theory

On the Bergman Projection and the Lu Qi-Keng Conjecture

Perverse sheaves on varieties with large fundamental groups

Generalized Morse Functions, Excision and Higher Torsions

The Coble quadric

Two-orbit Kähler manifolds and Morse Theory

Moduli spaces and period mappings of genus one fibered K3 surfaces

Morse properties in convex projective geometry

Symplectic Morse Theory and Witten Deformation

Moduli of K3 families over $\mathbb{P}^1$, cycle spaces of IHS period domains, and deformations of complex-hyperkähler metrics

On the metric Kollár-Pardon problem