Showing 1–19 of 19 results for author: Kuehn, U

On post-Lie structures for free Lie algebras

Authors: Annika Burmester, Ulf Kühn

Abstract: We study post-Lie structures on free Lie algebras, the Grossman-Larson product on their enveloping algebras, and provide an abstract formula for its dual coproduct. This might be of interest for the general theory of post-Hopf algebras. Using a magmatic approach, we explore post-Lie algebras connected to multiple zeta values and their $q$-analogues. For multiple zeta values, this framework yields… ▽ More We study post-Lie structures on free Lie algebras, the Grossman-Larson product on their enveloping algebras, and provide an abstract formula for its dual coproduct. This might be of interest for the general theory of post-Hopf algebras. Using a magmatic approach, we explore post-Lie algebras connected to multiple zeta values and their $q$-analogues. For multiple zeta values, this framework yields an algebraic interpretation of the Goncharov coproduct. Assuming that the Bernoulli numbers satisfy the so called threshold shuffle identities, we present a post-Lie structure, whose induced Lie bracket we expect to restrict to the dual of indecomposables of multiple $q$-zeta values. Our post-Lie algebras align with Ecalle's theory of bimoulds: we explicitly identify the ari bracket with a post-Lie structure on a free Lie algebra, and conjecture a correspondence for the uri bracket. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Comments: Comments are welcome

AGZT-Lectures on formal multiple zeta values

Authors: Annika Burmester, Niclas Confurius, Ulf Kühn

Abstract: Formal multiple zeta values allow to study multiple zeta values by algebraic methods in a way that the open question about their transcendence is circumvented. In this note we show that Hoffman's basis conjecture for formal multiple zeta values is implied by the free odd generation conjecture for the double shuffle Lie algebra. We use the concept of a post-Lie structure for a convenient approach t… ▽ More Formal multiple zeta values allow to study multiple zeta values by algebraic methods in a way that the open question about their transcendence is circumvented. In this note we show that Hoffman's basis conjecture for formal multiple zeta values is implied by the free odd generation conjecture for the double shuffle Lie algebra. We use the concept of a post-Lie structure for a convenient approach to the multiplication on the double shuffle group. From this, we get a coaction on the algebra of formal multiple zeta values. This in turn allows us to follow the proof of Brown's celebrated and unconditional theorem for the same result in the context of motivic multiple zeta values. We need the free odd generation conjecture twice: at first it gives a formula for the graded dimensions and secondly it is a key to derive a lift of the Zagier formula to the formal context. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: Comments are welcome

Realizations of the formal double Eisenstein space

Authors: Henrik Bachmann, Ulf Kühn, Nils Matthes

Abstract: We introduce the formal double Eisenstein space $\mathcal{E}_k$, which is a generalization of the formal double zeta space $\mathcal{D}_k$ of Gangl-Kaneko-Zagier, and prove analogues of the sum formula and parity result for formal double Eisenstein series. We show that $\mathbb Q$-linear maps $\mathcal{E}_k\rightarrow A$, for some $\mathbb Q$-algebra $A$, can be constructed from formal Laurent ser… ▽ More We introduce the formal double Eisenstein space $\mathcal{E}_k$, which is a generalization of the formal double zeta space $\mathcal{D}_k$ of Gangl-Kaneko-Zagier, and prove analogues of the sum formula and parity result for formal double Eisenstein series. We show that $\mathbb Q$-linear maps $\mathcal{E}_k\rightarrow A$, for some $\mathbb Q$-algebra $A$, can be constructed from formal Laurent series (with coefficients in $A$) that satisfy the Fay identity. As the prototypical example, we define the Kronecker realization $ρ^{\mathfrak{K}}: \mathcal{E}_k\rightarrow \mathbb Q[[q]]$, which lifts Gangl-Kaneko-Zagier's Bernoulli realization $ρ^B: \mathcal{D}_k\rightarrow \mathbb Q$, and whose image consists of quasimodular forms for the full modular group. As an application to the theory of modular forms, we obtain a purely combinatorial proof of Ramanujan's differential equations for classical Eisenstein series. △ Less

Submitted 4 April, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 16 pages, comments welcome! (V2: Typos corrected in Prop. 2.5,2.7 and 4.1)

