Showing 1–50 of 95 results for author: Yamada, K

Sparse Regularization by Smooth Non-separable Non-convex Penalty Function Based on Ultra-discretization Formula

Authors: Natsuki Akaishi, Koki Yamada, Kohei Yatabe

Abstract: In sparse optimization, the $\ell_{1}$ norm is widely adopted for its convexity, yet it often yields solutions with smaller magnitudes than expected. To mitigate this drawback, various non-convex sparse penalties have been proposed. Some employ non-separability, with ordered weighting as an effective example, to retain large components while suppressing small ones. Motivated by these approaches, w… ▽ More In sparse optimization, the $\ell_{1}$ norm is widely adopted for its convexity, yet it often yields solutions with smaller magnitudes than expected. To mitigate this drawback, various non-convex sparse penalties have been proposed. Some employ non-separability, with ordered weighting as an effective example, to retain large components while suppressing small ones. Motivated by these approaches, we propose ULPENS, a non-convex, non-separable sparsity-inducing penalty function that enables control over the suppression of elements. Derived from the ultra-discretization formula, ULPENS can continuously interpolate between the $\ell_{1}$ norm and a non-convex selective suppressing function by adjusting parameters inherent to the formula. With the formula, ULPENS is smooth, allowing the use of efficient gradient-based optimization algorithms. We establish key theoretical properties of ULPENS and demonstrate its practical effectiveness through numerical experiments. △ Less

Submitted 24 September, 2025; originally announced September 2025.

Comments: This work has been submitted to the IEEE for possible publication

Deformations of swallowtails in a 3-dimensional space form

Authors: Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: This is a continuation of the authors' earlier work on deformations of cuspidal edges. We give a representation formula for swallowtails in the Euclidean 3-space. Using this, we investigate map germs of generic swallowtails in 3-dimensional space from, and show some important properties of them. In particular, we give a representation formula giving all map germs of swallowtails in the Euclidean 3… ▽ More This is a continuation of the authors' earlier work on deformations of cuspidal edges. We give a representation formula for swallowtails in the Euclidean 3-space. Using this, we investigate map germs of generic swallowtails in 3-dimensional space from, and show some important properties of them. In particular, we give a representation formula giving all map germs of swallowtails in the Euclidean 3-space whose Gaussian curvatures are bounded from below by a positive constant or by a negative constant from above. Using this, we show that any swallowtails are deformed into a swallowtail of constant Gaussian curvature preserving the sign of their Gaussian curvatures. △ Less

Submitted 21 October, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

Comments: 26 pages, 7 figures

MSC Class: 53A10; 53A35

Perspective and open problems on birational properties and singularities of moduli scheme of sheaves on surfaces

Authors: Kimiko Yamada

Abstract: For complex projective smooth surface $X$, let $M$ be the coarse moduli scheme of rank-two stable sheaves with fixed Chern classes. Grasping the birational structure of $M$, for example its Kodaira dimension, is a fundamental problem. However, in the case where $κ(X)>0$, the study of this problem has not necessarily been active in recent years. In this article we survey the study of this problem,… ▽ More For complex projective smooth surface $X$, let $M$ be the coarse moduli scheme of rank-two stable sheaves with fixed Chern classes. Grasping the birational structure of $M$, for example its Kodaira dimension, is a fundamental problem. However, in the case where $κ(X)>0$, the study of this problem has not necessarily been active in recent years. In this article we survey the study of this problem, especially for the case where $κ(X)=1$ and $c_1=0$. We will also survey some research on the structure of singularities of $M$, and a minimal model program of $M$. While explaining motivations, we raise several unsolved problems. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: 5 pages

MSC Class: 14J60; 14D20; 32G13; 14B05; 14Exx

Journal ref: The bulletin of Okayama University of Science. A, Natural science. vol. 59, pp.13-17, 2023. (Refereed)

Automatic computation of crosscap number of alternating knots

Authors: Kaito Yamada, Noboru Ito

Abstract: We specify the computational complexity of crosscap numbers of alternating knots by introducing an automatic computation. For an alternating knot $K$, let $\cal{E}$ be the number of edges of its diagram. Then there exists a code such that the complexity of this computation of the crosscap number of $K$ is estimated by $O(\cal{E}^3)$. We specify the computational complexity of crosscap numbers of alternating knots by introducing an automatic computation. For an alternating knot $K$, let $\cal{E}$ be the number of edges of its diagram. Then there exists a code such that the complexity of this computation of the crosscap number of $K$ is estimated by $O(\cal{E}^3)$. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 6 pages, 8 figures

The Hodge Realization of the Polylogarithm and the Shintani Generating Class for Totally Real Fields

Authors: Kenichi Bannai, Hohto Bekki, Kei Hagihara, Tatsuya Ohshita, Kazuki Yamada, Shuji Yamamoto

Abstract: In this article, we construct the Hodge realization of the polylogarithm class in the equivariant Deligne-Beilinson cohomology of a certain algebraic torus associated to a totally real field. We then prove that the de Rham realization of this polylogarithm gives the Shintani generating class, a cohomology class generating the values of the Lerch zeta functions of the totally real field at nonposit… ▽ More In this article, we construct the Hodge realization of the polylogarithm class in the equivariant Deligne-Beilinson cohomology of a certain algebraic torus associated to a totally real field. We then prove that the de Rham realization of this polylogarithm gives the Shintani generating class, a cohomology class generating the values of the Lerch zeta functions of the totally real field at nonpositive integers. Inspired by this result, we give a conjecture concerning the specialization of this polylogarithm class at torsion points, and discuss its relation to the Beilinson conjecture for Hecke characters of totally real fields. △ Less

Submitted 22 January, 2023; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: 54 pages, 1 figure. Added Appendix giving the construction of equivariant Deligne-Beilinson cohomology for our case

MSC Class: 14C30; 11G55

Journal ref: Advances in Mathematics 448 (2024) 109716

Nondominated-Solution-based Multi-objective Greedy Sensor Selection for Optimal Design of Experiments

Authors: Kumi Nakai, Yasuo Sasaki, Takayuki Nagata, Keigo Yamada, Yuji Saito, Taku Nonomura

Abstract: In this study, a nondominated-solution-based multi-objective greedy method is proposed and applied to a sensor selection problem based on the multiple indices of the optimal design of experiments. The proposed method simultaneously considers multiple set functions and applies the idea of Pareto ranking for the selection of sets. Specifically, a new index is iteratively added to the nondominated so… ▽ More In this study, a nondominated-solution-based multi-objective greedy method is proposed and applied to a sensor selection problem based on the multiple indices of the optimal design of experiments. The proposed method simultaneously considers multiple set functions and applies the idea of Pareto ranking for the selection of sets. Specifically, a new index is iteratively added to the nondominated solutions of sets, and the multi-objective functions are evaluated for new sets. The nondominated solutions are selected from the examined solutions, and the next sets are then considered. With this procedure, the multi-objective optimization of multiple set functions can be conducted with reasonable computational costs. This paper defines a new class of greedy algorithms which includes the proposed nondominated-solution-based multi-objective greedy algorithm and the group greedy algorithm, and the characteristics of those algorithms are theoretically discussed. Then, the proposed method is applied to the sensor selection problem and its performance is evaluated. The results of the test case show that the proposed method not only gives the Pareto-optimal front of the multi-objective optimization problem but also produces sets of sensors in terms of D-, A-, and E-optimality, that are superior to the sets selected by pure greedy methods that consider only a single objective function. △ Less

Submitted 19 June, 2023; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: Accepted manuscript for publication in IEEE Transactions on Signal Processing

