On the Goncharov's conjecture in degree $m-1$ and weight $m$

Vasily Bolbachan

2024-04-09

Abstract:Let $\mathbb K$ be a field of characteristic zero. We prove that its motivic cohomology in degree $m-1$ and weight $m$ is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin theorem describing the indecomposable $K_3$ of a field.

Algebraic Geometry,K-Theory and Homology,Number Theory

What problem does this paper attempt to address?

On the Euler characteristic of the commutative graph complex and the top weight cohomology of $\mathcal M_g$

Michael Borinsky,Don Zagier

2024-08-18

Abstract:We prove an asymptotic formula for the Euler characteristic of Kontsevich's commutative graph complex. This formula implies that the total amount of commutative graph homology grows super-exponentially with the rank and, via a theorem of Chan, Galatius, and Payne, that the dimension of the top weight cohomology of the moduli space of curves, $\mathcal M_g$, grows super-exponentially with the genus $g$.

Algebraic Topology,Mathematical Physics,Algebraic Geometry,Combinatorics
On the weight zero motivic cohomology

Semen Molokov,Vadim Vologodsky

2024-11-27

Abstract:We prove that singular cohomology of the underlying space of Berkovich's analytification of a scheme $X$ locally of finite type over a trivially-valued field $k$ of characteristic $0$ is isomorphic to cdh-cohomology with integer coefficients which is also isomorphic to the weight zero motivic cohomology $H^*(X, \mathbb{Z})$. Using this isomorphism, we demonstrate the vanishing of $RHom_{Sh_{Nis}(cor_k)}(\underline{G},\mathbb{Z})$, where $\underline{G}$ denotes the Nisnevich sheaf with transfers associated with a commutative algebraic group $G$ over $k$. For abelian $k$-varieties $A$ and $B$, we prove that $RHom_{\mathcal{PS}h_{tr}}(\underline{A},\underline{B})$ is isomorphic to $Hom_{\mathbf{Ab_k}}(A,B)$.

Algebraic Geometry
Motivic fundamental group of ${\Bbb G}_m-μ_N$ and modular manifolds

Alexander B. Goncharov

DOI: https://doi.org/10.48550/arXiv.1910.10321

2019-10-23

Abstract:We investigate geometric and combinatorial aspects of the mysterious relationship between the action of the motivic Galois group on the motivic fundamental group of the projective line punctured at zero, infinity, and N-th roots of unity, and the geometry of modular manifolds for the congruence subgroup Y(m;N) of GL(m,Z) fixing (0, ... , 0, 1) modulo N. To achieve this, we consider a canonical collection of elements in the image of the motivic Galois Lie algebra, spanning it over Q. These elements are the motivic correlators at N-th roots of unity. We assign to them chains in the complex computing cohomology of certain local systems on the space Y(m;N). Their geometric properties reflect, in a mysterious way, properties of motivic correlators. This construction allows to establish the relationship with high precision for m up to 4. The m=2, 3 cases were investigated by the author before in the Hodge and the Galois set-up.

Algebraic Geometry,K-Theory and Homology,Number Theory
Symmetries of weight 6 multiple polylogarithms and Goncharov's Depth Conjecture

Steven Charlton

2024-05-23

