Showing 1–22 of 22 results for author: Bannai, K

Varadhan's decomposition of shift-invariant closed uniform forms for large scale interacting systems on general crystal lattices

Authors: Kenichi Bannai, Makiko Sasada

Abstract: We prove a uniform version of Varadhan decomposition for shift-invariant closed uniform forms associated to large scale interacting systems on general crystal lattices. In particular, this result includes the case of translation invariant processes on Euclidean lattices $\mathbf{Z}^d$ with finite range. Our result generalizes the result of arXiv:2009.04699 which was valid for systems on transferab… ▽ More We prove a uniform version of Varadhan decomposition for shift-invariant closed uniform forms associated to large scale interacting systems on general crystal lattices. In particular, this result includes the case of translation invariant processes on Euclidean lattices $\mathbf{Z}^d$ with finite range. Our result generalizes the result of arXiv:2009.04699 which was valid for systems on transferable graphs. In subsequent research, we will use the result of this article to prove Varadhan's decomposition of closed $L^2$-forms for large scale interacting systems on general crystal lattices. △ Less

Submitted 31 August, 2022; originally announced August 2022.

Comments: 28 pages, 2 figures,

MSC Class: Primary: 82C22; Secondary: 05C63; 55N91; 60J60; 70G40

The Hodge Realization of the Polylogarithm and the Shintani Generating Class for Totally Real Fields

Authors: Kenichi Bannai, Hohto Bekki, Kei Hagihara, Tatsuya Ohshita, Kazuki Yamada, Shuji Yamamoto

Abstract: In this article, we construct the Hodge realization of the polylogarithm class in the equivariant Deligne-Beilinson cohomology of a certain algebraic torus associated to a totally real field. We then prove that the de Rham realization of this polylogarithm gives the Shintani generating class, a cohomology class generating the values of the Lerch zeta functions of the totally real field at nonposit… ▽ More In this article, we construct the Hodge realization of the polylogarithm class in the equivariant Deligne-Beilinson cohomology of a certain algebraic torus associated to a totally real field. We then prove that the de Rham realization of this polylogarithm gives the Shintani generating class, a cohomology class generating the values of the Lerch zeta functions of the totally real field at nonpositive integers. Inspired by this result, we give a conjecture concerning the specialization of this polylogarithm class at torsion points, and discuss its relation to the Beilinson conjecture for Hecke characters of totally real fields. △ Less

Submitted 22 January, 2023; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: 54 pages, 1 figure. Added Appendix giving the construction of equivariant Deligne-Beilinson cohomology for our case

MSC Class: 14C30; 11G55

Journal ref: Advances in Mathematics 448 (2024) 109716

Supersolid Devil's Staircases of Spin-Orbit-Coupled Bosons in Optical Lattices

Authors: Daisuke Yamamoto, Kotaro Bannai, Nobuo Furukawa, Carlos A. R. Sá de Melo

Abstract: We study the emergence of supersolid Devil's staircases of spin-orbit coupled bosons loaded in optical lattices. We consider two- and three-dimensional systems of pseudo-spin-$1/2$ bosons interacting via local spin-dependent interactions. These interactions together with spin-orbit coupling produce length scales that are commensurate to the lattice spacing. This commensurability leads to Devil's s… ▽ More We study the emergence of supersolid Devil's staircases of spin-orbit coupled bosons loaded in optical lattices. We consider two- and three-dimensional systems of pseudo-spin-$1/2$ bosons interacting via local spin-dependent interactions. These interactions together with spin-orbit coupling produce length scales that are commensurate to the lattice spacing. This commensurability leads to Devil's staircases of supersolids, with fractal Hausdorff dimensions, which arise from uniform superfluid phases. We show that umklapp processes are essential for the existence of commensurate supersolids, and that without them the Devil's staircase does not exist. Lastly, we emphasize the generality of our results, suggest experiments that can unveil these unusual predictions, and discuss potential applications to the case of $^{87}$Rb. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. Research 4, L032023 (2022)

