On a conjecture of Marton

W. T. Gowers,Ben Green,Freddie Manners,Terence Tao

2023-12-12

Abstract:We prove a conjecture of K. Marton, widely known as the polynomial Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd characteristic, with details to follow in a subsequent paper.

Number Theory,Combinatorics

What problem does this paper attempt to address?

Marton's Conjecture in abelian groups with bounded torsion

W. T. Gowers,Ben Green,Freddie Manners,Terence Tao

2024-05-21

Abstract:We prove a Freiman--Ruzsa-type theorem with polynomial bounds in arbitrary abelian groups with bounded torsion, thereby proving (in full generality) a conjecture of Marton. Specifically, let $G$ be an abelian group of torsion $m$ (meaning $mg=0$ for all $g \in G$) and suppose that $A$ is a non-empty subset of $G$ with $|A+A| \leq K|A|$. Then $A$ can be covered by at most $(2K)^{O(m^3)}$ translates of a subgroup of $H \leq G$ of cardinality at most $|A|$. The argument is a variant of that used in the case $G = \mathbf{F}_2^n$ in a recent paper of the authors.

Number Theory,Combinatorics
Improved Exponent for Marton's Conjecture in $\mathbb{F}_2^n$

Jyun-Jie Liao

2024-04-15

Abstract:A conjecture of Marton, widely known as the polynomial Freiman-Ruzsa conjecture, was recently proved by Gowers, Green, Manners and Tao for any bounded-torsion Abelian group $G$. In this paper we show a few simple modifications that improve their bound in $G=\mathbb{F}_2^n$. Specifically, for $G=\mathbb{F}_2^n$, they proved that any set $A\subseteq G$ with $|A+A|\le K|A|$ can be covered by at most $2K^C$ cosets of a subgroup $H$ of $G$ of cardinality at most $|A|$, with $C=12$. In this paper we prove the same statement for $C=9$.

Combinatorics
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 Murty-Simon Conjecture

Tao Wang

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

2012-05-20

Abstract:A graph is diameter two edge-critical if its diameter is two and the deletion of any edge increases the diameter. Murty and Simon conjectured that the number of edges in a diameter two edge-critical graph on $n$ vertices is at most $\lfloor \frac{n^{2}}{4} \rfloor$ and the extremal graph is the complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$. In the series papers [8-10], the Murty-Simon Conjecture stated by Haynes et al is not the original conjecture, indeed, it is only for the diameter two edge-critical graphs of even order. Haynes et al proved the conjecture for the graphs whose complements have diameter three but only with even vertices. In this paper, we prove the Murty-Simon Conjecture for the graphs whose complements have diameter three, not only with even vertices but also odd ones.

Combinatorics,Discrete Mathematics
The Total Rank Conjecture in Characteristic Two

Keller VandeBogert,Mark E. Walker

2024-04-11

Abstract:The Total Rank Conjecture is a coarser version of the Buchsbaum-Eisenbud-Horrocks conjecture which, loosely stated, predicts that modules with large annihilators must also have ``large'' syzygies. This conjecture was proved by the second author for rings of odd characteristic by taking advantage of the Adams operations on the category of perfect complexes with finite length homology. In this paper, we prove a stronger form of the Total Rank Conjecture for rings of characteristic two. This result may be seen as evidence that the Generalized Total Rank Conjecture (which is known to be false in odd characteristic) actually holds in characteristic two. We also formulate a meaningful extension of the Total Rank Conjecture over non Cohen-Macaulay rings and prove that this conjecture holds for any ring containing a field (independent of characteristic).

Algebraic Topology
A version of Green's conjecture in positive characteristic

Christian Bopp,Frank-Olaf Schreyer

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

2018-03-28

Algebraic Geometry

Abstract:Based on computeralgebra experiments we formulate a refined version of Green's conjecture and a conjecture of Schicho-Schreyer-Weimann which conjecturally also holds in positive characteristic. The experiments are done by using our Macaulay2 package, which constructs random canonically embedded curves of genus $g\leq 15$ over arbitrary small finite fields.
On the Exponent Conjectures

A. E. Antony,V. Z. Thomas

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

2020-06-27

