Showing 1–48 of 48 results for author: Kimura, K

On the depth of tensor products over Cohen-Macaulay rings

Authors: Kaito Kimura, Justin Lyle, Andrew J. Soto-Levins

Abstract: Inspired by classical work on the depth formula for tensor products of finitely generated $R$-modules, we introduce two conditions which we call $(\mathbf{ldep})$ and $(\mathbf{rdep})$ and their derived variations. We show for Cohen-Macaulay local rings that derived $(\mathbf{ldep})$ is equivalent to $\dim(R)$ being a uniform Auslander bound for $R$, and if $\dim(R)>0$ that both are equivalent to… ▽ More Inspired by classical work on the depth formula for tensor products of finitely generated $R$-modules, we introduce two conditions which we call $(\mathbf{ldep})$ and $(\mathbf{rdep})$ and their derived variations. We show for Cohen-Macaulay local rings that derived $(\mathbf{ldep})$ is equivalent to $\dim(R)$ being a uniform Auslander bound for $R$, and if $\dim(R)>0$ that both are equivalent to $(\mathbf{ldep})$. We introduce an analogous condition we call the \emph{uniform Buchweitz condition} and provide a corresponding theorem for the $(\mathbf{rdep})$ condition. As a consequence of these results, we show $(\mathbf{ldep})$ implies $(\mathbf{rdep})$ when $R$ is Gorenstein and that the $(\mathbf{ldep})$ and $(\mathbf{rdep})$ conditions behave well under modding out by regular sequences and completion, but we give a concrete example showing they need not localize. Using our methods, we extend work of Jorgensen by calculating the value $q_R(M,N):=\sup\{i \mid \operatorname{Tor}^R_i(M,N) \ne 0\}$ under certain conditions. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Comments: 28 pages

MSC Class: Primary 13C15; Secondary 13D07

Trace ideals, conductors, and ideals of finite (phantom) projective dimension

Authors: Kaito Kimura

Abstract: In this paper, we consider whether parameter test ideals, conductors, $F$-ideals, and trace ideals are contained in an ideal whose quotient ring has finite phantom projective dimension (for example, ideals generated by a system of parameters or ideals with finite projective dimension). One of the main results asserts that such inclusions do not exist in quasi-Gorenstein complete local domains. We… ▽ More In this paper, we consider whether parameter test ideals, conductors, $F$-ideals, and trace ideals are contained in an ideal whose quotient ring has finite phantom projective dimension (for example, ideals generated by a system of parameters or ideals with finite projective dimension). One of the main results asserts that such inclusions do not exist in quasi-Gorenstein complete local domains. We also provide examples of Cohen-Macaulay local rings with good properties where such inclusions occur, thus answering negatively a question of Huneke-Swanson. △ Less

Submitted 28 January, 2025; v1 submitted 6 January, 2025; originally announced January 2025.

Comments: 14 pages

MSC Class: 13A35; 13B22; 13D02; 13D05

Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free

Authors: Soichiro Fujii, Kei Kimura, Yuta Nozaki

Abstract: Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$ when $H$ is square-free, meaning that it does not contain the $4$-cycle graph $C_4$ as a subgraph. Specifically, for a connected $G$ and a square-free $H$, we sh… ▽ More Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$ when $H$ is square-free, meaning that it does not contain the $4$-cycle graph $C_4$ as a subgraph. Specifically, for a connected $G$ and a square-free $H$, we show that each connected component of $\mathrm{Hom}(G,H)$ is homotopy equivalent to a wedge sum of circles. We further show that, given any graph homomorphism $f\colon G\to H$ to a square-free $H$, one can determine the homotopy type of the connected component of $\mathrm{Hom}(G,H)$ containing $f$ algorithmically. △ Less

Submitted 25 December, 2024; originally announced December 2024.

Comments: 29 pages, no figures

MSC Class: 55U05; 05C15 (Primary) 55P15; 06A15 (Secondary)

An application of a Hodge realization of Bloch-Kriz mixed Tate motives

Authors: Kenichiro Kimura

Abstract: Beilinson and Deligne proved a weak version of Zagier's conjucture on special values of Dedekind zeta functions assuming the existence of a category of mixed Tate motives which has certain properties. We show that Bloch-Kriz category of mixed Tate motives together with a Hodge realization which we constructed has the required properties. Beilinson and Deligne proved a weak version of Zagier's conjucture on special values of Dedekind zeta functions assuming the existence of a category of mixed Tate motives which has certain properties. We show that Bloch-Kriz category of mixed Tate motives together with a Hodge realization which we constructed has the required properties. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Comments: 21 pages. arXiv admin note: substantial text overlap with arXiv:1604.03216

MSC Class: 19E15 (Primary); 11R42 (Secondary)

Stability of annihilators of cohomology and closed subsets defined by Jacobian ideals

Authors: Kaito Kimura

Abstract: Let $R$ be a commutative Noetherian ring of dimension $d$. In this paper, we first show that some power of the cohomology annihilator annihilates the $(d+1)$-th Ext modules for all finitely generated modules when either $R$ admits a dualizing complex or $R$ is local. Next, we study the Jacobian ideal of affine algebras over a field and equicharacteristic complete local rings, and characterize the… ▽ More Let $R$ be a commutative Noetherian ring of dimension $d$. In this paper, we first show that some power of the cohomology annihilator annihilates the $(d+1)$-th Ext modules for all finitely generated modules when either $R$ admits a dualizing complex or $R$ is local. Next, we study the Jacobian ideal of affine algebras over a field and equicharacteristic complete local rings, and characterize the equidimensionality of the ring in terms of the singular locus and the closed subsets defined by the cohomology annihilator and the Jacobian ideal. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 16 pages

MSC Class: 13D07; 13C15; 13N15

Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles

