Showing 1–37 of 37 results for author: Matsumoto, Y

Classification of distinguished representations of GL(2)

Authors: Yuki Matsumoto

Abstract: Let $F$ be a non-archimedean local field with odd residual characteristic, and let $H$ be a maximal torus of ${\rm GL}_2(F)$. In this paper, we will classify the irreducible $H$-distinguished representations of ${\rm GL}_2(F)$ by using Casselman's criteria for $p$-adic symmetric spaces developed by Kato-Takano. Let $F$ be a non-archimedean local field with odd residual characteristic, and let $H$ be a maximal torus of ${\rm GL}_2(F)$. In this paper, we will classify the irreducible $H$-distinguished representations of ${\rm GL}_2(F)$ by using Casselman's criteria for $p$-adic symmetric spaces developed by Kato-Takano. △ Less

Submitted 27 June, 2025; originally announced June 2025.

MSC Class: 22E50 (Primary); 11F70; 20G25 (Secondary)

Injectivity of boundary integral operator in direct-indirect mixed Burton-Miller equation for wave scattering problems with transmissive circular inclusion

Authors: Yasuhiro Matsumoto, Kei Matsushima

Abstract: This study proves that the injectivity condition for the integral operator of the direct-indirect mixed Burton-Miller (BM) boundary integral equation (BIE) for Helmholtz transmission problems is identical to that for the ordinary BM BIE for Helmholtz transmission problems with a transmissive circular inclusion. Although some numerical methods based on the direct-indirect mixed BM BIE can be comput… ▽ More This study proves that the injectivity condition for the integral operator of the direct-indirect mixed Burton-Miller (BM) boundary integral equation (BIE) for Helmholtz transmission problems is identical to that for the ordinary BM BIE for Helmholtz transmission problems with a transmissive circular inclusion. Although some numerical methods based on the direct-indirect mixed BM BIE can be computed faster than the ordinary BM BIE, its well-posedness has been unclear. This study resolves a part of the well-posedness, namely the injectivity of the integral operator with a transmissive circular inclusion. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Linearly scalable fast direct solver based on proxy surface method for two-dimensional elastic wave scattering by cavity

Authors: Yasuhiro Matsumoto, Taizo Maruyama

Abstract: This paper proposes an $O(N)$ fast direct solver for two-dimensional elastic wave scattering problems. The proxy surface method is extended to elastodynamics to obtain shared coefficients for low-rank approximations from discretized integral operators. The proposed method is a variant of the Martinsson-Rokhlin-type fast direct solver. Our variant avoids the explicit computation of the inverse of t… ▽ More This paper proposes an $O(N)$ fast direct solver for two-dimensional elastic wave scattering problems. The proxy surface method is extended to elastodynamics to obtain shared coefficients for low-rank approximations from discretized integral operators. The proposed method is a variant of the Martinsson-Rokhlin-type fast direct solver. Our variant avoids the explicit computation of the inverse of the coefficient matrix, thereby reducing the required number of matrix-matrix multiplications. Numerical experiments demonstrate that the proposed solver has a complexity of $O(N)$ in the low-frequency range and has a highly parallel computation efficiency with a strong scaling efficiency of 70\%. Furthermore, multiple right-hand sides can be solved efficiently; specifically, when solving problems with 180 right-hand side vectors, the processing time per vector from the second vector onward was approximately 28,900 times faster than that for the first vector. This is a key advantage of fast direct methods. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Journal ref: Engineering Analysis with Boundary Elements, Volume 173, 2025, 106148

Asymptotic Dirichlet problem for harmonic maps and conformal geodesics

Authors: Yoshihiko Matsumoto

Abstract: The asymptotic Dirichlet problem for harmonic maps from the hyperbolic plane into conformally compact Einstein manifolds is used to give a holographic characterization of conformal geodesics on the boundary at infinity, in a way deeply inspired by a work of Fine and Herfray on renormalized area minimization. The asymptotic Dirichlet problem for harmonic maps from the hyperbolic plane into conformally compact Einstein manifolds is used to give a holographic characterization of conformal geodesics on the boundary at infinity, in a way deeply inspired by a work of Fine and Herfray on renormalized area minimization. △ Less

Submitted 14 February, 2025; v1 submitted 3 April, 2024; originally announced April 2024.

Comments: 25 pages. Substantial update, including title change. Discussion on renormalized energy is moved from the main text to the appendix

MSC Class: 53B20 (Primary) 53B30; 53C18; 53C43; 58J32 (Secondary)

Fast wavefield evaluation method based on modified proxy-surface-accelerated interpolative decomposition for two-dimensional scattering problems

Authors: Yasuhiro Matsumoto

Abstract: This paper presents a fast wavefield evaluation method for two-dimensional wave scattering problems. The proposed method is based on a modified version of proxy-surface-accelerated interpolative decomposition, making it effective even if the evaluation points are near the boundary. The commonly known fast multipole method requires the use of direct evaluations near the boundaries of scatterers bec… ▽ More This paper presents a fast wavefield evaluation method for two-dimensional wave scattering problems. The proposed method is based on a modified version of proxy-surface-accelerated interpolative decomposition, making it effective even if the evaluation points are near the boundary. The commonly known fast multipole method requires the use of direct evaluations near the boundaries of scatterers because the analytical expansion of kernel functions does not converge. On the one hand, the proposed method does not require the analytical expansion of kernel functions. The validity and effectiveness of the proposed method are demonstrated using numerical examples. △ Less

Submitted 20 June, 2024; v1 submitted 13 March, 2024; originally announced March 2024.

Journal ref: JSIAM Letters, Vol 16, 61-64, 2024

Inseparable Kummer surfaces

Authors: Yuya Matsumoto