MSC Class: 11M32; 11F11

A dimension conjecture for q-analogues of multiple zeta values

Authors: Henrik Bachmann, Ulf Kuehn

Abstract: We study a class of q-analogues of multiple zeta values given by certain formal q-series with rational coefficients. After introducing a notion of weight and depth for these q-analogues of multiple zeta values we present dimension conjectures for the spaces of their weight- and depth-graded parts, which have a similar shape as the conjectures of Zagier and Broadhurst-Kreimer for multiple zeta valu… ▽ More We study a class of q-analogues of multiple zeta values given by certain formal q-series with rational coefficients. After introducing a notion of weight and depth for these q-analogues of multiple zeta values we present dimension conjectures for the spaces of their weight- and depth-graded parts, which have a similar shape as the conjectures of Zagier and Broadhurst-Kreimer for multiple zeta values. △ Less

Submitted 24 August, 2017; originally announced August 2017.

Comments: 22 pages

MSC Class: 11M32; 13J05

A geometric approach to constructing elements of $K_2$ of curves

Authors: Ulf Kühn, J. Steffen Müller

Abstract: We present a framework for constructing examples of smooth projective curves over number fields with explicitly given elements in their second K-group using elementary algebraic geometry. This leads to new examples for hyperelliptic curves and smooth plane quartics. Moreover, we show that most previously known constructions can be reinterpreted using our framework. We present a framework for constructing examples of smooth projective curves over number fields with explicitly given elements in their second K-group using elementary algebraic geometry. This leads to new examples for hyperelliptic curves and smooth plane quartics. Moreover, we show that most previously known constructions can be reinterpreted using our framework. △ Less

Submitted 7 April, 2015; originally announced April 2015.

Comments: 25 pages, 5 figures

MSC Class: 19E08; 11G30; 14H25

A short note on a conjecture of Okounkov about a q-analogue of multiple zeta values

Authors: Henrik Bachmann, Ulf Kuehn

Abstract: In [Ok] Okounkov studies a specific $q$-analogue of multiple zeta values and makes some conjectures on their algebraic structure. In this note we compare Okounkovs $q$-analogues to the generating function for multiple divisor sums defined in [BK1]. We also state a conjecture on their dimensions that complements Okounkovs conjectural formula and present some numerical evidences for it. In [Ok] Okounkov studies a specific $q$-analogue of multiple zeta values and makes some conjectures on their algebraic structure. In this note we compare Okounkovs $q$-analogues to the generating function for multiple divisor sums defined in [BK1]. We also state a conjecture on their dimensions that complements Okounkovs conjectural formula and present some numerical evidences for it. △ Less

Submitted 12 December, 2016; v1 submitted 25 July, 2014; originally announced July 2014.

The singularities of the invariant metric on the line bundle of Jacobi forms

Authors: José Burgos, Ulf Kühn, Jürg Kramer

Abstract: A theorem by Mumford implies that every automorphic line bundle on a pure open Shimura variety, equipped with an invariant smooth metric, can be uniquely extended as a line bundle on a toroidal compactification of the variety, in such a way that the metric acquires only logarithmic singularities. This result is the key of being able to compute arithmetic intersection numbers from these line bundle… ▽ More A theorem by Mumford implies that every automorphic line bundle on a pure open Shimura variety, equipped with an invariant smooth metric, can be uniquely extended as a line bundle on a toroidal compactification of the variety, in such a way that the metric acquires only logarithmic singularities. This result is the key of being able to compute arithmetic intersection numbers from these line bundles. Hence it is natural to ask whether Mumford's result remains valid for line bundles on mixed Shimura varieties. In this paper we examine the simplest case, namely the sheaf of Jacobi forms on the universal elliptic curve. We show that Mumford's result cannot be extended directly to this case and that a new interesting kind of singularities appears. By using the theory of b-divisors, we show that an analogue of Mumford's extension theorem can be obtained. We also show that this extension is meaningful because it satisfies Chern-Weil theory and a Hilbert-Samuel type of formula. △ Less

Submitted 13 May, 2014; originally announced May 2014.

MSC Class: 11F50 14k10 14g35

The algebra of generating functions for multiple divisor sums and applications to multiple zeta values

Authors: Henrik Bachmann, Ulf Kuehn

