Showing 1–16 of 16 results for author: Ohmoto, T

Unstability problem of real analytic maps

Authors: Karim Bekka, Satoshi Koike, Toru Ohmoto, Masahiro Shiota, Masato Tanabe

Abstract: As well-known, the $C^\infty$ stability of proper $C^\infty$ maps is characterized by the infinitesimal $C^\infty$ stability. In the present paper we study the counterpart in real analytic context. In particular, we show that the infinitesimal $C^ω$ stability does not imply $C^ω$ stability; for instance, a Whitney umbrella $\mathbb{R}^2 \to \mathbb{R}^3$ is not $C^ω$ stable. A main tool for the pr… ▽ More As well-known, the $C^\infty$ stability of proper $C^\infty$ maps is characterized by the infinitesimal $C^\infty$ stability. In the present paper we study the counterpart in real analytic context. In particular, we show that the infinitesimal $C^ω$ stability does not imply $C^ω$ stability; for instance, a Whitney umbrella $\mathbb{R}^2 \to \mathbb{R}^3$ is not $C^ω$ stable. A main tool for the proof is a relative version of Whitney's Analytic Approximation Theorem which is shown by using H. Cartan's Theorems A and B. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: 7 pages

MSC Class: 58K20; 57R45

Universal polynomials for multi-singularity loci of maps

Authors: Toru Ohmoto

Abstract: In the present paper, we prove the existence of universal polynomials which express multi-singularity loci classes of prescribed types for proper morphisms between smooth schemes over an algebraically closed field of characteristic zero -- we call them Thom polynomials for multi-singularity types of maps. It has been referred to as the Thom-Kazarian principle and unsolved for a long time. This res… ▽ More In the present paper, we prove the existence of universal polynomials which express multi-singularity loci classes of prescribed types for proper morphisms between smooth schemes over an algebraically closed field of characteristic zero -- we call them Thom polynomials for multi-singularity types of maps. It has been referred to as the Thom-Kazarian principle and unsolved for a long time. This result solidifies the foundation for a general enumerative theory of singularities of maps which is applicable to a broad range of problems in classical and modern algebraic geometry. In particular, it would contribute to a satisfactory answer to the rest of (an advanced form of) Hilbert's 15th problem and connect such classics to recent new interests in enumerations inspired by mathematical physics and other fields. A main feature of our proof is a striking use of algebro-geometric cohomology operations. Somewhat surprisingly, when trying to grasp a full perspective of classical enumerative geometry, we will inevitably encounter algebraic cobordism and motivic cohomology. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Comments: 79 pp

The characterization of an Alternating Sign Matrix using a triplet

Authors: Toyokazu Ohmoto

Abstract: Alternating Sign Matrix(ASM for short) is a square matrix which is consist of 0, 1 and -1. In this paper, we characterize an ASM by showing a bijection between alternating sign matrix and six vertex model, and a bijection between six vertex model and height function. In order to show these bijections, we define a triplet $({a}_{i, j}, {c}_{i, j}, {r}_{i, j})$ for each entry of an ASM. We also defi… ▽ More Alternating Sign Matrix(ASM for short) is a square matrix which is consist of 0, 1 and -1. In this paper, we characterize an ASM by showing a bijection between alternating sign matrix and six vertex model, and a bijection between six vertex model and height function. In order to show these bijections, we define a triplet $({a}_{i, j}, {c}_{i, j}, {r}_{i, j})$ for each entry of an ASM. We also define a \textsl{track} for each index of height function, and state more properties of height function. △ Less

Submitted 2 March, 2024; originally announced March 2024.

Comments: 29 pages, 25 figures

MSC Class: 05A19(Primary); 05A05; 05A10(Secondary)

The dually flat structure for singular models

Authors: Naomichi Nakajima, Toru Ohmoto

Abstract: The dually flat structure introduced by Amari-Nagaoka is highlighted in information geometry and related fields. In practical applications, however, the underlying pseudo-Riemannian metric may often be degenerate, and such an excellent geometric structure is rarely defined on the entire space. To fix this trouble, in the present paper, we propose a novel generalization of the dually flat structure… ▽ More The dually flat structure introduced by Amari-Nagaoka is highlighted in information geometry and related fields. In practical applications, however, the underlying pseudo-Riemannian metric may often be degenerate, and such an excellent geometric structure is rarely defined on the entire space. To fix this trouble, in the present paper, we propose a novel generalization of the dually flat structure for a certain class of singular models from the viewpoint of Lagrange and Legendre singularity theory - we introduce a quasi-Hessian manifold endowed with a possibly degenerate metric and a particular symmetric cubic tensor, which exceeds the concept of statistical manifolds and is adapted to the theory of (weak) contrast functions. In particular, we establish Amari-Nagaoka's extended Pythagorean theorem and projection theorem in this general setup, and consequently, most of applications of these theorems are suitably justified even for such singular cases. This work is motivated by various interests with different backgrounds from Frobenius structure in mathematical physics to Deep Learning in data science. △ Less