Journal ref: IEEE Transactions on Signal Processing, vol. 70, pp. 5694-5707, 2022

Null hypersurfaces as wave fronts in Lorentz-Minkowski space

Authors: Shintaro Akamine, Atsufumi Honda, Masaaki Umehara, Kotaro Yamada

Abstract: In this paper, we show that ``$L$-complete null hypersurfaces'' (i.e. ruled hypersurfaces foliated by entirety of light-like lines) as wave fronts in the $(n+1)$-dimensional Lorentz-Minkowski space are canonically induced by hypersurfaces in the $n$-dimensional Euclidean space. As an application, we show that most of null wave fronts can be realized as restrictions of certain $L$-complete null wav… ▽ More In this paper, we show that ``$L$-complete null hypersurfaces'' (i.e. ruled hypersurfaces foliated by entirety of light-like lines) as wave fronts in the $(n+1)$-dimensional Lorentz-Minkowski space are canonically induced by hypersurfaces in the $n$-dimensional Euclidean space. As an application, we show that most of null wave fronts can be realized as restrictions of certain $L$-complete null wave fronts. Moreover, we determine $L$-complete null wave fronts whose singular sets are compact. △ Less

Submitted 9 June, 2024; v1 submitted 5 March, 2022; originally announced March 2022.

Comments: 26 pages, 5 figures

MSC Class: Primary 53C50; Secondary 53C42; 53B30

Plumbing and computation of crosscap number

Authors: Noboru Ito, Kaito Yamada

Abstract: We introduce a "deformation" of plumbing. We also define a structure of data used in a calculation by computer aid of the crosscap numbers of alternating knots. We introduce a "deformation" of plumbing. We also define a structure of data used in a calculation by computer aid of the crosscap numbers of alternating knots. △ Less

Submitted 30 May, 2021; originally announced May 2021.

Comments: 9 pages, 15 figures

MSC Class: 57K10

Journal ref: JP J. Geom. and Topol. 26 (2021), no.2, 103--115

Symmetries of cross caps

Authors: Atsufumi Honda, Kosuke Naokawa, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: It is well-known that cross caps on surfaces in the Euclidean 3-space can be expressed in Bruce-West's normal form, which is a special local coordinate system centered at the singular point. In this paper, we show a certain kind of uniqueness of such a coordinate system. In particular, the functions associated with this coordinate system produce new invariants on cross cap singular points. Using t… ▽ More It is well-known that cross caps on surfaces in the Euclidean 3-space can be expressed in Bruce-West's normal form, which is a special local coordinate system centered at the singular point. In this paper, we show a certain kind of uniqueness of such a coordinate system. In particular, the functions associated with this coordinate system produce new invariants on cross cap singular points. Using them, we classify the possible symmetries on cross caps. △ Less

Submitted 12 September, 2021; v1 submitted 5 May, 2021; originally announced May 2021.

Comments: 10 pages, 2 figures

MSC Class: 57R45; 53A05

A generalization of Zakalyukin's lemma, and symmetries of surface singularities

Authors: Atsufumi Honda, Kosuke Naokawa, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: Zakalyukin's lemma asserts that the coincidence of the images of two wave front germs implies the right equivalence of corresponding map germs under a certain genericity assumption. The purpose of this paper is to give an improvement of this lemma for frontals. Moreover, we give several applications for singularities on surfaces. Zakalyukin's lemma asserts that the coincidence of the images of two wave front germs implies the right equivalence of corresponding map germs under a certain genericity assumption. The purpose of this paper is to give an improvement of this lemma for frontals. Moreover, we give several applications for singularities on surfaces. △ Less

Submitted 12 September, 2021; v1 submitted 8 April, 2021; originally announced April 2021.

Comments: 26 pages, 3 figures

MSC Class: 53A10; 53A35; 53C42; 33C05

Analytic extensions of constant mean curvature one geometric catenoids in de Sitter 3-space

Authors: Shoichi Fujimori, Yu Kawakami, Masatoshi Kokubu, Wayne Rossman, Masaaki Umehara, Kotaro Yamada, Seong-Deog Yang

Abstract: We show that a certain simply-stated notion of "analytic completeness" of the image of a real analytic map implies the map admits no analytic extension. We also give a useful criterion for that notion of analytic completeness by defining arc-properness of continuous maps, which can be considered as a very weak version of properness. As an application, we judge the analytic completeness of a certai… ▽ More We show that a certain simply-stated notion of "analytic completeness" of the image of a real analytic map implies the map admits no analytic extension. We also give a useful criterion for that notion of analytic completeness by defining arc-properness of continuous maps, which can be considered as a very weak version of properness. As an application, we judge the analytic completeness of a certain class of constant mean curvature surfaces (the so-called "G-catenoids") or their analytic extensions in the de Sitter 3-space. △ Less

Submitted 6 July, 2022; v1 submitted 12 November, 2020; originally announced November 2020.

Comments: 32 pages, 6 figures

MSC Class: 53A10; 53A35

Poincaré duality for rigid analytic Hyodo--Kato theory

Authors: Veronika Ertl, Kazuki Yamada

Abstract: The purpose of this paper is to establish Hyodo--Kato theory with compact support for semistable schemes through rigid analytic methods. To this end we introduce several types of log rigid cohomology with compact support. moreover we show that additional structures on the (rigid) Hyodo--Kato cohomology and the Hyodo--Kato map introduced in our previous paper are compatible with Poincaré duality. C… ▽ More The purpose of this paper is to establish Hyodo--Kato theory with compact support for semistable schemes through rigid analytic methods. To this end we introduce several types of log rigid cohomology with compact support. moreover we show that additional structures on the (rigid) Hyodo--Kato cohomology and the Hyodo--Kato map introduced in our previous paper are compatible with Poincaré duality. Compared to the crystalline approach, the constructions are explicit yet versatile, and hence suitable for computations. △ Less

Submitted 8 May, 2024; v1 submitted 19 September, 2020; originally announced September 2020.

Comments: 4th version, 58 pages. We added an appendix concerning an explicit construction of the cup product. We modified the references to our paper "Rigid analytic reconstruction of Hyodo--Kato theory" where necessary. We made changes to avoid the use of Thms. A and B for dagger quasi-Stein spaces

MSC Class: 14F30; 14F43

Effect of Objective Function on Data-Driven Greedy Sparse Sensor Optimization

Authors: Kumi Nakai, Keigo Yamada, Takayuki Nagata, Yuji Saito, Taku Nonomura

Abstract: The selection problem of an optimal set of sensors estimating the snapshot of high-dimensional data is considered. The objective functions based on various criteria of optimal design are adopted to the greedy method: D-optimality, A-optimality, and E-optimality, which maximizes the determinant, minimize the trace of inverse, and maximize the minimum eigenvalue of the Fisher information matrix, res… ▽ More The selection problem of an optimal set of sensors estimating the snapshot of high-dimensional data is considered. The objective functions based on various criteria of optimal design are adopted to the greedy method: D-optimality, A-optimality, and E-optimality, which maximizes the determinant, minimize the trace of inverse, and maximize the minimum eigenvalue of the Fisher information matrix, respectively. First, the Fisher information matrix is derived depending on the numbers of latent state variables and sensors. Then, the unified formulation of the objective function based on A-optimality is introduced and proved to be submodular, which provides the lower bound on the performance of the greedy method. Next, the greedy methods based on D-, A-, and E-optimality are applied to randomly generated systems and a practical data set of global climates. The sensors selected by the D-optimality objective function works better than those by A- and E-optimality with regard to the determinant, trace of the inverse, and reconstruction error, while those by A-optimality works the best with regard to the minimum eigenvalue. On the other hand, the performance of sensors selected by the E-optimality objective function is worse for all indices and reconstruction error. This might be because of the lack of submodularity as proved in the paper. The results indicate that the greedy method based on D-optimality is the most suitable for high accurate reconstruction with low computational cost. △ Less