Abstract:If $p$ is an odd prime, then we prove that $\e(H_2(G,\mathbb{Z})) \mid p\ \e(G)$ for $p$ groups of class 7. We prove the same for $p$ groups of class at most $p+1$ with $\e(Z(G))=p$. We also prove Schurs conjecture if $\e(G/Z(G))$ is $2,3$ or $6$. Furthermore we prove that if $G$ is a solvable group of derived length $d$ and $\e(G)=p$, then $\e(H_2(G,\mathbb{Z})) \mid (\e(G))^{d-1}$. We also show that if $G$ is a finite $2$ or $3$ generator group of exponent 5, then $\e(H_2(G,\mathbb{Z})) \mid (\e(G))^2$.

Group Theory
On a conjecture for higher-order Szego theorems

Milivoje Lukic

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

2012-10-26

Abstract:We disprove a conjecture of Simon for higher-order Szego theorems for orthogonal polynomials on the unit circle and propose a modified version of the conjecture.

Spectral Theory,Mathematical Physics
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
The Martens–Mumford theorem and the Green–Lazarsfeld secant conjecture

Daniele Agostini

DOI: https://doi.org/10.1090/jag/819

2024-01-12

Journal of Algebraic Geometry

Abstract:The Green–Lazarsfeld secant conjecture predicts that the syzygies of a curve of sufficiently high degree are controlled by its special secants. We prove this conjecture for all curves of Clifford index at least two and not bielliptic and for all line bundles of a certain degree. Our proof is based on a classic result of Martens and Mumford on Brill–Noether varieties and on a simple vanishing criterion that comes from the interpretation of syzygies through symmetric products of curves.

mathematics
Characteristic $p$ analogues of the Mumford--Tate and André--Oort conjectures for products of ordinary GSpin Shimura varieties

Ruofan Jiang

2024-02-29

Abstract:Let $p$ be an odd prime. We state characteristic $p$ analogues of the Mumford--Tate conjecture and the André--Oort conjecture for ordinary strata of mod $p$ Shimura varieties. We prove the conjectures for arbitrary products of GSpin Shimura varieties (and their subvarieties). Important subvarieties of GSpin Shimura varieties include modular and Shimura curves, Hilbert modular surfaces, $\mathrm{U}(1,n)$ unitary Shimura varieties, and moduli spaces of principally polarized Abelian and K3 surfaces. The two conjectures are both related to a notion of linearity for mod $p$ Shimura varieties, about which Chai has formulated the Tate-linear conjecture. Though seemingly different, the three conjectures are intricately entangled. We will first solve the Tate-linear conjecture for single GSpin Shimura varieties, above which we build the proof of the Tate-linear conjecture and the characteristic $p$ analogue of the Mumford--Tate conjecture for products of GSpin Shimura varieties. We then use the Tate-linear and the characteristic $p$ analogue of the Mumford--Tate conjectures to prove the characteristic $p$ analogue of the André--Oort conjecture. Our proof uses Chai's results on monodromy of $p$-divisible groups and rigidity theorems for formal tori, as well as Crew's parabolicity conjecture which is recently proven by D'Addezio.

Number Theory,Algebraic Geometry
Congruences concerning Legendre polynomials

Zhi-Hong Sun

DOI: https://doi.org/10.1090/S0002-9939-2010-10566-X

2010-12-17

Abstract:Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$. In particular, we confirm several conjectures of Z.W. Sun. We also pose 13 conjectures on supercongruences.

Number Theory
On Some Special Cases of Gaiotto's Positivity Conjecture

Pavel Etingof

DOI: https://doi.org/10.3842/SIGMA.2024.063

2024-07-13

Abstract:We prove a conjecture of D. Gaiotto on positivity of inner products arising in studying Landau-Ginzburg boundary conditions in the 1-dimensional case, and in special cases in higher dimensions, for 3d free hypermultiplets.

Classical Analysis and ODEs,High Energy Physics - Theory,Mathematical Physics,Complex Variables
An explicit version of Chen's theorem assuming the Generalized Riemann Hypothesis

Matteo Bordignon,Valeriia Starichkova

DOI: https://doi.org/10.1007/s11139-024-00866-x

2024-05-09

The Ramanujan Journal

Abstract:We prove that assuming the Generalized Riemann Hypothesis every even integer larger than can be written as the sum of a prime number and a number that has at most two prime factors.

mathematics
The Ramanujan and Sato-Tate Conjectures for Bianchi modular forms

George Boxer,Frank Calegari,Toby Gee,James Newton,Jack A. Thorne

2024-11-07