Authors: Soichiro Fujii, Yuni Iwamasa, Kei Kimura, Yuta Nozaki, Akira Suzuki

Abstract: For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom complexes play an important role in an algebro-topological approach to the graph coloring problem. It is known that $\mathrm{Hom}(G,H)$ is homotopy equivalent to… ▽ More For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom complexes play an important role in an algebro-topological approach to the graph coloring problem. It is known that $\mathrm{Hom}(G,H)$ is homotopy equivalent to a disjoint union of points and circles when both $G$ and $H$ are cycles. We generalize this known result by showing that the same holds whenever $G$ is connected and $H$ is a cycle. To this end, we explicitly construct the universal cover of each connected component of $\mathrm{Hom}(G,H)$ and prove that it is contractible. Additionally, we provide a simple criterion to determine whether the connected component containing a given homomorphism is homotopy equivalent to a point or circle. △ Less

Submitted 8 June, 2025; v1 submitted 8 August, 2024; originally announced August 2024.

Comments: 13 pages, 5 figures

MSC Class: 55U05; 05C15 (Primary) 55P15 (Secondary)

Compactness of the Alexandrov topology of maximal Cohen-Macaulay modules

Authors: Kaito Kimura

Abstract: Let $R$ be a Cohen-Macaulay local ring. In this paper, we first describe the radicals of annihilators of stable categories of maximal Cohen-Macaulay $R$-modules. We then prove that the Alexandrov topology of the stable category of maximal Cohen-Macaulay $R$-modules is compact provided that the completion of $R$ has an isolated singularity. Finally, we consider the case of a hypersurface of countab… ▽ More Let $R$ be a Cohen-Macaulay local ring. In this paper, we first describe the radicals of annihilators of stable categories of maximal Cohen-Macaulay $R$-modules. We then prove that the Alexandrov topology of the stable category of maximal Cohen-Macaulay $R$-modules is compact provided that the completion of $R$ has an isolated singularity. Finally, we consider the case of a hypersurface of countable CM-representation type. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: 12 pages

MSC Class: 13C60; 13C14; 54A05

A necessary and sufficient condition for the existence of a properly coloured $f$-factor in an edge-coloured graph

Authors: Roman Čada, Michitaka Furuya, Kenji Kimura, Kenta Ozeki, Christopher Purcell, Takamasa Yashima

Abstract: The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the… ▽ More The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the $f$-factor theorem given by Tutte in 1954. An alternative statement, analogous to the original $f$-factor theorem, is also given. We show that our theorem generalises the $f$-factor theorem; that is, the former implies the latter. We consider other properties of edge-coloured graphs, and show that similar results are unlikely for $f$-factors with rainbow components and distance-$d$-coloured $f$-factors, even when $d=2$ and the number of colours used is asymptotically minimal. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 18 pages, 5 figures

MSC Class: 05C70; 68Q17 ACM Class: G.2.2; F.2.2

On the vanishing of Ext modules over a local unique factorization domain with an isolated singularity

Authors: Kaito Kimura, Justin Lyle, Yuya Otake, Ryo Takahashi

Abstract: This paper provides a method to get a noetherian equicharacteristic local UFD with an isolated singularity from a given noetherian complete equicharacteristic local ring, preserving certain properties. This is applied to invesitgate the (non)vanishing of Ext modules. It is proved that there exist a Gorenstein local UFD $A$ having an isolated singularity such that… ▽ More This paper provides a method to get a noetherian equicharacteristic local UFD with an isolated singularity from a given noetherian complete equicharacteristic local ring, preserving certain properties. This is applied to invesitgate the (non)vanishing of Ext modules. It is proved that there exist a Gorenstein local UFD $A$ having an isolated singularity such that $\operatorname{Ext}_A^{\gg0}(M,N)=0$ does not imply $\operatorname{Ext}_A^{\gg0}(N,M)=0$, a Gorenstein local UFD $B$ having an isolated singularity such that $\operatorname{Tor}_{>0}^B(M,N)=0$ does not imply $\operatorname{depth}(M\otimes_B N)=\operatorname{depth} M+\operatorname{depth} N-\operatorname{depth} B$, and a Cohen-Macaulay local UFD $C$ having an isolated singularity such that $\operatorname{Ext}_C^{>0}(M,C)=0$ does not imply the total reflexivity of $M$. △ Less

Submitted 31 October, 2023; v1 submitted 25 October, 2023; originally announced October 2023.

Comments: v1: 7 pages. v2: 10 pages, results on the depth formula added

MSC Class: 13D07; 13F15

Asymptotic behavior of homological invariants of localizations of modules

Authors: Kaito Kimura

Abstract: Let $R$ be a commutative noetherian ring, $I$ an ideal of $R$, and $M$ a finitely generated $R$-module. We consider the asymptotic injective dimensions, projective dimensions, Bass numbers, and Betti numbers of localizations of $M/I^n M$ at prime ideals of $R$ and prove that these invariants are stable or have polynomial growth for large integers $n$ that do not depend on the prime ideals. Let $R$ be a commutative noetherian ring, $I$ an ideal of $R$, and $M$ a finitely generated $R$-module. We consider the asymptotic injective dimensions, projective dimensions, Bass numbers, and Betti numbers of localizations of $M/I^n M$ at prime ideals of $R$ and prove that these invariants are stable or have polynomial growth for large integers $n$ that do not depend on the prime ideals. △ Less

Submitted 29 October, 2023; v1 submitted 18 October, 2023; originally announced October 2023.

Comments: v1: 13 pages. v2: 10 pages. Theorem 1.3 in v1 is removed because it is already known

MSC Class: 13D07; 13D05; 13A30; 13D40

Auslander--Reiten conjecture for normal rings

Authors: Kaito Kimura

Abstract: In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten conjecture holds true for every normal ring. In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten conjecture holds true for every normal ring. △ Less