Abstract: We introduce an inseparable version of Kummer surfaces. It is defined as a supersingular K3 surface in characteristic 2 with 16 smooth rational curves forming a certain configuration and satisfying a suitable divisibility condition. The main result is that such a surface admits an inseparable double covering by a non-normal surface $A$ that is similar to abelian surfaces in two aspects: its numeri… ▽ More We introduce an inseparable version of Kummer surfaces. It is defined as a supersingular K3 surface in characteristic 2 with 16 smooth rational curves forming a certain configuration and satisfying a suitable divisibility condition. The main result is that such a surface admits an inseparable double covering by a non-normal surface $A$ that is similar to abelian surfaces in two aspects: its numerical invariants are the same as abelian surfaces, and its smooth locus admits an abelian group structure. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 39 pages, comments welcome

MSC Class: 14J28 (Primary) 14L15; 14J17; 14B15 (Secondary)

Automatically well-conditioned collocation boundary element method for transmission problems based on the Burton--Miller formulation

Authors: Yasuhiro Matsumoto, Akihiro Yoshiki, Hiroshi Isakari

Abstract: This paper proposes a collocation boundary element method based on the Burton--Miller method for solving transmission problems, which is rapidly convergent within the Krylov subspace solver framework. Our study enhances Burton--Miller-type boundary integral equations tailored for transmission problems by exploiting the Calderon formula. In cases where a single material exists in an unbounded host… ▽ More This paper proposes a collocation boundary element method based on the Burton--Miller method for solving transmission problems, which is rapidly convergent within the Krylov subspace solver framework. Our study enhances Burton--Miller-type boundary integral equations tailored for transmission problems by exploiting the Calderon formula. In cases where a single material exists in an unbounded host medium, we demonstrate the formulation of the boundary integral equation such that the underlying integral operator ${\cal A}$ is spectrally well-conditioned. Specifically, ${\cal A}$ can be designed such that ${\cal A}^2$ has only a single eigenvalue accumulation point. Furthermore, we extend this to the multi-material case, proving that the square of the proposed operator has only a few eigenvalues clustering points. When the collocation method is used to discretise the proposed boundary integral equations, the good spectral properties of the integral operator are naturally inherited to the coefficient matrix $\mathsf{A}$ similarly to the Nystöm methods; Almost all eigenvalues of $\mathsf{A}^2$ cluster at a few points in the complex plane ensuring the small condition number for $\mathsf{A}$. Through numerical examples of several benchmark problems, we illustrate that our formulation reduces the iteration number required by iterative linear solvers, even in the presence of material junction points. △ Less

Submitted 16 January, 2025; v1 submitted 20 December, 2023; originally announced December 2023.

Supersingular reduction of Kummer surfaces in residue characteristic $2$

Authors: Yuya Matsumoto

Abstract: Given an abelian surface $A$, defined over a discrete valuation field and having good reduction, does the attached Kummer surface $\mathrm{Km}(A)$ also have good reduction? In this paper we give an affirmative answer in the extreme case, that is, when the abelian surface has supersingular reduction in characteristic $2$. Given an abelian surface $A$, defined over a discrete valuation field and having good reduction, does the attached Kummer surface $\mathrm{Km}(A)$ also have good reduction? In this paper we give an affirmative answer in the extreme case, that is, when the abelian surface has supersingular reduction in characteristic $2$. △ Less

Submitted 19 February, 2023; originally announced February 2023.

Comments: 16 pages

MSC Class: 14J28 (Primary) 14L15; 14J17 (Secondary)

Universal degeneration of Riemann surfaces and fibered complex surfaces

Authors: Tadashi Ashikaga, Yukio Matsumoto

Abstract: Based on Teichmüller theory, we construct a degenerating family $\overline{Y}_g^{orb} \rightarrow \overline{M}_g^{orb}$ over the Deligne-Mumford compactification of the moduli space with the natural orbifold structure such that any fibered complex surface admitting unstable fibers can be pulled back from this family. Based on Teichmüller theory, we construct a degenerating family $\overline{Y}_g^{orb} \rightarrow \overline{M}_g^{orb}$ over the Deligne-Mumford compactification of the moduli space with the natural orbifold structure such that any fibered complex surface admitting unstable fibers can be pulled back from this family. △ Less

Submitted 1 January, 2023; originally announced January 2023.

Comments: 79 pages, 7 figures

MSC Class: 32G15; 14D06; 57R18; 14H15

The CR Killing operator and Bernstein-Gelfand-Gelfand construction in CR geometry

Authors: Yoshihiko Matsumoto

Abstract: We elaborate the tractor calculus for compatible almost CR structures (also known as strictly pseudoconvex partially integrable almost CR structures) on contact manifolds, and as an application, express the first BGG invariant differential operator $D_0$ explicitly in some cases, i.e., for some tractor connections. An interesting outcome is the fact that the "modified" adjoint tractor connection… ▽ More We elaborate the tractor calculus for compatible almost CR structures (also known as strictly pseudoconvex partially integrable almost CR structures) on contact manifolds, and as an application, express the first BGG invariant differential operator $D_0$ explicitly in some cases, i.e., for some tractor connections. An interesting outcome is the fact that the "modified" adjoint tractor connection $\tilde{\nabla}$ governing infinitesimal deformations of parabolic geometries generates what we call the CR Killing operator as its first BGG operator, and actually, it does not agree with the first BGG operator of the normal (unmodified) adjoint tractor connection. The relationship between the CR Killing operator and analysis of ACHE (asymptotically complex hyperbolic Einstein) metrics, or more specifically the CR obstruction tensor, is also discussed. △ Less

Submitted 22 May, 2022; originally announced May 2022.

Comments: 43 pages

MSC Class: 32V05 (Primary) 53A40; 53B15; 53D10; 58H15 (Secondary)

Torsors over the Rational Double Points in Characteristic $\mathbf{p}$

Authors: Christian Liedtke, Gebhard Martin, Yuya Matsumoto