Abstract:We prove the Ramanujan and Sato-Tate conjectures for Bianchi modular forms of weight at least 2. More generally, we prove these conjectures for all regular algebraic cuspidal automorphic representations of $\mathrm{GL}_2(\mathbf{A}_F)$ of parallel weight, where $F$ is any CM field. We deduce these theorems from a new potential automorphy theorem for the symmetric powers of 2-dimensional compatible systems of Galois representations of parallel weight.

Number Theory
On a theorem of Bertolini-Darmon about rationality of Stark-Heegner points over genus fields of real quadratic fields

Chung Pang Mok

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

2018-01-28

Number Theory

Abstract:In this paper, we remove certain hypothesis in the theorem of Bertolini-Darmon on the rationality of Stark-Heegner points over narrow genus class fields of real quadratic fields. Along the way, we establish that certain normalized special values of $L$-functions are squares of rational numbers, a result that is of independent interest, and can be regarded as instances of the rank zero case of the Birch and Swinnerton-dyer conjecture modulo squares.
Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)

Pavel Etingof

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

2017-03-11

Abstract:In 1998 Broué, Malle and Rouquier conjectured that the Hecke algebra of a finite complex reflection group W is a free module over the algebra of parameters of rank |W|. We give an exposition of a proof of this conjecture in characteristic zero (and sufficiently large positive characteristic), due to I. Losev and I. Marin - G. Pfeiffer.

Representation Theory
Seven Conjectures in Geometry and Number Theory

Florentin Smarandache

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

2009-03-08

Abstract:In this short paper we propose four conjectures in synthetic geometry that generalize Erdos-Mordell Theorem, and three conjectures in number theory that generalize Fermat Numbers.

General Mathematics
On a conjecture of Mazur predicting the growth of Mordell--Weil ranks in $\mathbb{Z}_p$-extensions

Rylan Gajek-Leonard,Jeffrey Hatley,Debanjana Kundu,Antonio Lei

2024-01-15

Abstract:Let $p$ be an odd prime. We study Mazur's conjecture on the growth of the Mordell--Weil ranks of an elliptic curve $E/\mathbb{Q}$ over $\mathbb{Z}_p$-extensions of an imaginary quadratic field, where $p$ is a prime of good reduction for $E$. In particular, we obtain criteria that may be checked through explicit calculation, thus allowing for the verification of Mazur's conjecture in specific examples.

Number Theory
On an Erdős-type conjecture on $\mathbb{F}_q[x]$

Rongyin Wang

2024-11-30

Abstract:P. Erdős conjectured in 1962 that on the ring $\mathbb{Z}$, every set of $n$ congruence classes in $\mathbb{Z}$ that covers the first $2^n$ posotive integers also covers the ring $\mathbb{Z}$. This conjecture was first confirmed in 1970 by R. B. Crittenden and C. L. Vanden Eynden. Later, in 2019, P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe, and M. Tiba provided a more transparent proof. In this paper we folllow the approach by R. B. Crittenden and C. L. Vanden Eynden and prove the generalized Erdős' conjecture in the setting of polynomial rings over finite fields. We prove that every set of $n$ cosets of ideals in $\mathbb F_q[x]$ that covers all polynomials whose degree is less than $n$ covers the ring $\mathbb{F}_q[x]$

Number Theory

On a conjecture of Marton

Marton's Conjecture in abelian groups with bounded torsion

Improved Exponent for Marton's Conjecture in $\mathbb{F}_2^n$

On Freiman's Theorem in a function field setting

On Murty-Simon Conjecture

The Total Rank Conjecture in Characteristic Two

A version of Green's conjecture in positive characteristic

On the Exponent Conjectures

On a conjecture for higher-order Szego theorems

On a conjecture of Kazhdan and Polishchuk

The Martens–Mumford theorem and the Green–Lazarsfeld secant conjecture

Characteristic $p$ analogues of the Mumford--Tate and André--Oort conjectures for products of ordinary GSpin Shimura varieties

Congruences concerning Legendre polynomials

On Some Special Cases of Gaiotto's Positivity Conjecture

An explicit version of Chen's theorem assuming the Generalized Riemann Hypothesis

The Ramanujan and Sato-Tate Conjectures for Bianchi modular forms

On a theorem of Bertolini-Darmon about rationality of Stark-Heegner points over genus fields of real quadratic fields

Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)

Seven Conjectures in Geometry and Number Theory

On a conjecture of Mazur predicting the growth of Mordell--Weil ranks in $\mathbb{Z}_p$-extensions

On an Erdős-type conjecture on $\mathbb{F}_q[x]$