Submitted 8 April, 2021; v1 submitted 10 July, 2020; originally announced July 2020.

Journal ref: IEEE Access, 9 (2021) 46731 - 46743

Hyodo-Kato theory with syntomic coefficients

Authors: Kazuki Yamada

Abstract: The purpose of this article is to establish theories concerning $p$-adic analogues of Hodge cohomology and Deligne-Beilinson cohomology with coefficients in variations of mixed Hodge structures. We first study log overconvergent $F$-isocrystals as coefficients of Hyodo-Kato cohomology. In particular, we prove a rigidity property of Hain-Zucker type for mixed log overconvergent $F$-isocrystals. In… ▽ More The purpose of this article is to establish theories concerning $p$-adic analogues of Hodge cohomology and Deligne-Beilinson cohomology with coefficients in variations of mixed Hodge structures. We first study log overconvergent $F$-isocrystals as coefficients of Hyodo-Kato cohomology. In particular, we prove a rigidity property of Hain-Zucker type for mixed log overconvergent $F$-isocrystals. In the latter half of the article, we give a new definition of syntomic coefficients as coefficients of $p$-adic Hodge cohomology and syntomic cohomology, and prove some fundamental properties concerning base change and admissibility. In particular, we see that our framework of syntomic coefficients depends only on the choice of a branch of the $p$-adic logarithm, but not on the choice of a uniformizer of the base ring. The rigid analytic reconstruction of Hyodo-Kato map studied by Ertl and the author plays a key role throughout this article. △ Less

Submitted 27 February, 2025; v1 submitted 12 May, 2020; originally announced May 2020.

Comments: 5th version, 85 pages. I reflected the changes of our previous paper "Rigid analytic reconstruction of Hyodo-Kato theory" where the authors reverted the definition of Hyodo--Kato cohomology to a previous version

MSC Class: 14F30; 14F43

Hypersurfaces with Light-Like Points in a Lorentzian Manifold II

Authors: Masaaki Umehara, Kotaro Yamada

Abstract: In the authors' previous work, it was shown that if a zero mean curvature $C^4$-differentiable hypersurface in an arbitrarily given Lorentzian manifold admits a degenerate light-like point, then the hypersurface contains a light-like geodesic segment passing through the point. The purpose of this paper is to point out that the same conclusion holds with just $C^3$-differentiability of the hypersur… ▽ More In the authors' previous work, it was shown that if a zero mean curvature $C^4$-differentiable hypersurface in an arbitrarily given Lorentzian manifold admits a degenerate light-like point, then the hypersurface contains a light-like geodesic segment passing through the point. The purpose of this paper is to point out that the same conclusion holds with just $C^3$-differentiability of the hypersurfaces. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Comments: 6 pages

MSC Class: 53A10; 53B30; 35M10

$p$-adic Polylogarithms and $p$-adic Hecke $L$-functions for Totally Real Fields

Authors: Kenichi Bannai, Kei Hagihara, Kazuki Yamada, Shuji Yamamoto

Abstract: The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic… ▽ More The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic polylogarithms. △ Less

Submitted 25 May, 2022; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: 34 pages, Added more explanations to make the aticle more readable

MSC Class: 11M35; 11R80 (Primary); 11R42; 14L15 (Secondary)

The Hodge realization of the polylogarithm on the product of multiplicative groups

Authors: Kenichi Bannai, Kei Hagihara, Kazuki Yamada, Shuji Yamamoto

Abstract: The purpose of this article is to describe explicitly the polylogarithm class in absolute Hodge cohomology of a product of multiplicative groups, in terms of the Bloch-Wigner-Ramakrishnan polylogarithm functions. We will use the logarithmic Dolbeault complex defined by Burgos to calculate the corresponding absolute Hodge cohomology groups. The purpose of this article is to describe explicitly the polylogarithm class in absolute Hodge cohomology of a product of multiplicative groups, in terms of the Bloch-Wigner-Ramakrishnan polylogarithm functions. We will use the logarithmic Dolbeault complex defined by Burgos to calculate the corresponding absolute Hodge cohomology groups. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Comments: 28 pages

MSC Class: 14C30; 11G55

Journal ref: Mathematische Zeitschrift Volume 296, pages 1787--1817 (2020)

Fast Greedy Optimization of Sensor Selection in Measurement with Correlated Noise

Authors: Keigo Yamada, Yuji Saito, Koki Nankai, Taku Nonomura, Keisuke Asai, Daisuke Tsubakino

Abstract: A greedy algorithm is proposed for sparse-sensor selection in reduced-order sensing that contains correlated noise in measurement. The sensor selection is carried out by maximizing the determinant of the Fisher information matrix in a Bayesian estimation operator.The Bayesian estimation with a covariance matrix of the measurement noise and a prior probability distribution of estimating parameters,… ▽ More A greedy algorithm is proposed for sparse-sensor selection in reduced-order sensing that contains correlated noise in measurement. The sensor selection is carried out by maximizing the determinant of the Fisher information matrix in a Bayesian estimation operator.The Bayesian estimation with a covariance matrix of the measurement noise and a prior probability distribution of estimating parameters, which are given by the modal decomposition of high dimensional data, robustly works even in the presence of the correlated noise. After computational efficiency of the algorithm is improved by a low-rank approximation of the noise covariance matrix, the proposed algorithms are applied to various problems. The proposed method yields more accurate reconstruction than the previously presented method with the determinant-based greedy algorithm, with reasonable increase in computational time. △ Less

Submitted 26 April, 2021; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: Presented in APS-DFD 2019 Accepted for publication at 3 Jan 2021

MSC Class: 37M05(Primary); 90C27(Secondary); 62F15(Tertiary)

Journal ref: Mechanical Systems and Signal Processing 158C (2021) 107619

On the existence of four or more curved foldings with common creases and crease patterns

Authors: Atsufumi Honda, Kosuke Naokawa, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: Consider an oriented curve $Γ$ in a domain $D$ in the plane $\boldsymbol R^2$. Thinking of $D$ as a piece of paper, one can make a curved folding in the Euclidean space $\boldsymbol R^3$. This can be expressed as the image of an "origami map" $Φ:D\to \boldsymbol R^3$ such that $Γ$ is the singular set of $Φ$, the word "origami" coming from the Japanese term for paper folding. We call the singular s… ▽ More Consider an oriented curve $Γ$ in a domain $D$ in the plane $\boldsymbol R^2$. Thinking of $D$ as a piece of paper, one can make a curved folding in the Euclidean space $\boldsymbol R^3$. This can be expressed as the image of an "origami map" $Φ:D\to \boldsymbol R^3$ such that $Γ$ is the singular set of $Φ$, the word "origami" coming from the Japanese term for paper folding. We call the singular set image $C:=Φ(Γ)$ the crease of $Φ$ and the singular set $Γ$ the crease pattern of $Φ$. We are interested in the number of origami maps whose creases and crease patterns are $C$ and $Γ$, respectively. Two such possibilities have been known. In the authors' previous work, two other new possibilities and an explicit example with four such non-congruent distinct curved foldings were established. In this paper, we determine the possibility of the number $N$ of congruence classes of curved foldings with the same crease and crease pattern. As a consequence, if $C$ is a non-closed simple arc, then $N=4$ if and only if both $Γ$ and $C$ do not admit any symmetries. On the other hand, when $C$ is a closed curve, there are infinitely many distinct possibilities for curved foldings with the same crease and crease pattern, in general. △ Less