Submitted 8 April, 2023; originally announced April 2023.

Comments: 6 pages

MSC Class: 13D07

Asymptotic stability of depths of localizations of modules

Authors: Kaito Kimura

Abstract: Let R be a commutative noetherian ring, I an ideal of R, and M a finitely generated R-module. The asymptotic behavior of the quotient modules M/I^n M of M is an actively studied subject in commutative algebra. The main result of this paper asserts that the depth of the localization of M/I^n M at any prime ideal of R is stable for large integers n that do not depend on the prime ideal, if the modul… ▽ More Let R be a commutative noetherian ring, I an ideal of R, and M a finitely generated R-module. The asymptotic behavior of the quotient modules M/I^n M of M is an actively studied subject in commutative algebra. The main result of this paper asserts that the depth of the localization of M/I^n M at any prime ideal of R is stable for large integers n that do not depend on the prime ideal, if the module M or M/I^n M is Cohen-Macaulay for some n>0, or the ring R is one of the following: a homomorphic image of a Cohen-Macaulay ring, a semi-local ring, an excellent ring, a quasi-excellent and catenary ring, and an acceptable ring. △ Less

Submitted 15 July, 2022; originally announced July 2022.

Comments: 8 pages

MSC Class: 13C15 (Primary); 13A30; 13C14 (Secondary)

Neighborhood persistency of the linear optimization relaxation of integer linear optimization

Authors: Kei Kimura, Kotaro Nakayama

Abstract: For an integer linear optimization (ILO) problem, persistency of its linear optimization (LO) relaxation is a property that for every optimal solution of the relaxation that assigns integer values to some variables, there exists an optimal solution of the ILO problem in which these variables retain the same values. Although persistency has been used to develop heuristic, approximation, and fixed-p… ▽ More For an integer linear optimization (ILO) problem, persistency of its linear optimization (LO) relaxation is a property that for every optimal solution of the relaxation that assigns integer values to some variables, there exists an optimal solution of the ILO problem in which these variables retain the same values. Although persistency has been used to develop heuristic, approximation, and fixed-parameter algorithms for special cases of ILO, its applicability remains unknown in the literature. In this paper we reveal a maximal subclass of ILO such that its LO relaxation has persistency. Specifically, we show that the LO relaxation of ILO on unit-two-variable-per-inequality (UTVPI) systems has persistency and is (in a certain sense) maximal among such ILO. Our persistency result generalizes the results of Nemhauser and Trotter, Hochbaum et al., and Fiorini et al. Even more, we propose a stronger property called \emph{neighborhood persistency} and show that the LO relaxation of ILO on UTVPI systems in general has this property. Using this stronger result, we obtain a fixed-parameter algorithm (where the parameter is the solution size) and another proof of two-approximability for ILO on UTVPI systems where objective functions and variables are non-negative. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 17 pages

Openness of various loci over Noetherian rings

Authors: Kaito Kimura

Abstract: In this paper, we consider the openness of the P-locus of a finitely generated module over a commutative noetherian ring in the case where P is each of the properties FID, Gor, CM, MCM, (S_n), and (T_n). One of the main results asserts that FID-loci over an acceptable ring are open. We give a module version of the Nagata criterion, and prove that it holds for all of the aforementioned properties. In this paper, we consider the openness of the P-locus of a finitely generated module over a commutative noetherian ring in the case where P is each of the properties FID, Gor, CM, MCM, (S_n), and (T_n). One of the main results asserts that FID-loci over an acceptable ring are open. We give a module version of the Nagata criterion, and prove that it holds for all of the aforementioned properties. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: 13 pages

MSC Class: 13D05; 13C14

Quantaloidal Approach to Constraint Satisfaction

Authors: Soichiro Fujii, Yuni Iwamasa, Kei Kimura

Abstract: The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and t… ▽ More The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and the formulation relies mainly on structure available in any quantaloid. This observation suggests a formal development of generalisations of the CSP and concomitant notions of polymorphism in a large class of quantaloids. We extract a class of optimisation problems as a special case, and show that their computational complexity can be classified by the associated notion of polymorphism. △ Less

Submitted 3 November, 2022; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal ref: EPTCS 372, 2022, pp. 289-305

Maximal Cohen-Macaulay tensor products and vanishing of Ext modules

Authors: Kaito Kimura, Yuya Otake, Ryo Takahashi

Abstract: In this paper, we investigate the maximal Cohen-Macaulay property of tensor products of modules, and then give criteria for projectivity of modules in terms of vanishing of Ext modules. One of the applications shows that the Auslander-Reiten conjecture holds for Cohen-Macaulay normal rings. In this paper, we investigate the maximal Cohen-Macaulay property of tensor products of modules, and then give criteria for projectivity of modules in terms of vanishing of Ext modules. One of the applications shows that the Auslander-Reiten conjecture holds for Cohen-Macaulay normal rings. △ Less

Submitted 9 June, 2022; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: 9 pages, to appear in the Bulletin of the London Mathematical Society

MSC Class: 13C14; 13D07

Homological invariants of Cameron--Walker graphs

Authors: Takayuki Hibi, Hiroju Kanno, Kyouko Kimura, Kazunori Matsuda, Adam Van Tuyl

Abstract: Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$. The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for which $\{i, j\}$ is an edge of $G$. In the present paper, the possible tuples $(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G)))$,… ▽ More Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$. The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for which $\{i, j\}$ is an edge of $G$. In the present paper, the possible tuples $(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G)))$, where ${\rm deg} \ h(R/I(G))$ is the degree of the $h$-polynomial of $R/I(G)$, arising from Cameron--Walker graphs on $[n]$ will be completely determined. △ Less

Submitted 11 August, 2020; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 26 pages, 9 figures; revised and corrected

MSC Class: 13D02; 13D40; 05C70; 05E40