Submitted 25 March, 2021; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: 29pages, 5figures

MSC Class: 53B12(Primary)

Journal ref: Information Geometry (2021) online available

Geometric algebra and singularities of ruled and developable surfaces

Authors: Junki Tanaka, Toru Ohmoto

Abstract: Any ruled surface in Euclidean 3-space is described as a curve of unit dual vectors in the algebra of dual quaternions (=the even Clifford algebra of type (0,3,1)). Combining this classical framework and Singularity Theory, we characterize local diffeomorphic types of singular ruled surfaces in terms of geometric invariants. In particular, using a theorem of G. Ishikawa, we show that local topolog… ▽ More Any ruled surface in Euclidean 3-space is described as a curve of unit dual vectors in the algebra of dual quaternions (=the even Clifford algebra of type (0,3,1)). Combining this classical framework and Singularity Theory, we characterize local diffeomorphic types of singular ruled surfaces in terms of geometric invariants. In particular, using a theorem of G. Ishikawa, we show that local topological type of singular (non-cylindrical) developable surfaces is completely determined by vanishing order of the dual torsion, that generalizes an old result of D. Mond for tangent developables of non-singular space curves. Our approach would be useful for analysis on singularities arising in differential line geometry related with several applications such as robotics, vision theory and architectural geometry. △ Less

Submitted 30 August, 2018; originally announced August 2018.

Comments: 20 pages, 1 figure

Binary differential equations at parabolic and umbilical points for $2$-parameter families of surfaces

Authors: Jorge Luiz Deolindo Silva, Yutaro Kabata, Toru Ohmoto

Abstract: We determine local topological types of binary differential equations of asymptotic curves at parabolic and flat umbilical points for generic $2$-parameter families of surfaces in $\mathbb P^3$ by comparing our projective classification of Monge forms and classification of general BDE obtained by Tari and Oliver. In particular, generic bifurcations of the parabolic curve are classified. The flecno… ▽ More We determine local topological types of binary differential equations of asymptotic curves at parabolic and flat umbilical points for generic $2$-parameter families of surfaces in $\mathbb P^3$ by comparing our projective classification of Monge forms and classification of general BDE obtained by Tari and Oliver. In particular, generic bifurcations of the parabolic curve are classified. The flecnodal curve is also examined by direct computations, and we present new bifurcation diagrams in typical examples. △ Less

Submitted 17 August, 2017; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: 20 pages

MSC Class: 53A20; 37G10; 34A09; 58K05

Thom polynomials in $\mathcal{A}$-classification I: counting singular projections of a surface

Authors: Takahisa Sasajima, Toru Ohmoto

Abstract: We study universal polynomials of characteristic classes associated to the $\mathcal{A}$-classification (i.e. up to right-left equivalence) of holomorphic map-germs $(\mathbb{C}^2,0) \to (\mathbb{C}^n, 0)$ $(n=2,3)$. That enables us to systematically treat with classical enumerative problems of lines of prescribed contact with a given projective surface in $3$ and $4$-spaces. We study universal polynomials of characteristic classes associated to the $\mathcal{A}$-classification (i.e. up to right-left equivalence) of holomorphic map-germs $(\mathbb{C}^2,0) \to (\mathbb{C}^n, 0)$ $(n=2,3)$. That enables us to systematically treat with classical enumerative problems of lines of prescribed contact with a given projective surface in $3$ and $4$-spaces. △ Less

Submitted 18 January, 2017; v1 submitted 29 June, 2016; originally announced June 2016.

Comments: 22 pages; (v2) Typos have been fixed. Section 3.1 has been rewritten more precisely

Report number: EMS. Ser. Cong. Rep. IMPANGA15, (2018), 203--226

Classical formulae on projective surfaces and $3$-folds with ordinary singularities, revisited

Authors: Takahisa Sasajima, Toru Ohmoto

