Related papers: The existence of higher logarithms
We generalize the logarithmic decomposition theorem of Deligne-Illusie to a filtered version. There are two applications. The easier one provides a mod $p$ proof for a vanishing theorem in characteristic zero. The deeper one gives rise to a…
In this paper, we present a generalisation of a theorem of David and Rob Pollack. In 'A construction of rigid analytic cohomology classes for congruence subgroups of SL(3,Z)', they give a very general argument for lifting ordinary…
The purpose of this paper is to provide a cohomology of $n$-Hom-Leibniz algebras. Moreover, we study some higher operations on cohomology spaces and deformations.
Higher order derivatives of functions are structured high dimensional objects which lend themselves to many alternative representations, with the most popular being multi-index, matrix and tensor representations. The choice between them…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…
The paper gives a precise asymptotic relation between higher order logarithmic difference and logarithmic derivatives for meromorphic functions with order strictly less then one. This allows us to formulate a useful Wiman-Valiron type…
We introduce and solve an infinite class of loop integrals which generalises the well-known ladder series. The integrals are described in terms of single-valued polylogarithmic functions which satisfy certain differential equations. The…
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…
A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…
We prove the universality theorem for the iterated integrals of logarithms of $L$-functions in the Selberg class on some line parallel to the real axis.
We present a version of arithmetic in all finite types which allows for a definition of equality at higher types for which all congruence are derivable, for which the soundness of the Dialectica interpretation is provable inside the system…
Extending Eilenberg-Mac Lane's methods, higher level cohomologies for commutative monoids are introduced and studied. Relationships with pre-existing theories (Leech, Grillet, ...) are stated. The paper includes a cohomological…
We give a simple axiomatic description of the degree 0 part of the polylogarithm on abelian schemes and show that its realisation in analytic Deligne cohomology can be described in terms of the Bismut-K\"ohler higher analytic torsion form…
We introduce a class of functions which constitutes an obvious elliptic generalization of multiple polylogarithms. A subset of these functions appears naturally in the \epsilon-expansion of the imaginary part of the two-loop massive sunrise…
A classical result in descriptive complexity theory states that Datalog expresses exactly the class of polynomially computable queries on ordered databases. In this paper we extend this result to the case of higher-order Datalog. In…
Relations among integrals of logarithms, polylogarithms and Euler sums are presented. A unifying element being the introduction of Nielsen's generalized polylogarithms.
We prove a uniqueness theorem for an entire function, which shares certain values with its higher order derivatives.
We show that the description of Deligne--Beilinson cohomology is improved by using log Hodge theory. We consider the log relative version of it, and also present a fundamental conjecture in log Hodge theory.
We introduce a moving average summability method, which is proved to be equivalent with the logarithmic $\ell$-method. Several equivalence and Tauberian theorems are given. A strong law of large numbers is also proved.
Within the framework of computable infinitary continuous logic, we develop a system of hyperarithmetic numerals. These numerals are infinitary sentences in a metric language $L$ that have the same truth value in every interpretation of $L$.…