The regularity and $h$-polynomial of Cameron-Walker graphs

Authors: Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda, Adam Van Tuyl

Abstract: Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and… ▽ More Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and $d = {\rm deg} h_{R/I(G)}(t)$, the degree of the $h$-polynomial, as we vary over all the connected graphs on $n$ vertices. In particular, we identify sets $A(n)$ and $B(n)$ such that $A(n) \subseteq \mathcal{RD}(n) \subseteq B(n)$. When we restrict to the family of Cameron-Walker graphs on $n$ vertices, we can completely characterize all the possible $(r,d)$. △ Less

Submitted 16 March, 2020; originally announced March 2020.

Comments: 15 pages; comments welcomed

MSC Class: 13D02; 13D40; 05C70; 05E40

Semi-algebraic chains on projective varieties and the Abel-Jacobi map for higher Chow cycles

Authors: Kenichiro Kimura

Abstract: We will show that the singular cohomology groups of a smooth quasi-projective complex variety relative to a normal crossing divisor can be described in terms of delta-admissible chains. Roughly speaking, a delta-admissible chain is a simplicial semi-algebraic chain meeting the "faces" properly. As an application, we show that the Abel-Jacobi map for higher Chow cycles can be described via delta-ad… ▽ More We will show that the singular cohomology groups of a smooth quasi-projective complex variety relative to a normal crossing divisor can be described in terms of delta-admissible chains. Roughly speaking, a delta-admissible chain is a simplicial semi-algebraic chain meeting the "faces" properly. As an application, we show that the Abel-Jacobi map for higher Chow cycles can be described via delta-admissible chains. As an example, we will describe the Hodge realization of the polylog cycles constructed by Bloch-Kriz in terms of the Abel-Jacobi map. △ Less

Submitted 19 May, 2020; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: 2020. May. 20: Calculation in Section 4.2 is made clearer

MSC Class: 14C25; 14P10; 55N45

Regularity and $a$-invariant of Cameron--Walker graphs

Authors: Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda, Akiyoshi Tsuchiya

Abstract: Let $S$ be the polynomial ring over a field $K$ and $I \subset S$ a homogeneous ideal. Let $h(S/I,λ)$ be the $h$-polynomial of $S/I$ and $s = \mathrm{deg} h(S/I,λ)$ the degree of $h(S/I,λ)$. It follows that the inequality $s - r \leq d - e$, where $r = \mathrm{reg} (S/I)$, $d = \dim S/I$ and $e = \mathrm{depth} S/I$, is satisfied and, in addition, the equality $s - r = d - e$ holds if and only if… ▽ More Let $S$ be the polynomial ring over a field $K$ and $I \subset S$ a homogeneous ideal. Let $h(S/I,λ)$ be the $h$-polynomial of $S/I$ and $s = \mathrm{deg} h(S/I,λ)$ the degree of $h(S/I,λ)$. It follows that the inequality $s - r \leq d - e$, where $r = \mathrm{reg} (S/I)$, $d = \dim S/I$ and $e = \mathrm{depth} S/I$, is satisfied and, in addition, the equality $s - r = d - e$ holds if and only if $S/I$ has a unique extremal Betti number. We are interested in finding a natural class of finite simple graphs $G$ for which $S/I(G)$, where $I(G)$ is the edge ideal of $G$, satisfies $s - r = d - e$. Let $a(S/I(G))$ denote the $a$-invariant of $S/I$, i.e., $a(S/I(G)) = s - d$. One has $a(S/I(G)) \leq 0$. In the present paper, by showing the fundamental fact that every Cameron--Walker graph $G$ satisfies $a(S/I(G)) = 0$, a class of Cameron--Walker graphs $G$ for which $S/I(G)$ satisfies $s - r = d - e$ will be exhibited. △ Less

Submitted 31 January, 2019; v1 submitted 6 January, 2019; originally announced January 2019.

Comments: 25 pages, 8 figures

MSC Class: 05E40; 13H10

Journal ref: Journal of Algebra 584 (2021), 215--242

Extremal Betti numbers of edge ideals

Authors: Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda

Abstract: Given integers $r$ and $b$ with $1 \leq b \leq r$, a finite simple connected graph $G$ for which ${\rm reg}(S/I(G)) = r$ and the number of extremal Betti numbers of $S/I(G)$ is equal to $b$ will be constructed. Given integers $r$ and $b$ with $1 \leq b \leq r$, a finite simple connected graph $G$ for which ${\rm reg}(S/I(G)) = r$ and the number of extremal Betti numbers of $S/I(G)$ is equal to $b$ will be constructed. △ Less

Submitted 14 March, 2019; v1 submitted 21 October, 2018; originally announced October 2018.

Comments: 7 pages

MSC Class: 05E40; 13H10

Minimization of Akaike's Information Criterion in Linear Regression Analysis via Mixed Integer Nonlinear Program

Authors: Keiji Kimura, Hayato Waki

Abstract: Akaike's information criterion (AIC) is a measure of the quality of a statistical model for a given set of data. We can determine the best statistical model for a particular data set by the minimization of the AIC. Since we need to evaluate exponentially many candidates of the model by the minimization of the AIC, the minimization is unreasonable. Instead, stepwise methods, which are local search… ▽ More Akaike's information criterion (AIC) is a measure of the quality of a statistical model for a given set of data. We can determine the best statistical model for a particular data set by the minimization of the AIC. Since we need to evaluate exponentially many candidates of the model by the minimization of the AIC, the minimization is unreasonable. Instead, stepwise methods, which are local search algorithms, are commonly used to find a better statistical model though it may not be the best. We propose a branch and bound search algorithm for a mixed integer nonlinear programming formulation of the AIC minimization by Miyashiro and Takano (2015). More concretely, we propose methods to find lower and upper bounds, and branching rules for this minimization. We then combine them with SCIP, which is a mathematical optimization software and a branch-and-bound framework. We show that the proposed method can provide the best statistical model based on AIC for small-sized or medium-sized benchmark data sets in UCI Machine Learning Repository. Furthermore, we show that this method finds good quality solutions for large-sized benchmark data sets. △ Less

