Showing 1–11 of 11 results for author: Tanaka, J

Cohomology groups with compact support for flat line bundles on certain complex Lie groups

Authors: Takayuki Koike, Jinichiro Tanaka

Abstract: Let $X$ be a complex surface obtained as the quotient of the complex Euclidean space $\mathbb{C}^2$ by a discrete subgroup of rank $3$. We investigate the cohomology group $H_0^1(X, E)$ with compact support for a unitary flat line bundle $E$ over $X$. We show the vanishing of $H_0^1(X, E)$ for a certain class of such pairs $(X, E)$, which includes infinitely many examples such that $H^1(X, E)$ is… ▽ More Let $X$ be a complex surface obtained as the quotient of the complex Euclidean space $\mathbb{C}^2$ by a discrete subgroup of rank $3$. We investigate the cohomology group $H_0^1(X, E)$ with compact support for a unitary flat line bundle $E$ over $X$. We show the vanishing of $H_0^1(X, E)$ for a certain class of such pairs $(X, E)$, which includes infinitely many examples such that $H^1(X, E)$ is non-Hausdorff and infinite dimensional. △ Less

Submitted 23 December, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Comments: 17 pages

MSC Class: 32F32; 53C55

Another proof of the corona theorem

Authors: Jun-ichi Tanaka

Abstract: Let $H^\infty(Δ)$ be the uniform algebra of bounded analytic functions on the open unit disc $Δ$, and let $\mathfrak{M}(H^\infty)$ be the maximal ideal space of $H^\infty(Δ)$. By regarding $Δ$ as an open subset of $\mathfrak{M}(H^\infty)$, the corona problem asks whether $Δ$ is dense in $\mathfrak{M}(H^\infty)$, which was solved affirmatively by L. Carleson. Extending the cluster value theorem to… ▽ More Let $H^\infty(Δ)$ be the uniform algebra of bounded analytic functions on the open unit disc $Δ$, and let $\mathfrak{M}(H^\infty)$ be the maximal ideal space of $H^\infty(Δ)$. By regarding $Δ$ as an open subset of $\mathfrak{M}(H^\infty)$, the corona problem asks whether $Δ$ is dense in $\mathfrak{M}(H^\infty)$, which was solved affirmatively by L. Carleson. Extending the cluster value theorem to the case of finitely many functions, we provide a direct proof of the corona theorem: Let $φ$ be a homomorphism in $\mathfrak{M}(H^\infty)$, and let $f_1, f_2, \dots, f_N$ be functions in $H^\infty(Δ)$. Then there is a sequence $\{ζ_j\}$ in $Δ$ satisfying$f_k(ζ_j) \rightarrow φ(f_k)$ for $k=1, 2, \dots, N$. On the other hand, the corona problem remains unsolved in many general settings, for instance, certain plane domains, polydiscs and balls, our approach is so natural that it may be possible to deal with such cases from another point of view. △ Less

Submitted 20 June, 2024; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 21pages, no figure

MSC Class: Primary 30H80; Secondary 30H10; 46J10; 46J20; 37A46

Geometric algebra and singularities of ruled and developable surfaces

Authors: Junki Tanaka, Toru Ohmoto

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

Submitted 30 August, 2018; originally announced August 2018.

Comments: 20 pages, 1 figure

Invariant subspaces with no generator and a problem of H. Helson

Authors: Jun-ichi Tanaka

Abstract: In the almost periodic context, any $H_0^2-$space cannot be generated by one of its elements. Together with cocycle argument, this derives that there exist all kinds of invariant subspaces without single generator, from which we can answer some questions on invariant subspace theory. In the almost periodic context, any $H_0^2-$space cannot be generated by one of its elements. Together with cocycle argument, this derives that there exist all kinds of invariant subspaces without single generator, from which we can answer some questions on invariant subspace theory. △ Less

Submitted 11 May, 2015; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: 19 pages

MSC Class: Primary 43A17; Secondary 46J10; 46J15; 58F25

Logic With Verbs and its Mathematical Structure

Authors: Jun Tanaka

Abstract: The aim of this paper is to introduce the idea of Logic with Verbs and to show its mathematical structure. The aim of this paper is to introduce the idea of Logic with Verbs and to show its mathematical structure. △ Less

Submitted 4 August, 2010; v1 submitted 20 January, 2010; originally announced January 2010.

Hahn Decomposition Theorem of Signed Lattice Measure

