BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Naoki Kitazawa contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We discuss a necessary and sufficient condition for reconstruction of Morse functions with prescribed (regular) level sets on $3$-dimensional manifolds. The present work strengthens a previous result of the author where only sufficient conditions are studied. Our new work is also regarded as a kind of addenda.
The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real algebraic hypersurfaces. Especially, intersections of these cylinders of real algebraic hypersurfaces, which give important information on regions, are investigated via singularity theory. This is a kind of natural problems on real geometry. This also comes from construction of explicit real algebraic maps onto explicit regions in real affine spaces on real algebraic manifolds. More generally, we are interested in difficulty in explicit construction of real algebraic objects, where existence and approximation has been well-known, since pioneering studies by Nash and Tognoli, in the latter half of 20th century. This also comes from interest in singularity theory of differentiable, smooth or real algebraic functions and maps, especially, explicit construction.
Fold maps are smooth maps at each singular point of which it is represented as the product map of a Morse function and the identity map. Round fold maps are, in short, such maps the sets of all singular points of which are embedded concentrically. They are, as Morse functions, important in understanding the topologies and the differentiable structures in geometric ways. In the present paper, we study cohomology rings of $3$-dimensional manifolds admitting round fold maps into the plane and see that difference of the coefficient rings and topological types of round fold maps are closely related. This is an explicit precise new study on our previous study, showing that a $3$-dimensional closed and orientable manifold is a so-called {\it graph manifold}, or a manifold obtained by gluing so-called circle bundles over surfaces along tori, if and only if it admits a round fold map into the plane. We also show another exposition on classifications of graph manifolds admitting such maps whose topological types are of a certain simplest class.
We have been interested in understanding the class of 7-dimensional closed and simply-connected manifolds in geometric and constructive ways. We have constructed explicit fold maps, which are higher dimensional versions of Morse functions, on some of the manifolds, previously. The studies have been motivated by studies of {\it special generic} maps, higher dimensional versions of Morse functions on homotopy spheres with exactly two singular points, characterizing them topologically except $4$-dimensional cases. The class contains canonical projections of unit spheres for example. This class has been found to be interesting, restricting the topologies and the differentiable structures of the manifolds strictly: Saeki, Sakuma and Wrazidlo found explicit phenomena. The present paper concerns fold maps on $7$-dimensional closed and simply-connected spin manifolds whose integral cohomology rings are isomorphic to that of the product of the $2$-dimensional complex projective space and the $3$-dimensional sphere.
Classes of branched surfaces extend the classes of surfaces or 2-dimensional manifolds satisfying suitable properties and defined in various manners. Reeb spaces of smooth maps of suitable classes into surfaces whose codimensions are negative are regarded as branched surfaces. They are the spaces of all connected components of preimages and natural quotient spaces of the manifolds of the domains. They are defined for general smooth maps and important topological objects in differential topology. They also play important roles in applied or applications of mathematics such as projections in data analysis and visualizations. The present paper concerns global topologies of branched surfaces and explicit construction of canonically obtained maps from the branched surfaces into surfaces of the targets via fundamental operations. The class of these induced maps extends the class of smooth immersions of compact surfaces into surfaces with no boundaries. It is also regarded as a variant of the class of so-called generic smooth maps between these surfaces. We study so-called "geography" of such maps as a natural, important and new study and also study global topological properties of the branched surfaces such as embeddability into $3$-dimensional closed and connected manifolds.
Graph manifolds form important classes of $3$-dimensional closed and orientable manifolds. For example, {\it Seifert} manifolds are graph manifolds where hyperbolic manifolds are not. In applying singularity theory of differentiable maps to understanding global topologies of manifolds, graph manifolds have been shown to be characterized as ones admitting so-called simple fold maps into the plane of explicit classes by Saeki and the author. The present paper presents several related new results. Fold maps are higher dimensional variants of Morse functions and simple ones form simple classes, generalizing the class of general Morse functions. Such maps into the plane on $3$-dimensional closed and orientable manifolds induce quotient maps to so-called simple polyhedra with no vertices, which are $2$-dimensional. This is also closely related to the theory of {\it shadows} of $3$-dimensional manifolds. We also discuss invariants for graph manifolds via embeddability of these polyhedra in some $3$-dimensional manifolds.
Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except $4$-dimensional cases: in these cases standard spheres are characterized. Canonical projections of unit spheres are special generic. In suitable cases, it is easy to construct special generic maps on manifolds represented as connected sums of products of spheres for example. It is an interesting fact that these maps restrict the topologies and the differentiable structures admitting them strictly in various cases. For example, exotic spheres, which are not diffeomorphic to standard spheres, admit no special generic map into some Euclidean spaces in considerable cases. In general, it is difficult to find (families of) manifolds admitting no such maps of suitable classes. The present paper concerns a new result on this work where key objects are products of cohomology classes of the manifolds. We can see that manifolds such as closed symplectic manifolds and real projective spaces admit no special generic maps into any connected nin-closed manifold in considerable cases.
The Reeb space of a function or a map on a manifold is defined as the space of all connected components of preimages and represents the manifold compactly. In fact, Reeb spaces are fundamental and useful tools in geometric theory of so-called Morse functions and more general maps which are sufficiently tame. Can we construct an explicit good function inducing a given graph as the Reeb space (Reeb graph)? These problems were launched by Sharko in 2000s and have been explicitly solved by several researchers. As related pioneering studies, the author also found and solved problems adding constraints on singularities and preimages for example. The present paper concerns new problems on these works. We define the classes of maps onto graphs locally regarded as ones onto the Reeb spaces induced from smooth functions of suitable classes and consider and challenge the problems for the classes.
Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except 4-dimensional cases and 4-dimensional standard spheres. The class of such maps also contains canonical projections of unit spheres. This class is interesting from the viewpoint of algebraic topology and differential topology of manifolds. These maps have been shown to restrict the topologies and the differentiable structures of the manifolds strongly by Calabi, Saeki and Sakuma before 2010s, and later Nishioka, Wrazidlo and the author. So-called exotic spheres admit no special generic map in considerable cases and homology groups and cohomology rings are shown to be strongly restricted. Moreover, special generic maps into Euclidean spaces whose dimensions are smaller than or equal to 4 have been studied well. The present paper mainly concerns cases where the dimensions of targets are greater than or equal to 5.
For a smooth function on a smooth manifold of a suitable class, the space of all connected components of preimages is the graph and called the {\it Reeb graph}. Reeb graphs are fundamental tools in the algebraic and differential topological theory of Morse functions and more general functions which are not so wild. In this paper, we study whether we can construct a smooth function with good geometric properties inducing a given graph as the Reeb graph. This problem has been essentially launched by Sharko in 2000s and various answers have been given by Masumoto, Michalak, Saeki, and so on. Recently the author set a new explicit problem and gave an answer. In the studies before the result of the author, considered functions are smooth functions on closed surfaces or Morse functions such that preimages of regular values are disjoint unions of standard spheres. On the other hand, the author constructed a smooth function on a suitable $3$-dimensional closed, connected and orientable manifold inducing the Reeb graph isomorphic to the given graph such that preimages of regular values are arbitrary closed surfaces. Based on this result and method of the author, with several new ideas, we will consider smooth functions on surfaces and manifolds which may be non-closed and give answers to the problem.
We prove the non-existence of special generic maps on complex projective space as our extended new result. Simplest special generic maps are Morse functions with exactly two singular points on spheres, or Morse functions in Reeb's theorem, and canonical projections of unit spheres. Manifolds represented as connected sums of products of manifolds diffeomorphic to unit spheres admit such maps in considerable cases. Real and complex projective spaces have been shown to admit no such maps in most cases by the author. This gives a complete answer for complex projective spaces as a corollary to a more general result, which is also our main result.
The class of special generic maps is a natural class of smooth maps containing Morse functions on spheres with exactly two singular points and canonical projections of unit spheres. We find new restrictions on such maps on $6$-dimensional or higher dimensional closed and simply-connected manifolds into ${\mathbb{R}}^5$. Spheres which are not diffeomorphic to unit spheres do not admit such maps whose codimensions are negative in considerable cases. They restrict the homeomorphism and the diffeomorphism types of the manifolds in general. On the other hands, some elementary manifolds admit special generic maps into suitable Euclidean spaces: manifolds represented as connected sums of products of unit spheres are of such examples. This motivates us to study the (non-)existence of special generic maps on elementary manifolds such as projective spaces and some closed and simply-connected manifolds. For example, new explicit investigations of cohomology rings are keys in our new study.
Round fold maps are smooth maps on closed manifolds which are locally represented as the product maps of Morse functions and identity maps on open disks and whose singularity is realized as concentrically embedded spheres. The author previously introduced such maps. Our paper presents round fold maps on some $7$-dimensional simply-connected manifolds whose cohomology rings are isomorphic to that of the product of the $2$-dimensional complex projective space and a $3$-dimensional sphere. Such manifolds have been studied precisely by Wang and round fold maps on spin manifolds in these manifolds have been previously studied by the author. These manifolds form explicit classes of higehr dimensional closed and simply-connected manifolds, which are central objects in classical algeberic topology and differential topology. Understanding these manifolds in geometric and constructive ways is still attractive, which we think as pioneers. Fold maps are defined as smooth maps which are locally represented as the product maps of Morse functions and identity maps on open disks. They are fundamental and strong tools in generalizations of theory of Morse functions and applications to geometry of manifolds. Explicit construction of fold maps are difficult even on elementary or well-known manifolds whereas we can know the (non-)existence from Eliashberg's celebrating theory in the 1970s and related one in considerable cases.
Simple polyhedra are $2$-dimensional polyhedra and important objects in low-dimensional geometry and in the applications of {\it fold} maps, defined as smooth maps regarded as higher dimensional variants of Morse functions. For example, they are locally so-called {\it Reeb spaces} of (so-called stable) fold maps into the plane and represent the manifolds compactly. The Reeb space of a fold map is the space of all connected components of preimages of it and is a polyhedron whose dimension is same as that of the manifold of the target. Is a given simple polyhedron homeomorphic to the Reeb space of a suitable stable fold map? What are their global topologies like? Previously the author has challenged this for a specific case and presented fundamental construction and topological properties of the polyhedra as new results. The present paper extends some of these works and results and present results of new types.
We give a new answer to so-called realization problems of graphs as Reeb graphs of smooth functions with prescribed preimages of regular values having nice structures. We present a best possible answer for functions on 3-dimensional closed manifolds. The Reeb space of a smooth function is the quotient space of the manifold of the domain induced from the following equivalence relation; two points in the manifold are equivalent if and only if they are points of a same connected component of some preimage. They are in considerable cases graphs (Reeb graphs). Reeb spaces with preimages represent the manifolds well and are important tools in geometry. Recently they play important roles in applications of mathematics such as visualizations. Realization problems ask us whether we can construct smooth functions with prescribed Reeb graphs and preimages. Studies on construction respecting preimages were essentially started by the author.
Morse functions with exactly two singular points on spheres and canonical projections of spheres belong to the class of a certain good class of smooth maps: special generic maps. We mainly investigate information on cohomology of closed and simply-connected manifolds admitting such maps into the $5$-dimensional Euclidean spaces by investigating the embedded curves and submanifolds and their preimages. Studies on homology groups for ones into the Euclidean spaces (whose dimensions are lower than $5$ in most cases) have been pioneered by Saeki and Sakuma since 1990s and later by Nishioka and Wrazidlo since 2010s. Recently the author has started pioneering studies on the cohomology for cases where the dimensions of the Euclidean spaces may not be lower than $5$. Our new cases are difficult due to the situation that the dimensions of manifolds we consider are higher. Previously, we have found several restrictions on the cohomology rings. We present new restrictions by new investigations.
7-dimensional closed and simply-connected manifolds have been attractive as central and explicit objects in algebraic topology and differential topology of higher dimensional closed and simply-connected manifolds, which were studied actively especially in the 1950s--60s. Attractive studies of the class of these $7$-dimensional manifolds were started by the discovery of so-called exotic spheres by Milnor. It has influenced on the understanding of higher dimensional closed and simply-connected manifolds via algebraic and abstract objects. Recently this class is studied via more concrete notions from algebraic topology such as concrete bordism theory by Crowley, Kreck, and so on. As a new kind of fundamental and important studies, the author has been challenging understanding the class in constructive ways via construction of fold maps, which are higher dimensional versions of Morse functions. The present paper presents a new general method to construct ones on spin manifolds of the class.
As a branch of algebraic and differential topology of manifolds, the theory of Morse functions and their higher dimensional versions or fold maps and its application to algebraic and differential topology of manifolds is fundamental, important and interesting. This paper is on explicit construction of fold maps and homology groups and cohomology rings of their Reeb spaces: they are defined as the spaces of all connected components of preimages of the maps, and in suitable situations inherit some topological information such as homology groups and cohomology rings of the manifolds. Explicit construction of the maps is a fundamental and difficult task even on manifolds which are not so complicated. The author has constructed explicit fold maps systematically and performed several calculations of homology groups and cohomology rings of the Reeb spaces. This paper concerns new observations on this task.
The theory of Morse functions and their higher dimensional versions or fold maps on manifolds and its application to geometric theory of manifolds is one of important branches of geometry and mathematics. Studies related to this was started in 1950s by differential topologists such as Thom and Whitney and they have been studied actively. In this paper, we study fold maps obtained by surgery operations to fundamental fold maps, and especially Reeb spaces, defined as the spaces of all connected components of preimages and in suitable situations inheriting fundamental and important algebraic invariants such as (co)homology groups. Reeb spaces are fundamental and important tools in studying manifolds also in general. The author has already studied about homology groups of the Reeb spaces and obtained several results and in this paper, we study about their cohomology rings for several specific cases, as more precise information. These studies are motivated by a problem that construction of explicit fold maps is important in investigating (the worlds of explicit classes of) manifolds in geometric and constructive ways and difficult. It is not so difficult to construct these maps for simplest manifolds such as standard spheres, products of standard spheres and manifolds represented as their connected sums. We see various types of cohomology rings of Reeb spaces via systematic construction of fold maps.