Submitted 24 June, 2016; v1 submitted 15 June, 2016; originally announced June 2016.

Comments: We modified abstract, introduction and the beginning of section 3 from the first version

Journal ref: Optimization Methods and Software 33 (3), 633-649, 2018

Integrals of logarithmic forms on semi-algebraic sets and a generalized Cauchy formula Part II: generalized Cauchy formula

Authors: Masaki Hanamura, Kenichiro Kimura, Tomohide Terasoma

Abstract: This paper is the continuation of the paper arXiv:1509.06950, which is Part I under the same title. In this paper, we prove a generalized Cauchy formula for the integrals of logarithmic forms on products of projective lines, and give an application to the construction of Hodge realization of mixed Tate motives. This paper is the continuation of the paper arXiv:1509.06950, which is Part I under the same title. In this paper, we prove a generalized Cauchy formula for the integrals of logarithmic forms on products of projective lines, and give an application to the construction of Hodge realization of mixed Tate motives. △ Less

Submitted 11 March, 2025; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 2017 Apr. 7 : The coefficients of the complexes are restricted to Q. The exposition is improved. 2020 May 20: "(detailed version)'' is deleted from the title. Subsection 5.6 is added. Introduction is slightly changed. 2025. Mar. 12: subsection 3.4 is added

MSC Class: Primary 14P10; 14C15; 14C30. Secondary 14C25

Integrals of logarithmic forms on semi-algebraic sets and a generalized Cauchy formula, Part I: convergence theorems

Authors: Masaki Hanamura, Kenichiro Kimura, Tomohide Terasoma

Abstract: In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies allowability (or admissibility), a condition on the dimension of the intersection of the set and the pole divisor of the differential form. In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies allowability (or admissibility), a condition on the dimension of the intersection of the set and the pole divisor of the differential form. △ Less

Submitted 23 September, 2015; originally announced September 2015.

Monte Carlo estimation of the number of tatami tilings

Authors: Kenji Kimura, Saburo Higuchi

Abstract: Motivated by the way Japanese tatami mats are placed on the floor, we consider domino tilings with a constraint and estimate the number of such tilings of plane regions. We map the system onto a monomer-dimer model with a novel local interaction on the dual lattice. We use a variant of the Hamiltonian replica exchange Monte Carlo method and the multi-parameter reweighting technique to study the mo… ▽ More Motivated by the way Japanese tatami mats are placed on the floor, we consider domino tilings with a constraint and estimate the number of such tilings of plane regions. We map the system onto a monomer-dimer model with a novel local interaction on the dual lattice. We use a variant of the Hamiltonian replica exchange Monte Carlo method and the multi-parameter reweighting technique to study the model. The properties of the quantity are studied beyond exact enumeration and combinatorial method. The logarithm of the number of the tilings is linear in the boundary length of the region for all the regions studied. △ Less

Submitted 8 March, 2016; v1 submitted 20 September, 2015; originally announced September 2015.

Comments: 16 pages, 11 figures, (v2)Revised presentation, results unchanged. (v3)Typos corrected. Data and Discussions for more plane regions added

Journal ref: Int.J.Mod.Phys.C 27(2016)1650128

Dominating induced matchings of finite graphs and regularity of edge ideals

Authors: Takayuki Hibi, Akihiro Higashitani, Kyouko Kimura, Akiyoshi Tsuchiya

Abstract: The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$. If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$. In the present paper, from viewpoints of both… ▽ More The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$. If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied. △ Less

Submitted 26 August, 2015; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 23 pages, v2:minor changes, to appear in Journal of Algebraic Combinatorics

MSC Class: Primary 05E40; Secondary 05C69; 05C70

Arithmetical rank of strings and cycles

Authors: Kyouko Kimura, Paolo Mantero

Abstract: Let $R$ be a polynomial ring over a field $K$. To a given squarefree monomial ideal $I \subset R$, one can associate a hypergraph $H(I)$. In this article, we prove that the arithmetical rank of $I$ is equal to the projective dimension of $R/I$ when $H(I)$ is a string or a cycle hypergraph. Let $R$ be a polynomial ring over a field $K$. To a given squarefree monomial ideal $I \subset R$, one can associate a hypergraph $H(I)$. In this article, we prove that the arithmetical rank of $I$ is equal to the projective dimension of $R/I$ when $H(I)$ is a string or a cycle hypergraph. △ Less

Submitted 21 July, 2014; originally announced July 2014.

Comments: 14 pages, comments welcome

A new subtraction-free formula for lower bounds of the minimal singular value of an upper bidiagonal matrix

Authors: Takumi Yamashita, Kinji Kimura, Yusaku Yamamoto

Abstract: Traces of inverse powers of a positive definite symmetric tridiagonal matrix give lower bounds of the minimal singular value of an upper bidiagonal matrix. In a preceding work, a formula for the traces which gives the diagonal entries of the inverse powers is presented. In this paper, we present another formula which gives the traces based on a quite different idea from the one in the preceding wo… ▽ More Traces of inverse powers of a positive definite symmetric tridiagonal matrix give lower bounds of the minimal singular value of an upper bidiagonal matrix. In a preceding work, a formula for the traces which gives the diagonal entries of the inverse powers is presented. In this paper, we present another formula which gives the traces based on a quite different idea from the one in the preceding work. An efficient implementation of the formula for practice is also presented. △ Less

Submitted 10 January, 2014; originally announced January 2014.

Comments: 21 pages, no figure

MSC Class: 15A18

Algebraic study on Cameron-Walker graphs