Varadhan's Decomposition of Shift-Invariant Closed $L^2$-forms for Large Scale Interacting Systems on the Euclidean Lattice

Authors: Kenichi Bannai, Makiko Sasada

Abstract: We rigorously formulate and prove for a relatively general class of interactions Varadhan's Decomposition of shift-invariant closed $L^2$-forms for a large scale interacting system on a Euclidean lattice $(\mathbb{Z}^d,\mathbb{E}^d)$. Such decomposition of closed forms has played an essential role in proving the diffusive scaling limit of nongradient systems. The universal expression in terms of c… ▽ More We rigorously formulate and prove for a relatively general class of interactions Varadhan's Decomposition of shift-invariant closed $L^2$-forms for a large scale interacting system on a Euclidean lattice $(\mathbb{Z}^d,\mathbb{E}^d)$. Such decomposition of closed forms has played an essential role in proving the diffusive scaling limit of nongradient systems. The universal expression in terms of conserved quantities was sought from observations for specific models, but a precise formulation or rigorous proof up until now had been elusive. Our result is based on the universal decomposition of shift-invariant closed uniform forms studied in our previous article (arXiv:2009.04699). In the present article, we show that the same universal structure also appears for $L^2$-forms. The essential assumptions are: (i) the set of states on each vertex is a finite set, (ii) the measure on the configuration space is the product measure, and (iii) there is a certain uniform spectral gap estimate for the mean field version of the interaction. Our result is applicable for generalized exclusion processes, multi-species exclusion processes, and more general lattice gas models. △ Less

Submitted 18 March, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

MSC Class: Primary: 82C22; Secondary: 05C63; 55N91; 60J60; 70G40

A Decomposition Theorem of Varadhan Type for Co-local Forms on Large Scale Interacting Systems

Authors: Kenichi Bannai, Makiko Sasada

Abstract: In our previous article with Yukio Kametani, we investigated the geometric structure underlying a large scale interacting system on infinite graphs, via constructing a suitable cohomology theory called uniformly local cohomology, which reflects the geometric property of the microscopic model, using a class of functions called the uniformly local functions. In this article, we introduce the co-loca… ▽ More In our previous article with Yukio Kametani, we investigated the geometric structure underlying a large scale interacting system on infinite graphs, via constructing a suitable cohomology theory called uniformly local cohomology, which reflects the geometric property of the microscopic model, using a class of functions called the uniformly local functions. In this article, we introduce the co-local functions on the geometric structure associated to a large scale interacting system. We may similarly define the notion of uniformly local functions for co-local functions. However, contrary to the functions appearing in our previous article, the co-local functions reflect the stochastic property of the model, namely the probability measure on the configuration space. We then prove a decomposition theorem of Varadhan type for closed co-local forms. The space of co-local functions and forms contain the space of $L^2$-functions and forms. In the last section, we state a conjecture concerning the decomposition theorem for the $L^2$-case. △ Less

Submitted 18 March, 2022; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: 23 pages. Included reference to subsequent research

MSC Class: Primary: 82C22; Secondary: 05C63; 55N91; 60J60; 70G40

Topological Structures of Large Scale Interacting Systems via Uniform Functions and Forms

Authors: Kenichi Bannai, Yukio Kametani, Makiko Sasada

Abstract: In this article, we investigate the topological structure of large scale interacting systems on infinite graphs, by constructing a suitable cohomology which we call the uniform cohomology. This provides a new perspective for the identification of macroscopic observables from the microscopic system. As a straightforward application of our theory when the underlying graph has a free action of a grou… ▽ More In this article, we investigate the topological structure of large scale interacting systems on infinite graphs, by constructing a suitable cohomology which we call the uniform cohomology. This provides a new perspective for the identification of macroscopic observables from the microscopic system. As a straightforward application of our theory when the underlying graph has a free action of a group, we prove a certain decomposition theorem for shift-invariant closed uniform forms. This result is a uniform version in a very general setting of the decomposition result for shift-invariant closed $L^2$-forms originally proposed by Varadhan, which has repeatedly played a key role in the proof of the hydrodynamic limits of nongradient large scale interacting systems. In a subsequent article, we use this result as a key to prove Varadhan's decomposition theorem for a general class of large scale interacting systems. △ Less