Abstract: We study the algebra MD of generating function for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in Q arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra MD is a filtered algebra equipped with a derivation and use this deri… ▽ More We study the algebra MD of generating function for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in Q arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra MD is a filtered algebra equipped with a derivation and use this derivation to prove linear relations in MD. The (quasi-)modular forms for the full modular group Sl_2(Z) constitute a sub-algebra of MD this also yields linear relations in MD. Generating functions of multiple divisor sums can be seen as a q-analogue of multiple zeta values. Studying a certain map from this algebra into the real numbers we will derive a new explanation for relations between multiple zeta values, including those in length 2, coming from modular forms. △ Less

Submitted 25 July, 2014; v1 submitted 16 September, 2013; originally announced September 2013.

Comments: Some new results added, notation slightly changed and minor mistakes were corrected

A height inequality for rational points on elliptic curves implied by the abc-conjecture

Authors: Ulf Kühn, J. Steffen Müller

Abstract: In this short note we show that the uniform abc-conjecture over number fields puts strong restrictions on the coordinates of rational points on elliptic curves. For the proof we use a variant of the uniform abc-conjecture over number fields formulated by Mochizuki. As an application, we generalize a result of Silverman on elliptic non-Wieferich primes. In this short note we show that the uniform abc-conjecture over number fields puts strong restrictions on the coordinates of rational points on elliptic curves. For the proof we use a variant of the uniform abc-conjecture over number fields formulated by Mochizuki. As an application, we generalize a result of Silverman on elliptic non-Wieferich primes. △ Less

Submitted 12 November, 2012; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: 6 pages. Fixed typos, added more references and an application to elliptic non-Wieferich primes

MSC Class: 11G05; 11G50

On Kudla's Green function for signature (2,2) Part II

Authors: Rolf Berndt, Ulf Kuehn

Abstract: Around 2000 Kudla presented conjectures about deep relations between arithmetic intersection theory, Eisenstein series and their derivatives, and special values of Rankin $L-$series. The aim of this text is to work out the details of an old unpublished draft on the second author's attempt to prove these conjectures for the case of the product of two modular curves. In part one we proved that the… ▽ More Around 2000 Kudla presented conjectures about deep relations between arithmetic intersection theory, Eisenstein series and their derivatives, and special values of Rankin $L-$series. The aim of this text is to work out the details of an old unpublished draft on the second author's attempt to prove these conjectures for the case of the product of two modular curves. In part one we proved that the generating series of certain modified arithmetic special cycles is as predicted by Kudla's conjectures a modular form with values in the first arithmetic Chow group. Here we pair this generating series with the square of the first arithmetic Chern class of the line bundle of modular forms. Up to previously known Faltings heights of Hecke correspondences only integrals of the Green functions $Ξ(m)$ over $X$ had to be computed. The resulting arithmetic intersection numbers turn out to be as predicted by Kudla to be strongly related to the Fourier coefficients of the derivative of the classical real analytic Eisenstein series $E_2(τ, s)$. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: Part I: http://xxx.uni-augsburg.de/abs/1205.6417

On Kudla's Green function for signature (2,2), part I

Authors: Rolf Berndt, Ulf Kuehn

Abstract: Around 2000 Kudla presented conjectures about deep relations between arithmetic intersection theory, Eisenstein series and their derivatives, and special values of Rankin L-series. The aim of this text is to work out the details of an old unpublished draft on the second authors attempt to prove these conjectures for the case of the product of two modular curves. The mayor difficulties in our situa… ▽ More Around 2000 Kudla presented conjectures about deep relations between arithmetic intersection theory, Eisenstein series and their derivatives, and special values of Rankin L-series. The aim of this text is to work out the details of an old unpublished draft on the second authors attempt to prove these conjectures for the case of the product of two modular curves. The mayor difficulties in our situation are of analytical nature, therefore this text assembles some material concerning Kudla's Green function associated to this situation. We present a mild modification of this Green function that satisfies the requirements of being a Green function in the sense of Arakelov theory on the natural compactification in addition. Only this allows us to define arithmetic special cycles. We then prove that the generating series of those modified arithmetic special cycles is as predicted by Kudla's conjectures a modular form with values in the first arithmetic Chow group. △ Less

Submitted 29 May, 2012; originally announced May 2012.

