相关论文: Irrationality proofs for zeta values, moduli space…

We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…

In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) =…

We study equivariant geometry and rationality of moduli spaces of points on the projective line, for twists associated with permutations of the points.

The purpose of this paper is two-fold. First, we consider the classical Mordell--Tornheim zeta values and their alternating version. It is well-known that these values can be expressed as rational linear combinations of multiple zeta values…

We show that, conditional on Zywina's effective version of the Serre uniformity conjecture, there is a natural way to parameterize non-CM $\mathbb{Q}$-rational points on all modular curves in terms of the rational points on finitely many…

Let G be a linear algebraic group, P be a parabolic subgroup of G and \beta be a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space…

The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is…

In this paper, we introduce zeta values of rational convex cones, which is a generalization of cyclotomic multiple zeta values. These zeta values have integral expressions. The main theorem asserts that zeta values of cones can be expressed…

A lower bound for the dimension of the $\Q$-vector space spanned by special values of a Dirichlet series with periodic coefficients is given. As a corollary, it is deduced that both special values at even integers and at odd integers…

In the proof of the irrationality of $\zeta(3)$ and $\zeta(2)$, Ap\'ery defined two integer sequences through $3$-term recurrences, which are known as the famous Ap\'ery numbers. Zagier, Almkvist--Zudilin and Cooper successively introduced…

We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but…

We introduce new genuine zetas. There are two types, i.e., the pure non- abelian zetas defined using semi-stable bundles, and the group zetas defined for reductive groups. Basic properties such as rationality and functional equation are…

The recent technique for estimating lower bounds of the prime counting function $\pi(x)=#\{p \leq x: p\text{ prime}\}$ by means of the irrationality measures $\mu(\zeta(s)) \geq 2$ of special values of the zeta function claims that $\pi(x)…

We prove the irrationality of the classical Dirichlet L-value $L(2,\chi_{-3})$. The argument applies a new kind of arithmetic holonomy bound to a well-known construction of Zagier. In fact our work also establishes the $\mathbf{Q}$-linear…

Let $A$ be a non-isotrivial almost ordinary abelian surface with possibly bad reductions over a global function field of odd characteristic $p$. Suppose $\Delta$ is an infinite set of positive integers, such that…

It is well known that sometimes Euler sums (i.e., alternating multiple zeta values) can be expressed as $\Q$-linear combinations of multiple zeta values (MZVs). In her thesis Glanois presented a criterion for motivic Euler sums to be…

We report new hypergeometric constructions of rational approximations to Catalan's constant, $\log2$, and $\pi^2$, their connection with already known ones, and underlying "permutation group" structures. Our principal arithmetic achievement…

We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.

In this article, we discuss the rationality of the Betti Series of the universal module of nth order derivations of R_{m} where m is a maximal ideal of R. We proved that if R is a coordinate ring of an affine irreducible curve and if it has…

Let C be a smooth projective curve of genus at least 2 over a field k. Given a line bundle L on C, we consider the moduli stack of rank 2n vector bundles E on C endowed with a nowhere degenerate symplectic form $b: E \otimes E \to L$ up to…