Related papers: Arithmetic of function field units
We give a new proof of an approximate functional equation, due to J. R. Wilton, for a trigonometric sum involving the divisor function. This allows us to improve on Wilton's error term and to give an explicit formula for an unspecified…
Hilbert's Satz 90 tells us that for a given cyclic extension $K/k$, a unit of norm $1$ in $K$ can be written as a quotient of conjugate elements in $K$. For the extensions $\mathbb{Q}(\zeta_p)/\mathbb{Q}$ with $p$ prime $> 3$, Newman proved…
We formulate two conjectures about etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique Z-form of the etale cohomology of complex algebraic varieties, up…
We develop Kummer theory for algebraic function fields in finitely many transcendental variables. We consider any finitely generated Kummer extension (possibly, over a cyclotomic extension) of an algebraic function field, and describe the…
The classification of Grassmannian cluster algebras resembles that of regular polygonal tilings. We conjecture that this resemblance may indicate a deeper connection between these seemingly unrelated structures.
We describe a new source of counterexamples to the so-called integral Hodge and integral Tate conjectures. As in the other known counterexamples to the integral Tate conjecture over finite fields, ours are approximations of the classifying…
In a recent paper, Rose proves that certain generalized sum-of-divisor functions are quasi-modular forms for some congruence subgroup and conjectures that these forms are quasi-modular for $\Gamma_1(n)$. Here, we prove this conjecture.
In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the…
Assuming the Generalized Riemann Hypothesis, we provide uniform upper bounds with explicit main terms for moduli of $\left(\cL'/\cL\right)(s)$ and $\log{\cL(s)}$ for $1/2+\delta\leq\sigma<1$, fixed $\delta\in(0,1/2)$ and for functions in…
Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…
Using a generalized Littlewood theorem concerning integrals of the logarithm of analytical functions, we have established a few equalities involving integrals of the logarithm of the Riemann Zeta-function and have rigorously proven that…
We prove that the ideal used in recent works to categorify the cyclotomic integers is generated by a cyclotomic polynomial. Moreover, we publish a proof by T. Ekedahl that the $q$-binomial relations used in the tensor product of…
This is the revised version of the second paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory,…
Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…
In 2019, Zhi-Wei Sun posed an interesting conjecture on certain determinants with Legendre symbol entries. In this paper, by using the arithmetic properties of $p$-th cyclotomic field and the finite field $\mathbb{F}_p$, we confirm this…
We give an a geometric interpretation of the Hasse-Arf theorem for function fields using the recently proved Oort conjecture.
In this note, we give a shorter proof of the result of Zheng, Yu, and Pei on the explicit formula of inverses of generalized cyclotomic permutation polynomials over finite fields. Moreover, we characterize all these cyclotomic permutation…
We define evaluation forms associated to objects in a module subcategory of Ext-symmetry generated by finitely many simple modules over a path algebra with relations and prove a multiplication formula for the product of two evaluation…
We extend the circle of ideas from a previous paper on hypersurfaces to functions $f \colon (\mathbb C^n, 0) \to (\mathbb C^k, 0)$ with an isolated singularity in a stratified sense on an arbitrary, but fixed complex analytic germ $(X, 0)$.…
We prove that two arithmetically significant extensions of a field F coincide if and only if the Witt ring WF is a group ring Z/n[G]. Furthermore, working modulo squares with Galois groups which are 2-groups, we establish a theorem…