Lower bounds on the arithmetic self-intersection number of the relative dualizing sheaf on arithmetic surfaces

Authors: Ulf Kühn, Jan Steffen Müller

Abstract: We give an explicitly computable lower bound for the arithmetic self-intersection number of the dualizing sheaf on a large class of arithmetic surfaces. If some technical conditions are satisfied, then this lower bound is positive. In particular, these technical conditions are always satisfied for minimal arithmetic surfaces with simple multiplicities and at least one reducible fiber, but we have… ▽ More We give an explicitly computable lower bound for the arithmetic self-intersection number of the dualizing sheaf on a large class of arithmetic surfaces. If some technical conditions are satisfied, then this lower bound is positive. In particular, these technical conditions are always satisfied for minimal arithmetic surfaces with simple multiplicities and at least one reducible fiber, but we have also used our techniques to obtain lower bounds for some arithmetic surfaces with non-reduced fibers. △ Less

Submitted 19 July, 2013; v1 submitted 15 May, 2012; originally announced May 2012.

Comments: 24 pages, 2 figures. Heavily restructured, local and global parts are now separated. Also added computations of our lower bounds for genus 2 reduction types and modular curves X1(N) for certain N

MSC Class: 14G40; 11G50; 11G30; 14H25

On the arithmetic self-intersection numbers of the dualizing sheaf for Fermat curves of prime exponent

Authors: Christian Curilla, Ulf Kuehn

Abstract: In this article we improve the upper bound for the arithmetic self-intersection number of the dualizing sheaf of the minimal regular model for the Fermat curves $F_p$ of prime exponent. In this article we improve the upper bound for the arithmetic self-intersection number of the dualizing sheaf of the minimal regular model for the Fermat curves $F_p$ of prime exponent. △ Less

Submitted 21 June, 2009; originally announced June 2009.

On the arithmetic self-intersection number of the dualizing sheaf on arithmetic surfaces

Authors: Ulf Kuehn

Abstract: We study the arithmetic self-intersection number of the dualizing sheaf on arithmetic surfaces with respect to morphisms of a particular kind. We obtain upper bounds for the arithmetic self-intersection number of the dualizing sheaf on minimal regular models of the modular curves associated with congruence subgroups $Γ_0(N)$ with square free level, as well as for the modular curves X(N) and the Fe… ▽ More We study the arithmetic self-intersection number of the dualizing sheaf on arithmetic surfaces with respect to morphisms of a particular kind. We obtain upper bounds for the arithmetic self-intersection number of the dualizing sheaf on minimal regular models of the modular curves associated with congruence subgroups $Γ_0(N)$ with square free level, as well as for the modular curves X(N) and the Fermat curves with prime exponent. △ Less

Submitted 14 August, 2013; v1 submitted 11 June, 2009; originally announced June 2009.

Comments: slightly changed version

MSC Class: 14G40; 11G18; 11G30

On scattering constants for a non-congruence subgroup

Authors: Vincenz Busch, Ulf Kuehn, Anna Posingies

Abstract: Scattering constants are special values of Dirichlet series associated to non-holomorphic Eisenstein series. In this paper we give closed formulas for the scattering constants related to a non-congruence subgroup obtained via a Belyi map of an elliptic curve. Scattering constants are special values of Dirichlet series associated to non-holomorphic Eisenstein series. In this paper we give closed formulas for the scattering constants related to a non-congruence subgroup obtained via a Belyi map of an elliptic curve. △ Less

Submitted 8 June, 2009; originally announced June 2009.

MSC Class: 14G40; 11G05; 11G50; 11M36

Arithmetic characteristic classes of automorphic vector bundles

Authors: J. I. Burgos Gil, J. Kramer, U. Kuehn

