Search arXivSearch

arXiv subjects

Lin Weng

Publications and source records attributed to Lin Weng.

At least 19 recordsLinked to original sources

Murmurations and Sato-Tate Conjectures for High Rank Zetas of Elliptic Curves II: Beyond Riemann Hypothesis

As a continuation of our earlier paper, we offer a new approach to murmurations and Sato-Tate laws for higher rank zetas of elliptic curves. Our approach here does not depend on the Riemann hypothesis for the so-called a-invariant in rank n>2 even for the Sato-Tate law, rather, on a much refined structure, a similar version of which was already observed by Zagier and the senior author when the rank n Riemann hypothesis was established. Namely, instead of the rank n Riemann hypothesis bounds, we use much stronger asymptotic bounds. Accordingly, rank n Sato-Tate law can be established and rank n murmuration can be formulated equally well, similar to the corresponding structures in the abelian framework for Artin zetas of elliptic curves.

math.NT

Murmurations and Sato-Tate Conjectures for High Rank Zetas of Elliptic Curves

For elliptic curves over rationals, there are a well-known conjecture of Sato-Tate and a new computational guided murmuration phenomenon, for which the abelian Hasse-Weil zeta functions are used. In this paper, we show that both the murmurations and the Sato-Tate conjecture stand equally well for non-abelian high rank zeta functions of the p-reductions of elliptic curves over rationals.

math.NT

Derived Zeta Functions for Curves over Finite Fields

For each $(m+1)$-tuple ${\bf n}_m=(n_0,n_1,\ldots,n_m)$ of positive integers, the ${\bf n}_m$-derived zeta function $\widehat\zeta_{X,\mathbb F_q}^{\,({\bf n}_m)}(s)$ is defined for a curve $X$ over $\mathbb F_q$. This derived zeta function satisfies standard zeta properties. In particular, similar to the Artin Zeta function of $X/\mathbb F_q$, this ${\bf n}_m$-derived Zeta function of $X$ over $\mathbb F_q$ is a ratio of a degree $2g$ polynomial $P_{X,\mathbb F_q}^{({\bf n}_m)}$ in $T_{{\bf n}_m}=q^{-s\prod_{k=0}^mn_k}$ by $(1-T_{{\bf n}_m})(1-q_{{\bf n}_m}T_{{\bf n}_m})T_{{\bf n}_m}^{g-1}$ with $q_{{\bf n}_m}=q^{\prod_{k=0}^mn_k}$. Indeed, we have $$\begin{aligned} &\widehat \zeta_{X,\mathbb F_q}^{\,({\bf n}_{m})}(s)=\widehat Z_{X,\mathbb F_q}^{\,({\bf n}_{m})}(T_{{\bf n}_{m}})\\ =& \left(\sum_{\ell=0}^{g-2}\alpha_{X,\mathbb F_q}^{({\bf n}_{m})}(\ell)\Big(T_{{\bf n}_{m}}^{\ell-(g-1)}+q_{{\bf n}_{m}}^{(g-1)-\ell}T_{{\bf n}_{m}}^{(g-1)-\ell}\Big) +\alpha_{X,\mathbb F_q}^{({\bf n}_{m})}(g-1))\Big)\right)+\frac{(q_{{\bf n}_{m}}-1)T_{{\bf n}_{m}}\beta_{X,\mathbb F_q}^{({\bf n}_{m})}}{(1-T_{{\bf n}_{m}})(1-q_{{\bf n}_{m}}T_{{\bf n}_{m}})}\\ \end{aligned}$$ for some ${\bf n}_m$-derived alpha and beta invariants of $X/\mathbb F_q$. Furthermore, when $X$ restrict to an elliptic curve, or when ${\bf n}_m=(2,2,\ldots 2)$, established is the ${\bf n}_m$-derived Riemann hypothesis claiming that all zeros of $\widehat \zeta_{X,\mathbb F_q}^{\,({\bf n}_{m})}(s)$ lie on the central line $\Re(s)=\frac{1}{2}$. In addition, formulated is the Positivity Conjecture claiming that the above ${\bf n}_m$-derived alpha and beta invariants are all strict positivity.

math.AG

Riemann Hypothesis for Non-Abelian Zeta Functions of Curves over Finite Fields