Submitted 10 September, 2020; v1 submitted 17 November, 2019; originally announced November 2019.

Comments: 29 pages, 7 figures

MSC Class: 53A05; 51M15

Canonical Equivariant Cohomology Classes Generating Zeta Values of Totally Real Fields

Authors: Kenichi Bannai, Kei Hagihara, Kazuki Yamada, Shuji Yamamoto

Abstract: It is known that the special values at nonpositive integers of a Dirichlet $L$-function may be expressed using the generalized Bernoulli numbers, which are defined by a canonical generating function. The purpose of this article is to consider the generalization of this classical result to the case of Hecke $L$-functions of totally real fields. Hecke $L$-functions may be expressed canonically as a… ▽ More It is known that the special values at nonpositive integers of a Dirichlet $L$-function may be expressed using the generalized Bernoulli numbers, which are defined by a canonical generating function. The purpose of this article is to consider the generalization of this classical result to the case of Hecke $L$-functions of totally real fields. Hecke $L$-functions may be expressed canonically as a finite sum of zeta functions of Lerch type. By combining the non-canonical multivariable generating functions constructed by Shintani, we newly construct a canonical class, which we call the Shintani generating class, in the equivariant cohomology of an algebraic torus associated to the totally real field. Our main result states that the specializations at torsion points of the derivatives of the Shintani generating class give values at nonpositive integers of the zeta functions of Lerch type. This result gives the insight that the correct framework in the higher dimensional case is to consider higher equivariant cohomology classes instead of functions. △ Less

Submitted 19 March, 2020; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: 18 pages, Updated version with minor corrections

MSC Class: 11M35 (Primary); 11R42; 14L15; 55N91 (Secondary)

Journal ref: Trans. Amer. Math. Soc. Ser. B 10 (2023), 613-635

Null hypersurfaces in Lorentzian manifolds with the null energy condition

Authors: Shintaro Akamine, Atsufumi Honda, Masaaki Umehara, Kotaro Yamada

Abstract: Let $M^{n+1}_1$ be a light-like geodesically complete Lorentzian $(n+1)$-manifold satisfying the null energy condition. We show that null hypersurfaces properly immersed in $M^{n+1}_1$ are totally geodesic. Let $M^{n+1}_1$ be a light-like geodesically complete Lorentzian $(n+1)$-manifold satisfying the null energy condition. We show that null hypersurfaces properly immersed in $M^{n+1}_1$ are totally geodesic. △ Less

Submitted 17 January, 2020; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: 9 pages

MSC Class: 53C50; 53C42; 53B30

Curved foldings with common creases and crease patterns

Authors: Atsufumi Honda, Kosuke Naokawa, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: Consider a curve $Γ$ in a domain $D$ in the plane $\boldsymbol R^2$. Thinking of $D$ as a piece of paper, one can make a curved folding $P$ in the Euclidean space $\boldsymbol R^3$. The singular set $C$ of $P$ as a space curve is called the crease of $P$ and the initially given plane curve $Γ$ is called the crease pattern of $P$. In this paper, we show that in general there are four distinct non-c… ▽ More Consider a curve $Γ$ in a domain $D$ in the plane $\boldsymbol R^2$. Thinking of $D$ as a piece of paper, one can make a curved folding $P$ in the Euclidean space $\boldsymbol R^3$. The singular set $C$ of $P$ as a space curve is called the crease of $P$ and the initially given plane curve $Γ$ is called the crease pattern of $P$. In this paper, we show that in general there are four distinct non-congruent curved foldings with a given pair consisting of a crease and crease pattern. Two of these possibilities were already known, but it seems that the other two possibilities (i.e. four possibilities in total) are presented here for the first time. △ Less

Submitted 22 July, 2020; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: 8 pages, 4 figures

MSC Class: 53A05; 51M15

Cuspidal edges with the same first fundamental forms along a knot

Authors: Atsufumi Honda, Kosuke Naokawa, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: Letting $C$ be a compact $C^ω$-curve embedded in $\boldsymbol R^3$ ($C^ω$ means real analyticity), we consider a $C^ω$-cuspidal edge $f$ along $C$. When $C$ is non-closed, in the authors' previous works, the local existence of three distinct cuspidal edges along $C$ whose first fundamental forms coincide with that of $f$ was shown, under a certain reasonable assumption on $f$. In this paper, if… ▽ More Letting $C$ be a compact $C^ω$-curve embedded in $\boldsymbol R^3$ ($C^ω$ means real analyticity), we consider a $C^ω$-cuspidal edge $f$ along $C$. When $C$ is non-closed, in the authors' previous works, the local existence of three distinct cuspidal edges along $C$ whose first fundamental forms coincide with that of $f$ was shown, under a certain reasonable assumption on $f$. In this paper, if $C$ is closed, that is, $C$ is a knot, we show that there exist infinitely many cuspidal edges along $C$ having the same first fundamental form as that of $f$ such that their images are non-congruent to each other, in general. △ Less

Submitted 27 April, 2020; v1 submitted 19 August, 2019; originally announced August 2019.

Comments: 12 pages, 2 figures

The Kodaira dimension and singularities of moduli of stable sheaves on some elliptic surfaces

Authors: Kimiko Yamada

Abstract: Let $X$ be an elliptic surface over ${\bf P}^1$ with $κ(X)=1$, and $M=M(c_2)$ be the moduli scheme of rank-two stable sheaves $E$ on $X$ with $(c_1(E),c_2(E))=(0,c_2)$ in $\operatorname{Pic}(X)\times\mathbb{Z}$. We look into defining equations of $M$ at its singularity $E$, partly because if $M$ admits only canonical singularities, then the Kodaira dimension $κ(M)$ can be calculated. We show the f… ▽ More Let $X$ be an elliptic surface over ${\bf P}^1$ with $κ(X)=1$, and $M=M(c_2)$ be the moduli scheme of rank-two stable sheaves $E$ on $X$ with $(c_1(E),c_2(E))=(0,c_2)$ in $\operatorname{Pic}(X)\times\mathbb{Z}$. We look into defining equations of $M$ at its singularity $E$, partly because if $M$ admits only canonical singularities, then the Kodaira dimension $κ(M)$ can be calculated. We show the following. (A) $E$ is at worst canonical singularity of $M$ if the restriction of $E_η$ to the generic fiber of $X$ has no rank-one subsheaf, and if the number of multiple fibers of $X$ is a few. (B) We obtain that $κ(M)=\{1+\dim(M)\}/2$ and the Iitaka program of $M$ can be described in purely moduli-theoretic way for $c_2\gg 0$, when $χ({\mathcal O}_X)=1$, $X$ has just two multiple fibers, and one of its multiplicities equals $2$. (C) On the other hand, when $E_η$ has a rank-one subsheaf, it may be insufficient to look at only the degree-two part of defining equations to judge whether $E$ is at worst canonical singularity or not. △ Less

Submitted 24 February, 2021; v1 submitted 14 August, 2019; originally announced August 2019.

MSC Class: 14J60 (Primary); 14D20; 32G13; 14B05; 14Exx (Secondary)

Journal ref: International Journal of Mathematics (2021)

Rigid analytic reconstruction of Hyodo--Kato theory

Authors: Veronika Ertl, Kazuki Yamada

Abstract: We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.) We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.) △ Less

Submitted 27 February, 2025; v1 submitted 25 July, 2019; originally announced July 2019.

Comments: 6th version, 88 pages. The definition of Hyodo--Kato cohomology is reverted to a previous version

MSC Class: 14F30; 14F40 14G22