Submitted 22 March, 2022; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: 61 pages, 6 figures. Updated title and Included reference to subsequent research concerning Varadhan's decomposition of $L^2$-forms, which is proved using the main result of this article

MSC Class: 82C22; 05C63; 55N91; 60J60; 70G40

Theory and Algorithms for Shapelet-based Multiple-Instance Learning

Authors: Daiki Suehiro, Kohei Hatano, Eiji Takimoto, Shuji Yamamoto, Kenichi Bannai, Akiko Takeda

Abstract: We propose a new formulation of Multiple-Instance Learning (MIL), in which a unit of data consists of a set of instances called a bag. The goal is to find a good classifier of bags based on the similarity with a "shapelet" (or pattern), where the similarity of a bag with a shapelet is the maximum similarity of instances in the bag. In previous work, some of the training instances are chosen as sha… ▽ More We propose a new formulation of Multiple-Instance Learning (MIL), in which a unit of data consists of a set of instances called a bag. The goal is to find a good classifier of bags based on the similarity with a "shapelet" (or pattern), where the similarity of a bag with a shapelet is the maximum similarity of instances in the bag. In previous work, some of the training instances are chosen as shapelets with no theoretical justification. In our formulation, we use all possible, and thus infinitely many shapelets, resulting in a richer class of classifiers. We show that the formulation is tractable, that is, it can be reduced through Linear Programming Boosting (LPBoost) to Difference of Convex (DC) programs of finite (actually polynomial) size. Our theoretical result also gives justification to the heuristics of some of the previous work. The time complexity of the proposed algorithm highly depends on the size of the set of all instances in the training sample. To apply to the data containing a large number of instances, we also propose a heuristic option of the algorithm without the loss of the theoretical guarantee. Our empirical study demonstrates that our algorithm uniformly works for Shapelet Learning tasks on time-series classification and various MIL tasks with comparable accuracy to the existing methods. Moreover, we show that the proposed heuristics allow us to achieve the result with reasonable computational time. △ Less

Submitted 13 October, 2020; v1 submitted 31 May, 2020; originally announced June 2020.

Comments: The full version of this paper is published in Neural Computation. arXiv admin note: substantial text overlap with arXiv:1811.08084

$p$-adic Polylogarithms and $p$-adic Hecke $L$-functions for Totally Real Fields

Authors: Kenichi Bannai, Kei Hagihara, Kazuki Yamada, Shuji Yamamoto

Abstract: The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic… ▽ More The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic polylogarithms. △ Less

Submitted 25 May, 2022; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: 34 pages, Added more explanations to make the aticle more readable

MSC Class: 11M35; 11R80 (Primary); 11R42; 14L15 (Secondary)

The Hodge realization of the polylogarithm on the product of multiplicative groups

Authors: Kenichi Bannai, Kei Hagihara, Kazuki Yamada, Shuji Yamamoto

Abstract: The purpose of this article is to describe explicitly the polylogarithm class in absolute Hodge cohomology of a product of multiplicative groups, in terms of the Bloch-Wigner-Ramakrishnan polylogarithm functions. We will use the logarithmic Dolbeault complex defined by Burgos to calculate the corresponding absolute Hodge cohomology groups. The purpose of this article is to describe explicitly the polylogarithm class in absolute Hodge cohomology of a product of multiplicative groups, in terms of the Bloch-Wigner-Ramakrishnan polylogarithm functions. We will use the logarithmic Dolbeault complex defined by Burgos to calculate the corresponding absolute Hodge cohomology groups. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Comments: 28 pages

MSC Class: 14C30; 11G55

Journal ref: Mathematische Zeitschrift Volume 296, pages 1787--1817 (2020)

Canonical Equivariant Cohomology Classes Generating Zeta Values of Totally Real Fields

Authors: Kenichi Bannai, Kei Hagihara, Kazuki Yamada, Shuji Yamamoto

