Tokyo Journal of Mathematics Articles (Project Euclid)
http://projecteuclid.org/euclid.tjm
The latest articles from Tokyo Journal of Mathematics on Project Euclid, a site for mathematics and statistics resources.en-usCopyright 2010 Cornell University LibraryEuclid-L@cornell.edu (Project Euclid Team)Thu, 05 Aug 2010 15:41 EDTMon, 31 Jan 2011 09:18 ESThttp://projecteuclid.org/collection/euclid/images/logo_linking_100.gifProject Euclid
http://projecteuclid.org/
The Homogeneous Slice Theorem for the Complete Complexification of a Proper Complex Equifocal Submanifold
http://projecteuclid.org/euclid.tjm/1279719575
<strong>Naoyuki KOIKE</strong><p><strong>Source: </strong>Tokyo J. of Math., Volume 33, Number 1, 1--30.</p><p><strong>Abstract:</strong><br/>
The notion of a complex equifocal submanifold in a Riemannian symmetric space of non-compact type has been recently introduced as a generalization of isoparametric hypersurfaces in the hyperbolic space.
As its subclass, the notion of a proper complex equifocal submanifold has been introduced.
Some results for a proper complex equifocal submanifold have been recently obtained by investigating the lift of its complete complexification to some path space.
In this paper, we give a new construction of the complete complexification of a proper complex equifocal submanifold and, by using the construction, show that leaves of focal distributions of the complete complexification are the images by the normal exponential map of principal orbits of a certain kind of pseudo-orthogonal representation on the normal space of the corresponding focal submanifold.
</p>projecteuclid.org/euclid.tjm/1279719575_Thu, 05 Aug 2010 15:41 EDTThu, 05 Aug 2010 15:41 EDTA Cohomological Splitting Criterion for Rank 2 Vector Bundles on Hirzebruch Surfaceshttp://projecteuclid.org/euclid.tjm/1452806042<strong>Kazunori YASUTAKE</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 327--330.</p><p><strong>Abstract:</strong><br/>
In this note, we give a cohomological characterization of all rank 2 split vector bundles on Hirzebruch surfaces.
</p>projecteuclid.org/euclid.tjm/1452806042_20160114161406Thu, 14 Jan 2016 16:14 ESTOn Vassiliev Invariants of Degrees 2 and 3 for Torus Knotshttp://projecteuclid.org/euclid.tjm/1452806043<strong>Sukuse ABE</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 331--337.</p><p><strong>Abstract:</strong><br/>
We consider the $\mathbf{R}$-valued Vassiliev invariants of degrees 2 and 3 normalized by the conditions that they take values 0 on the unknot and 1 on the trefoil. We give certain answers for a problem due to N. Okuda about these two invariants. Moreover, we prove a conjecture due to Simon Willerton concerning the degree-3 Vassiliev invariant in the case of torus knots.
</p>projecteuclid.org/euclid.tjm/1452806043_20160114161406Thu, 14 Jan 2016 16:14 ESTAsymptotically Bad Towers of Function Fieldshttp://projecteuclid.org/euclid.tjm/1452806044<strong>Maria de los Angeles CHARA</strong>, <strong>Ricardo TOLEDANO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 339--352.</p><p><strong>Abstract:</strong><br/>
In this paper we study general conditions to prove the infiniteness of the genus of certain towers of function fields over a perfect field. We show that many known examples of towers with infinite genus are particular cases of these conditions. In the case of tame towers we show that the infiniteness of their genus is actually equivalent to these conditions.
</p>projecteuclid.org/euclid.tjm/1452806044_20160114161406Thu, 14 Jan 2016 16:14 ESTJohn-Nirenberg Inequalities with Variable Exponents on Probability Spaceshttp://projecteuclid.org/euclid.tjm/1452806045<strong>Lian WU</strong>, <strong>Zhiwei HAO</strong>, <strong>Yong JIAO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 353--367.</p><p><strong>Abstract:</strong><br/>
In this paper we study the John-Nirenberg inequalities with variable exponents on a probability space. Let $Y$ be a rearrangement invariant Banach function space defined on $(\Omega,\mathcal{F},P)$ and a measurable function $p(\cdot): \Omega\rightarrow \mathbf{R}^+$ be a variable exponent. We prove that if the stochastic basis is regular, then $$BMO_{\phi,Y}=BMO_{\phi,p(\cdot)}\,,\quad \forall 1\leq p(\cdot)<\infty\,,$$ where $\phi(r)=1/r\Phi^{-1}(1/r)$ and $\Phi$ is a concave function with proper condition.
</p>projecteuclid.org/euclid.tjm/1452806045_20160114161406Thu, 14 Jan 2016 16:14 ESTClassification of Continuous Fractional Binary Operations on the Real and Complex Fieldshttp://projecteuclid.org/euclid.tjm/1452806046<strong>Sin-Ei TAKAHASI</strong>, <strong>Makoto TSUKADA</strong>, <strong>Yuji KOBAYASHI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 369--380.</p><p><strong>Abstract:</strong><br/>
In this paper, we consider a classification problem for continuous fractional binary operations on $\mathbf K$, where $\mathbf K$ denotes the real field $\mathbf R$ or the complex field $\mathbf C$. We first show that there exist exactly two continuous fractional binary operations on $\mathbf R$ up to isomorphism. In the complex case, we describe completely all continuous fractional binary operations on $\mathbf C$ in terms of ordinary fraction. Applying this description, we give a partial solution to the classification problem in the complex case. Moreover we show that there exist exactly two homogeneous cancellative binary operations on $\mathbf K$ up to isomorphism.
</p>projecteuclid.org/euclid.tjm/1452806046_20160114161406Thu, 14 Jan 2016 16:14 ESTPositive Solutions for a Quasilinear Elliptic Problem Involving Sublinear and Superlinear Termshttp://projecteuclid.org/euclid.tjm/1452806047<strong>Manuela C. REZENDE</strong>, <strong>Carlos Alberto SANTOS</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 381--407.</p><p><strong>Abstract:</strong><br/>
We deal with the existence and non-existence of positive solutions for the problem
\begin{eqnarray*}
\displaystyle \left \{ \begin{array}{@{\,}c}
-\Delta_p u +m(x)u^{p-1} = a(x)f(u) + \lambda b(x)g(u)~~ \text{in}~~ \mathbf{R}^N\,,\\
\\
\displaystyle u > 0~~ \text{in}~~\mathbf{R}^N\,,~~~ u(x)\rightarrow 0 \ \text{when} \ |x|\rightarrow\infty\,,
\end{array} \right.
\end{eqnarray*}
where $\Delta_p$ is the $p$-Laplacian operator, $1<p<N$, $\lambda>0$ is a real parameter, $ f, g: (0, \infty)\rightarrow (0,\infty)$ and $m, a, b: \mathbf{R}^N\rightarrow[0,\infty )$; $ a, b\neq 0$ are continuous functions.
In this work we consider, for example, nonlinearities with combined effects of concave and convex terms, besides allowing the presence of singularities. For existence of solutions, we exploit the lower and upper solutions method, combined with a technique of monotone-regularization on the nonlinearities $f$ and $g$ and for non-existence we use a consequence of Picone identity.
</p>projecteuclid.org/euclid.tjm/1452806047_20160114161406Thu, 14 Jan 2016 16:14 ESTSpectral Band Structure of Periodic Schrödinger Operators on a Generalized Degenerate Zigzag Nanotubehttp://projecteuclid.org/euclid.tjm/1452806048<strong>Hiroaki NIIKUNI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 409--438.</p><p><strong>Abstract:</strong><br/>
We refer generalized degenerate zigzag nanotubes as periodic metric graphs which consist of segments of length 1 and rings of length 2 throughout this paper. In this paper, we consider the case where there are one segment and three rings in the basic period cell and analyze the spectrum of periodic Schrödinger operators on the generalized degenerate zigzag nanotube. We obtain the relationship between the structure of the metric graph and the nondegenerate spectral gaps of the Schrödinger operators.
</p>projecteuclid.org/euclid.tjm/1452806048_20160114161406Thu, 14 Jan 2016 16:14 ESTOn Filter-regular Sequences of Multi-graded Moduleshttp://projecteuclid.org/euclid.tjm/1452806049<strong>Duong Quoc VIET</strong>, <strong>Truong Thi Hong THANH</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 439--457.</p><p><strong>Abstract:</strong><br/>
Let $S$ be an $\mathbf{N}^d$-graded algebra over a noetherian ring and a finitely generated $\mathbf{N}^d$-graded $S$-module $M$. This paper will study the relationship of filter-regular sequences of $M$ to joint reductions and homogeneous parameter systems. As an application, we show that any maximal filter-regular sequence is a joint reduction of $(S_1,\ldots,S_d)$ with respect to $M,$ and any maximal strong-filter-regular sequence is a reduction of $S_+$ with respect to $M$. And we characterize the existence of parts of homogeneous parameter systems for $M$ consisting of elements of total degree 1 via strong-filter-regular sequences.
</p>projecteuclid.org/euclid.tjm/1452806049_20160114161406Thu, 14 Jan 2016 16:14 ESTOn a Conjecture for Rubin-Stark Elements in a Special Casehttp://projecteuclid.org/euclid.tjm/1452806050<strong>Takamichi SANO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 459--476.</p><p><strong>Abstract:</strong><br/>
A conjecture on a relation between two different Rubin-Stark elements was recently proposed by the author, and also by Mazur and Rubin. For a tower of finite extensions of global fields $K/L/k$ such that $K/k$ is abelian, this conjecture gives a relation between Rubin-Stark elements $\varepsilon_{K,S,T,V}$ and $\varepsilon_{L,S,T,V'}$, where $S, T, V$ and $V'$ are suitable sets of places of $k$. In this paper, we prove this conjecture under the following three assumptions: (i) $V$ contains all infinite places of $k$; (ii) all $v\in S$ split completely in $L$; (iii) $\mathrm{Gal}(K/L)$ is the direct product of the inertia groups at $v\in S\setminus V$.
</p>projecteuclid.org/euclid.tjm/1452806050_20160114161406Thu, 14 Jan 2016 16:14 ESTExtremely Strong Boundary Points and Real-linear Isometrieshttp://projecteuclid.org/euclid.tjm/1452806051<strong>Arya JAMSHIDI</strong>, <strong>Fereshteh SADY</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 477--490.</p><p><strong>Abstract:</strong><br/>
Let $X,Y$ be locally compact Hausdorff spaces, $A$ be a complex subspace of $C_0(X)$ and $T: A \longrightarrow C_0(Y)$ be a real-linear isometry, whose range is not assumed to be a complex subspace of $C_0(Y)$.
In this paper, using the set $\Theta(A)$ and $\tau(A)$ consisting of all extremely strong boundary points and strong boundary points of $A$, respectively we introduce appropriate subsets $Y_0$ and $Y_1$ of $Y$ and give a description of $T$ on these sets.
More precisely, we show that there exist continuous functions $\Phi:Y_0\longrightarrow \Theta(A)$, $\alpha:Y_0\longrightarrow [-1,1]$ and $w:Y_0\longrightarrow \mathbf{T}$, where $\mathbf{T}$ is the unit circle, such that
\[Tf(y)=w(y) \cdot (\mathrm{Re}(f(\Phi(y)))+\alpha(y) i \, \mathrm{Im}(f(\Phi(y))) \]
for all $f\in A$ and $y\in Y_0$.
The result is improved in the case where either
\noindent i) $T(A)$ is a complex subspace of $C_0(Y)$ and $\Theta(A)= \mathrm{ch}(A)$, where $\mathrm{ch}(A)$ is the Choquet boundary of $A$ or
\noindent ii) $T(A)$ satisfies a certain separating property.
\noindent In the first case we show that there exists a clopen subset $K$ of $Y_0$ such that
\[ (Tf)(y)= w(y)\left\lbrace
\begin{array}{@{}cl}
f( \Phi(y)) & \,\, y\in K,\\
\overline{f(\Phi(y))} & \,\, y\notin K,
\end{array}
\right. \]
for each $f\in A$ and $y\in Y_0$.
In the second case we obtain similar results for $\tau(A)\cap \mathrm{ch}(A)$ and $Y_1$ instead of $\Theta(A)$ and $Y_0$.
</p>projecteuclid.org/euclid.tjm/1452806051_20160114161406Thu, 14 Jan 2016 16:14 ESTLR Number of Spherical Closed Curveshttp://projecteuclid.org/euclid.tjm/1452806052<strong>Kuniyuki TAKAOKA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 491--503.</p><p><strong>Abstract:</strong><br/>
For a given oriented spherical closed curve with $n$ transversal double points, we assign a cyclic word of length $2n$ on two letters $L$ standing left and $R$ standing right by reading the crossing sign so that each crossing point is read once $L$ and once $R$. The LR number of the curve is the number of appearance of subwords $LR$ in the cyclic word. We completely determine oriented spherical closed curves whose LR numbers are less than or equal to three.
</p>projecteuclid.org/euclid.tjm/1452806052_20160114161406Thu, 14 Jan 2016 16:14 ESTA Remark on Regularity of Solutions to Wave Equationshttp://projecteuclid.org/euclid.tjm/1452806053<strong>Naoya SAEKI</strong>, <strong>Takeshi WADA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 505--512.</p><p><strong>Abstract:</strong><br/>
We prove a generalization of the Strichartz estimate for the inhomogeneous wave equation $\square u(t,x) =f(t,x)$ in the space-time $\textbf{\textit{R}}^{1+n}$. We estimate the solution in vector-valued homogeneous Besov spaces $\Dot{B}^\theta_{q,2}(\textbf{\textit{R}}; \Dot{B}^\sigma_{r,2}(\textbf{\textit{R}}^n))$. Such an estimate shows the time differentiability of the solution of fractional order.
</p>projecteuclid.org/euclid.tjm/1452806053_20160114161406Thu, 14 Jan 2016 16:14 ESTThe Countable Chain Condition for C*-Algebrashttp://projecteuclid.org/euclid.tjm/1452806054<strong>Shuhei MASUMOTO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 513--522.</p><p><strong>Abstract:</strong><br/>
In this paper, we introduce the countable chain condition for C*-algebras and study its fundamental properties. We show independence from $\mathsf{ZFC}$ of the statement that this condition is preserved under the tensor products of C*-algebras.
</p>projecteuclid.org/euclid.tjm/1452806054_20160114161406Thu, 14 Jan 2016 16:14 ESTIsomorphism Classes and Zeta-functions of Some Nilpotent Groups IIhttp://projecteuclid.org/euclid.tjm/1452806055<strong>Fumitake HYODO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 523--537.</p><p><strong>Abstract:</strong><br/>
Torsion-free finitely generated nilpotent groups are called $\mathcal{T}$-groups. This article gives a class of $\mathcal{T}$-groups in which zeta functions of groups determine the isomorphism classes.
</p>projecteuclid.org/euclid.tjm/1452806055_20160114161406Thu, 14 Jan 2016 16:14 ESTThe Number of Cusps of Right-angled Polyhedra in Hyperbolic Spaceshttp://projecteuclid.org/euclid.tjm/1452806056<strong>Jun NONAKA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 539--560.</p><p><strong>Abstract:</strong><br/>
As was pointed out by Nikulin [8] and Vinberg [10], a right-angled polyhedron of finite volume in the hyperbolic $n$-space $\mathbf{H}^n$ has at least one cusp for $n\geq 5$. We obtain non-trivial lower bounds on the number of cusps of such polyhedra. For example, right-angled polyhedra of finite volume must have at least three cusps for $n=6$. Our theorem also says that the higher the dimension of a right-angled polyhedron becomes, the more cusps it must have.
</p>projecteuclid.org/euclid.tjm/1452806056_20160114161406Thu, 14 Jan 2016 16:14 ESTNon-orientable Genus of a Knot in Punctured $\mathbf{C}P^2$http://projecteuclid.org/euclid.tjm/1452806057<strong>Kouki SATO</strong>, <strong>Motoo TANGE</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 561--574.</p><p><strong>Abstract:</strong><br/>
For a closed 4-manifold $X$, any knot $K$ in the boundary of punctured $X$ bounds a non-orientable and null-homologous embedded surface in punctured $X$. Thus we can define an invariant $\gamma_X^0(K)$ to be the smallest first Betti number of such surfaces. Note that $\gamma^0_{S^4}$ is equal to the non-orientable 4-ball genus. While it is very likely that for a given $X$, $\gamma^0_X$ has no upper bound, it is difficult to show it. Recently, Batson showed that $\gamma^0_{S^4}$ has no upper bound. In this paper we show that for any positive integer $n$, $\gamma^0_{n\mathbf{C}P^2}$ has no upper bound.
</p>projecteuclid.org/euclid.tjm/1452806057_20160114161406Thu, 14 Jan 2016 16:14 ESTThe Equivalence Theorem of Kinetic Solutions and Entropy Solutions for Stochastic Scalar Conservation Lawshttp://projecteuclid.org/euclid.tjm/1452806058<strong>Dai NOBORIGUCHI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 38, Number 2, 575--587.</p><p><strong>Abstract:</strong><br/>
In this paper, we prove the equivalence of kinetic solutions and entropy solutions for the initial-boundary value problem with a non-homogeneous boundary condition for a multi-dimensional scalar first-order conservation law with a multiplicative noise. We somewhat generalized the definitions of kinetic solutions and of entropy solutions given in Kobayasi and Noboriguchi [8] and Bauzet, Vallet and Wittobolt [1], respectively.
</p>projecteuclid.org/euclid.tjm/1452806058_20160114161406Thu, 14 Jan 2016 16:14 ESTOn Functional Relations for Witten Multiple Zeta-functionshttp://projecteuclid.org/euclid.tjm/1459367257<strong>Soichi IKEDA</strong>, <strong>Kaneaki MATSUOKA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 22 pages.</p><p><strong>Abstract:</strong><br/>
In this paper we discuss functional relations for the multi-variable version of Witten zeta-functions associated with the Lie algebra $\mathfrak{sl}(r)$ ($r=3, 4, 5$).
</p>projecteuclid.org/euclid.tjm/1459367257_20160330154744Wed, 30 Mar 2016 15:47 EDTA Class Number Problem for the Cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{5})$http://projecteuclid.org/euclid.tjm/1459367258<strong>Takuya AOKI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 13 pages.</p><p><strong>Abstract:</strong><br/>
Let $K_n$ be the $n$-th layer of the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{5})$ and $h_n$ the class number of $K_n$.
We prove that, if $\ell$ is a prime number less than $6\cdot10^4$, then $\ell$ does not divide $h_n$ for any non-negative integer $n$.
</p>projecteuclid.org/euclid.tjm/1459367258_20160330154744Wed, 30 Mar 2016 15:47 EDTInterface Regularity of the Solutions to Maxwell Systems on Riemannian Manifoldshttp://projecteuclid.org/euclid.tjm/1459367259<strong>Makoto KANOU</strong>, <strong>Tomohiko SATO</strong>, <strong>Kazuo WATANABE</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 18 pages.</p><p><strong>Abstract:</strong><br/>
In this paper we study the interface regularity of the solutions to the differential systems defined by differential forms (for example, stationary Maxwell systems) on $N(\geq 3)$-dimensional Riemannian manifolds.
Our results are natural extensions of the results of \textit{Interface regularity of the solutions for the rotation free and the divergence free systems} and \textit{Interface vanishing for solutions to Maxwell and Stokes systems}.
</p>projecteuclid.org/euclid.tjm/1459367259_20160330154744Wed, 30 Mar 2016 15:47 EDTIsomorphism Classes of Modules over Iwasawa Algebra with $\lambda =4$http://projecteuclid.org/euclid.tjm/1459367260<strong>Kazuaki MURAKAMI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 32 pages.</p><p><strong>Abstract:</strong><br/>
We classify the isomorphism classes of finitely generated torsion $\mathcal{O}_E[[T]]$-modules which are free over $\mathcal{O}_E$ of rank $4$, where $\mathcal{O}_E$ is the ring of the integers of a local field $E$.
We apply this classification to the Iwasawa module associated to the cyclotomic $\mathbb{Z}_p$-extension of an imaginary quadratic field.
</p>projecteuclid.org/euclid.tjm/1459367260_20160330154744Wed, 30 Mar 2016 15:47 EDTTopological Symmetry Groups of Complete Bipartite Graphshttp://projecteuclid.org/euclid.tjm/1459367261<strong>Kathleen HAKE</strong>, <strong>Blake MELLOR</strong>, <strong>Matt PITTLUCK</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 24 pages.</p><p><strong>Abstract:</strong><br/>
The symmetries of complex molecular structures can be modeled by the {\em topological symmetry group} of the underlying embedded graph.
It is therefore important to understand which topological symmetry groups can be realized by particular abstract graphs.
This question has been answered for complete graphs \cite{fmn3}; it is natural next to consider complete bipartite graphs.
In previous work we classified the complete bipartite graphs that can realize topological symmetry groups isomorphic to $A_4$, $S_4$ or $A_5$ \cite{me}; in this paper we determine which complete bipartite graphs have an embedding in $S^3$ whose topological symmetry group is isomorphic to $\Z_m$, $D_m$, $\Z_r \x \Z_s$ or $(\Z_r \x \Z_s) \ltimes \Z_2$.
</p>projecteuclid.org/euclid.tjm/1459367261_20160330154744Wed, 30 Mar 2016 15:47 EDTOn Classification of Quandles of Cyclic Typehttp://projecteuclid.org/euclid.tjm/1459367262<strong>Seiichi KAMADA</strong>, <strong>Hiroshi TAMARU</strong>, <strong>Koshiro WADA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 15 pages.</p><p><strong>Abstract:</strong><br/>
In this paper, we study quandles of cyclic type, which form a particular subclass of finite quandles.
The main result of this paper describes the set of isomorphism classes of quandles of cyclic type in terms of certain cyclic permutations.
By using our description, we give a direct classification of quandles of cyclic type with cardinality up to 12.
</p>projecteuclid.org/euclid.tjm/1459367262_20160330154744Wed, 30 Mar 2016 15:47 EDTA Study of Submanifolds of the Complex Grassmannian Manifold with Parallel Second Fundamental Formhttp://projecteuclid.org/euclid.tjm/1459367263<strong>Isami KOGA</strong>, <strong>Yasuyuki NAGATOMO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 13 pages.</p><p><strong>Abstract:</strong><br/>
We prove an extension of a theorem of A. Ros on \textit{a characterization of seven compact Kaehler submanifolds by holomorphic pinching} [5] to certain submanifolds of the complex Grassmannian manifolds.
</p>projecteuclid.org/euclid.tjm/1459367263_20160330154744Wed, 30 Mar 2016 15:47 EDTA Note on the Galois Brumer-Stark Conjecturehttp://projecteuclid.org/euclid.tjm/1459367264<strong>Jiro NOMURA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 11 pages.</p><p><strong>Abstract:</strong><br/>
In this paper, we prove, for primes $l$ satisfying some conditions, the $l$-parts of the Galois Brumer-Stark conjecture, which is formulated by Dejou and Roblot for Galois CM-extensions with dihedral or generalized quaternion Galois group of specified degrees.
</p>projecteuclid.org/euclid.tjm/1459367264_20160330154744Wed, 30 Mar 2016 15:47 EDTUniform Blow-up Rate for Nonlocal Diffusion-like Equations with Nonlocal Nonlinear Sourcehttp://projecteuclid.org/euclid.tjm/1459367265<strong>Jiashan ZHENG</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 16 pages.</p><p><strong>Abstract:</strong><br/>
We present new blow-up results for nonlocal reaction-diffusion equations with nonlocal nonlinearities.
The nonlocal source terms we consider are of several types, and are relevant to various models in physics and engineering.
They may involve an integral of an unknown function, either in space, in time, or both in space and time, or they may depend on localized values of the solution.
We first show the existence and uniqueness of the solution to problem relying on contraction mapping fixed point theorem.
Then, the comparison principles for problem are established through a standard method.
Finally, for the radially symmetric and non-increasing initial data, we give a complete classification in terms of global and single point blow-up according to the parameters.
Moreover, the blow-up rates are also determined in each case.
</p>projecteuclid.org/euclid.tjm/1459367265_20160330154744Wed, 30 Mar 2016 15:47 EDTOn the $C^\alpha$-convergence of the Solution of the Chern-Ricci Flow on Elliptic Surfaceshttp://projecteuclid.org/euclid.tjm/1459367266<strong>Masaya KAWAMURA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 10 pages.</p><p><strong>Abstract:</strong><br/>
We will study the Chern-Ricci flow on non-K\"ahler properly elliptic surfaces.
These surfaces are compact complex surfaces whose first Betti number is odd, Kodaira dimension is equal to 1 and admit an elliptic fibration to a smooth compact curve.
We will show that a solution of the Chern-Ricci flow converges in $C^\alpha$-topology on these elliptic surfaces by choosing a special initial metric.
</p>projecteuclid.org/euclid.tjm/1459367266_20160330154744Wed, 30 Mar 2016 15:47 EDTHigher-order Convolution Identities for Cauchy Numbershttp://projecteuclid.org/euclid.tjm/1459367267<strong>Takao KOMATSU</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 15 pages.</p><p><strong>Abstract:</strong><br/>
Euler's famous formula written in symbolic notation as $(B_0+B_0)^n=-n B_{n-1}-(n-1)B_n$ was extended to $(B_{l_1}+\cdots+B_{l_m})^n$ for $m\ge 2$ and arbitrary fixed integers $l_1,\dots,l_m\ge 0$.
In this paper, we consider the higher-order recurrences for Cauchy numbers $(c_{l_1}+\cdots+c_{l_m})^n$, where the $n$-th Cauchy number $c_n$ ($n\ge 0$) is defined by the generating function $x/\ln(1+x)=\sum_{n=0}^\infty c_n x^n/n!$.
In special, we give an explicit expression in the case $l_1=\cdots=l_m=0$ for any integers $n\ge 1$ and $m\ge 2$.
We also discuss the case for Cauchy numbers of the second kind $\widehat c_n$ in similar ways.
</p>projecteuclid.org/euclid.tjm/1459367267_20160330154744Wed, 30 Mar 2016 15:47 EDTAsymptotic Behavior of Solutions for Semilinear Volterra Diffusion Equations with Spatial Inhomogeneity and Advectionhttp://projecteuclid.org/euclid.tjm/1459367268<strong>Yusuke YOSHIDA</strong>, <strong>Yoshio YAMADA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 22 pages.</p><p><strong>Abstract:</strong><br/>
This paper is concerned with semilinear Volterra diffusion equations with spatial inhomogeneity and advection.
We intend to study the effects of interaction among diffusion, advection and Volterra integral under spatially inhomogeneous environments.
Since the existence and uniqueness result of global-in-time solutions can be proved in the standard manner, our main interest is to study their asymptotic behavior as $t\to \infty$.
For this purpose, we study the related stationary problem by the monotone method and establish some sufficient conditions on the existence of a unique positive solution.
Its global attractivity is also studied with use of a suitable Lyapunov functional.
</p>projecteuclid.org/euclid.tjm/1459367268_20160330154744Wed, 30 Mar 2016 15:47 EDTRemarks on $r$-planes in Complete Intersectionshttp://projecteuclid.org/euclid.tjm/1459367269<strong>Chikashi MIYAZAKI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 9 pages.</p><p><strong>Abstract:</strong><br/>
This paper investigates the families of smooth complete intersections containing $r$-planes in projective spaces.
We are going in a primitive way to shed some light on a point and an $r$-plane containing the point in a complete intersection from the viewpoint of projective geometry.
</p>projecteuclid.org/euclid.tjm/1459367269_20160330154744Wed, 30 Mar 2016 15:47 EDT$B_w^u$-function Spaces and Their Interpolationhttp://projecteuclid.org/euclid.tjm/1459367270<strong>Eiichi NAKAI</strong>, <strong>Takuya SOBUKAWA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, , 34 pages.</p><p><strong>Abstract:</strong><br/>
We introduce $B_w^u$-function spaces which unify Lebesgue, Morrey-Campanato, Lipschitz, $B^p$, $\CMO$, local Morrey-type spaces, etc., and investigate the interpolation property of $B_w^u$-function spaces.
We also apply it to the boundedness of linear and sublinear operators, for example, the Hardy-Littlewood maximal and fractional maximal operators, singular and fractional integral operators with rough kernel, the Littlewood-Paley operator, Marcinkiewicz operator, and so on.
</p>projecteuclid.org/euclid.tjm/1459367270_20160330154744Wed, 30 Mar 2016 15:47 EDTGreenberg's Conjecture for the Cyclotomic $\mathbb{Z}_{2}$-extension of Certain Number Fields of Degree Fourhttp://projecteuclid.org/euclid.tjm/1471873310<strong>Naoki KUMAKAWA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 1, 1--15.</p><p><strong>Abstract:</strong><br/>
The purpose of this paper is to construct infinite families of real abelian number fields $K$ of degree four with $\lambda_{2}(K)= \mu_{2}(K) =0$ and $\nu_{2}(K) >0$.
</p>projecteuclid.org/euclid.tjm/1471873310_20160822094156Mon, 22 Aug 2016 09:41 EDTMaps Which Preserve a Certain Norm Condition between the Exponential Groups of Uniform Algebrashttp://projecteuclid.org/euclid.tjm/1471873311<strong>Tatsuya NOGAWA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 1, 39--44.</p><p><strong>Abstract:</strong><br/>
Let $\A_j$ be a uniform algebra with a Choquet boundary $Ch\A_j$, $j = 1, 2$.
In this paper we prove that if $\phi : \exp\A_1 \to \exp\A_2$ is a surjection and satisfies the equality
\begin{equation*}
\max \left\{ \left\| \frac{\phi (f)}{\phi (g)} -1 \right\|_\infty, \left\| \frac{\phi (g)}{\phi (f)} -1 \right\|_\infty \right \}
=\max \left\{ \left\| \frac{f}{g} -1 \right\|_\infty, \left\| \frac{g}{f} -1 \right\|_\infty \right \}
\end{equation*}
for any $f, g \in \exp\A_1$, then $\phi$ is of the form
\begin{equation*}
\phi(f)(y) = \left\{ \begin{array}{ll}
\phi(1)(y) f(\varphi(y))^{\kappa(y)} & \text{for}~ y \in K, \\
\phi(1)(y) \overline{f(\varphi(y))}^{\kappa(y)} & \text{for}~ y \in Ch\A_2 \setminus K \\
\end{array} \right.
\end{equation*}
for any $f \in \exp\A_1$, where $\kappa$ is a continuous function from $Ch\A_2$ into $\{ 1, -1 \}$, $\varphi$ is a homeomorphism from $Ch\A_2$ onto $Ch\A_1$ and $K$ is a clopen subset of $Ch\A_2$.
</p>projecteuclid.org/euclid.tjm/1471873311_20160822094156Mon, 22 Aug 2016 09:41 EDTThe Dual Jacobian of a Generalised Hyperbolic Tetrahedron, and Volumes of Prismshttp://projecteuclid.org/euclid.tjm/1471873312<strong>Alexander KOLPAKOV</strong>, <strong>Jun MURAKAMI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 1, 45--67.</p><p><strong>Abstract:</strong><br/>
We derive an analytic formula for the dual Jacobian matrix of a generalised hyperbolic tetrahedron.
Two cases are considered: a mildly truncated and a prism truncated tetrahedron.
The Jacobian for the latter arises as an analytic continuation of the former, that falls in line with a similar behaviour of the corresponding volume formulae.
Also, we obtain a volume formula for a hyperbolic $n$-gonal prism: the proof requires the above mentioned Jacobian, employed in the analysis of the edge lengths behaviour of such a prism, needed later for the Schläfli formula.
</p>projecteuclid.org/euclid.tjm/1471873312_20160822094156Mon, 22 Aug 2016 09:41 EDTNested Square Roots and Poincaré Functionshttp://projecteuclid.org/euclid.tjm/1471873313<strong>Noboru AOKI</strong>, <strong>Shota KOJIMA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 1, 241--269.</p><p><strong>Abstract:</strong><br/>
We are concerned with finitely nested square roots which are roots of iterations of a real quadratic polynomial $x^2-c$ with $c\geq 2$, and the limits of such nested square roots.
We investigate how they are related to a Poincaré function $f(x)$ satisfying the functional equation $f(sx)=f(x)^2-c$, where $s=1+\sqrt{1+4c}$.
Our main theorems can be viewed as a natural generalization of the work of Wiernsberger and Lebesgue for the case $c=2$.
The key ingredients of the proof are some analytic properties of $F(x)$, which have been intensively studied by the second author using infinite compositions.
</p>projecteuclid.org/euclid.tjm/1471873313_20160822094156Mon, 22 Aug 2016 09:41 EDTTrace Operator for 2-microlocal Besov Spaces with Variable Exponentshttp://projecteuclid.org/euclid.tjm/1471873314<strong>Takahiro NOI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 1, 293--327.</p><p><strong>Abstract:</strong><br/>
Moura, Neves and Schneider proved the trace theorem for 2-microlocal Besov spaces with variable integrability and smoothness, where the summability parameter was constant (Math.\,Nachr.,286 (2013) 1240--1254).
In this paper, we extend the trace theorem for the case that the summability parameter is also a variable exponent.
</p>projecteuclid.org/euclid.tjm/1471873314_20160822094156Mon, 22 Aug 2016 09:41 EDTNew Trigonometric Identities and Reciprocity Laws of Generalized Dedekind Sumshttp://projecteuclid.org/euclid.tjm/1484903126<strong>Genki SHIBUKAWA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 329--349.</p><p><strong>Abstract:</strong><br/>
In this paper, we prove new trigonometric identities, which are product-to-sum type formulas for the higher derivatives of the cotangent and cosecant functions.
Furthermore, from specializations of our formulas, we derive various known and new reciprocity laws of generalized Dedekind sums.
</p>projecteuclid.org/euclid.tjm/1484903126_20170120040714Fri, 20 Jan 2017 04:07 ESTThe Capitulation Problem for Certain Cyclic Quartic Number Fieldshttp://projecteuclid.org/euclid.tjm/1484903127<strong>Abdelmalek AZIZI</strong>, <strong>Idriss JERRARI</strong>, <strong>Mohammed TALBI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 351--359.</p><p><strong>Abstract:</strong><br/>
Let $K$ be a cyclic quartic number field such that its 2-class group is of type $(2,4)$, $K_2^{(1)}$ be the Hilbert 2-class field of $K$, $K_2^{(2)}$ be the Hilbert 2-class field of $K_2^{(1)}$ and $G=\text{Gal}(K_2^{(2)}/K)$ be the Galois group of $K_2^{(2)}/K$.
Our goal is to study the capitulation problem of 2-ideal classes of $K$ and to determine the structure of $G$.
</p>projecteuclid.org/euclid.tjm/1484903127_20170120040714Fri, 20 Jan 2017 04:07 ESTThe Uniqueness Theorem for the Heat Equation on the Heisenberg Grouphttp://projecteuclid.org/euclid.tjm/1484903128<strong>Yasuyuki OKA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 361--371.</p><p><strong>Abstract:</strong><br/>
The aim of this paper is to establish the uniqueness theorem for the Cauchy problem for the heat equation with the Tikhonov condition on the Heisenberg group.
To do this, we give Green's formula and show the existence of a Lipschitz cut-off function on the Heisenberg group in accordance with the idea in [7].
</p>projecteuclid.org/euclid.tjm/1484903128_20170120040714Fri, 20 Jan 2017 04:07 ESTNon-Hopf Hypersurfaces in 2-dimensional Complex Space Formshttp://projecteuclid.org/euclid.tjm/1484903129<strong>Mayuko KON</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 373--387.</p><p><strong>Abstract:</strong><br/>
In this paper we give a geometric characterization of non-Hopf hypersurfaces in the complex space form $M^2(c)$ under a condition on the shape operator.
We also classify pseudo-parallel real hypersurfaces of $M^2(c)$.
</p>projecteuclid.org/euclid.tjm/1484903129_20170120040714Fri, 20 Jan 2017 04:07 ESTA Rigidity Theorem for Proper Holomorphic Mappings between Generalized Pseudoellipsoidshttp://projecteuclid.org/euclid.tjm/1484903130<strong>Atsushi HAYASHIMOTO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 389--421.</p><p><strong>Abstract:</strong><br/>
Let $E(\alpha) \subset \mathbb{C}^{m+1}$ and $E(\beta) \subset \mathbb{C}^{n+1}$ be generalized pseudoellipsoids.
Assume that the inequality $m<n$ holds.
They are parametrized by $N$-tuples of positive integers $\alpha=(\alpha_1, \dots, \alpha_N)$ and $\beta=(\beta_1, \dots, \beta_N)$.
(See introduction for the definition of a generalized pseudoellipsoid)
Assume that there exists a proper holomorphic mapping between them.
In this article, two facts are proved.
Firstly, under the assumptions of the existence of such a mapping, certain nondegeneracy conditions of a submatrix of the Jacobian matrix and additional inequalities on dimensions, the parameters $(\alpha_1, \dots, \alpha_N)$ and $(\beta_1, \dots, \beta_N)$ coincide; $\alpha_1=\beta_1, \dots, \alpha_N=\beta_N$ after re-ordering if necessary.
Secondly, such a proper holomorphic mapping is a linear embedding up to automorphisms of a source and a target domains.
</p>projecteuclid.org/euclid.tjm/1484903130_20170120040714Fri, 20 Jan 2017 04:07 ESTToeplitz Operators and the Roe-Higson Type Index Theorem in Riemannian Surfaceshttp://projecteuclid.org/euclid.tjm/1484903131<strong>Tatsuki SETO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 423--439.</p><p><strong>Abstract:</strong><br/>
Let $M$ be a non-compact complete Riemannian manifold of dimension two and $N$ a circle in $M$.
We assume that $M$ is partitioned by $N$.
We define a unital $C^{\ast}$-algebra $C_{b}^{\ast}(M)$, which is slightly larger than the Roe algebra of $M$.
We also construct $[u_{\phi}]$ in $K_{1}(C_{b}^{\ast}(M))$, which is a counter part of Roe's odd index class.
We prove that Connes' pairing of Roe's cyclic one-cocycle with $[u_{\phi}]$ is equal to the Fredholm index of a Toeplitz operator on $N$.
It is a part of an extension of the Roe-Higson index theorem to even-dimensional partitioned manifolds.
</p>projecteuclid.org/euclid.tjm/1484903131_20170120040714Fri, 20 Jan 2017 04:07 ESTOn Hausdorff Dimension of Certain Sets Arising from Diophantine Approximations for Complex Numbershttp://projecteuclid.org/euclid.tjm/1484903132<strong>Zhengyu CHEN</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 441--458.</p><p><strong>Abstract:</strong><br/>
We discuss the Hausdorff dimension of certain sets related to Diophantine approximations over an imaginary quadratic field $\mathbb{Q}(\sqrt{d})$.
We show that, for an infinite subset $\mathcal{A}$ of $\mathbb{Z}[\omega] \backslash \{0\}$, the set of $z \in \mathbb{C}$ with $|z-a/r| < 1 / |r|^{1+\rho}$ having infinitely many solutions of $a \in \mathbb{Z}[\omega]$ and $r \in \mathcal{A}$ with some $\rho > 0$ has Hausdorff dimension $2(1+\gamma) / (1+\rho)$, where $\gamma$ is the sup of $h$ such that $\sum_{r \in \mathcal{A}} 1/(|r|^{2})^{h}$ diverges.
This result is a version of a result by G. Harman for complex numbers without the coprime condition.
In particular, this result implies a version of the classical Jarnik-Besicovitch result when we take $\mathcal{A} = \mathbb{Z}[\omega]\backslash\{0\}$.
We also discuss the Hausdorff dimension of the set of complex numbers which have infinitely many solutions to the Diophantine inequality concerning the Duffin-Schaeffer conjecture over $\mathbb{Q}(\sqrt{d})$.
</p>projecteuclid.org/euclid.tjm/1484903132_20170120040714Fri, 20 Jan 2017 04:07 ESTOn the Centralizer Algebras of the Primitive Unitary Reflection Group of Order 96http://projecteuclid.org/euclid.tjm/1484903133<strong>Masashi KOSUDA</strong>, <strong>Manabu OURA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 469--482.</p><p><strong>Abstract:</strong><br/>
Among the unitary reflection groups, the one on the title is singled out by its importance in, for example, coding theory and number theory.
In this paper we examine the semi-simple structure of the centralizer algebra in the tensor representation, and show that the dimensions of the centralizers coincide with the numbers of some combinatorial objects.
</p>projecteuclid.org/euclid.tjm/1484903133_20170120040714Fri, 20 Jan 2017 04:07 ESTReidemeister Torsion and Dehn Surgery on Twist Knotshttp://projecteuclid.org/euclid.tjm/1484903134<strong>Anh T. TRAN</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 517--526.</p><p><strong>Abstract:</strong><br/>
We compute the Reidemeister torsion of the complement of a twist knot in $S^3$ and that of the 3-manifold obtained by a $\frac{1}{q}$-Dehn surgery on a twist knot.
</p>projecteuclid.org/euclid.tjm/1484903134_20170120040714Fri, 20 Jan 2017 04:07 ESTAsymptotically Unweighted Shifts, Hypercyclicity, and Linear Chaoshttp://projecteuclid.org/euclid.tjm/1484903135<strong>Ayuko NATSUME</strong>, <strong>Masahiko TANIGUCHI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 527--536.</p><p><strong>Abstract:</strong><br/>
In this paper, we introduce weighted backward shifts, which are asymptotically unweighted, and give several conditions for such operators on the classical $\ell^p$ spaces to be hypercyclic and chaotic.
</p>projecteuclid.org/euclid.tjm/1484903135_20170120040714Fri, 20 Jan 2017 04:07 ESTA Sufficient Condition for Orbits of Hermann Actions to be Weakly Reflectivehttp://projecteuclid.org/euclid.tjm/1484903136<strong>Shinji OHNO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 537--564.</p><p><strong>Abstract:</strong><br/>
In this paper, we give sufficient conditions for orbits of Hermann actions to be weakly reflective in terms of symmetric triads, that is a generalization of irreducible root systems.
Using these sufficient conditions, we obtain new examples of weakly reflective submanifolds in compact symmetric spaces.
</p>projecteuclid.org/euclid.tjm/1484903136_20170120040714Fri, 20 Jan 2017 04:07 ESTOn the Moduli Space of Pointed Algebraic Curves of Low Genus III ---Positive Characteristic---http://projecteuclid.org/euclid.tjm/1484903137<strong>Tetsuo NAKANO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 2, 565--582.</p><p><strong>Abstract:</strong><br/>
In his classical work, Pinkham discovered a beautiful theorem on the moduli space of pointed algebraic curves with a fixed Weierstrass gap sequence at the marked point.
Namely, the complement of a Weierstrass gap sequence in the set of non-negative integers is a numerical semigroup, and he described such a moduli space in terms of the negative part of the miniversal deformation space of the monomial curve of this semigroup.
Unfortunately, his theorem holds only in characteristic 0 and does not hold in positive characteristic in general.
In this paper, we will study his theorem in positive characteristic, and give a fairly sharp condition for his theorem to hold in positive characteristic up to genus 4.
As an application, we present a complete analysis of his theorem in positive characteristic in the low genus case.
</p>projecteuclid.org/euclid.tjm/1484903137_20170120040714Fri, 20 Jan 2017 04:07 ESTGauss Sums on the Iwahori-Hecke Algebras of Type $A$http://projecteuclid.org/euclid.tjm/1491465731<strong>Yasushi GOMI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 583--596.</p><p><strong>Abstract:</strong><br/>
In this paper, we determine $\tilde{\tau}_q\bigl(\chi^\lambda_q\bigr)$, the Gauss sums on the Iwahori-Hecke algebras of type $A$ for irreducible characters $\chi^\lambda_q$, which are $q$-analogues of those on the symmetric groups.
We also explicitly determine the values of the corresponding trace function $\psi^{(n)}_q=\sum_{\lambda \vdash n} \tilde{\tau}_q\bigl(\chi^\lambda_q\bigr) \chi^\lambda_q$.
</p>projecteuclid.org/euclid.tjm/1491465731_20170406040226Thu, 06 Apr 2017 04:02 EDTMixed Quantum Double Construction of Subfactorshttp://projecteuclid.org/euclid.tjm/1491465732<strong>Satoshi GOTO</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 597--617.</p><p><strong>Abstract:</strong><br/>
We generalize the quantum double construction of subfactors to that from arbitrary flat connections on 4-partite graphs and call it the \textit{mixed quantum double construction}.
If all the four graphs of the original 4-partite graph are connected, it is easy to see that this construction produces Ocneanu's asymptotic inclusion
of both subfactors generated by the original flat connection horizontally and vertically.
The construction can be applied for example to the non-standard flat connections which appear in the construction of the Goodman-de la Harpe-Jones subfactors or to those obtained by the composition of flat part of any biunitary connections as in N. Sato's paper~[40].
An easy application shows that the asymptotic inclusions of the Goodman-de la Harpe-Jones subfactors are isomorphic to those of the Jones subfactors of type $A_n$ except for the cases of orbifold type.
If two subfactors $A\subset B$ and $A \subset C$ have common $A$-$A$ bimodule systems, we can construct a flat connection in general.
Then by applying our construction to the flat connection, we obtain the asymptotic inclusion of both $A\subset B$ and $A \subset C$.
We also discuss the case when the original 4-partite graph contains disconnected graphs and give some such examples.
General phenomena when disconnected graphs appear are explained by using bimodule systems.
</p>projecteuclid.org/euclid.tjm/1491465732_20170406040226Thu, 06 Apr 2017 04:02 EDTFitting Ideals of Iwasawa Modules and of the Dual of Class Groupshttp://projecteuclid.org/euclid.tjm/1475723094<strong>Cornelius GREITHER</strong>, <strong>Masato KURIHARA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 619--642.</p><p><strong>Abstract:</strong><br/>
In this paper we study some problems related to a refinement of Iwasawa theory, especially questions about the Fitting ideals of several natural Iwasawa modules and of the dual of the class groups, as a sequel to our previous papers [8], [3].
Among other things, we prove that the annihilator of $\mathbb{Z}_{p}(1)$ times the Stickelberger element is not in the Fitting ideal of the dualized Iwasawa module if the $p$-component of the bottom Galois group is elementary $p$-abelian with $p$-rank $\geq 4$.
Our results can be applied to the case that the base field is $\mathbb{Q}$.
</p>projecteuclid.org/euclid.tjm/1475723094_20170406040226Thu, 06 Apr 2017 04:02 EDTExplicit Forms of Cluster Variables on Double Bruhat Cells $G^{u,e}$ of Type Chttp://projecteuclid.org/euclid.tjm/1475723089<strong>Yuki KANAKUBO</strong>, <strong>Toshiki NAKASHIMA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 643--678.</p><p><strong>Abstract:</strong><br/>
Let $G=Sp_{2r}({\mathbb C})$ be a simply connected simple algebraic group over $\mathbb{C}$ of type $C_r$, $B$ and $B_-$ its two opposite Borel subgroups, and $W$ the associated Weyl group.
For $u$, $v\in W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cup B_-vB_-$ is isomorphic to an upper cluster algebra $\overline{\mathcal{A}}(\textbf{i})_{{\mathbb C}}$ and the generalized minors $\Delta(k;\textbf{i})$ are the cluster variables of ${\mathbb C}[G^{u,v}]${5}.
In the case $v=e$, we shall describe the generalized minor $\Delta(k;\textbf{i})$ explicitly.
</p>projecteuclid.org/euclid.tjm/1475723089_20170406040226Thu, 06 Apr 2017 04:02 EDTOn the Construction of Continued Fraction Normal Series in Positive Characteristichttp://projecteuclid.org/euclid.tjm/1475723093<strong>Dong Han KIM</strong>, <strong>Hitoshi NAKADA</strong>, <strong>Rie NATSUI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 679--694.</p><p><strong>Abstract:</strong><br/>
Motivated by the famous Champernowne construction of a normal number, R.~Adler, M.~Keane, and M.~Smorodinsky constructed a normal number with respect to the simple continued fraction transformation.
In this paper, we follow their idea and construct a normal series for the Artin continued fraction expansion in positive characteristic.
A normal series for L\"uroth expansion is also discussed.
</p>projecteuclid.org/euclid.tjm/1475723093_20170406040226Thu, 06 Apr 2017 04:02 EDTConstruction of Double Grothendieck Polynomials of Classical Types using IdCoxeter Algebrashttp://projecteuclid.org/euclid.tjm/1491465733<strong>Anatol N. KIRILLOV</strong>, <strong>Hiroshi NARUSE</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 695--728.</p><p><strong>Abstract:</strong><br/>
We construct double Grothendieck polynomials of classical types which are essentially equivalent to but simpler than the polynomials defined by A.~N. Kirillov in arXiv:1504.01469 and identify them with the polynomials defined by T.~Ikeda and H.~Naruse in Adv. Math. (2013) for the case of maximal Grassmannian permutations.
We also give geometric interpretation of them in terms of algebraic localization map and give explicit combinatorial formulas.
</p>projecteuclid.org/euclid.tjm/1491465733_20170406040226Thu, 06 Apr 2017 04:02 EDTCoxeter Elements of the Symmetric Groups Whose Powers Afford the Longest Elementshttp://projecteuclid.org/euclid.tjm/1491465734<strong>Masashi KOSUDA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 729--742.</p><p><strong>Abstract:</strong><br/>
The purpose of this paper is to present a condition for the power of a Coxeter element of $\mathfrak{S}_n$ to become the longest element.
To be precise, given a product $C$ of $n-1$ distinct adjacent transpositions of $\mathfrak{S}_n$ in any order, we describe a condition for $C$ such that the $(n/2)$-th power $C^{n/2}$ of $C$ becomes the longest element, in terms of the Amida diagrams.
</p>projecteuclid.org/euclid.tjm/1491465734_20170406040226Thu, 06 Apr 2017 04:02 EDTDouble Kostka polynomials and Hall bimodulehttp://projecteuclid.org/euclid.tjm/1475723088<strong>Shiyuan LIU</strong>, <strong>Toshiaki SHOJI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 743--776.</p><p><strong>Abstract:</strong><br/>
Double Kostka polynomials $K_{\boldsymbol{\lambda},\boldsymbol{\mu}}(t)$ are polynomials in $t$, indexed by double partitions $\boldsymbol{\lambda}, \boldsymbol{\mu}$.
As in the ordinary case, $K_{\boldsymbol{\lambda}, \boldsymbol{\mu}}(t)$ is defined in terms of Schur functions $s_{\boldsymbol{\lambda}}(x)$ and Hall--Littlewood functions $P_{\boldsymbol{\mu}}(x;t)$.
In this paper, we study combinatorial properties of $K_{\boldsymbol{\lambda},\boldsymbol{\mu}}(t)$ and $P_{\boldsymbol{\mu}}(x;t)$.
In particular, we show that the Lascoux--Sch\"utzenberger type formula holds for $K_{\boldsymbol{\lambda},\boldsymbol{\mu}}(t)$ in the case where $\boldsymbol{\mu} = (-,\mu'')$.
Moreover, we show that the Hall bimodule $\mathscr{M}$ introduced by Finkelberg-Ginzburg-Travkin is isomorphic to the ring of symmetric functions (with two types of variables) and the natural basis $\mathfrak{u}_{\boldsymbol{\lambda}}$ of $\mathscr{M}$ is sent to $P_{\boldsymbol{\lambda}}(x;t)$ (up to scalar) under this isomorphism.
This gives an alternate approach for their result.
</p>projecteuclid.org/euclid.tjm/1475723088_20170406040226Thu, 06 Apr 2017 04:02 EDTThe Direct Image Sheaf $f_*(O_X)$http://projecteuclid.org/euclid.tjm/1475723086<strong>Kentaro MITSUI</strong>, <strong>Iku NAKAMURA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 777--782.</p><p><strong>Abstract:</strong><br/>
We prove $f_*(O_X)=O_S$ for a proper flat surjective morphism $f:X\to S$ of noetherian schemes under a mild condition.
</p>projecteuclid.org/euclid.tjm/1475723086_20170406040226Thu, 06 Apr 2017 04:02 EDTOn Mono-nodal Trees and Genus One Dessins of Pakovich-Zapponi Typehttp://projecteuclid.org/euclid.tjm/1475723085<strong>Hiroaki NAKAMURA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 783--795.</p><p><strong>Abstract:</strong><br/>
In this paper, we classify Grothendieck dessins of X-shaped plane trees defined over the rationals.
</p>projecteuclid.org/euclid.tjm/1475723085_20170406040226Thu, 06 Apr 2017 04:02 EDTLogarithmic Solutions of the Fifth Painlevé Equation near the Originhttp://projecteuclid.org/euclid.tjm/1475723087<strong>Shun SHIMOMURA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 797--825.</p><p><strong>Abstract:</strong><br/>
For the fifth Painlevé equation near the origin we present two kinds of logarithmic solutions, which are represented, respectively, by convergent series with multipliers admitting asymptotic expansions in descending logarithmic powers and by those with multipliers polynomial in logarithmic powers.
It is conjectured that the asymptotic multipliers are also polynomials in logarithmic powers.
These solutions are constructed by iteration on certain rings of exponential type series.
</p>projecteuclid.org/euclid.tjm/1475723087_20170406040226Thu, 06 Apr 2017 04:02 EDTKummer Theories for Algebraic Tori and Normal Basis Problemhttp://projecteuclid.org/euclid.tjm/1475723092<strong>Noriyuki SUWA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 827--862.</p><p><strong>Abstract:</strong><br/>
We discuss the inverse Galois problem with normal basis, concerning Kummer theories for algebraic tori, in the framework of group schemes.
The unit group scheme of a group algebra plays an important role in this article, as was pointed out by Serre~[8].
We develop our argument not only over a field but also over a ring, considering integral models of Kummer theories for algebraic tori.
</p>projecteuclid.org/euclid.tjm/1475723092_20170406040226Thu, 06 Apr 2017 04:02 EDTGeneralized Poincaré Condition and Convergence of Formal Solutions of Some Nonlinear Totally Characteristic Equationshttp://projecteuclid.org/euclid.tjm/1475723091<strong>Hidetoshi TAHARA</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 863--883.</p><p><strong>Abstract:</strong><br/>
This paper discusses a holomorphic nonlinear singular partial differential equation $(t \partial_t)^mu=F(t,x,\{(t \partial_t)^j \partial_x^{\alpha}u \}_{j+\alpha \leq m, j<m})$ that is of nonlinear totally characteristic type.
The Newton Polygon at $x=0$ of the equation is defined, and by means of this polygon we define a generalized Poincaré condition (GP) and a condition (R) that the equation has a regular singularity at $x=0$.
Under these conditions, (GP) and (R), it is proved that every formal power series solution is convergent in a neighborhood of the origin.
</p>projecteuclid.org/euclid.tjm/1475723091_20170406040226Thu, 06 Apr 2017 04:02 EDTInvariance of the Drinfeld Pairing of a Quantum Grouphttp://projecteuclid.org/euclid.tjm/1475723090<strong>Toshiyuki TANISAKI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 885--900.</p><p><strong>Abstract:</strong><br/>
We give two alternative proofs of the invariance of the Drinfeld pairing under the action of the braid group.
One uses the Shapovalov form, and the other uses a characterization of the universal $R$-matrix.
</p>projecteuclid.org/euclid.tjm/1475723090_20170406040226Thu, 06 Apr 2017 04:02 EDTToward Noether's Problem for the Fields of Cross-ratioshttp://projecteuclid.org/euclid.tjm/1491465735<strong>Hiroshi TSUNOGAI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 901--922.</p><p><strong>Abstract:</strong><br/>
In this article, we consider an analogue of Noether's problem for the fields of cross-ratios, and discuss on a rationality problem which connects this with Noether's problem.
We show that the affirmative answer of the analogue implies the affirmative answer for Noether's Problem for any permutation group with odd degree.
We also obtain some negative results for various permutation groups with even degree.
</p>projecteuclid.org/euclid.tjm/1491465735_20170406040226Thu, 06 Apr 2017 04:02 EDTOrbital Integrals on Unitary Hyperbolic Spaces Over $\frak p$-adic Fieldshttp://projecteuclid.org/euclid.tjm/1491465736<strong>Masao TSUZUKI</strong>. <p><strong>Source: </strong>Tokyo Journal of Mathematics, Volume 39, Number 3, 923--975.</p><p><strong>Abstract:</strong><br/>
For a given étale quadratic algebra $E$ over a $\mathfrak{p}$-adic field $F$, we establish a transfer of unramified test functions on the symmetric space $\mathrm{GL}(2,F)\backslash\mathrm{GL}(2,E)$ to those on a unitary hyperbolic space so that the orbital integrals match.
This is an important step toward a comparison of relative trace formulas of these symmetric spaces, which would yield an example of a non-tempered analogue of a refined global Gross-Prasad conjecture.
</p>projecteuclid.org/euclid.tjm/1491465736_20170406040226Thu, 06 Apr 2017 04:02 EDT