Bernstein-type theorem for zero mean curvature hypersurfaces without time-like points in Lorentz-Minkowski space

Authors: Shintaro Akamine, Atsufumi Honda, Masaaki Umehara, Kotaro Yamada

Abstract: Calabi and Cheng-Yau's Bernstein-type theorem asserts that an entire zero mean curvature graph in Lorentz-Minkowski $(n+1)$-space $\boldsymbol R^{n+1}_1$ which admits only space-like points is a hyperplane. Recently, the third and fourth authors proved a line theorem for hypersurfaces at their degenerate light-like points. Using this, we give an improvement of the Bernstein-type theorem, and we sh… ▽ More Calabi and Cheng-Yau's Bernstein-type theorem asserts that an entire zero mean curvature graph in Lorentz-Minkowski $(n+1)$-space $\boldsymbol R^{n+1}_1$ which admits only space-like points is a hyperplane. Recently, the third and fourth authors proved a line theorem for hypersurfaces at their degenerate light-like points. Using this, we give an improvement of the Bernstein-type theorem, and we show that an entire zero mean curvature graph in $\boldsymbol R^{n+1}_1$ consisting only of space-like or light-like points is a hyperplane. This is a generalization of the first, third and fourth authors' previous result for $n=2$. △ Less

Submitted 20 July, 2019; v1 submitted 3 July, 2019; originally announced July 2019.

Comments: 4 pages; Metadata are updated on July 20

MSC Class: 53A10; 53C42

Space-like maximal surfaces containing entire null lines in Lorentz-Minkowski 3-space

Authors: Shintaro Akamine, Masaaki Umehara, Kotaro Yamada

Abstract: Consider a surface $S$ immersed in the Lorentz-Minkowski 3-space $\boldsymbol R^3_1$. A complete light-like line in $\boldsymbol R^3_1$ is called an entire null line on the surface $S$ in $\boldsymbol R^3_1$ if it lies on $S$ and consists of only null points with respect to the induced metric. In this paper, we show the existence of embedded space-like maximal graphs containing entire null lines.… ▽ More Consider a surface $S$ immersed in the Lorentz-Minkowski 3-space $\boldsymbol R^3_1$. A complete light-like line in $\boldsymbol R^3_1$ is called an entire null line on the surface $S$ in $\boldsymbol R^3_1$ if it lies on $S$ and consists of only null points with respect to the induced metric. In this paper, we show the existence of embedded space-like maximal graphs containing entire null lines. If such a graph is defined on a convex domain in $\boldsymbol R^2$, then it must be a light-like plane. Our example is critical in the sense that it is defined on a certain non-convex domain. △ Less

Submitted 1 July, 2019; originally announced July 2019.

Comments: 9 pages, 3 figures

MSC Class: 53A10; 53B30; 35M10

Duality on generalized cuspidal edges preserving singular set images and first fundamental forms

Authors: Atsufumi Honda, Kosuke Naokawa, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: In the second, fourth and fifth authors' previous work, a duality on generic real analytic cuspidal edges in the Euclidean 3-space $\boldsymbol R^3$ preserving their singular set images and first fundamental forms, was given. Here, we call this an `isometric duality'. When the singular set image has no symmetries and does not lie in a plane, the dual cuspidal edge is not congruent to the original… ▽ More In the second, fourth and fifth authors' previous work, a duality on generic real analytic cuspidal edges in the Euclidean 3-space $\boldsymbol R^3$ preserving their singular set images and first fundamental forms, was given. Here, we call this an `isometric duality'. When the singular set image has no symmetries and does not lie in a plane, the dual cuspidal edge is not congruent to the original one. In this paper, we show that this duality extends to generalized cuspidal edges in $\boldsymbol R^3$, including cuspidal cross caps, and $5/2$-cuspidal edges. Moreover, we give several new geometric insights on this duality. △ Less

Submitted 28 July, 2020; v1 submitted 6 June, 2019; originally announced June 2019.

Comments: 35 pages, 7 figures

MSC Class: 57R45; 53A05

Improvement of the Bernstein-type theorem for space-like zero mean curvature graphs in Lorentz-Minkowski space using fluid mechanical duality

Authors: Shintaro Akamine, Masaaki Umehara, Kotaro Yamada

Abstract: Calabi's Bernstein-type theorem asserts that a zero mean curvature entire graph in Lorentz-Minkowski space $\boldsymbol L^3$ which admits only space-like points is a space-like plane. Using the fluid mechanical duality between minimal surfaces in Euclidean 3-space $\boldsymbol E^3$ and maximal surfaces in Lorentz-Minkowski space $\boldsymbol L^3$, we give an improvement of this Bernstein-type theo… ▽ More Calabi's Bernstein-type theorem asserts that a zero mean curvature entire graph in Lorentz-Minkowski space $\boldsymbol L^3$ which admits only space-like points is a space-like plane. Using the fluid mechanical duality between minimal surfaces in Euclidean 3-space $\boldsymbol E^3$ and maximal surfaces in Lorentz-Minkowski space $\boldsymbol L^3$, we give an improvement of this Bernstein-type theorem. More precisely, we show that a zero mean curvature entire graph in $\boldsymbol L^3$ which does not admit time-like points (namely, a graph consists of only space-like and light-like points) is a plane. △ Less

Submitted 25 June, 2019; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: 9 pages, 2 figures

MSC Class: 53A10; 53C42; 76H05

Characterization of a metrizable space $X$ such that $F_4(X)$ is Fréchet-Urysohn

Authors: Kohzo Yamada

Abstract: Let $F(X)$ be the free topological group on a Tychonoff space $X$. For all natural numbers $n$ we denote by $F_n(X)$ the subset of $F(X)$ consisting of all words of reduced length $\leq n$. In \cite{Y3}, the author found equivalent conditions on a metrizable space $X$ for $F_3(X)$ to be Fréchet-Urysohn, and for $F_n(X)$ to be Fréchet-Urysohn for $n\geq5$. However, no equivalent condition on $X$ fo… ▽ More Let $F(X)$ be the free topological group on a Tychonoff space $X$. For all natural numbers $n$ we denote by $F_n(X)$ the subset of $F(X)$ consisting of all words of reduced length $\leq n$. In \cite{Y3}, the author found equivalent conditions on a metrizable space $X$ for $F_3(X)$ to be Fréchet-Urysohn, and for $F_n(X)$ to be Fréchet-Urysohn for $n\geq5$. However, no equivalent condition on $X$ for $n=4$ was found. In this paper, we give the equivalent condition. In fact, we show that for a metrizable space $X$, if the set of all non-isolated points of $X$ is compact, then $F_4(X)$ is Fréchet-Urysohn. Consequently, for a metrizable space $X$ $F_3(X)$ is Fréchet-Urysohn if and only if $F_4(X)$ is Fréchet-Urysohn. △ Less

Submitted 6 July, 2018; originally announced July 2018.

MSC Class: 54H11; 22A05; 54E35; 54D45

Hypersurfaces with light-like points

Authors: Masaaki Umehara, Kotaro Yamada