Abstract: It is known that the special values at nonpositive integers of a Dirichlet $L$-function may be expressed using the generalized Bernoulli numbers, which are defined by a canonical generating function. The purpose of this article is to consider the generalization of this classical result to the case of Hecke $L$-functions of totally real fields. Hecke $L$-functions may be expressed canonically as a… ▽ More It is known that the special values at nonpositive integers of a Dirichlet $L$-function may be expressed using the generalized Bernoulli numbers, which are defined by a canonical generating function. The purpose of this article is to consider the generalization of this classical result to the case of Hecke $L$-functions of totally real fields. Hecke $L$-functions may be expressed canonically as a finite sum of zeta functions of Lerch type. By combining the non-canonical multivariable generating functions constructed by Shintani, we newly construct a canonical class, which we call the Shintani generating class, in the equivariant cohomology of an algebraic torus associated to the totally real field. Our main result states that the specializations at torsion points of the derivatives of the Shintani generating class give values at nonpositive integers of the zeta functions of Lerch type. This result gives the insight that the correct framework in the higher dimensional case is to consider higher equivariant cohomology classes instead of functions. △ Less

Submitted 19 March, 2020; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: 18 pages, Updated version with minor corrections

MSC Class: 11M35 (Primary); 11R42; 14L15; 55N91 (Secondary)

Journal ref: Trans. Amer. Math. Soc. Ser. B 10 (2023), 613-635

Bezier Simplex Fitting: Describing Pareto Fronts of Simplicial Problems with Small Samples in Multi-objective Optimization

Authors: Ken Kobayashi, Naoki Hamada, Akiyoshi Sannai, Akinori Tanaka, Kenichi Bannai, Masashi Sugiyama

Abstract: Multi-objective optimization problems require simultaneously optimizing two or more objective functions. Many studies have reported that the solution set of an M-objective optimization problem often forms an (M-1)-dimensional topological simplex (a curved line for M=2, a curved triangle for M=3, a curved tetrahedron for M=4, etc.). Since the dimensionality of the solution set increases as the numb… ▽ More Multi-objective optimization problems require simultaneously optimizing two or more objective functions. Many studies have reported that the solution set of an M-objective optimization problem often forms an (M-1)-dimensional topological simplex (a curved line for M=2, a curved triangle for M=3, a curved tetrahedron for M=4, etc.). Since the dimensionality of the solution set increases as the number of objectives grows, an exponentially large sample size is needed to cover the solution set. To reduce the required sample size, this paper proposes a Bezier simplex model and its fitting algorithm. These techniques can exploit the simplex structure of the solution set and decompose a high-dimensional surface fitting task into a sequence of low-dimensional ones. An approximation theorem of Bezier simplices is proven. Numerical experiments with synthetic and real-world optimization problems demonstrate that the proposed method achieves an accurate approximation of high-dimensional solution sets with small samples. In practice, such an approximation will be conducted in the post-optimization process and enable a better trade-off analysis. △ Less

Submitted 12 December, 2018; originally announced December 2018.

Comments: To appear in AAAI 2019

Multiple-Instance Learning by Boosting Infinitely Many Shapelet-based Classifiers

Authors: Daiki Suehiro, Kohei Hatano, Eiji Takimoto, Shuji Yamamoto, Kenichi Bannai, Akiko Takeda

Abstract: We propose a new formulation of Multiple-Instance Learning (MIL). In typical MIL settings, a unit of data is given as a set of instances called a bag and the goal is to find a good classifier of bags based on similarity from a single or finitely many "shapelets" (or patterns), where the similarity of the bag from a shapelet is the maximum similarity of instances in the bag. Classifiers based on a… ▽ More We propose a new formulation of Multiple-Instance Learning (MIL). In typical MIL settings, a unit of data is given as a set of instances called a bag and the goal is to find a good classifier of bags based on similarity from a single or finitely many "shapelets" (or patterns), where the similarity of the bag from a shapelet is the maximum similarity of instances in the bag. Classifiers based on a single shapelet are not sufficiently strong for certain applications. Additionally, previous work with multiple shapelets has heuristically chosen some of the instances as shapelets with no theoretical guarantee of its generalization ability. Our formulation provides a richer class of the final classifiers based on infinitely many shapelets. We provide an efficient algorithm for the new formulation, in addition to generalization bound. Our empirical study demonstrates that our approach is effective not only for MIL tasks but also for Shapelet Learning for time-series classification. △ Less