Authors: Takayuki Hibi, Akihiro Higashitani, Kyouko Kimura, Augustine B. O'Keefe

Abstract: Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of… ▽ More Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$. Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$. We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay. △ Less

Submitted 22 July, 2014; v1 submitted 22 August, 2013; originally announced August 2013.

Comments: 12 pages, 2 figures

MSC Class: 05E40; 13H10

Non-vanishing of Betti numbers of edge ideals and complete bipartite subgraphs

Authors: Kyouko Kimura

Abstract: Given a finite simple graph one can associate the edge ideal. In this paper we prove that a graded Betti number of the edge ideal does not vanish if the original graph contains a set of complete bipartite subgraphs with some conditions. Also we give a combinatorial description for the projective dimension of the edge ideals of unmixed bipartite graphs. Given a finite simple graph one can associate the edge ideal. In this paper we prove that a graded Betti number of the edge ideal does not vanish if the original graph contains a set of complete bipartite subgraphs with some conditions. Also we give a combinatorial description for the projective dimension of the edge ideals of unmixed bipartite graphs. △ Less

Submitted 3 November, 2014; v1 submitted 6 June, 2013; originally announced June 2013.

Comments: 19 pages; v2: we added Section 7 and revised mainly Sections 5 and 6; v3 improves the exposition throughout

MSC Class: 13D02; 13F55 (Primary); 05C99 (Secondary)

On Implementation and Evaluation of Inverse Iteration Algorithm with compact WY Orthogonalization

Authors: Hiroyuki Ishigami, Kinji Kimura, Yoshimasa Nakamura

Abstract: A new inverse iteration algorithm that can be used to compute all the eigenvectors of a real symmetric tri-diagonal matrix on parallel computers is developed. The modified Gram-Schmidt orthogonalization is used in the classical inverse iteration. This algorithm is sequential and causes a bottleneck in parallel computing. In this paper, the use of the compact WY representation is proposed in the or… ▽ More A new inverse iteration algorithm that can be used to compute all the eigenvectors of a real symmetric tri-diagonal matrix on parallel computers is developed. The modified Gram-Schmidt orthogonalization is used in the classical inverse iteration. This algorithm is sequential and causes a bottleneck in parallel computing. In this paper, the use of the compact WY representation is proposed in the orthogonalization process of the inverse iteration with the Householder transformation. This change results in drastically reduced synchronization cost in parallel computing. The new algorithm is evaluated on both an 8-core and a 32-core parallel computer, and it is shown that the new algorithm is greatly faster than the classical inverse iteration algorithm in computing all the eigenvectors of matrices with several thousand dimensions. △ Less

Submitted 10 September, 2012; originally announced September 2012.

Comments: 17 pages, 7 figures

Non-vanishingness of Betti numbers of edge ideals

Authors: Kyouko Kimura

Abstract: Given finite simple graph one can associate the edge ideal. In this paper we discuss the non-vanishingness of the graded Betti numbers of edge ideals in terms of the original graph. In particular, we give a necessary and sufficient condition for a chordal graph on which the graded Betti number does not vanish and characterize the graded Betti number for a forest. Moreover we characterize the proje… ▽ More Given finite simple graph one can associate the edge ideal. In this paper we discuss the non-vanishingness of the graded Betti numbers of edge ideals in terms of the original graph. In particular, we give a necessary and sufficient condition for a chordal graph on which the graded Betti number does not vanish and characterize the graded Betti number for a forest. Moreover we characterize the projective dimension for a chordal graph. △ Less

Submitted 21 November, 2011; v1 submitted 11 October, 2011; originally announced October 2011.

Comments: 12 pages. v2: Since Corollary 5.6 was proved by S. Morey and R. H. Villarreal, we added the reference; v3: We changed the explanation before Corollary 5.6, added a reference, and corrected typos

MSC Class: 13D02; 13F55 (Primary) 05C99 (Secondary)

Arithmetical rank of squarefree monomial ideals generated by five elements or with arithmetic degree four

Authors: Kyouko Kimura, Giancarlo Rinaldo, Naoki Terai

Abstract: Let $I$ be a squarefree monomial ideal of a polynomial ring $S$. In this paper, we prove that the arithmetical rank of $I$ is equal to the projective dimension of $S/I$ when one of the following conditions is satisfied: (1) $μ(I) \leq 5$; (2) $\arithdeg I \leq 4$. Let $I$ be a squarefree monomial ideal of a polynomial ring $S$. In this paper, we prove that the arithmetical rank of $I$ is equal to the projective dimension of $S/I$ when one of the following conditions is satisfied: (1) $μ(I) \leq 5$; (2) $\arithdeg I \leq 4$. △ Less

Submitted 4 July, 2011; originally announced July 2011.

Comments: 22 pages, to appear in Communications in Algebra

MSC Class: 13F55

Depth of initial ideals of normal edge rings

Authors: Takayuki Hibi, Akihiro Higashitani, Kyouko Kimura, Augustine B. O'Keefe