Abstract: Consider a constant mean curvature immersion $F:U(\subset \boldsymbol{R}^n)\to M$ into an arbitrary Lorentzian $(n+1)$-manifold $M$. A point $o\in U$ is called a light-like point if the first fundamental form $ds^2$ of $F$ degenerates at $o$. We denote by $B_F$ the determinant function of the symmetric matrix associated to $ds^2$ with respect to a local coordinate system at $o$. A light-like point… ▽ More Consider a constant mean curvature immersion $F:U(\subset \boldsymbol{R}^n)\to M$ into an arbitrary Lorentzian $(n+1)$-manifold $M$. A point $o\in U$ is called a light-like point if the first fundamental form $ds^2$ of $F$ degenerates at $o$. We denote by $B_F$ the determinant function of the symmetric matrix associated to $ds^2$ with respect to a local coordinate system at $o$. A light-like point $o$ is said to be degenerate if the exterior derivative of $B_F$ vanishes at $o$. We show that if $o$ is a degenerate light-like point, then the image of $F$ contains a light-like geodesic segment of $M$ passing through $f(o)$ (cf.\ Theorem E). This explains why several known examples of constant mean curvature hypersurface in the Lorentz-Minkowski $(n+1)$-space form $\boldsymbol{R}^{n+1}_1$ contain light-like lines on their sets of light-like points, under a suitable regularity condition of $F$. Several related results are also given. △ Less

Submitted 3 November, 2018; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: 25 pages

MSC Class: Primary 53A10; Secondary 53B30; 35M10

Comparison between rigid syntomic and crystalline syntomic cohomology for strictly semistable log schemes with boundary

Authors: Veronika Ertl, Kazuki Yamada

Abstract: We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to Nekovář-Nizioł's crystalline syntomic cohomology of the generic fibre. The main ingredients are a modification of Große-Klönne's rigid Hyodo-Kato theory and a generalisation of… ▽ More We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to Nekovář-Nizioł's crystalline syntomic cohomology of the generic fibre. The main ingredients are a modification of Große-Klönne's rigid Hyodo-Kato theory and a generalisation of it for strictly semistable log schemes with boundary. △ Less

Submitted 3 December, 2019; v1 submitted 13 May, 2018; originally announced May 2018.

Comments: 46 pages, Replaced version: axiomatized the construction of canonical rigid complexes, and modified typos and confusing explanations. To be published in: Rend. Sem. Mat. Univ. Padova \c{opyright} European Mathematical Society

Isometric deformations of wave fronts at non-degenerate singular points

Authors: Atsufumi Honda, Kosuke Naokawa, Masaaki Umehara, Kotaro Yamada