Authors: Jun Tanaka

Abstract: In this paper, we will define a signed Lattice measure on $σ$-algebras, as well as give the definition of positive and negative Lattice. Herein, we will show that the Hahn Decomposition Theorem decomposes any space X into a positive lattice A and a negative Lattice B such that $A \vee B$ =X and the signed Lattice measure of $A \wedge B $ is 0. In this paper, we will define a signed Lattice measure on $σ$-algebras, as well as give the definition of positive and negative Lattice. Herein, we will show that the Hahn Decomposition Theorem decomposes any space X into a positive lattice A and a negative Lattice B such that $A \vee B$ =X and the signed Lattice measure of $A \wedge B $ is 0. △ Less

Submitted 31 May, 2009; originally announced June 2009.

Modern Set

Authors: Jun Tanaka

Abstract: In this paper, we intend to generalize the classical set theory as much as possible. we will do this by freeing sets from the regular properties of classical sets; e.g., the law of excluded middle, the law of non-contradiction, the distributive law, the commutative law,etc.... In this paper, we intend to generalize the classical set theory as much as possible. we will do this by freeing sets from the regular properties of classical sets; e.g., the law of excluded middle, the law of non-contradiction, the distributive law, the commutative law,etc.... △ Less

Submitted 18 June, 2008; originally announced June 2008.

MSC Class: 03E72

Construction of A Lattice on the completion space of an algebra and an isomorphism to its Caratheodory Extension

Authors: Jun Tanaka, Peter McLoughlin

Abstract: In this paper, we will show how the Caratheodory Extension process is intimately related to the metric completion process. In particular, it will be shown how one is able to construct a lattice on the completion and to obtain an isomorphism to its Caratheodory Extension. In this paper, we will show how the Caratheodory Extension process is intimately related to the metric completion process. In particular, it will be shown how one is able to construct a lattice on the completion and to obtain an isomorphism to its Caratheodory Extension. △ Less

Submitted 6 July, 2009; v1 submitted 18 June, 2008; originally announced June 2008.

Fuzzy signed measure

Authors: Jun Tanaka

Abstract: we will define a fuzzy signed measure on $σ$-algebras, as well as positive and negative sets. Herein, we will show that the Fuzzy Hahn Decomposition Theorem, which is a generalization of the classical Hahn Decomposition Theorem, decompose any space X into a positive set A and a negative set B such that A+B=X and the signed measure of $A \wedge B $ is 0. we will define a fuzzy signed measure on $σ$-algebras, as well as positive and negative sets. Herein, we will show that the Fuzzy Hahn Decomposition Theorem, which is a generalization of the classical Hahn Decomposition Theorem, decompose any space X into a positive set A and a negative set B such that A+B=X and the signed measure of $A \wedge B $ is 0. △ Less

Submitted 30 May, 2008; originally announced June 2008.

MSC Class: 28A12; 28E10

An isomorphism between the completion of an Algebra and its Caratheodory Extension

Authors: Jun Tanaka

Abstract: Let $Ω$ denote an algebra of sets and $μ$ a $σ$-finite measure. We then prove that the completion of $Ω$ under the pseudometric $d(A,B)$ = $μ^{\ast}(A \triangle B)$ is $σ$-algebra isomorphic and isometric to the Caratheodory Extension of $Ω$ under the equivalence relation $\sim$. Let $Ω$ denote an algebra of sets and $μ$ a $σ$-finite measure. We then prove that the completion of $Ω$ under the pseudometric $d(A,B)$ = $μ^{\ast}(A \triangle B)$ is $σ$-algebra isomorphic and isometric to the Caratheodory Extension of $Ω$ under the equivalence relation $\sim$. △ Less

Submitted 12 March, 2008; originally announced March 2008.

Comments: 5 pages

MSC Class: 28A12; 28B20

A Realization of Measurable Sets as Limit Points

Authors: Jun Tanaka, Peter F. McLoughlin

Abstract: Starting with a sigma finite measure on an algebra, we define a pseudometric and show how measurable sets from the Caratheodory Extension Theorem can be thought of as limit points of Cauchy sequences in the algebra. Starting with a sigma finite measure on an algebra, we define a pseudometric and show how measurable sets from the Caratheodory Extension Theorem can be thought of as limit points of Cauchy sequences in the algebra. △ Less

Submitted 13 December, 2007; originally announced December 2007.

MSC Class: 28A12; 28B20.