Abstract: Let $G$ be a finite graph on the vertex set $[d] = \{1, ..., d \}$ with the edges $e_1, ..., e_n$ and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ which is generated by those monomials $\tb^e = t_it_j$ such that $e = \{i, j\}$ is an edge of $G$. Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in $n$ vari… ▽ More Let $G$ be a finite graph on the vertex set $[d] = \{1, ..., d \}$ with the edges $e_1, ..., e_n$ and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ which is generated by those monomials $\tb^e = t_it_j$ such that $e = \{i, j\}$ is an edge of $G$. Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in $n$ variables over $K$ and define the surjective homomorphism $π: K[\xb] \to K[G]$ by setting $π(x_i) = \tb^{e_i}$ for $i = 1, ..., n$. The toric ideal $I_G$ of $G$ is the kernel of $π$. It will be proved that, given integers $f$ and $d$ with $6 \leq f \leq d$, there exist a finite connected nonbipartite graph $G$ on $[d]$ together with a reverse lexicographic order $<_{\rev}$ on $K[\xb]$ and a lexicographic order $<_{\lex}$ on $K[\xb]$ such that (i) $K[G]$ is normal, (ii) $\depth K[\xb]/\ini_{<_{\rev}}(I_G) = f$ and (iii) $K[\xb]/\ini_{<_{\lex}}(I_G)$ is Cohen--Macaulay, where $\ini_{<_{\rev}}(I_G)$ (resp.\ $\ini_{<_{\lex}}(I_G)$) is the initial ideal of $I_G$ with respect to $<_{\rev}$ (resp.\ $<_{\lex}$) and where $\depth K[\xb]/\ini_{<_{\rev}}(I_G)$ is the depth of $K[\xb]/\ini_{<_{\rev}}(I_G)$. △ Less

Submitted 20 January, 2011; originally announced January 2011.

Comments: 14 pages

MSC Class: 13P10

Relative DGA and mixed elliptic motives

Authors: Kenichiro Kimura, Tomohide Terasoma

Abstract: Bloch and Kriz construct an abelian category of mixed Tate motives as the category of comodules over a Hopf algebra obtained by the bar construction of the DGA of cycle complexes. In this paper we generalize their construction to give the definition of a category of mixed elliptic motives, i.e. a Tannakian category of mixed motives generated by an elliptic curve. We introduce the notion of a relat… ▽ More Bloch and Kriz construct an abelian category of mixed Tate motives as the category of comodules over a Hopf algebra obtained by the bar construction of the DGA of cycle complexes. In this paper we generalize their construction to give the definition of a category of mixed elliptic motives, i.e. a Tannakian category of mixed motives generated by an elliptic curve. We introduce the notion of a relative DGA over a reductive group. Then the category of mixed elliptic motives is defined as the category of comodules over the relative bar construction of a certain DGA $A_{EM}$ which is constructed from cycle complexes. The elliptic polylogarithm of Beilinson-Levin gives an interesting object in this category. △ Less

Submitted 29 November, 2010; v1 submitted 18 October, 2010; originally announced October 2010.

Depth of edge rings arising from finite graphs

Authors: Takayuki Hibi, Akihiro Higashitani, Kyouko Kimura, Augustine B. O'Keefe

Abstract: Let $G$ be a finite graph and $K[G]$ the edge ring of $G$. Based on the technique of Gröbner bases and initial ideals, it will be proved that, given integers $f$ and $d$ with $7 \leq f \leq d$, there exists a finite graph $G$ on $[d]={1,...,d}$ with $\depth K[G] = f$ and with $\Krull-dim K[G] = d$. Let $G$ be a finite graph and $K[G]$ the edge ring of $G$. Based on the technique of Gröbner bases and initial ideals, it will be proved that, given integers $f$ and $d$ with $7 \leq f \leq d$, there exists a finite graph $G$ on $[d]={1,...,d}$ with $\depth K[G] = f$ and with $\Krull-dim K[G] = d$. △ Less

Submitted 8 September, 2010; originally announced September 2010.

Comments: 7 pages

MSC Class: 13P10

Arithmetical rank of Cohen-Macaulay squarefree monomial ideals of height two

Authors: Kyouko Kimura

Abstract: In this paper, we prove that a squarefree monomial ideal of height 2 whose quotient ring is Cohen-Macaulay is set-theoretic complete intersection. In this paper, we prove that a squarefree monomial ideal of height 2 whose quotient ring is Cohen-Macaulay is set-theoretic complete intersection. △ Less

Submitted 10 December, 2009; originally announced December 2009.

Comments: 11 pages

MSC Class: 13F55; 13A15; 13H10

Schmitt-Vogel type lemma for reductions

Authors: Kyouko Kimura, Naoki Terai, Ken-ichi Yoshida

Abstract: The lemma given by Schmitt and Vogel is an important tool in the study of arithmetical rank of squarefree monomial ideals. In this paper, we give a Schmitt-Vogel type lemma for reductions as an analogous result. The lemma given by Schmitt and Vogel is an important tool in the study of arithmetical rank of squarefree monomial ideals. In this paper, we give a Schmitt-Vogel type lemma for reductions as an analogous result. △ Less

Submitted 7 December, 2009; originally announced December 2009.

Comments: 10 pages

MSC Class: 13A30

Betti numbers of chordal graphs and $f$-vectors of simplicial complexes

Authors: Takayuki Hibi, Kyouko Kimura, Satoshi Murai

Abstract: Let $G$ be a chordal graph and $I(G)$ its edge ideal. Let $β(I(G)) = (β_0, β_1, ..., β_p)$ denote the Betti sequence of $I(G)$, where $β_i$ stands for the $i$th total Betti number of $I(G)$ and where $p$ is the projective dimension of $I(G)$. It will be shown that there exists a simplicial complex $Δ$ of dimension $p$ whose $f$-vector $f (Δ) = (f_0, f_1, ..., f_p)$ coincides with $β(I(G))$. Let $G$ be a chordal graph and $I(G)$ its edge ideal. Let $β(I(G)) = (β_0, β_1, ..., β_p)$ denote the Betti sequence of $I(G)$, where $β_i$ stands for the $i$th total Betti number of $I(G)$ and where $p$ is the projective dimension of $I(G)$. It will be shown that there exists a simplicial complex $Δ$ of dimension $p$ whose $f$-vector $f (Δ) = (f_0, f_1, ..., f_p)$ coincides with $β(I(G))$. △ Less

Submitted 28 July, 2009; originally announced July 2009.

Comments: 15 pages

MSC Class: 13P99; 13F55; 52B05

Nori's construction and the second Abel-Jacobi map

Authors: Kenichiro Kimura