Abstract:We prove that the weight 6, depth 3, multiple polylogarithm $ \mathrm{Li}_{4,1,1}((xyz)^{-1}, x, y) $, or rather its more natural `divergent' incarnation $ \mathrm{Li}_{3;1,1,1}(x,y,z) $, satisfies the 6-fold anharmonic symmetries of the dilogarithm $ \mathrm{Li}_2 $, $ \lambda \mapsto 1-\lambda $ and $ \lambda \mapsto \lambda^{-1} $, in each of $x$, $y$ and $z$ independently, modulo terms of depth $ \leq2 $. This establishes the `higher Zagier' part of the weight 6, depth 3, reduction conjectured by Matveiakin and Rudenko. Together with their proof of the `higher Gangl' part of the weight 6, depth 3, reduction (which is formulated modulo the `higher Zagier' part), we establish Goncharov's Depth Conjecture in the case of weight 6, depth 3.

Number Theory
On Freiman's Theorem in a function field setting

Mieke Wessel

2024-05-17

Abstract:We prove some new instances of a conjecture of Bachoc, Couvreur and Zémor that generalizes Freiman's $3k-4$ Theorem to a multiplicative version in a function field setting. As a consequence we find that if $F$ is a rational function field over an algebraically closed field $K$ and $S \subset F$ a finite dimensional $K$-vector space such that $\dim S^2 = 2\dim S + 1$, then the conjecture holds.

Number Theory,Combinatorics
On the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$

Madeline Brandt,Melody Chan,Siddarth Kannan

2023-07-05

Abstract:For $g\ge 2$ and $n\ge 0$, let $\mathcal{H}_{g,n}\subset \mathcal{M}_{g,n}$ denote the complex moduli stack of $n$-marked smooth hyperelliptic curves of genus $g$. A normal crossings compactification of this space is provided by the theory of pointed admissible $\mathbb{Z}/2\mathbb{Z}$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$. Using this graph complex, we give a sum-over-graphs formula for the $S_n$-equivariant weight zero compactly supported Euler characteristic of $\mathcal{H}_{g, n}$. This formula allows for the computer-aided calculation, for each $g\le 7$, of the generating function $\mathsf{h}_g$ for these equivariant Euler characteristics for all $n$. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissible $G$-covers of genus zero curves, when $G$ is abelian, as a symmetric $\Delta$-complex. We use these complexes to generalize our formula for $\mathsf{h}_g$ to moduli spaces of $n$-pointed smooth abelian covers of genus zero curves.

Algebraic Geometry,Combinatorics
A note on an effective bound for the gonality conjecture

Alexander S. Duncan,Wenbo Niu,Jinhyung Park

DOI: https://doi.org/10.1016/j.jpaa.2024.107820

IF: 0.834

2024-10-07

Journal of Pure and Applied Algebra

Abstract:The gonality conjecture, proved by Ein–Lazarsfeld, asserts that the gonality of a nonsingular projective curve of genus g can be detected from its syzygies in the embedding given by a line bundle of sufficiently large degree. An effective result obtained by Rathmann says that any line bundle of degree at least 4g−3 would work in the gonality theorem. In this note, we develop a new method to improve the degree bound to 4g−4 with two exceptional cases.

mathematics, applied
On a conjecture of Kazhdan and Polishchuk

Olivier Debarre

2024-11-04

Abstract:We discuss a conjecture made by Alexander Polishchuk and David Kazhdan at the 2022 ICM about a variety naturally attached to any stable vector bundle of rank 2 and degree $2g- 1$ on a smooth projective complex curve of genus $g$.

Algebraic Geometry
Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$

Eric Hopper

2023-07-29

Abstract:Deligne and Goncharov constructed a neutral tannakian category of mixed Tate motives unramified over $\mathbb{Z}[\mu_N,1/N]$. Brown and Hain--Matsumoto computed the depth 2 quadratic relations of the motivic Galois group of this category for $N = 1$. We take the first steps in generalizing their results to all $N \ge 1$ by realizing the generators of the motivic Galois group by derivations on the Lie algebra of the unipotent fundamental group of a restriction of the Tate elliptic curve. This representation is compatible with a natural identification of the odd rational $K$-groups of the rings $\mathbb{Z}[\mu_N,1/N]$ with spaces of $\Gamma_1(N)$ Eisenstein series, thus inducing a natural action of the prime to $N$ part of the Hecke algebra on the $K$-groups. We establish these results by first showing the inclusion of $\mathbb{P}^1 - \{0,\mu_N,\infty\}$ into the nodal elliptic curve with a cyclic subgroup of order $N$ removed induces a morphism of mixed Tate motives on unipotent fundamental groups and then by computing the periods of the limit mixed Hodge structure of an elliptic polylogarithm variation of MHS over the universal elliptic curve of $Y_1(N)$.

Algebraic Geometry,Number Theory
Arithmetic and metric aspects of open de Rham spaces

Tamás Hausel,Michael Lennox Wong,Dimitri Wyss

2023-07-04

Abstract:In this paper we determine the motivic class--in particular, the weight polynomial and conjecturally the Poincaré polynomial--of the open de Rham space, defined and studied by Boalch, of certain moduli spaces of irregular meromorphic connections on the trivial rank $n$ bundle on $\mathbb{P}^1$. The computation is by motivic Fourier transform. We show that the result satisfies the purity conjecture, that is, it agrees with the pure part of the conjectured mixed Hodge polynomial of the corresponding wild character variety. We also identify the open de Rham spaces with quiver varieties with multiplicities of Yamakawa and Geiss--Leclerc--Schröer. We finish with constructing natural complete hyperkähler metrics on them, which in the $4$-dimensional cases are expected to be of type ALF.

Algebraic Geometry
Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Junhwa Choi,Yukako Kezuka,Yongxiong Li

DOI: https://doi.org/10.4310/ajm.2019.v23.n3.a2

2019-01-01

Asian Journal of Mathematics

Abstract:Let K = Q(root-q), where q is any prime number congruent to 7 modulo 8, and let O be the ring of integers of K. The prime 2 splits in K, say 2O = pp*, and there is a unique Z(2)-extension K-infinity of K which is unramified outside p. Let H be the Hilbert class field of K, and write H-infinity = HK infinity. Let M(H-infinity) be the maximal abelian 2-extension of H-infinity which is unramified outside the primes above p, and put X(H-infinity) = Gal(M(H-infinity)/H-infinity). We prove that X(H-infinity) is always a finitely generated Z(2)-module, by an elliptic analogue of Sinnott's cyclotomic argument. We then use this result to prove for the first time the weak p-adic Leopoldt conjecture for the compositum J(infinity) of K-infinity with arbitrary quadratic extensions J of H. We also prove some new cases of the finite generation of the Mordell-Weil group E(J(infinity)) modulo torsion of certain elliptic curves E with complex multiplication by O.
Weight two compactly supported cohomology of moduli spaces of curves

Sam Payne,Thomas Willwacher

2024-11-20

Abstract:We study the weight 2 graded piece of the compactly supported rational cohomology of the moduli spaces of curves $M_{g,n}$ and show that this can be computed as the cohomology of a graph complex that is closely related to graph complexes arising in the study of embedding spaces. For $n = 0$, we express this cohomology in terms of the weight zero compactly supported cohomology of $M_{g',n'}$ for $g' \leq g$ and $n' \leq 2$, and thereby produce several new infinite families of nonvanishing unstable cohomology groups on $M_g$, including the first such families in odd degrees. In particular, we show that the dimension of $H^{4g-k}(M_g)$ grows at least exponentially with $g$, for $k \in \{ 8, 9, 11, 12, 14, 15, 16, 18, 19 \}$.

Algebraic Geometry,Algebraic Topology,Geometric Topology
On Kapranov's description of $\overline{M}_{0,n}$ as a Chow quotient

Noah Giansiracusa,William D. Gillam

DOI: https://doi.org/10.48550/arXiv.1103.4661

2015-01-12

Abstract:We provide a direct proof, valid in arbitrary characteristic, of the result originally proven by Kapranov over $\mathbb{C}$, that the Hilbert and Chow quotients $(\mathbb{P}^1)^n//PGL2$ are isomorphic to $\overline{M}_{0,n}$. In both cases this is done by explicitly constructing the universal family and then showing that the induced morphism is an isomorphism onto its image. The proofs of these results in many ways reduce to the case $n = 4$; in an appendix we outline a formalism of this phenomenon relating to certain operads.

Algebraic Geometry
Log concavity of the Grothendieck class of $\overline{\mathcal M}_{0,n}$

Paolo Aluffi,Stephanie Chen,Matilde Marcolli

2024-02-09

Abstract:Using a known recursive formula for the Grothendieck classes of the moduli spaces $\overline{\mathcal M}_{0,n}$, we prove that they satisfy an asymptotic form of ultra-log-concavity as polynomials in the Lefschetz class. We also observe that these polynomials are $\gamma$-positive. Both properties, along with numerical evidence, support the conjecture that these polynomials only have real zeros. This conjecture may be viewed as a particular case of a possible extension of a conjecture of Ferroni-Schröter and Huh on Hilbert series of Chow rings of matroids.

Algebraic Geometry
On Koszul complex of a supermodule

Darío Sánchez Gómez,Fernando Sancho de Salas

2024-01-26

Abstract:This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting computing the cohomology of twisted differential p-forms sheaves on the projective superspaces is given.

Algebraic Geometry
The motivic Adams conjecture

Alexey Ananyevskiy,Elden Elmanto,Oliver Röndigs,Maria Yakerson

2023-10-02

Abstract:We solve a motivic version of the Adams conjecture with the exponential characteristic of the base field inverted. In the way of the proof we show that the higher motivic stable stems are of bounded torsion and obtain a motivic version of mod k Dold theorem. We also give a motivic version of Brown's trick studying the homogeneous variety of maximal tori in a general linear group, which turns out to be not stably A1-connected.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology
Minkowski difference weight formulas

G. Krishna Teja

2024-09-19

Abstract:Fix any complex Kac-Moody Lie algebra $\mathfrak{g}$, and Cartan subalgebra $\mathfrak{h}\subset \mathfrak{g}$. We study arbitrary highest weight $\mathfrak{g}$-modules $V$ (with any highest weight $\lambda\in \mathfrak{h}^*$, and let $L(\lambda)$ be the corresponding simple highest weight $\mathfrak{g}$-module), and write their weight-sets $\mathrm{wt} V$. This is based on and generalizes the Minkowski decompositions for all $\mathrm{wt} L(\lambda)$ and hulls $\mathrm{conv}_{\mathbb{R}}(\mathrm{wt} V)$, of Khare [J. Algebra. 2016 & Trans. Amer. Math. Soc. 2017] and Dhillon-Khare [Adv. Math. 2017 & J. Algebra. 2022]. Those works need a freeness property of the Dynkin graph nodes of integrability $J_{\lambda}$ of $L(\lambda)$: $\mathrm{wt} L(\lambda)\ -$ any sum of simple roots over $J_{\lambda}^c$ are all weights of $L(\lambda)$. We generalize it for all $V$, by introducing nodes $J_V$ that record all the lost 1-dim. weights in $V$. We show three applications (seemingly novel) for all $\big(\mathfrak{g}, \lambda, V\big)$ of our $J_V^c$-freeness: 1) Minkowski decompositions of all $\mathrm{wt} V$, subsuming those above for simples. 1$'$) Characterization of these formulas. 1$''$) For these, we solve the inverse problem of determining all $V$ with fixing $\mathrm{wt} V \ =$ weight-set of a Verma, parabolic Verma and $L(\lambda)$ $\forall$ $\lambda$. 2) At module level (by raising operators' actions), construction of weight vectors along $J_V^c$-directions. 3) Lower bounds on the multiplicities of such weights, in all $V$.

Representation Theory
The Tamagawa number conjecture and Kolyvagin's conjecture for motives of modular forms

Matteo Longo,Stefano Vigni

DOI: https://doi.org/10.48550/arXiv.2211.04907

2022-11-09

Number Theory

Abstract:Assuming specific instances of two general conjectures in arithmetic algebraic geometry (bijectivity of $p$-adic regulator maps, injectivity of $p$-adic Abel-Jacobi maps), we prove several cases of the $p$-part of the Tamagawa number conjecture ($p$-TNC) of Bloch-Kato and Fontaine-Perrin-Riou for (homological) motives of modular forms of even weight $\geq4$ in analytic rank $1$. More precisely, we prove our results for a large class of newforms $f$ and prime numbers $p$ that are ordinary for $f$ and such that the weight of $f$ is congruent to $2$ modulo $2(p-1)$. Inspired by work of W. Zhang in weight $2$, the key ingredient in our strategy is an analogue for $p$-adic Galois representations attached to higher (even) weight newforms of Kolyvagin's conjecture on the $p$-indivisibility of derived Heegner points on elliptic curves, which we prove via a $p$-adic variation method exploiting the arithmetic of Hida families. Along the way, we also prove (under similar assumptions) the $p$-TNC for modular motives in analytic rank $0$ and the rationality conjecture of Beilinson and Deligne on the existence of zeta elements on the fundamental line in analytic ranks $0$ and $1$. Prior to this work, the only known results on (questions related to) the $p$-TNC for modular motives were in weight $2$ and analytic rank $\leq1$ and in even weight and analytic rank $0$. As further applications of our result on Kolyvagin's conjecture in higher weight, we deduce a structure theorem for Selmer groups, $p$-parity results, converse theorems and higher rank results for modular forms and modular motives.
Isotropic and numerical equivalence for Chow groups and Morava K-theories

Alexander Vishik

2024-05-11

Abstract:In this paper we prove the conjecture claiming that, over a flexible field, isotropic Chow groups coincide with numerical Chow groups (with ${\Bbb{F}}_p$-coefficients). This shows that Isotropic Chow motives coincide with Numerical Chow motives. In particular, homs between such objects are finite groups and $\otimes$ has no zero-divisors. It provides a large supply of new points for the Balmer spectrum of the Voevodsky motivic category. We also prove the Morava K-theory version of the above result, which permits to construct plenty of new points for the Balmer spectrum of the Morel-Voevodsky ${\Bbb{A}}^1$-stable homotopic category. This substantially improves our understanding of the mentioned spectra whose description is a major open problem.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
Weight 11 Compactly Supported Cohomology of Moduli Spaces of Curves

Sam Payne,Thomas Willwacher

DOI: https://doi.org/10.1093/imrn/rnad308

2024-01-17

International Mathematics Research Notices

Abstract:Abstract We study the weight 11 part of the compactly supported cohomology of the moduli space of curves ${\mathcal{M}}_{g,n}$, using graph complex techniques, with particular attention to the case $n = 0$. As applications, we prove new nonvanishing results for the cohomology of ${\mathcal{M}}_{g}$, and exponential growth with $g$, in a wide range of degrees.

mathematics

On the Goncharov's conjecture in degree $m-1$ and weight $m$

On the Euler characteristic of the commutative graph complex and the top weight cohomology of $\mathcal M_g$

On the weight zero motivic cohomology

Motivic fundamental group of ${\Bbb G}_m-μ_N$ and modular manifolds

Symmetries of weight 6 multiple polylogarithms and Goncharov's Depth Conjecture

On Freiman's Theorem in a function field setting

On the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$

A note on an effective bound for the gonality conjecture

On a conjecture of Kazhdan and Polishchuk

Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$

Arithmetic and metric aspects of open de Rham spaces

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Weight two compactly supported cohomology of moduli spaces of curves

On Kapranov's description of $\overline{M}_{0,n}$ as a Chow quotient

Log concavity of the Grothendieck class of $\overline{\mathcal M}_{0,n}$

On Koszul complex of a supermodule

The motivic Adams conjecture

Minkowski difference weight formulas

The Tamagawa number conjecture and Kolyvagin's conjecture for motives of modular forms

Isotropic and numerical equivalence for Chow groups and Morava K-theories

Weight 11 Compactly Supported Cohomology of Moduli Spaces of Curves