In this paper, we develop some basic techniques towards the Riemann hypothesis for higher rank non-abelian zeta functions of an integral regular projective curve of genus $g$ over a finite field $\mathbb F_q$. As an application of the Riemann hypothesis for these genuine zeta functions, we obtain some explicit bounds on the fundamental non-abelian $\alpha$- and $\beta$-invariants of $X/\mathbb F_q$ in terms of $X$ and $n,\, q$ and $g$: $$\alpha_{X,\mathbb F_q;n}(mn) = \sum_{V}\frac{q^{h^0(X,V)}-1}{\#\mathrm{Aut}(V)} \qquad{\rm and}\qquad \beta_{X,\mathbb F_q;n}(mn ):= \sum_{V}\frac{1}{\#{\mathrm Aut}(V)}\qquad(m\in \mathbb Z)$$ where $V$ runs through all rank $n$ semi-stable $\mathbb F_q$-rational vector bundles on $X$ of degree $mn$. In particular, $$ \prod_{k=1}^{n}\frac{\ \big( \sqrt q^k-1\big)^{2g-1}\ }{(\sqrt q^k+1)}\leq q^{-\binom{n}{2}(g-1)} \beta_{X,\mathbb F_q;n}(0) \leq \prod_{k=1}^{n}\frac{\ \big( 1+\sqrt q^k\big)^{2g-1}\ }{(\sqrt q^k-1)}, $$ Finally, we demonstrate that the related bounds in lower ranks in turn play a central role in establishing the Riemann hypothesis for higher rank zetas.

math.AG

Arithmetic Characteristic Curves

For a split reductive group defined over a number field, we first introduce the notations of arithmetic torsors and arithmetic Higgs torsors. Then we construct arithmetic characteristic curves associated to arithmetic Higgs torsors, based on the Chevalley characteristic morphism and the existence of Chevalley basis for the associated Lie algebra. As to be expected, this work is motivated by the works of Beauville-Narasimhan on spectral curves and Donagi-Gaistgory on cameral curves in algebraic geometry. In the forthcoming papers, we will use arithmetic characteristic curves to construct arithmetic Hitchin fibrations and study the intersection homologies and perverse sheaves for the associated structures, following Ngo's approach to the fundamental lemma.

math.AG

Non-Abelian Zeta Function, Fokker-Planck Equation and Projectively Flat Connection

Over the moduli space of rank $n$ semi-stable lattices is a universal family of tori. Along the fibers, there are natural differential operators and differential equations, particularly, the heat equations and the Fokker-Planck equations in statistical mechanics. In this paper, we explain why, by taking averages over the moduli spaces, all these are connected with the zeros of rank $n$ non-abelian zeta functions of the field of rationals, which are known lie on the central line except a finitely many if $n\geq 2$. Certainly, when $n=1$, our current work recovers that of Armitage, which from the beginning motivates ours. However, we reverse the order of the results and the hypothesis in their works, i.e. we construct averaged versions of Fokker-Planck equations using the above structure of non-abelian zeta zeros. This then leads to an infinite dimensional Hilbert vector bundle with smooth sections parametrized by non-abelian zeta zeros. We conjectures that the above structure of Fokker-Planck equation comes naturally from an \lq essential projectively flat connection' of the infinite dimensional Hilbert bundle and the above family of smooth sections are its \lq essential pro-flat sections'.

math-ph

Adelic Extension Classes, Atiyah Bundles and Non-Commutative Codes

This paper consists of three components. In the first, we give an adelic interpretation of the classical extension class associated to extension of locally free sheaves on curves. Then, in the second, we use this construction on adelic extension classes to write down explicitly adelic representors in $GL_r(A)$ for Atiyah bundles $I_r$ on elliptic curves. All these works make sense over any base fields. Finally, as an application, for $m\geq 1$, we construct the global sections of $I_r(mQ)$ in local terms and apply it to obtain rank $r$ MDS codes based on the codes spaces $C_{F;r}(D; I_r(mQ))$ introduced in our earlier paper [Codes and Stability].

cs.IT

Codes and Stability

We introduce new yet easily accessible codes for elements of $GL_r(A)$ with $A$ the adelic ring of a (dimension one) function field over a finite field. They are linear codes, and coincide with classical algebraic geometry codes when $r=1$. Basic properties of these codes are presented. In particular, when offering better bounds for the associated dimensions, naturally introduced is the well-known stability condition. This condition is further used to determine the minimal distances of these codes. To end this paper, for reader's convenience, we add two appendices on some details of the adelic theory of curves and classical AG codes, respectively.

cs.IT

H^1_ar for arithmetic surface is finite

For an arithmetic surface X and a Weil divisor $D$, there are natural arithmetic cohomology groups $H_{\mathrm{ar}}^i(X, \mathcal O_X (D))$ $(i=0,1,2)$. Using ind-pro topology on adelic space $\mathbb A_{X, 012}^{\mathrm{ar}}$, we show that $H_{\mathrm{ar}}^0(X, \mathcal O_X (D))$ is discrete, $H_{\mathrm{ar}}^1(X, \mathcal O_X (D))$ is finite, and $H_{\mathrm{ar}}^2(X, \mathcal O_X (D))$ is compact. Moreover, we prove that all possible summations of canonical subspaces $\mathbb A_{X,i}^{\mathrm{ar}}(D),$ $\mathbb A_{X, kl}^{\mathrm{ar}}(D)$ $(i,k,l=0,1,2)$ are closed in $\mathbb A_{X,012}^{\mathrm{ar}}$, and hence complete our proof of topological dualities of among $H^i_{\mathrm{ar}}$'s.

math.AG

Arithmetic Central Extensions and Reciprocity Laws for Arithmetic Surface

Three types of reciprocity laws for arithmetic surfaces are established. For these around a point or along a vertical curve, we first construct $K_2$ type central extensions, then introduce reciprocity symbols, and finally prove the law as an application of Parshin-Beilinson's theory of adelic complex. For reciprocity law along a horizontal curve, we first introduce a new type of arithmetic central extensions, then apply our arithmetic adelic cohomology theory and arithmetic intersection theory to prove the related reciprocity law. All this can be interpreted within the framework of arithmetic central extensions. We add an appendix to deal with some basic structures of such extensions.

math.AG

General Uniformity of Zeta Functions

Using analytic torsion associated to stable bundles, we introduce zeta functions for compact Riemann surfaces. To justify the well-definedness, we analyze the degenerations of analytic torsions at the boundaries of the moduli spaces, the singularities of analytic torsions at Brill-Noether loci, and the asymptotic behaviors of analytic torsions with respect to the degree. These new yet intrinsic zetas, both abelian and non-abelian, are expected to play key roles to understand global analysis and geometry of Riemann surfaces, such as the Tamagawa number conjecture for Riemann surfaces, searched by Atiyah-Bott, and the volumes formula of moduli spaces of Witten. Relating to this, in our theory on special uniformity of zetas, we will first construct a symmetric zetas based on abelian zetas and group symmetries, then conjecture that our non-abelian zetas coincide with these later zetas with symmetries. All this, together with that for zetas of number fields and function fields, then consists of our theory of general uniformity of zetas.

math.AG

Special Uniformity of Zeta Functions I. Geometric Aspect

The special uniformity of zeta functions claims that pure non-abelian zeta functions coincide with group zeta functions associated to the special linear groups. Naturally associated are three aspects, namely, the analytic, arithmetic, and geometric aspects. In the first paper of this series, we expose intrinsic geometric structures of our zetas by counting semi-stable bundles on curves defined over finite fields in terms of their automorphism groups and global sections. We show that such a counting maybe read from Artin zetas which are abelian in nature. This paper also contains an appendix written by H. Yoshida, one of the driving forces for us to seek group zetas. In this appendix, Yoshida introduces a new zeta as a function field analogue of the group zeta for SL2 for number fields and establishes the Riemann Hypothesis for it.

math.AG

Zeta functions for function fields

We introduce new non-abelian zeta functions for curves defined over finite fields. There are two types, i.e., pure non-abelian zetas defined using semi-stable bundles, and group zetas defined for pairs consisting of (reductive group, maximal parabolic subgroup). Basic properties such as rationality and functional equation are obtained. Moreover, conjectures on their zeros and uniformity are given. We end this paper with an explanation on why these zetas are non-abelian in nature, using our up-coming works on 'parabolic reduction, stability and the mass'. The constructions and results were announced in our paper on 'Counting Bundles' arXiv:1202.0869.

math.AG

Counting Bundles

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 obtained. Moreover, conjectures on their zeros and uniformity are given.

math.AG

Zeta Functions for Elliptic Curves I. Counting Bundles

To count bundles on curves, we study zetas of elliptic curves and their zeros. There are two types, i.e., the pure non-abelian zetas defined using moduli spaces of semi-stable bundles, and the group zetas defined for special linear groups. In lower ranks, we show that these two types of zetas coincide and satisfy the Riemann Hypothesis. For general cases, exposed is an intrinsic relation on automorphism groups of semi-stable bundles over elliptic curves, the so-called counting miracle. All this, together with Harder-Narasimhan, Desale-Ramanan and Zagier's result, gives an effective way to count semi-stable bundles on elliptic curves not only in terms of automorphism groups but more essentially in terms of their $h^0$'s. Distributions of zeros of high rank zetas are also discussed.

math.AG

Deligne pairing and determinant bundle

Let $X \rightarrow S$ be a smooth projective surjective morphism, where $X$ and $S$ are integral schemes over complex numbers. Let L_0, L_1, .... L_{n-1}, L_{n} be line bundles over $X$. There is a natural isomorphism of the Deligne pairing $ $ with the determinant line bundle ${\rm Det}(\otimes_{i=0}^{n} (L_i- {\mathcal O}_{X}))$.

math.AG

Geometry of Numbers

We develop a global cohomology theory for number fields by offering topological cohomology groups, an arithmetical duality, a Riemann-Roch type theorem, and two types of vanishing theorem. As applications, we study moduli spaces of semi-stable lattices, and introduce non-abelian zeta functions for number fields.

math.AG