Abstract: As an application of universal polynomials for local and multi-singularities of maps, we revisit classical enumerative formulae of Salmon-Cayley-Zeuthen for projective surfaces and analogous formulae of Segre-(B.)Severi-Roth for projective $3$-folds. In particular, several examples of actual computation are given using universal polynomials for computing weighted Euler characteristics of singulari… ▽ More As an application of universal polynomials for local and multi-singularities of maps, we revisit classical enumerative formulae of Salmon-Cayley-Zeuthen for projective surfaces and analogous formulae of Segre-(B.)Severi-Roth for projective $3$-folds. In particular, several examples of actual computation are given using universal polynomials for computing weighted Euler characteristics of singularity loci. △ Less

Submitted 17 January, 2017; v1 submitted 29 June, 2016; originally announced June 2016.

Comments: 17 pages; (v2) Typo and reference have been corrected; (v3) a minor error in computation has been fixed

Journal ref: Saitama J. Math. Proceddings of JARCS6, Kagoshima (Nov. 2015), (2017), 141--160

$C^1$-triangulations of semialgebraic sets

Authors: Toru Ohmoto, Masahiro Shiota

Abstract: We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is $C^1$ differentiable. As an application, we give a straightforward definition of the integration $\int_X ω$ over a compact semialgebraic subset $X$ of a differential form $ω$ on an ambient algebraic manifold, that provides a significant simplification of the theory of semialgebraic singular c… ▽ More We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is $C^1$ differentiable. As an application, we give a straightforward definition of the integration $\int_X ω$ over a compact semialgebraic subset $X$ of a differential form $ω$ on an ambient algebraic manifold, that provides a significant simplification of the theory of semialgebraic singular chains and integrations. Our results hold over every (possibly non-archimedian) real closed field. △ Less

Submitted 6 August, 2017; v1 submitted 15 May, 2015; originally announced May 2015.

Comments: 12 pages

Journal ref: Journal of Topology, vol 10 (3) (2017), 765-775

Bifurcation of plane-to-plane map-germs with corank two of parabolic type

Authors: Toshiki Yoshida, Yutaro Kabata, Toru Ohmoto

Abstract: We study a moduli stratum of A-orbits of plane-to-plane germs of corank 2 with codimension 3. We describe explicitly the bifurcation diagram of its topologically A-versal unfolding. Two geometric applications to parabolic objects are presented. We study a moduli stratum of A-orbits of plane-to-plane germs of corank 2 with codimension 3. We describe explicitly the bifurcation diagram of its topologically A-versal unfolding. Two geometric applications to parabolic objects are presented. △ Less

Submitted 27 June, 2015; v1 submitted 6 May, 2015; originally announced May 2015.

Comments: 19 pages. A comment was added instead of Remark 5.2

MSC Class: 57R45; 53A05; 53A15

Projective classification of jets of surfaces in 3-space

Authors: Hiroaki Sano, Yutaro Kabata, Jorge Luiz Deolindo Silva, Toru Ohmoto

Abstract: We present a local classification of smooth projective surfaces in 3-space via projective transformations in accordance with singularity types of central projections up to codimension 4. We also discuss relations between our classification of Monge forms and bifurcations of parabolic curves and flecnodal curves. We present a local classification of smooth projective surfaces in 3-space via projective transformations in accordance with singularity types of central projections up to codimension 4. We also discuss relations between our classification of Monge forms and bifurcations of parabolic curves and flecnodal curves. △ Less

Submitted 27 September, 2016; v1 submitted 24 April, 2015; originally announced April 2015.

Comments: 21 pages, 1 figure. Some typos were corrected, and subsection 4.3 was added

MSC Class: 58K05; 32S15; 34A09; 53A20

Singularities and Characteristic Classes for Differentiable Maps

Authors: Toru Ohmoto

Abstract: This is a note on my mini-course in the International Workshop on Real and Complex Singularities held at ICMC-USP (Sao Carlos, Brazil) in July 2012. Here we introduce a new branch of the Thom polynomial theory for singularities of holomorphic maps, in which we replace counting singular points by computing weighted Euler characteristics. The main purpose is to apply this theory to the study on the… ▽ More This is a note on my mini-course in the International Workshop on Real and Complex Singularities held at ICMC-USP (Sao Carlos, Brazil) in July 2012. Here we introduce a new branch of the Thom polynomial theory for singularities of holomorphic maps, in which we replace counting singular points by computing weighted Euler characteristics. The main purpose is to apply this theory to the study on the vanishing topology of weighted homogeneous map-germs of finite A-codimension without any corank condition. △ Less

Submitted 31 January, 2014; v1 submitted 3 September, 2013; originally announced September 2013.

Comments: 64 pages, 10 figures: Title has been changed (the new one is "Singularities of maps and characteristic classes"). Many typo have been fixed. To appear in Proc. of Real and Complex Singularities 2012