Abstract: We study torsors under finite group schemes over the punctured spectrum of a singularity $x\in X$ in positive characteristic. We show that the Dieudonné module of the (loc,loc)-part $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ of the local Picard sheaf can be described in terms of local Witt vector cohomology, making $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ computable. Together w… ▽ More We study torsors under finite group schemes over the punctured spectrum of a singularity $x\in X$ in positive characteristic. We show that the Dieudonné module of the (loc,loc)-part $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ of the local Picard sheaf can be described in terms of local Witt vector cohomology, making $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ computable. Together with the class group and the abelianised local étale fundamental group, $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ completely describes the finite abelian torsors over $X\setminus\{x\}$. We compute $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ for every rational double point singularity, which complements results of Artin and Lipman, who determined ${π_{\mathrm{loc}}^{\mathrm{et}}}(X)$ and ${\rm Cl}(X)$. All three objects turn out to be finite. We extend the Flenner--Mumford criterion for smoothness of a normal surface germ $x \in X$ to perfect fields of positive characteristic, generalising work of Esnault and Viehweg: If $k$ is algebraically closed, then $X$ is smooth if and only if $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$, ${π_{\mathrm{loc}}^{\mathrm{et}}}(X)$, and ${\rm Cl}(X)$ are trivial. Finally, we study the question whether rational double point singularities are quotient singularities by group schemes and if so, whether the group scheme is uniquely determined by the singularity. We give complete answers to both questions, except for some $D_n^r$-singularities in characteristic $2$. In particular, we will give examples of (F-injective) rational double points that are not quotient singularities. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Comments: 76 pages, comments welcome

MSC Class: 14L15; 13A50; 14J17; 13A35; 14L30

Linearly Reductive Quotient Singularities

Authors: Christian Liedtke, Gebhard Martin, Yuya Matsumoto

Abstract: We study isolated quotient singularities by finite and linearly reductive group schemes (lrq singularities for short) and show that they satisfy many, but not all, of the known properties of finite quotient singularities in characteristic zero: (1) From the lrq singularity we can recover the group scheme and the quotient presentation. (2) We establish canonical lifts to characteristic zero, wh… ▽ More We study isolated quotient singularities by finite and linearly reductive group schemes (lrq singularities for short) and show that they satisfy many, but not all, of the known properties of finite quotient singularities in characteristic zero: (1) From the lrq singularity we can recover the group scheme and the quotient presentation. (2) We establish canonical lifts to characteristic zero, which leads to a bijection between lrq singularities and certain characteristic zero counterparts. (3) We classify subgroup schemes of ${\mathbf{GL}}_d$ and ${\mathbf{SL}}_d$ that correspond to lrq singularities. For $d=2$, this generalises results of Klein, Brieskorn, and Hashimoto. Also, our classification is closely related to the spherical space form problem. (4) F-regular (resp. F-regular and Gorenstein) surface singularities are precisely the lrq singularities by finite and linearly reductive subgroup schemes of ${\mathbf{GL}}_2$ (resp. ${\mathbf{SL}}_2$). This generalises results of Klein and Du Val. (5) Lrq singularities in dimension $\geq 4$ are infinitesimally rigid. We classify lrq singularities in dimension $3$ that are not infinitesimally rigid and compute their deformation spaces. This generalises Schlessinger's rigidity theorem to positive and mixed characteristic. Finally, we study Riemenschneider's conjecture in this context, that is, whether lrq singularities deform to lrq singularities. △ Less

Submitted 11 October, 2021; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 53 pages, comments welcome, v2: minor corrections

MSC Class: 14L15; 13A50; 14J17; 13A35; 20C20

Purely inseparable coverings of rational double points in positive characteristic

Authors: Yuya Matsumoto

Abstract: We classify purely inseparable morphisms of degree $p$ between rational double points (RDPs) in characteristic $p > 0$. Using such morphisms, we refine a result of Artin that any RDP admits a finite smooth covering. We classify purely inseparable morphisms of degree $p$ between rational double points (RDPs) in characteristic $p > 0$. Using such morphisms, we refine a result of Artin that any RDP admits a finite smooth covering. △ Less

Submitted 2 April, 2022; v1 submitted 23 March, 2020; originally announced March 2020.

Comments: 16 pages, title slightly changed, accepted version

MSC Class: 14J17 (Primary) 14L30 (Secondary)

Journal ref: J. Singul. 24 (2022), 79-95

Inseparable maps on $W_n$-valued local cohomology groups of non-taut rational double point singularities and the height of K3 surfaces

Authors: Yuya Matsumoto

Abstract: We consider rational double point singularities (RDPs) that are non-taut, which means that the isomorphism class is not uniquely determined from the dual graph of the minimal resolution. Such RDPs exist in characteristic $2,3,5$. We compute the actions of Frobenius, and other inseparable morphisms, on $W_n$-valued local cohomology groups of RDPs. Then we consider RDP K3 surfaces admitting non-taut… ▽ More We consider rational double point singularities (RDPs) that are non-taut, which means that the isomorphism class is not uniquely determined from the dual graph of the minimal resolution. Such RDPs exist in characteristic $2,3,5$. We compute the actions of Frobenius, and other inseparable morphisms, on $W_n$-valued local cohomology groups of RDPs. Then we consider RDP K3 surfaces admitting non-taut RDPs. We show that the height of the K3 surface, which is also defined in terms of the Frobenius action on $W_n$-valued cohomology groups, is related to the isomorphism class of the RDP. △ Less

Submitted 8 June, 2022; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: 28 pages. Accepted version. Main results unchanged. For a morphism $f$ between RDP K3 surfaces, the notion called the height of $f$ in the older versions is now called 1 + the gap of $f$

MSC Class: 14J28 (Primary) 14L15; 14J17; 14B15; 13A35 (Secondary)

Journal ref: J. Commut. Algebra 15(3): 377-404 (Fall 2023)

Desingularization of matrix equations employing hypersingular integrals in boundary element methods using double nodes

Authors: Satoshi Tomioka, Shusuke Nishiyama, Yutaka Matsumoto, Naoki Miyamoto