Submitted 9 December, 2018; v1 submitted 20 November, 2018; originally announced November 2018.

Comments: The preliminary version of this paper is arXiv:1709.01300. which only focuses on shapelet-based time-series classification but not Muptiple-Instance Learning. Note that the preliminary version has not been published

Boosting the kernelized shapelets: Theory and algorithms for local features

Authors: Daiki Suehiro, Kohei Hatano, Eiji Takimoto, Shuji Yamamoto, Kenichi Bannai, Akiko Takeda

Abstract: We consider binary classification problems using local features of objects. One of motivating applications is time-series classification, where features reflecting some local closeness measure between a time series and a pattern sequence called shapelet are useful. Despite the empirical success of such approaches using local features, the generalization ability of resulting hypotheses is not fully… ▽ More We consider binary classification problems using local features of objects. One of motivating applications is time-series classification, where features reflecting some local closeness measure between a time series and a pattern sequence called shapelet are useful. Despite the empirical success of such approaches using local features, the generalization ability of resulting hypotheses is not fully understood and previous work relies on a bunch of heuristics. In this paper, we formulate a class of hypotheses using local features, where the richness of features is controlled by kernels. We derive generalization bounds of sparse ensembles over the class which is exponentially better than a standard analysis in terms of the number of possible local features. The resulting optimization problem is well suited to the boosting approach and the weak learning problem is formulated as a DC program, for which practical algorithms exist. In preliminary experiments on time-series data sets, our method achieves competitive accuracy with the state-of-the-art algorithms with small parameter-tuning cost. △ Less

Submitted 6 September, 2017; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: 16 pages, 1 figures

Category of mixed plectic Hodge structures

Authors: Kenichi Bannai, Kei Hagihara, Shinichi Kobayashi, Kazuki Yamada, Shuji Yamamoto, Seidai Yasuda

Abstract: The purpose of this article is to investigate the properties of the category of mixed plectic Hodge structures defined by Nekovář and Scholl. We give an equivalent description of mixed plectic Hodge structures in terms of the weight and partial Hodge filtrations. We also construct an explicit complex calculating the extension groups in this category. The purpose of this article is to investigate the properties of the category of mixed plectic Hodge structures defined by Nekovář and Scholl. We give an equivalent description of mixed plectic Hodge structures in terms of the weight and partial Hodge filtrations. We also construct an explicit complex calculating the extension groups in this category. △ Less

Submitted 29 October, 2020; v1 submitted 16 May, 2017; originally announced May 2017.

Comments: 43 pages, Corrected calculation in Example 5.28

MSC Class: 14C30

Journal ref: Asian J. Math. 24 (2020), no. 1, 31-76

$p$-adic Beilinson conjecture for ordinary Hecke motives associated to imaginary quadratic fields

Authors: Kenichi Bannai, Guido Kings

Abstract: The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$. The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$. △ Less

Submitted 15 June, 2010; originally announced June 2010.

Journal ref: RIMS Kôkyûroku Bessatsu, B25, 2011, Kyoto

The Kronecker limit formulas via the distribution relation

Authors: Kenichi Bannai, Shinichi Kobayashi

Abstract: In this paper, we give a proof of the classical Kronecker limit formulas using the distribution relation of the Eisenstein-Kronecker series. Using a similar idea, we then prove $p$-adic analogues of the Kronecker limit formulas for the $p$-adic Eisenstein-Kronecker functions defined in our previous paper. In this paper, we give a proof of the classical Kronecker limit formulas using the distribution relation of the Eisenstein-Kronecker series. Using a similar idea, we then prove $p$-adic analogues of the Kronecker limit formulas for the $p$-adic Eisenstein-Kronecker functions defined in our previous paper. △ Less