Abstract: We develop a theory of arithmetic characteristic classes of (fully decomposed) automorphic vector bundles equipped with an invariant hermitian metric. These characteristic classes have values in an arithmetic Chow ring constructed by means of differential forms with certain log-log type singularities. We first study the cohomological properties of log-log differential forms, prove a Poincaré lem… ▽ More We develop a theory of arithmetic characteristic classes of (fully decomposed) automorphic vector bundles equipped with an invariant hermitian metric. These characteristic classes have values in an arithmetic Chow ring constructed by means of differential forms with certain log-log type singularities. We first study the cohomological properties of log-log differential forms, prove a Poincaré lemma for them and construct the corresponding arithmetic Chow groups. Then we introduce the notion of log-singular hermitian vector bundles, which is a variant of the good hermitian vector bundles introduced by Mumford, and we develop the theory of arithmetic characteristic classes. Finally we prove that the hermitian metrics of automorphic vector bundles considered by Mumford are not only good but also log-singular. The theory presented here provides the theoretical background which is required in the formulation of the conjectures of Maillot-Roessler in the semi-abelian case and which is needed to extend Kudla's program about arithmetic intersections on Shimura varieties to the non compact case. △ Less

Submitted 4 February, 2005; originally announced February 2005.

Comments: 104 pages

MSC Class: 14G40; 14G35; 14C17; 14C30; 11G18

Cohomological arithmetic Chow rings

Authors: J. I. Burgos Gil, J. Kramer, U. Kuehn

Abstract: We develop a theory of abstract arithmetic Chow rings where the role of the fibers at infinity is played by a complex of abelian groups that computes a suitable cohomology theory. This theory allows the construction of many variants of the arithmetic Chow groups with different properties. As particular cases of this formalism we recover the original arithmetic intersection theory of Gillet and S… ▽ More We develop a theory of abstract arithmetic Chow rings where the role of the fibers at infinity is played by a complex of abelian groups that computes a suitable cohomology theory. This theory allows the construction of many variants of the arithmetic Chow groups with different properties. As particular cases of this formalism we recover the original arithmetic intersection theory of Gillet and Soulé for projective varieties, we introduce a theory of arithmetic Chow groups which are covariant with respect to arbitrary proper morphisms, and we develop a theory of arithmetic Chow rings using a complex of differential forms with log-log singularities along a fixed normal crossings divisor. This last theory is suitable for the study of automorphic line bundles. In particular, we generalize the classical Faltings height with respect to a logarithmically singular hermitian line bundle to higher dimensional cycles. As an application we compute the Faltings height of Hecke correspondences on a product of modular curves. △ Less

Submitted 9 November, 2005; v1 submitted 6 April, 2004; originally announced April 2004.

Comments: Minor errors and typos corrected; extended introduction; references added

MSC Class: 14G40 14G35 14C17 14C30 11G18

Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

Authors: Jan H. Bruinier, Jose I. Burgos Gil, Ulf Kuehn

Abstract: We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight two. Moreover, we determine the arithmetic self-intersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and study Falt… ▽ More We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight two. Moreover, we determine the arithmetic self-intersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and study Faltings heights of arithmetic Hirzebruch-Zagier divisors. △ Less

Submitted 28 September, 2004; v1 submitted 14 October, 2003; originally announced October 2003.

Comments: 71 pages, Theorems 6.7 and 6.8 added, references updated, some typos removed

MSC Class: 11F41; 14C17; 14G40; 14C20; 11G18

Integrals of automorphic Green's functions associated to Heegner divisors

Authors: Jan Hendrik Bruinier, Ulf Kuehn

Abstract: In the present paper we find explicit formulas for the degrees of Heegner divisors on arithmetic quotients of the orthogonal group $\Orth(2,p)$ and for the integrals of certain automorphic Green's functions associated with Heegner divisors. The latter quantities are important in the study of the arithmetic degrees of Heegner divisors in the context of Arakelov geometry. In particular, we obtain… ▽ More In the present paper we find explicit formulas for the degrees of Heegner divisors on arithmetic quotients of the orthogonal group $\Orth(2,p)$ and for the integrals of certain automorphic Green's functions associated with Heegner divisors. The latter quantities are important in the study of the arithmetic degrees of Heegner divisors in the context of Arakelov geometry. In particular, we obtain a different proof and a generalization of results of Kudla relating these quantities to the Fourier coefficients of certain non-holomorphic Eisenstein series of weight $1+p/2$ for the metaplectic group $\Mp_2(\Z)$. △ Less

Submitted 12 December, 2002; v1 submitted 9 April, 2002; originally announced April 2002.

Comments: 36 pages, references updated, proofs of Theorem 4.7 and Proposition 4.8 improved

MSC Class: 11F55; 11G18