Abstract: In boundary element methods, the method of using double nodes at corners is a useful approach to uniquely define the normal direction of boundary elements. However, matrix equations constructed by conventional boundary integral equations (CBIE) become singular under certain combinations of double node boundary conditions. In this paper, we analyze the singular conditions of the CBIE formulation fo… ▽ More In boundary element methods, the method of using double nodes at corners is a useful approach to uniquely define the normal direction of boundary elements. However, matrix equations constructed by conventional boundary integral equations (CBIE) become singular under certain combinations of double node boundary conditions. In this paper, we analyze the singular conditions of the CBIE formulation for cases where the boundary conditions at the double node are imposed by combinations of Dirichlet, Neumann, Robin, and interface conditions. To address this singularity we propose the use of hypersingular integral equations (HBIE) for wave propagation problems that obey Helmholtz equation. To demonstrate the applicability of HBIE, we compare three types of simultaneous equations: (i) CBIE, (ii) partial-HBIE in which HBIE is only applied to the double nodes at corners while CBIE is applied to the other nodes, and (iii) full-HBIE in which HBIE is applied to all nodes. Based on our numerical results, we observe the following results. The singularity of the matrix equations for problems with any combination of boundary conditions can be resolved by both full-HBIE and partial-HBIE, and partial-HBIE exhibits better accuracy than full-HBIE. Furthermore, the computational cost of partial-HBIE is smaller than that of full-HBIE. △ Less

Submitted 17 June, 2019; v1 submitted 12 June, 2019; originally announced June 2019.

Comments: 14 pages, 10 figures, accepted manuscript submitted to Engineering Analysis with Boundary Element

Journal ref: Engineering Analysis with Boundarry Elements, 106, pp 493-504 (2019)

A high-order weighted finite difference scheme with a multi-state approximate Riemann solver for divergence-free magnetohydrodynamic simulations

Authors: Takashi Minoshima, Takahiro Miyoshi, Yosuke Matsumoto

Abstract: We design a conservative finite difference scheme for ideal magnetohydrodynamic simulations that attains high-order accuracy, shock-capturing, and divergence-free condition of the magnetic field. The scheme interpolates pointwise physical variables from computational nodes to midpoints through a high-order nonlinear weighted average. The numerical flux is evaluated at the midpoint by a multi-state… ▽ More We design a conservative finite difference scheme for ideal magnetohydrodynamic simulations that attains high-order accuracy, shock-capturing, and divergence-free condition of the magnetic field. The scheme interpolates pointwise physical variables from computational nodes to midpoints through a high-order nonlinear weighted average. The numerical flux is evaluated at the midpoint by a multi-state approximate Riemann solver for correct upwinding, and its spatial derivative is approximated by a high-order linear central difference to update the variables with designed order of accuracy and conservation. The magnetic and electric fields are defined at staggered grid points employed in the Constrained Transport (CT) method by Evans & Hawley (1988). We propose a new CT variant, in which the staggered electric field is evaluated so as to be consistent with the base one-dimensional Riemann solver and the staggered magnetic field is updated to be divergence-free as designed high-order finite difference representation. We demonstrate various benchmark tests to measure the performance of the present scheme. We discuss the effect of the choice of interpolation methods, Riemann solvers, and the treatment for the divergence-free condition on the quality of numerical solutions in detail. △ Less

Submitted 16 April, 2019; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: 58 pages, 21 figures, 2 tables, accepted for publication in the ApJS

Canonical almost complex structures on ACH Einstein manifolds

Authors: Yoshihiko Matsumoto

Abstract: On asymptotically complex hyperbolic (ACH) Einstein manifolds, we consider a certain variational problem for almost complex structures compatible with the metric, for which the linearized Euler-Lagrange equation at Kähler-Einstein structures is given by the Dolbeault Laplacian acting on $(0,1)$-forms with values in the holomorphic tangent bundle. A deformation result of Einstein ACH metrics associ… ▽ More On asymptotically complex hyperbolic (ACH) Einstein manifolds, we consider a certain variational problem for almost complex structures compatible with the metric, for which the linearized Euler-Lagrange equation at Kähler-Einstein structures is given by the Dolbeault Laplacian acting on $(0,1)$-forms with values in the holomorphic tangent bundle. A deformation result of Einstein ACH metrics associated with critical almost complex structures for this variational problem is given. It is also shown that the asymptotic expansion of a critical almost complex structure is determined by the induced (possibly non-integrable) CR structure on the boundary at infinity up to a certain order. △ Less

Submitted 10 May, 2021; v1 submitted 22 December, 2018; originally announced December 2018.

Comments: 28 pages. The statement of Theorem 1.2 is modified; substantial corrections and clarifications are added throughout the text

MSC Class: 53C15 (Primary) 32T15; 32V15; 53B35; 53C25 (Secondary)

Journal ref: Pacific J. Math. 314 (2021) 375-410

Canonical coverings of Enriques surfaces in characteristic $2$

Authors: Yuya Matsumoto

Abstract: Let $\bar{Y}$ be a normal surface that is the canonical $μ_2$- or $α_2$-covering of a classical or supersingular Enriques surface in characteristic $2$. We determine all possible configurations of singularities on $\bar{Y}$, and for each configuration we describe which type of Enriques surfaces (classical or supersingular) appear as quotients of $\bar{Y}$. Let $\bar{Y}$ be a normal surface that is the canonical $μ_2$- or $α_2$-covering of a classical or supersingular Enriques surface in characteristic $2$. We determine all possible configurations of singularities on $\bar{Y}$, and for each configuration we describe which type of Enriques surfaces (classical or supersingular) appear as quotients of $\bar{Y}$. △ Less

Submitted 31 January, 2021; v1 submitted 17 December, 2018; originally announced December 2018.

Comments: comments welcome / v2 contains several new results: the case of elliptic double point singularity is taken into consideration, and the description of 1-dimensional family of Enriques quotients is added / v3 (23 pages) minor revision, former Section 2 split into Sections 2 and 3

MSC Class: 14J28 (Primary) 14L15; 14L30; 14J17 (Secondary)