Abstract: The first purpose of this note is to give a partial exposition of the $l$-adic realization of Nori's category of motives. The second one is to give a simple description of the second $l$-adic Abel-Jacobi map. The first purpose of this note is to give a partial exposition of the $l$-adic realization of Nori's category of motives. The second one is to give a simple description of the second $l$-adic Abel-Jacobi map. △ Less

Submitted 10 October, 2006; v1 submitted 2 October, 2006; originally announced October 2006.

Comments: 10 pages. On the revised version: A comment on Beilinson's work is added in the introduction. Acknowledgements are changed

MSC Class: 14C25; 14F20

Murre's conjectures for certain product varieties

Authors: Kenichiro Kimura

Abstract: We consider Murre's conjectures on Chow groups for a fourfold which is a product of two curves and a surface. We give a result which concerns Conjecture D:the kernel of a certain projector is equal to the homologically trivial part of the Chow group. We also give a proof of Conjecture B for a product of two surfaces. We consider Murre's conjectures on Chow groups for a fourfold which is a product of two curves and a surface. We give a result which concerns Conjecture D:the kernel of a certain projector is equal to the homologically trivial part of the Chow group. We also give a proof of Conjecture B for a product of two surfaces. △ Less

Submitted 20 September, 2005; v1 submitted 12 September, 2005; originally announced September 2005.

Comments: 7 pages

MSC Class: 14C25

A rational map between two threefolds

Authors: Kenichiro Kimura

Abstract: A rational map between certain specific threefolds is given in an explicit manner. A rational map between certain specific threefolds is given in an explicit manner. △ Less

Submitted 18 October, 2004; v1 submitted 10 October, 2004; originally announced October 2004.

Comments: Minor modification plus change of the title

MSC Class: 14C25; 11G40

Zero-cycles on self-product of modular curves

Authors: Kenichiro Kimura

Abstract: We use the elements in $K$-cohomology groups which are constructed by Flach and Mildenhall to obtain a finiteness result for the torsion part of the Chow group of a self-product of a modular curve. We use the elements in $K$-cohomology groups which are constructed by Flach and Mildenhall to obtain a finiteness result for the torsion part of the Chow group of a self-product of a modular curve. △ Less

Submitted 24 June, 2004; v1 submitted 1 February, 2004; originally announced February 2004.

Comments: 6 pages

MSC Class: 14C25; 14C35

On $K_1$ of a self-product of a curve

Authors: Kenichiro Kimura

Abstract: We present elements of $H^1(C\ti C, K_2)$ for certain specific curves C.The image of the element under the boundary map arising from the localization sequence of K-theory is the graph of frobenius endomorphism of the reduction of the curve modulo 3. We present elements of $H^1(C\ti C, K_2)$ for certain specific curves C.The image of the element under the boundary map arising from the localization sequence of K-theory is the graph of frobenius endomorphism of the reduction of the curve modulo 3. △ Less

Submitted 1 April, 2002; originally announced April 2002.

Comments: 4 pages

MSC Class: 14C25;19E15;19F27

Elliptic units in $K_2$

Authors: Kenichiro Kimura

Abstract: We present certain norm-compatible systems in $K_2$ of function fields of some CM elliptic curves. We demonstrate that these systems have some properties similar to elliptic units. We present certain norm-compatible systems in $K_2$ of function fields of some CM elliptic curves. We demonstrate that these systems have some properties similar to elliptic units. △ Less

Submitted 1 April, 2002; originally announced April 2002.

Comments: 11 pages

MSC Class: 11G05;11G15;11R23;11R70;11S70

Euler systems of K_2 of CM elliptic curves

Authors: Kenichiro Kimura

Abstract: We construct certain systems of elements in K_2 of CM elliptic curves. When the classnumber of the field of CM is 1, the image of this system under the regulator map forms an Euler system in the sense of Rubin. We construct certain systems of elements in K_2 of CM elliptic curves. When the classnumber of the field of CM is 1, the image of this system under the regulator map forms an Euler system in the sense of Rubin. △ Less

Submitted 24 March, 2000; originally announced March 2000.

Comments: 6 pages

MSC Class: 14G25;19F27;11G05

q-differential operator representation of the quantum superalgebra Uq(sl(M+1|N+1))

Authors: Kazuhiro Kimura

Abstract: A representation of the quantum superalgebra Uq(sl(M+1|N+1)) is constructed based on the q-differential operators acting on the coherent states parameterized by coordinates. These coordinates correspond to the local ones of the flag manifold. This realization provides us with a guide to construct the free field realization for the quantum affine superalgebra Uq^(sl(M+1|N+1)) at arbitrary level. A representation of the quantum superalgebra Uq(sl(M+1|N+1)) is constructed based on the q-differential operators acting on the coherent states parameterized by coordinates. These coordinates correspond to the local ones of the flag manifold. This realization provides us with a guide to construct the free field realization for the quantum affine superalgebra Uq^(sl(M+1|N+1)) at arbitrary level. △ Less

Submitted 30 December, 1996; originally announced December 1996.

Comments: 7pages, AMS-Tex, no figure

Report number: OIT-96-1

A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$

Authors: K. Kimura, J. Shiraishi, J. Uchiyama

Abstract: A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$ and vertex operators associated with the fundamental representations are constructed in terms of free bosonic fields. Character formulas of level-one irreducible highest weight modules of $\U_q(\hat{\frak{sl}}(2|1))$ are conjectured. A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$ and vertex operators associated with the fundamental representations are constructed in terms of free bosonic fields. Character formulas of level-one irreducible highest weight modules of $\U_q(\hat{\frak{sl}}(2|1))$ are conjectured. △ Less

Submitted 3 June, 1996; v1 submitted 2 June, 1996; originally announced May 1996.

Comments: AMS-TeX, 11 pages