Journal ref: Adv. Stud. Pure Math. vol. 68 (Math. Soc. Japan), (2016), 171--245

Characteristic classes of Hilbert schemes of points via symmetric products

Authors: Sylvain Cappell, Laurentiu Maxim, Toru Ohmoto, Joerg Schuermann, Shoji Yokura

Abstract: We obtain a formula for the generating series of (the push-forward under the Hilbert-Chow morphism of) the Hirzebruch homology characteristic classes of the Hilbert schemes of points for a smooth quasi-projective variety of arbitrary pure dimension. This result is based on a geometric construction of a motivic exponentiation generalizing the notion of motivic power structure, as well as on a formu… ▽ More We obtain a formula for the generating series of (the push-forward under the Hilbert-Chow morphism of) the Hirzebruch homology characteristic classes of the Hilbert schemes of points for a smooth quasi-projective variety of arbitrary pure dimension. This result is based on a geometric construction of a motivic exponentiation generalizing the notion of motivic power structure, as well as on a formula for the generating series of the Hirzebruch homology characteristic classes of symmetric products. We apply the same methods for the calculation of generating series formulae for the Hirzebruch classes of the push-forwards of "virtual motives" of Hilbert schemes of a threefold. As corollaries, we obtain counterparts for the MacPherson (and Aluffi) Chern classes of Hilbert schemes of a smooth quasi-projective variety (resp. for threefolds). For a projective Calabi-Yau threefold, the latter yields a Chern class version of the dimension zero MNOP conjecture. △ Less

Submitted 2 April, 2012; originally announced April 2012.

Comments: comments are welcome

MSC Class: 14C05; 55S15; 20C30; 13D15; 32S35

Journal ref: Geom. Topol. 17 (2013) 1165-1198

A note on Chern-Schwartz-MacPherson class

Authors: Toru Ohmoto

Abstract: This is a note on MacPherson's Chern class for algebraic stacks, based on a previous paper of the author [arXiv:math/0407348]. We also discuss other additive characteristic classes in the same manner. This is a note on MacPherson's Chern class for algebraic stacks, based on a previous paper of the author [arXiv:math/0407348]. We also discuss other additive characteristic classes in the same manner. △ Less

Submitted 8 December, 2010; v1 submitted 31 March, 2010; originally announced April 2010.

Comments: (v2) Title has been slightly changed; some minor changes, a new section have been made

Journal ref: IRMA Lectures in Mathematics and Theoretical Physics, European Math. Soc., Vol. 20 (2012), 117--132

Generating Functions of Orbifold Chern Classes I : Symmetric Products

Authors: Toru Ohmoto

Abstract: For a possibly singular complex variety $X$, generating functions of total "orbifold Chern homology classes" of symmetric products $S^nX$ are given. Those are very natural "Chern class versions" (in the sense of Schwartz-MacPherson) of known generating function formulae of (generalized) orbifold Euler characteristics of $S^nX$. In fact more generally we introduce the "class version" of the Dey-W… ▽ More For a possibly singular complex variety $X$, generating functions of total "orbifold Chern homology classes" of symmetric products $S^nX$ are given. Those are very natural "Chern class versions" (in the sense of Schwartz-MacPherson) of known generating function formulae of (generalized) orbifold Euler characteristics of $S^nX$. In fact more generally we introduce the "class version" of the Dey-Wohlfahrt formula in classical group theory. △ Less

Submitted 13 May, 2006; v1 submitted 27 April, 2006; originally announced April 2006.

Comments: (v2) a tentatively revised version

Journal ref: Math. Proc. Cambridge Phil. Soc. 144, (2008), 423--438 (a revised version)

Equivariant Chern classes of singular algebraic varieties with group actions

Authors: Toru Ohmoto

Abstract: We define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the equivariant constructible function functor to the equivariant homology functor (in the sense of Totaro-Edidin-Graham), which may be regarded as MacPherson's tr… ▽ More We define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the equivariant constructible function functor to the equivariant homology functor (in the sense of Totaro-Edidin-Graham), which may be regarded as MacPherson's transformation for (certain) quotient stacks. We discuss on other type Chern/Segre classes and give some applications generalizing orbifold Euler characteristics and Thom polynomials of singularities. The Verdier-Riemann-Roch formula takes a key role throughout. △ Less

Submitted 21 July, 2004; originally announced July 2004.

Comments: AMS-LaTeX, 30 pages, no figure

Journal ref: Math. Proc. Cambridge Phil. Soc. 140, (2006), 115--134 (a revised version)