Journal ref: Math. Soc. Japan 74 (3) 849 - 872, July, 2022

$μ_p$- and $α_p$-actions on K3 surfaces in characteristic $p$

Authors: Yuya Matsumoto

Abstract: We consider $μ_p$- and $α_p$-actions on RDP K3 surfaces (K3 surfaces with rational double point singularities allowed) in characteristic $p > 0$. We study possible characteristics, quotient surfaces, and quotient singularities. It turns out that these properties of $μ_p$- and $α_p$-actions are analogous to those of $\mathbb{Z}/l\mathbb{Z}$-actions (for primes $l \neq p$) and… ▽ More We consider $μ_p$- and $α_p$-actions on RDP K3 surfaces (K3 surfaces with rational double point singularities allowed) in characteristic $p > 0$. We study possible characteristics, quotient surfaces, and quotient singularities. It turns out that these properties of $μ_p$- and $α_p$-actions are analogous to those of $\mathbb{Z}/l\mathbb{Z}$-actions (for primes $l \neq p$) and $\mathbb{Z}/p\mathbb{Z}$-quotients respectively. We also show that conversely an RDP K3 surface with a certain configuration of singularities admits a $μ_p$- or $α_p$- or $\mathbb{Z}/p\mathbb{Z}$-covering by a "K3-like" surface, which is often an RDP K3 surface but not always, as in the case of the canonical coverings of Enriques surfaces in characteristic $2$. △ Less

Submitted 31 January, 2021; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 43 pages, comments welcome / v2: Section 6 simplified. Construction of Theorem 7.3(2) changed accordingly. Non-existence of $D_8^1$ and $E_8^1$ moved to arXiv:1907.04686. / v3: Presentation improved. / v4: Added non-existence of $α_p$-actions for $p=13,17,19$. Reorganized Lem 6.3-6.4 according to the change on arXiv:1907.04686. Strengthened Cor 3.5 and Prop 4.1 slightly / v5: Minor revision

MSC Class: 14J28 (Primary) 14L15; 14L30 (Secondary)

Journal ref: J. Algebraic Geom. 32 (2023), 271-322

Plumbing Constructions and the Domain of Outer Communication for 5-Dimensional Stationary Black Holes

Authors: Marcus Khuri, Yukio Matsumoto, Gilbert Weinstein, Sumio Yamada

Abstract: The topology of the domain of outer communication for 5-dimensional stationary bi-axisymmetric black holes is classified in terms of disc bundles over the 2-sphere and plumbing constructions. In particular we find an algorithmic bijective correspondence between the plumbing of disc bundles and the rod structure formalism for such spacetimes. Furthermore, we describe a canonical fill-in for the bla… ▽ More The topology of the domain of outer communication for 5-dimensional stationary bi-axisymmetric black holes is classified in terms of disc bundles over the 2-sphere and plumbing constructions. In particular we find an algorithmic bijective correspondence between the plumbing of disc bundles and the rod structure formalism for such spacetimes. Furthermore, we describe a canonical fill-in for the black hole region and cap for the asymptotic region. The resulting compactified domain of outer communication is then shown to be homeomorphic to $S^4$, a connected sum of $S^2\times S^2$'s, or a connected sum of complex projective planes $\mathbb{CP}^2$. Combined with recent existence results, it is shown that all such topological types are realized by vacuum solutions. In addition, our methods treat all possible types of asymptotic ends, including spacetimes which are asymptotically flat, asymptotically Kaluza-Klein, or asymptotically locally Euclidean. △ Less

Submitted 9 July, 2018; originally announced July 2018.

Comments: 18 pages

Journal ref: Trans. Amer. Math. Soc., 372 (2019), no. 5, 3237-3256

A construction of Poincaré-Einstein metrics of cohomogeneity one on the ball

Authors: Yoshihiko Matsumoto

Abstract: We exhibit an explicit one-parameter smooth family of Poincaré-Einstein metrics on the even-dimensional unit ball whose conformal infinities are the Berger spheres. Our construction is based on a Gibbons-Hawking-type ansätz of Page and Pope. The family contains the hyperbolic metric, converges to the complex hyperbolic metric at one of the ends, and at the other end the ball equipped with our metr… ▽ More We exhibit an explicit one-parameter smooth family of Poincaré-Einstein metrics on the even-dimensional unit ball whose conformal infinities are the Berger spheres. Our construction is based on a Gibbons-Hawking-type ansätz of Page and Pope. The family contains the hyperbolic metric, converges to the complex hyperbolic metric at one of the ends, and at the other end the ball equipped with our metric collapses to a Poincaré-Einstein manifold of one lower dimension with an isolated conical singularity. △ Less

Submitted 24 October, 2018; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: 11 pages; Added more discussion on previous works

MSC Class: 53C25 (Primary) 53A30 (Secondary)

Einstein metrics on strictly pseudoconvex domains from the viewpoint of bulk-boundary correspondence

Authors: Yoshihiko Matsumoto

Abstract: This is a survey on the correspondence between asymptotically complex hyperbolic Einstein metrics and CR structures on the boundary at infinity, which is the complex version of that between Poincaré-Einstein metrics and conformal structures. We mainly discuss existence theorems, and propose several open problems. This is a survey on the correspondence between asymptotically complex hyperbolic Einstein metrics and CR structures on the boundary at infinity, which is the complex version of that between Poincaré-Einstein metrics and conformal structures. We mainly discuss existence theorems, and propose several open problems. △ Less

Submitted 27 March, 2018; originally announced March 2018.

Comments: 9 pages. Contribution to the proceedings volume of the KSCV12 Symposium

MSC Class: 53C25 (Primary) 32T15; 32V05 (Secondary)

On $μ_{n}$-actions on K3 surfaces in positive characteristic

Authors: Yuya Matsumoto