Submitted 25 July, 2008; originally announced July 2008.

MSC Class: 11M35; 11M36; 11S80

$p$-adic Eisenstein-Kronecker series for CM elliptic curves and the Kronecker limit formulas

Authors: Kenichi Bannai, Hidekazu Furusho, Shinichi Kobayashi

Abstract: Consider an elliptic curve defined over an imaginary quadratic field $K$ with good reduction at the primes above $p\geq 5$ and has complex multiplication by the full ring of integers $\mathcal{O}_K$ of $K$. In this paper, we construct $p$-adic analogues of the Eisenstein-Kronecker series for such elliptic curve as Coleman functions on the elliptic curve. We then prove $p$-adic analogues of the fir… ▽ More Consider an elliptic curve defined over an imaginary quadratic field $K$ with good reduction at the primes above $p\geq 5$ and has complex multiplication by the full ring of integers $\mathcal{O}_K$ of $K$. In this paper, we construct $p$-adic analogues of the Eisenstein-Kronecker series for such elliptic curve as Coleman functions on the elliptic curve. We then prove $p$-adic analogues of the first and second Kronecker limit formulas by using the distribution relation of the Kronecker theta function. △ Less

Submitted 17 June, 2014; v1 submitted 25 July, 2008; originally announced July 2008.

Comments: v2. The current version is the synthesis of §1-§3 of the first version of this article with the content of arXiv:0807.4008 "The Kronecker limit formulas via the distribution relation." §4,§5 of the first version of this paper will be treated in a subsequent article

MSC Class: 11G55; 11G07; 11G15; 14F30; 14G10

Journal ref: Nagoya Math. J. 219 (2015), 269--302

Integral structures on $p$-adic Fourier theory

Authors: Kenichi Bannai, Shinichi Kobayashi

Abstract: In this article, we give an explicit construction of the $p$-adic Fourier transform by Schneider and Teitelbaum, which allows for the investigation of the integral property. As an application, we give a certain integral basis of the space of $K$-locally analytic functions on the ring of integers $\mathcal{O}_K$ for any finite extension $K$ of $\mathbb{Q}_p$, generalizing the basis constructed by A… ▽ More In this article, we give an explicit construction of the $p$-adic Fourier transform by Schneider and Teitelbaum, which allows for the investigation of the integral property. As an application, we give a certain integral basis of the space of $K$-locally analytic functions on the ring of integers $\mathcal{O}_K$ for any finite extension $K$ of $\mathbb{Q}_p$, generalizing the basis constructed by Amice for locally analytic functions on $\mathbb{Z}_p$. We also use our result to prove congruences of Bernoulli-Hurwitz numbers at non-ordinary (i.e. supersingular) primes originally investigated by Katz and Chellali. △ Less

Submitted 27 March, 2015; v1 submitted 28 April, 2008; originally announced April 2008.

Comments: 26 pages. v3. rewrote the introduction. Minor corrections

MSC Class: 11S40

Journal ref: Annales de L'Institut Fourier, Vol. 66 no. 2 (2016)

On the de Rham and p-adic realizations of the Elliptic Polylogarithm for CM elliptic curves

Authors: Kenichi Bannai, Shinichi Kobayashi, Takeshi Tsuji

Abstract: In this paper, we give an explicit description of the de Rham and p-adic polylogarithms for elliptic curves using the Kronecker theta function. We prove in particular that when the elliptic curve has complex multiplication and good reduction at p, then the specializations to torsion points of the p-adic elliptic polylogarithm are related to p-adic Eisenstein-Kronecker numbers, proving a p-adic a… ▽ More In this paper, we give an explicit description of the de Rham and p-adic polylogarithms for elliptic curves using the Kronecker theta function. We prove in particular that when the elliptic curve has complex multiplication and good reduction at p, then the specializations to torsion points of the p-adic elliptic polylogarithm are related to p-adic Eisenstein-Kronecker numbers, proving a p-adic analogue of the result of Beilinson and Levin expressing the complex elliptic polylogarithm in terms of Eisenstein-Kronecker-Lerch series. Our result is valid even if the elliptic curve has supersingular reduction at p. △ Less