Abstract: Cuspidal edges and swallowtails are typical non-degenerate singular points on wave fronts in the Euclidean $3$-space. Their first fundamental forms belong to a class of positive semi-definite metrics called "Kossowski metrics". A point where a Kossowski metric is not positive definite is called a singular point or a semi-definite point of the metric. Kossowski proved that real analytic Kossowski m… ▽ More Cuspidal edges and swallowtails are typical non-degenerate singular points on wave fronts in the Euclidean $3$-space. Their first fundamental forms belong to a class of positive semi-definite metrics called "Kossowski metrics". A point where a Kossowski metric is not positive definite is called a singular point or a semi-definite point of the metric. Kossowski proved that real analytic Kossowski metric germs at their non-parabolic singular points(the definition of "non-parabolic singular point" is stated in the introduction here) can be realized as wave front germs (Kossowski's realization theorem). On the other hand, in a previous work with K. Saji, the third and the fourth authors introduced the notion of "coherent tangent bundle". Moreover, the authors, with M. Hasegawa and K. Saji, proved that a Kossowski metric canonically induces an associated coherent tangent bundle. In this paper, we shall explain Kossowski's realization theorem from the viewpoint of coherent tangent bundles. Moreover, as refinements of it, we give a criterion that a given Kossowski metric can be realized as the induced metric of a germ of cuspidal edge (resp. swallowtail or cuspidal cross cap). Several applications of these criteria are given. Also, some remaining problems on isometric deformations of singularities of analytic maps are given at the end of this paper. △ Less

Submitted 16 April, 2020; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 34 pages, 2 figures

MSC Class: Primary 57R45; Secondary 53A05

Surfaces with light-like points in Lorentz-Minkowski 3-space with applications

Authors: Masaaki Umehara, Kotaro Yamada

Abstract: With several concrete examples of zero mean curvature surfaces in $\boldsymbol{R}^3_1$ containing a light-like line recently having been found, here we construct all real analytic germs of zero mean curvature surfaces by applying the Cauchy-Kovalevski theorem for partial differential equations. A point where the first fundamental form of a surface degenerates is said to be light-like. We also show… ▽ More With several concrete examples of zero mean curvature surfaces in $\boldsymbol{R}^3_1$ containing a light-like line recently having been found, here we construct all real analytic germs of zero mean curvature surfaces by applying the Cauchy-Kovalevski theorem for partial differential equations. A point where the first fundamental form of a surface degenerates is said to be light-like. We also show a theorem on a property of light-like points of a surface in $\boldsymbol{R}^3_1$ whose mean curvature vector is smoothly extendable. This explains why such surfaces will contain a light-like line when they do not change causal types. Moreover, several applications of these two results are given. △ Less

Submitted 24 July, 2017; originally announced July 2017.

Comments: 16 pages; 1 figure

MSC Class: 53A10; 53B30; 35M10

Category of mixed plectic Hodge structures

Authors: Kenichi Bannai, Kei Hagihara, Shinichi Kobayashi, Kazuki Yamada, Shuji Yamamoto, Seidai Yasuda

Abstract: The purpose of this article is to investigate the properties of the category of mixed plectic Hodge structures defined by Nekovář and Scholl. We give an equivalent description of mixed plectic Hodge structures in terms of the weight and partial Hodge filtrations. We also construct an explicit complex calculating the extension groups in this category. The purpose of this article is to investigate the properties of the category of mixed plectic Hodge structures defined by Nekovář and Scholl. We give an equivalent description of mixed plectic Hodge structures in terms of the weight and partial Hodge filtrations. We also construct an explicit complex calculating the extension groups in this category. △ Less

Submitted 29 October, 2020; v1 submitted 16 May, 2017; originally announced May 2017.

Comments: 43 pages, Corrected calculation in Example 5.28

MSC Class: 14C30

Journal ref: Asian J. Math. 24 (2020), no. 1, 31-76

Quadrics and Scherk towers

Authors: Shoichi Fujimori, Udo Hertrich-Jeromin, Masatoshi Kokubu, Masaaki Umehara, Kotaro Yamada

Abstract: We investigate the relation between quadrics and their Christoffel duals on the one hand, and certain zero mean curvature surfaces and their Gauss maps on the other hand. To study the relation between timelike minimal surfaces and the Christoffel duals of 1-sheeted hyperboloids we introduce para-holomorphic elliptic functions. The curves of type change for real isothermic surfaces of mixed causal… ▽ More We investigate the relation between quadrics and their Christoffel duals on the one hand, and certain zero mean curvature surfaces and their Gauss maps on the other hand. To study the relation between timelike minimal surfaces and the Christoffel duals of 1-sheeted hyperboloids we introduce para-holomorphic elliptic functions. The curves of type change for real isothermic surfaces of mixed causal type turn out to be aligned with the real curvature line net. △ Less

Submitted 9 January, 2017; originally announced January 2017.

Comments: 19 pages, 6 figures

MSC Class: 53C42; 53A10; 53A30; 37K25; 37K35

Isometric realization of cross caps as formal power series and its applications

Authors: Atsufumi Honda, Kosuke Naokawa, Masaaki Umehara, Kotaro Yamada

Abstract: Two cross caps in Euclidean $3$-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given $C^\infty$ cross cap $f$, we give a method to find all cross caps which are formally isometric to $f$. As an application, we give a countable family of intrinsic invariants of cross caps which recognizes… ▽ More Two cross caps in Euclidean $3$-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given $C^\infty$ cross cap $f$, we give a method to find all cross caps which are formally isometric to $f$. As an application, we give a countable family of intrinsic invariants of cross caps which recognizes formal isometry classes completely. △ Less

Submitted 23 January, 2016; originally announced January 2016.

Comments: 24 pages, 5 figures

MSC Class: Primary 57R45; Secondary 53A05

Zero mean curvature entire graphs of mixed type in Lorentz-Minkowski 3-space

Authors: Shoichi Fujimori, Yu Kawakami, Masatoshi Kokubu, Wayne Rossman, Masaaki Umehara, Kotaro Yamada

Abstract: It is classically known that the only zero mean curvature entire graphs in the Euclidean 3-space are planes, by Bernstein's theorem. A surface in Lorentz-Minkowski 3-space $\boldsymbol{R}^3_1$ is called of mixed type if it changes causal type from space-like to time-like. In $\boldsymbol{R}^3_1$, Osamu Kobayashi found two zero mean curvature entire graphs of mixed type that are not planes. As far… ▽ More It is classically known that the only zero mean curvature entire graphs in the Euclidean 3-space are planes, by Bernstein's theorem. A surface in Lorentz-Minkowski 3-space $\boldsymbol{R}^3_1$ is called of mixed type if it changes causal type from space-like to time-like. In $\boldsymbol{R}^3_1$, Osamu Kobayashi found two zero mean curvature entire graphs of mixed type that are not planes. As far as the authors know, these two examples were the only known examples of entire zero mean curvature graphs of mixed type without singularities. In this paper, we construct several families of real analytic zero mean curvature entire graphs of mixed type in Lorentz-Minkowski $3$-space. The entire graphs mentioned above lie in one of these classes. △ Less

Submitted 3 March, 2016; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: 31 pages, 5 figures

MSC Class: 53A10 (Primary); 53A35; 53C50 (Secondary)

Analytic extension of Jorge-Meeks type maximal surfaces in Lorentz-Minkowski 3-space

Authors: Shoichi Fujimori, Yu Kawakami, Masatoshi Kokubu, Wayne Rossman, Masaaki Umehara, Kotaro Yamada

Abstract: The Jorge-Meeks $n$-noid ($n\ge 2$) is a complete minimal surface of genus zero with $n$ catenoidal ends in the Euclidean 3-space $\boldsymbol{R}^3$, which has $(2π/n)$-rotation symmetry with respect to its axis. In this paper, we show that the corresponding maximal surface $f_n$ in Lorentz-Minkowski 3-space $\boldsymbol{R}^3_1$ has an analytic extension $\tilde f_n$ as a properly embedded zero me… ▽ More The Jorge-Meeks $n$-noid ($n\ge 2$) is a complete minimal surface of genus zero with $n$ catenoidal ends in the Euclidean 3-space $\boldsymbol{R}^3$, which has $(2π/n)$-rotation symmetry with respect to its axis. In this paper, we show that the corresponding maximal surface $f_n$ in Lorentz-Minkowski 3-space $\boldsymbol{R}^3_1$ has an analytic extension $\tilde f_n$ as a properly embedded zero mean curvature surface. The extension changes type into a time-like (minimal) surface. △ Less

Submitted 19 September, 2015; originally announced September 2015.

Comments: 23 pages ; 17 figures

MSC Class: Primary 53A10; Secondary 53A35; 53C50

Mixed type surfaces with bounded mean curvature in 3-dimensional space-times

Authors: Atsufumi Honda, Miyuki Koiso, Masatoshi Kokubu, Masaaki Umehara, Kotaro Yamada

Abstract: In this paper, we shall prove that space-like surfaces with bounded mean curvature functions in real analytic Lorentzian 3-manifolds can change their causality to time-like surfaces only if the mean curvature functions tend to zero. Moreover, we shall show the existence of such surfaces with non-vanishing mean curvature and investigate their properties. In this paper, we shall prove that space-like surfaces with bounded mean curvature functions in real analytic Lorentzian 3-manifolds can change their causality to time-like surfaces only if the mean curvature functions tend to zero. Moreover, we shall show the existence of such surfaces with non-vanishing mean curvature and investigate their properties. △ Less

Submitted 11 August, 2015; originally announced August 2015.

Comments: 12 pages, 2 figures

MSC Class: Primary: 53A35; Secondary: 57R45; 35M10

Analytic extension of exceptional constant mean curvature one catenoids in de Sitter 3-space

Authors: Shoichi Fujimori, Yu Kawakami, Masatoshi Kokubu, Wayne Rossman, Masaaki Umehara, Kotaro Yamada

Abstract: Catenoids in de Sitter $3$-space $S^3_1$ belong to a certain class of space-like constant mean curvature one surfaces. In a previous work, the authors classified such catenoids, and found that two different classes of countably many exceptional elliptic catenoids are not realized as closed subsets in $S^3_1$. Here we show that such exceptional catenoids have closed analytic extensions in $S^3_1$ w… ▽ More Catenoids in de Sitter $3$-space $S^3_1$ belong to a certain class of space-like constant mean curvature one surfaces. In a previous work, the authors classified such catenoids, and found that two different classes of countably many exceptional elliptic catenoids are not realized as closed subsets in $S^3_1$. Here we show that such exceptional catenoids have closed analytic extensions in $S^3_1$ with interesting properties. △ Less

Submitted 9 July, 2018; v1 submitted 23 July, 2015; originally announced July 2015.

Comments: 12 pages, 8 figures

MSC Class: 53A10; 53A35; 53C50

Log Rigid Syntomic Cohomology for Strictly Semistable Schemes

Authors: Kazuki Yamada

Abstract: We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(φ,N)$-modules. We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(φ,N)$-modules. △ Less

Submitted 10 July, 2016; v1 submitted 14 May, 2015; originally announced May 2015.

Comments: 29 pages. In this version, we added the acknowledgement

MSC Class: 14F30

Singularities and Kodaira dimension of moduli scheme of stable sheaves on Enriques surfaces

Authors: Kimiko Yamada

Abstract: Let M be a moduli scheme of stable sheaves with fixed Chern classes on an Enriques surface or a hyper-elliptic surface. If its expected dimension is 7 or more, then M admits only canonical singularities. Moreover, if M is compact, then its Kodaira dimension is zero. Let M be a moduli scheme of stable sheaves with fixed Chern classes on an Enriques surface or a hyper-elliptic surface. If its expected dimension is 7 or more, then M admits only canonical singularities. Moreover, if M is compact, then its Kodaira dimension is zero. △ Less

Submitted 26 November, 2014; originally announced November 2014.

MSC Class: 14J60; 14B05; 14D20; 14Exx

Journal ref: Kyoto Journal of Mathematics 53 (2013), no. 1, 145--153

Intrinsic properties of surfaces with singularities

Authors: Masaru Hasegawa, Atsufumi Honda, Kosuke Naokawa, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: In this paper, we give two classes of positive semi-definite metrics on 2-manifolds. The one is called a class of Kossowski metrics and the other is called a class of Whitney metrics: The pull-back metrics of wave fronts which admit only cuspidal edges and swallowtails in $\boldsymbol{R}^3$ are Kossowski metrics, and the pull-back metrics of surfaces consisting only of cross cap singularities are… ▽ More In this paper, we give two classes of positive semi-definite metrics on 2-manifolds. The one is called a class of Kossowski metrics and the other is called a class of Whitney metrics: The pull-back metrics of wave fronts which admit only cuspidal edges and swallowtails in $\boldsymbol{R}^3$ are Kossowski metrics, and the pull-back metrics of surfaces consisting only of cross cap singularities are Whitney metrics. Since the singular sets of Kossowski metrics are the union of regular curves on the domains of definitions, and Whitney metrics admit only isolated singularities, these two classes of metrics are disjoint. In this paper, we give several characterizations of intrinsic invariants of cuspidal edges and cross caps in these classes of metrics. Moreover, we prove Gauss-Bonnet type formulas for Kossowski metrics and for Whitney metrics on compact 2-manifolds. △ Less

Submitted 5 December, 2014; v1 submitted 31 August, 2014; originally announced September 2014.

Comments: 28 pages, 5 figures

MSC Class: Primary 57R45; Secondary 53A05

Isometric deformations of cuspidal edges

Authors: Kosuke Naokawa, Masaaki Umehara, Kotaro Yamada

Abstract: Along cuspidal edge singularities on a given surface in Euclidean 3-space, which can be parametrized by a regular space curve, a unit normal vector field $ν$ is well-defined as a smooth vector field of the surface. A cuspidal edge singular point is called generic if the osculating plane of the cuspidal edge (as a regular space curve) is not orthogonal to $ν$. This genericity is equivalent to the c… ▽ More Along cuspidal edge singularities on a given surface in Euclidean 3-space, which can be parametrized by a regular space curve, a unit normal vector field $ν$ is well-defined as a smooth vector field of the surface. A cuspidal edge singular point is called generic if the osculating plane of the cuspidal edge (as a regular space curve) is not orthogonal to $ν$. This genericity is equivalent to the condition that its limiting normal curvature $κ_ν$ takes a non-zero value. In this paper, we show that a given generic (real analytic) cuspidal edge can be isometrically deformed preserving $κ_ν$ into a cuspidal edge whose singular set lies in a plane. Such a limiting cuspidal edge is uniquely determined from the initial germ of the cuspidal edge. △ Less

Submitted 19 August, 2014; originally announced August 2014.

Comments: 17 pages, 3 figures

MSC Class: 57R45; 53A05

Zero mean curvature surfaces in Lorentz-Minkowski 3-space and 2-dimensional fluid mechanics

Authors: Shoichi Fujimori, Young Wook Kim, Sung-Eun Koh, Wayne Rossman, Heayong Shin, Masaaki Umehara, Kotaro Yamada, Seong-Deog Yang

Abstract: Space-like maximal surfaces and time-like minimal surfaces in Lorentz-Minkowski3-space are both characterized as zero mean curvature surfaces. We are interested in the case where the zero mean curvature surface changes type from space-like to time-like at a given non-degenerate null curve. We consider this phenomenon and its interesting connection to 2-dimensional fluid mechanics in this expositor… ▽ More Space-like maximal surfaces and time-like minimal surfaces in Lorentz-Minkowski3-space are both characterized as zero mean curvature surfaces. We are interested in the case where the zero mean curvature surface changes type from space-like to time-like at a given non-degenerate null curve. We consider this phenomenon and its interesting connection to 2-dimensional fluid mechanics in this expository article. △ Less

Submitted 10 September, 2013; originally announced September 2013.

Comments: 23 pages, 4 figures

MSC Class: 53A10; 53B30

Behavior of Gaussian curvature and mean curvature near non-degenerate singular points on wave fronts

Authors: Luciana F. Martins, Kentaro Saji, Masaaki Umehara, Kotaro Yamada

Abstract: We define cuspidal curvature $κ_c$ (resp. normalized cuspidal curvature $μ_c$) along cuspidal edges (resp. at swallowtail singularity) in Riemannian $3$-manifolds, and show that it gives a coefficient of the divergent term of the mean curvature function. Moreover, we show that the product $κ_Π$ called the product curvature (resp. $μ_Π$ called normalized product curvature) of $κ_c$ (resp. $μ_c$) an… ▽ More We define cuspidal curvature $κ_c$ (resp. normalized cuspidal curvature $μ_c$) along cuspidal edges (resp. at swallowtail singularity) in Riemannian $3$-manifolds, and show that it gives a coefficient of the divergent term of the mean curvature function. Moreover, we show that the product $κ_Π$ called the product curvature (resp. $μ_Π$ called normalized product curvature) of $κ_c$ (resp. $μ_c$) and the limiting normal curvature $κ_ν$ is an intrinsic invariant of the surface, and is closely related to the boundedness of the Gaussian curvature. We also consider the limiting behavior of $κ_Π$ when cuspidal edges accumulate to other singularities. Moreover, several new geometric invariants of cuspidal edges and swallowtails are given. △ Less

Submitted 3 October, 2015; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 29 pages; 8 figures

MSC Class: 53A10; 53A35; 53C42; 33C05

Every Separable Metrizable Space has a Proper Dyadic Subbase

Authors: Haruto Ohta, Hideki Tsuiki, Kohzo Yamada

Abstract: The notions of a proper dyadic subbase and an independent subbase was introduced by H. Tsuiki to investigate in {0, 1, bot}-sequence codings of topological spaces. We show that every separable metrizable space has a proper dyadic subbase whose restriction to the perfect set defined by the Cantor-Bendixson theorem forms an independent subbase of the restricted space. The notions of a proper dyadic subbase and an independent subbase was introduced by H. Tsuiki to investigate in {0, 1, bot}-sequence codings of topological spaces. We show that every separable metrizable space has a proper dyadic subbase whose restriction to the perfect set defined by the Cantor-Bendixson theorem forms an independent subbase of the restricted space. △ Less

Submitted 15 May, 2013; originally announced May 2013.

MSC Class: 54B99

Embedded triply periodic zero mean curvature surfaces of mixed type in Lorentz-Minkowski 3-space

Authors: Shoichi Fujimori, Wayne Rossman, Masaaki Umehara, Kotaro Yamada, Seong-Deog Yang

Abstract: We construct embedded triply periodic zero mean curvature surfaces of mixed type in the Lorentz-Minkowski 3-space with the same topology as the Schwarz D surface in the Euclidean 3-space. We construct embedded triply periodic zero mean curvature surfaces of mixed type in the Lorentz-Minkowski 3-space with the same topology as the Schwarz D surface in the Euclidean 3-space. △ Less

Submitted 18 February, 2013; originally announced February 2013.

Comments: 17 pages, 14 figures

MSC Class: 53A10 (Primary) 53A35; 53C50 (Secondary)

Zero mean curvature surfaces in Lorentz-Minkowski 3-space which change type across a light-like line

Authors: Shoichi Fujimori, Young Wook Kim, Sung-Eun Koh, Wayne Rossman, Heayong Shin, Masaaki Umehara, Kotaro Yamada, Seong-Deog Yang

Abstract: It is well-known that space-like maximal surfaces and time-like minimal surfaces in Lorentz-Minkowski 3-space R^3_1 have singularities in general. They are both characterized as zero mean curvature surfaces. We are interested in the case where the singular set consists of a light-like line, since this case has not been analyzed before. As a continuation of a previous work by the authors, we give t… ▽ More It is well-known that space-like maximal surfaces and time-like minimal surfaces in Lorentz-Minkowski 3-space R^3_1 have singularities in general. They are both characterized as zero mean curvature surfaces. We are interested in the case where the singular set consists of a light-like line, since this case has not been analyzed before. As a continuation of a previous work by the authors, we give the first example of a family of such surfaces which change type across the light-like line. As a corollary, we also obtain a family of zero mean curvature hypersurfaces in R^{n+1}_1 that change type across an (n-1)-dimensional light-like plane. △ Less

Submitted 11 July, 2013; v1 submitted 20 November, 2012; originally announced November 2012.

Comments: 10 pages, 1 figure; Version 3: Sections 2 and 3 in Version 2 are removed, since they are not directly related to our main theorem in the revision

MSC Class: 53A10 (Primary) 53B30 (Secondary)