Abstract: In characteristic $0$, symplectic automorphisms of K3 surfaces (i.e.\ automorphisms preserving the global $2$-form) and non-symplectic ones behave differently. In this paper we consider the actions of the group schemes $μ_{n}$ on K3 surfaces (possibly with rational double point singularities) in characteristic $p$, where $n$ may be divisible by $p$. We introduce the notion of symplecticness of suc… ▽ More In characteristic $0$, symplectic automorphisms of K3 surfaces (i.e.\ automorphisms preserving the global $2$-form) and non-symplectic ones behave differently. In this paper we consider the actions of the group schemes $μ_{n}$ on K3 surfaces (possibly with rational double point singularities) in characteristic $p$, where $n$ may be divisible by $p$. We introduce the notion of symplecticness of such actions, and we show that symplectic $μ_{n}$-actions have similar properties, such as possible orders, fixed loci, and quotients, to symplectic automorphisms of order $n$ in characteristic $0$. We also study local $μ_n$-actions on rational double points. △ Less

Submitted 20 February, 2022; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 42 pages / v2: many minor changes / v3: many minor changes / v4: title slightly changed, some unused results removed, many minor changes

MSC Class: 14J28 (Primary) 14L15; 14L30 (Secondary)

Journal ref: Nagoya Mathematical Journal, 249 (2023), 11-49

On automorphisms of Enriques surfaces and their entropy

Authors: Yuya Matsumoto, Hisanori Ohashi, Sławomir Rams

Abstract: Consider an arbitrary automorphism of an Enriques surface with its lift to the covering K3 surface. We prove a bound of the order of the lift acting on the anti-invariant cohomology sublattice of the Enriques involution. We use it to obtain some mod 2 constraint on the original automorphism. As an application, we give a necessary condition for Salem numbers to be dynamical degrees on Enriques surf… ▽ More Consider an arbitrary automorphism of an Enriques surface with its lift to the covering K3 surface. We prove a bound of the order of the lift acting on the anti-invariant cohomology sublattice of the Enriques involution. We use it to obtain some mod 2 constraint on the original automorphism. As an application, we give a necessary condition for Salem numbers to be dynamical degrees on Enriques surfaces and obtain a new lower bound on the minimal value. In the Appendix, we give a complete list of Salem numbers that potentially may be the minimal dynamical degree on Enriques surfaces and for which the existence of geometric automorphisms is unknown. △ Less

Submitted 26 December, 2017; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: 16 pages / v2: some refinements on the theorems and the proofs, and also attached plain text lists of Salem numbers related to the problem

MSC Class: 14J28; 14J50 (Primary) 37B40 (Secondary)

Journal ref: Mathematische Nachrichten 291 (2018), no. 13, 2084-2098

Degeneration of K3 surfaces with non-symplectic automorphisms

Authors: Yuya Matsumoto

Abstract: We prove that a K3 surface with an automorphism acting on the global $2$-forms by a primitive $m$-th root of unity, $m \neq 1,2,3,4,6$, does not degenerate (assuming the existence of the so-called Kulikov models). A key result used to prove this is the rationality of the actions of automorphisms on the graded quotients of the weight filtration of the $l$-adic cohomology groups of the surface. We prove that a K3 surface with an automorphism acting on the global $2$-forms by a primitive $m$-th root of unity, $m \neq 1,2,3,4,6$, does not degenerate (assuming the existence of the so-called Kulikov models). A key result used to prove this is the rationality of the actions of automorphisms on the graded quotients of the weight filtration of the $l$-adic cohomology groups of the surface. △ Less

Submitted 20 February, 2022; v1 submitted 22 December, 2016; originally announced December 2016.

Comments: v2: 15 pages, a section on compactification of moduli spaces added, presentation improved / v3: 16 pages, minor changes / v4: 15 pages, accepted version

MSC Class: Primary 14J28; Secondary 11G25; 14L30; 14D06; 14J50

Journal ref: Rend. Sem. Mat. Univ. Padova 150 (2023), pp. 227-245

Extendability of automorphisms of K3 surfaces

Authors: Yuya Matsumoto

Abstract: A K3 surface $X$ over a $p$-adic field $K$ is said to have good reduction if it admits a proper smooth model over the ring of integers of $K$. Assuming this, we say that a subgroup $G$ of $\mathrm{Aut}(X)$ is extendable if $X$ admits a proper smooth model equipped with $G$-action (compatible with the action on $X$). We show that $G$ is extendable if it is of finite order prime to $p$ and acts symp… ▽ More A K3 surface $X$ over a $p$-adic field $K$ is said to have good reduction if it admits a proper smooth model over the ring of integers of $K$. Assuming this, we say that a subgroup $G$ of $\mathrm{Aut}(X)$ is extendable if $X$ admits a proper smooth model equipped with $G$-action (compatible with the action on $X$). We show that $G$ is extendable if it is of finite order prime to $p$ and acts symplectically (that is, preserves the global $2$-form on $X$). The proof relies on birational geometry of models of K3 surfaces, and equivariant simultaneous resolutions of certain singularities. We also give some examples of non-extendable actions. △ Less

Submitted 6 January, 2021; v1 submitted 7 November, 2016; originally announced November 2016.

Comments: 38 pages / v2: 33 pages, proofs in Section 3 simplified

MSC Class: 14J28; 11G25; 14L30; 14E30

Deformation of Einstein metrics and $L^2$ cohomology on strictly pseudoconvex domains

Authors: Yoshihiko Matsumoto

Abstract: We construct new complete Einstein metrics on smoothly bounded strictly pseudoconvex domains in Stein manifolds. This is done by deforming the Kähler-Einstein metric of Cheng and Yau, the approach that generalizes the works of Roth and Biquard on the deformations of the complex hyperbolic metric on the unit ball. Recasting the problem into the question of vanishing of an $L^2$ cohomology and takin… ▽ More We construct new complete Einstein metrics on smoothly bounded strictly pseudoconvex domains in Stein manifolds. This is done by deforming the Kähler-Einstein metric of Cheng and Yau, the approach that generalizes the works of Roth and Biquard on the deformations of the complex hyperbolic metric on the unit ball. Recasting the problem into the question of vanishing of an $L^2$ cohomology and taking advantage of the asymptotic complex hyperbolicity of the Cheng-Yau metric, we establish the possibility of such a deformation when the dimension of the domain is larger than or equal to three. △ Less