Submitted 13 October, 2008; v1 submitted 11 November, 2007; originally announced November 2007.

Comments: 61 pages, v2. Sections concerning the Hodge realization was moved to the appendix

MSC Class: 11G55; 11G07; 11G15; 14F30; 14G10

Journal ref: Annales scientifiques de l'ENS 43, fascicule 2 (2010), 185--234

Algebraic theta functions and Eisenstein-Kronecker numbers

Authors: Kenichi Bannai, Shinichi Kobayashi

Abstract: In this paper, we give an overview of our previous paper concerning the investigation of the algebraic and $p$-adic properties of Eisenstein-Kronecker numbers using Mumford's theory of algebraic theta functions. In this paper, we give an overview of our previous paper concerning the investigation of the algebraic and $p$-adic properties of Eisenstein-Kronecker numbers using Mumford's theory of algebraic theta functions. △ Less

Submitted 5 September, 2007; originally announced September 2007.

Comments: 13 pages, on algebraic number theory and related topics (conference at RIMS, Kyoto, 2006)

MSC Class: 14K22; 11G40

p-adic elliptic polylogarithm, p-adic Eisenstein series and Katz measure

Authors: Kenichi Bannai, Guido Kings

Abstract: The specializations of the motivic elliptic polylog are called motivic Eisenstein classes. For applications to special values of L-Functions, it is important to compute the realizations of these classes. In this paper, we prove that the syntomic realization of the motivic Eisenstein classes, restricted to the ordinary locus of the modular curve, may be expressed using p-adic Eisenstein-Kronecker… ▽ More The specializations of the motivic elliptic polylog are called motivic Eisenstein classes. For applications to special values of L-Functions, it is important to compute the realizations of these classes. In this paper, we prove that the syntomic realization of the motivic Eisenstein classes, restricted to the ordinary locus of the modular curve, may be expressed using p-adic Eisenstein-Kronecker series. These p-adic modular forms are defined using the two-variable p-adic measure with values in p-adic modular forms constructed by Katz. △ Less

Submitted 25 July, 2007; originally announced July 2007.

Comments: 40 pages

Journal ref: Amer. J. Math vol. 132, no. 6, (2010) 1609-1654

Algebraic theta functions and p-adic interpolation of Eisenstein-Kronecker numbers

Authors: Kenichi Bannai, Shinichi Kobayashi

Abstract: We study the properties of Eisenstein-Kronecker numbers, which are related to special values of Hecke $L$-function of imaginary quadratic fields. We prove that the generating function of these numbers is a reduced (normalized or canonical in some literature) theta function associated to the Poincare bundle of an elliptic curve. We introduce general methods to study the algebraic and $p$-adic pro… ▽ More We study the properties of Eisenstein-Kronecker numbers, which are related to special values of Hecke $L$-function of imaginary quadratic fields. We prove that the generating function of these numbers is a reduced (normalized or canonical in some literature) theta function associated to the Poincare bundle of an elliptic curve. We introduce general methods to study the algebraic and $p$-adic properties of reduced theta functions for CM abelian varieties. As a corollary, when the prime $p$ is ordinary, we give a new construction of the two-variable $p$-adic measure interpolating special values of Hecke $L$-functions of imaginary quadratic fields, originally constructed by Manin-Vishik and Katz. Our method via theta functions also gives insight for the case when $p$ is supersingular. The method of this paper will be used in subsequent papers to study the precise $p$-divisibility of critical values of Hecke $L$-functions associated to Hecke characters of quadratic imaginary fields for supersingular $p$, as well as explicit calculation in two-variables of the $p$-adic elliptic polylogarithm for CM elliptic curves. △ Less

Submitted 11 December, 2007; v1 submitted 5 October, 2006; originally announced October 2006.

Comments: 55 pages, 2 figures. Minor misprints and errors were corrected

MSC Class: 14K22; 11G40

Journal ref: Duke Math. J. 153, no. 2 (2010), 229-295