Journal of the Mathematical Society of Japan
Online ISSN : 1881-1167
Print ISSN : 0025-5645
ISSN-L : 0025-5645
Current issue
Displaying 1-12 of 12 articles from this issue
  • Laurent Côté, Ikshu Neithalath
    2022 Volume 74 Issue 3 Pages 683-717
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    We prove that the (𝜏-weighted, sheaf-theoretic) SL(2,ℂ) Casson–Lin invariant introduced by Manolescu and the first author is generically independent of the parameter 𝜏 and additive under connected sums of knots in integral homology 3-spheres. This addresses two questions asked by Manolescu and the first author. Our arguments involve a mix of topology and algebraic geometry, and rely crucially on the fact that the SL(2,ℂ) Casson–Lin invariant admits an alternative interpretation via the theory of Behrend functions.

    Download PDF (5616K)
  • Tanguy Rivoal
    2022 Volume 74 Issue 3 Pages 719-733
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    In 1929, Siegel defined 𝐸-functions as power series in \overline{ℚ}[[𝑧]], with Taylor coefficients satisfying certain growth conditions, and solutions of linear differential equations with coefficients in \overline{ℚ}(𝑧). The Siegel–Shidlovskii theorem (1956) generalized to 𝐸-functions the Diophantine properties of the exponential function. In 2000, André proved that the finite singularities of a differential operator in \overline{ℚ}(𝑧)[𝑑/𝑑𝑧] ∖ {0} of minimal order for some non-zero 𝐸-function are apparent, except possibly 0 which is always regular singular. We pursue the classification of such operators and consider those for which 0 is 𝜂-apparent, in the sense that there exists 𝜂 ∈ ℂ such that 𝐿 has a local basis of solutions at 0 in 𝑧𝜂 ℂ[[𝑧]]. We prove that they have a ℂ-basis of solutions of the form 𝑄𝑗(𝑧)𝑧𝜂 𝑒𝛽_𝑗 𝑧, where 𝜂 ∈ ℚ, the 𝛽𝑗 ∈ \overline{ℚ} are pairwise distinct and the 𝑄𝑗(𝑧) ∈ \overline{ℚ}[𝑧] ∖ {0}. This generalizes a previous result by Roques and the author concerning 𝐸-operators with an apparent singularity or no singularity at the origin, of which certain consequences are also given here.

    Download PDF (2515K)
  • César Galindo
    2022 Volume 74 Issue 3 Pages 735-752
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    For an abelian group 𝐴, we study a close connection between braided 𝐴-crossed tensor categories with a trivialization of the 𝐴-action and 𝐴-graded braided tensor categories. Additionally, we prove that the obstruction to the existence of a trivialization of a categorical group action 𝑇 on a tensor category 𝒞 is given by an element 𝑂(𝑇) ∈ 𝐻2(𝐺, Aut(Id𝒞)). In the case that 𝑂(𝑇) = 0, the set of obstructions forms a torsor over Hom(𝐺, Aut(Id𝒞)), where Aut(Id𝒞) is the abelian group of tensor natural automorphisms of the identity.

    The cohomological interpretation of trivializations, together with the homotopical classification of (faithfully graded) braided 𝐴-crossed tensor categories developed Etingof et al., allows us to provide a method for the construction of faithfully 𝐴-graded braided tensor categories. We work out two examples. First, we compute the obstruction to the existence of trivializations for the braided 𝐴-crossed tensor category associated with a pointed semisimple tensor category. In the second example, we compute explicit formulas for the braided ℤ/2ℤ-crossed structures over Tambara–Yamagami fusion categories and, consequently, a conceptual interpretation of the results by Siehler about the classification of braidings over Tambara–Yamagami categories.

    Download PDF (2188K)
  • Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood, Roberto Taur ...
    2022 Volume 74 Issue 3 Pages 753-758
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    We mainly answer two open questions about finite multiple harmonic 𝑞-series on 3-2-1 indices at roots of unity, posed recently by Bachmann, Takeyama, and Tasaka. Two conjectures regarding cyclic sums which generalize the given results are also provided.

    Download PDF (786K)
  • Charles Fefferman, Garving K. Luli
    2022 Volume 74 Issue 3 Pages 759-811
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    In this paper we settle the two-dimensional case of a conjecture involving unknown semialgebraic functions with specified smoothness. More precisely, we prove the following result: Let ℋ be a semialgebraic bundle with respect to 𝐶^{𝑚}_{𝑙𝑜𝑐}(ℝ2, ℝ𝐷). If ℋ has a section, then it has a semialgebraic section.

    Download PDF (8294K)
  • Antonio Ros
    2022 Volume 74 Issue 3 Pages 813-828
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    For any compact Riemannian surface of genus three (Σ,𝑑𝑠2) Yang and Yau proved that the product of the first eigenvalue of the Laplacian 𝜆1(𝑑𝑠2) and the area 𝐴𝑟𝑒𝑎(𝑑𝑠2) is bounded above by 24𝜋. In this paper we improve the result and we show that 𝜆1(𝑑𝑠2) 𝐴𝑟𝑒𝑎(𝑑𝑠2) ≤ 16(4 − \sqrt{7})𝜋 ≈ 21.668𝜋. About the sharpness of the bound, for the hyperbolic Klein quartic surface numerical computations give the value ≈ 21.414𝜋.

    Download PDF (2058K)
  • Morimichi Kawasaki, Ryuma Orita
    2022 Volume 74 Issue 3 Pages 829-847
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    (Non-)displaceability of fibers of integrable systems has been an important problem in symplectic geometry. In this paper, for a large class of classical Liouville integrable systems containing the Lagrangian top, the Kovalevskaya top and the C. Neumann problem, we find a non-displaceable fiber for each of them. Moreover, we show that the non-displaceable fiber which we detect is the unique fiber which is non-displaceable from the zero-section. As a special case of this result, we also show the existence of a singular level set of a convex Hamiltonian, which is non-displaceable from the zero-section. To prove these results, we use the notion of superheaviness introduced by Entov and Polterovich.

    Download PDF (2844K)
  • Yuya Matsumoto
    2022 Volume 74 Issue 3 Pages 849-872
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    Let \bar{𝑌} 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{𝑌}, and for each configuration we describe which type of Enriques surfaces (classical or supersingular) appear as quotients of \bar{𝑌}.

    Download PDF (3896K)
  • Toshihiko Masuda
    2022 Volume 74 Issue 3 Pages 873-901
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    We classify outer actions (or 𝒢-kernels) of discrete amenable groupoids on injective factors. Our method based on unified approach for classification of discrete amenable groups actions, and cohomology reduction theorem of discrete amenable equivalence relations. We do not use Katayama–Takesaki type resolution group approach.

    Download PDF (3922K)
  • Kei Hasegawa, Yusuke Isono, Tomohiro Kanda
    2022 Volume 74 Issue 3 Pages 903-944
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    In this note, we introduce and study a notion of bi-exactness for creation operators acting on full, symmetric and anti-symmetric Fock spaces. This is a generalization of our previous work, in which we studied the case of anti-symmetric Fock spaces. As a result, we obtain new examples of solid actions as well as new proofs for some known solid actions. We also study free wreath product groups in the same context.

    Download PDF (5422K)
  • Humio Ichimura, Hiroki Sumida-Takahashi
    2022 Volume 74 Issue 3 Pages 945-972
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    Let 𝑝 be an odd prime number and let 2𝑒+1 be the highest power of 2 dividing 𝑝 − 1. For 0 ≤ 𝑛 ≤ 𝑒, let 𝑘𝑛 be the real cyclic field of conductor 𝑝 and degree 2𝑛. For a certain imaginary quadratic field 𝐿0, we put 𝐿𝑛 = 𝐿0 𝑘𝑛. For 0 ≤ 𝑛 ≤ 𝑒 − 1, let ℱ𝑛 be the imaginary quadratic subextension of the imaginary (2, 2)-extension 𝐿𝑛+1/𝑘𝑛 with ℱ𝑛 ≠ 𝐿𝑛. We study the Galois module structure of the 2-part of the ideal class group of the imaginary cyclic field ℱ𝑛. This generalizes a classical result of Rédei and Reichardt for the case 𝑛 = 0.

    Download PDF (5245K)
  • Alex Degtyarev
    2022 Volume 74 Issue 3 Pages 973-1019
    Published: 2022
    Released on J-STAGE: July 22, 2022
    JOURNAL RESTRICTED ACCESS

    We show that the number of lines contained in a supersingular quartic surface is 40 or at most 32, if the characteristic of the field equals 2, and it is 112, 58, or at most 52, if the characteristic equals 3. If the quartic is not supersingular, the number of lines is at most 60 in both cases. We also give a complete classification of large configurations of lines.

    Download PDF (7248K)
feedback
Top