Submitted 27 June, 2019; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: 18 pages; Clarifications and corrections in the first paragraph of Section 1.2

MSC Class: 53C25 (Primary) 32L20; 32Q20; 32T15; 32V05 (Secondary)

Variation of total Q-prime curvature on CR manifolds

Authors: Kengo Hirachi, Taiji Marugame, Yoshihiko Matsumoto

Abstract: We derive variational formulas for the total Q-prime curvature under the deformation of strictly pseudoconvex domains in a complex manifold. We also show that the total Q-prime curvature agrees with the renormalized volume of such domains with respect to the complete Einstein-Kähler metric. In the appendix, by Rod Gover and the first author, we study the property of CR invariant differential opera… ▽ More We derive variational formulas for the total Q-prime curvature under the deformation of strictly pseudoconvex domains in a complex manifold. We also show that the total Q-prime curvature agrees with the renormalized volume of such domains with respect to the complete Einstein-Kähler metric. In the appendix, by Rod Gover and the first author, we study the property of CR invariant differential operator of order 2(n+3) on 2n+1 dimensional CR manifolds that appears in the second variational formula of the total Q-prime curvature. △ Less

Submitted 4 November, 2016; v1 submitted 12 October, 2015; originally announced October 2015.

Comments: 32 pages; Final version, accepted for publication in Advances in Math

MSC Class: 32V05 (primary ); 32Q15 (secondary)

Journal ref: Advances in Mathematics 306 (2017) 1333--1376

Q-curvature of Weyl structures and Poincaré metrics

Authors: Kengo Hirachi, Christian Lübbe, Yoshihiko Matsumoto

Abstract: We study an asymptotic Dirichlet problem for Weyl structures on asymptotically hyperbolic manifolds. By the bulk-boundary correspondence, or more precisely by the Fefferman-Graham theorem on Poincaré metrics, this leads to a natural extension of the notion of Branson's $Q$-curvature to Weyl structures on even-dimensional conformal manifolds. We study an asymptotic Dirichlet problem for Weyl structures on asymptotically hyperbolic manifolds. By the bulk-boundary correspondence, or more precisely by the Fefferman-Graham theorem on Poincaré metrics, this leads to a natural extension of the notion of Branson's $Q$-curvature to Weyl structures on even-dimensional conformal manifolds. △ Less

Submitted 23 February, 2015; originally announced February 2015.

Comments: 11 pages

MSC Class: 53A30 (Primary) 53A55 (Secondary)

Proper harmonic maps between asymptotically hyperbolic manifolds

Authors: Kazuo Akutagawa, Yoshihiko Matsumoto

Abstract: Generalizing the result of Li and Tam for the hyperbolic spaces, we prove an existence theorem on the Dirichlet problem for harmonic maps with $C^1$ boundary conditions at infinity between asymptotically hyperbolic manifolds. Generalizing the result of Li and Tam for the hyperbolic spaces, we prove an existence theorem on the Dirichlet problem for harmonic maps with $C^1$ boundary conditions at infinity between asymptotically hyperbolic manifolds. △ Less

Submitted 27 November, 2014; v1 submitted 19 November, 2014; originally announced November 2014.

Comments: 14 pages; Introduction revised, typos corrected

MSC Class: 53C43 (Primary); 58J32 (Secondary)

Good Reduction of K3 Surfaces

Authors: Christian Liedtke, Yuya Matsumoto

Abstract: Let $K$ be the field of fractions of a local Henselian DVR with perfect residue field. Assuming potential semi-stable reduction, we show that an unramified Galois-action on second $\ell$-adic cohomology of a K3 surface over $K$ implies that the surface has good reduction after a finite and unramified extension. We give examples where this unramified extension is really needed. Moreover, we give ap… ▽ More Let $K$ be the field of fractions of a local Henselian DVR with perfect residue field. Assuming potential semi-stable reduction, we show that an unramified Galois-action on second $\ell$-adic cohomology of a K3 surface over $K$ implies that the surface has good reduction after a finite and unramified extension. We give examples where this unramified extension is really needed. Moreover, we give applications to good reduction after tame extensions and Kuga-Satake Abelian varieties. On our way, we settle existence and termination of certain semi-stable flops in mixed characteristic, and study group actions and their quotients on models of varieties. △ Less

Submitted 6 March, 2017; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: 40 pages, final version

Journal ref: Compositio Math. 154 (2018) 1-35

GJMS operators, Q-curvature, and obstruction tensor of partially integrable CR manifolds

Authors: Yoshihiko Matsumoto

Abstract: We extend the notions of CR GJMS operators and Q-curvature to the case of partially integrable CR structures. The total integral of the CR Q-curvature turns out to be a global invariant of compact nondegenerate partially integrable CR manifolds equipped with an orientation of the bundle of contact forms, which is nontrivial in dimension at least five. It is shown that its variation is given by the… ▽ More We extend the notions of CR GJMS operators and Q-curvature to the case of partially integrable CR structures. The total integral of the CR Q-curvature turns out to be a global invariant of compact nondegenerate partially integrable CR manifolds equipped with an orientation of the bundle of contact forms, which is nontrivial in dimension at least five. It is shown that its variation is given by the curvature-type quantity called the CR obstruction tensor, which is introduced in the author's previous work. Moreover, we consider the linearized CR obstruction operator. Based on a scattering-theoretic characterization, we discuss its relation to the CR deformation complex of integrable CR manifolds. The same characterization is also used to determine the Heisenberg principal symbol of the linearized CR obstruction operator. △ Less

Submitted 2 March, 2015; v1 submitted 17 February, 2014; originally announced February 2014.

Comments: 36 pages; Minor modifications including correcting attributions

MSC Class: 32V05 (Primary); 53A55 (Secondary)

Good reduction criterion for K3 surfaces

Authors: Yuya Matsumoto

Abstract: We prove a Neron--Ogg--Shafarevich type criterion for good reduction of K3 surfaces, which states that a K3 surface over a complete discrete valuation field has potential good reduction if its $l$-adic cohomology group is unramified. We also prove a $p$-adic version of the criterion. (These are analogues of the criteria for good reduction of abelian varieties.) The model of the surface will be in… ▽ More We prove a Neron--Ogg--Shafarevich type criterion for good reduction of K3 surfaces, which states that a K3 surface over a complete discrete valuation field has potential good reduction if its $l$-adic cohomology group is unramified. We also prove a $p$-adic version of the criterion. (These are analogues of the criteria for good reduction of abelian varieties.) The model of the surface will be in general not a scheme but an algebraic space. As a corollary of the criterion we obtain the surjectivity of the period map of K3 surfaces in positive characteristic. △ Less

Submitted 5 January, 2017; v1 submitted 6 January, 2014; originally announced January 2014.

Comments: 31 Pages, Accepted version (plus minor modifications on Remark 1.2(2), Proposition 2.2(4), Section 5.3, Remark 6.2)

MSC Class: 14J28 (Primary); 11G25; 14G20 (Secondary)

Journal ref: Math. Z. 279 (2015), no. 1-2, 241-266

A GJMS construction for 2-tensors and the second variation of the total Q-curvature

Authors: Yoshihiko Matsumoto

Abstract: We construct a series of conformally invariant differential operators acting on weighted trace-free symmetric 2-tensors by a method similar to Graham-Jenne-Mason-Sparling's. For compact conformal manifolds of dimension even and greater than or equal to four with vanishing ambient obstruction tensor, one of these operators is used to describe the second variation of the total Q-curvature. An explic… ▽ More We construct a series of conformally invariant differential operators acting on weighted trace-free symmetric 2-tensors by a method similar to Graham-Jenne-Mason-Sparling's. For compact conformal manifolds of dimension even and greater than or equal to four with vanishing ambient obstruction tensor, one of these operators is used to describe the second variation of the total Q-curvature. An explicit formula for conformally Einstein manifolds is given in terms of the Lichnerowicz Laplacian of an Einstein representative metric. △ Less

Submitted 2 February, 2013; v1 submitted 15 February, 2012; originally announced February 2012.

Comments: 16 pages; Introduction revised, minor changes elsewhere

MSC Class: 53A30 (Primary) 53A55 (Secondary)

Journal ref: Pacific J. Math. 262 (2013) 437-455

On good reduction of some K3 surfaces related to abelian surfaces

Authors: Yuya Matsumoto

Abstract: The Neron--Ogg--Safarevic criterion for abelian varieties tells that whether an abelian variety has good reduction or not can be determined from the Galois action on its l-adic etale cohomology. We prove an analogue of this criterion for some special kind of K3 surfaces (those which admit Shioda--Inose structures of product type), which are deeply related to abelian surfaces. We also prove a p-adi… ▽ More The Neron--Ogg--Safarevic criterion for abelian varieties tells that whether an abelian variety has good reduction or not can be determined from the Galois action on its l-adic etale cohomology. We prove an analogue of this criterion for some special kind of K3 surfaces (those which admit Shioda--Inose structures of product type), which are deeply related to abelian surfaces. We also prove a p-adic analogue. This paper includes Ito's unpublished result for Kummer surfaces. △ Less

Submitted 11 February, 2012; originally announced February 2012.

Comments: 21 pages

MSC Class: 11G25 (Primary) 14G20; 14J28 (Secondary)

Journal ref: Tohoku Math. J. (2) 67 (2015), no. 1, 83-104

Asymptotics of ACH-Einstein metrics

Authors: Yoshihiko Matsumoto

Abstract: We study the boundary asymptotics of ACH metrics which are formally Einstein. In terms of the partially integrable almost CR structure induced on the boundary at infinity, existence and uniqueness of such formal asymptotic expansions are studied. It is shown that there always exist formal solutions to the Einstein equation if we allow logarithmic terms, and that a local CR-invariant tensor arises… ▽ More We study the boundary asymptotics of ACH metrics which are formally Einstein. In terms of the partially integrable almost CR structure induced on the boundary at infinity, existence and uniqueness of such formal asymptotic expansions are studied. It is shown that there always exist formal solutions to the Einstein equation if we allow logarithmic terms, and that a local CR-invariant tensor arises as the obstruction to the existence of a log-free solution. Some properties of this new CR invariant, the CR obstruction tensor, are discussed. △ Less

Submitted 28 February, 2011; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: 44 pages; introduction rewritten, proof of Proposition 1.4 fixed, minor modifications added

MSC Class: 32V05 (Primary); 53A55 (Secondary)

Pseudo-periodic homeomorphisms and degeneration of Riemann surfaces

Authors: Yukio Matsumoto, José Mariá Montesinos-Amilibia

Abstract: We will announce two theorems. The first theorem will classify all topological types of degenerate fibers appearing in one-parameter families of Riemann surfaces, in terms of ``pseudoperiodic'' surface homeomorphisms. The second theorem will give a complete set of conjugacy invariants for the mapping classes of such homeomorphisms. This latter result implies that Nielsen's set of invariants [{\i… ▽ More We will announce two theorems. The first theorem will classify all topological types of degenerate fibers appearing in one-parameter families of Riemann surfaces, in terms of ``pseudoperiodic'' surface homeomorphisms. The second theorem will give a complete set of conjugacy invariants for the mapping classes of such homeomorphisms. This latter result implies that Nielsen's set of invariants [{\it Surface transformation classes of algebraically finite type}, Collected Papers 2, Birkhäuser (1986)] is not complete. △ Less

Submitted 31 December, 1993; originally announced January 1994.

Comments: 6 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 30 (1994) 70-75