A counterexample to the geometric Chevalley-Warning conjecture

June Huh

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

2013-07-30

Algebraic Geometry

Abstract:We construct a quartic threefold with L-rational singularities which has torsion in its middle homology group. This answers a question of Brown and Schnetz for all fields of characteristic zero.

What problem does this paper attempt to address?

Counterexamples to a Conjecture of Ahmadi and Shparlinski

Taylor Dupuy,Kiran Kedlaya,David Roe,Christelle Vincent

DOI: https://doi.org/10.1080/10586458.2021.1980463

2021-10-26

Experimental Mathematics

Abstract:Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.

mathematics
Surface counterexamples to the Eisenbud-Goto conjecture

Jong In Han,Sijong Kwak

2024-06-04

Abstract:It is well known that the Eisenbud-Goto regularity conjecture is true for arithmetically Cohen-Macaulay varieties, projective curves, smooth surfaces, smooth threefolds in $\mathbb{P}^5$, and toric varieties of codimension two. After J. McCullough and I. Peeva constructed counterexamples in 2018, it has been an interesting question to find the categories such that the Eisenbud-Goto conjecture holds. So far, surface counterexamples have not been found while counterexamples of any dimension greater or equal to 3 are known. In this paper, we construct counterexamples to the Eisenbud-Goto conjecture for projective surfaces in $\mathbb{P}^4$ and investigate projective invariants, cohomological properties, and geometric properties. The counterexamples are constructed via binomial rational maps between projective spaces.

Algebraic Geometry
A Counter Example To the Hodge Conjecture

Renyi Ma

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

2008-08-10

General Mathematics

Abstract:In this paper, we give a simple counter example to the famous Hodge conjecture.
Non-algebraic geometrically trivial cohomology classes over finite fields

Federico Scavia,Fumiaki Suzuki

2024-09-23

Abstract:We give the first examples of smooth projective varieties $X$ over a finite field $\mathbb{F}$ admitting a non-algebraic torsion $\ell$-adic cohomology class of degree $4$ which vanishes over $\overline{\mathbb{F}}$. We use them to show that two versions of the integral Tate conjecture over $\mathbb{F}$ are not equivalent to one another and that a fundamental exact sequence of Colliot-Thélène and Kahn does not necessarily split. Some of our examples have dimension $4$, and are the first known examples of fourfolds with non-vanishing $H^{3}_{\text{nr}}(X,\mathbb{Q}_{2}/\mathbb{Z}_{2}(2))$.

Algebraic Geometry
Two counterexamples to a conjecture of Colin de Verdière on multiplicity

Maxime Fortier Bourque,Émile Gruda-Mediavilla,Bram Petri,Mathieu Pineault

2023-12-06

Abstract:We exhibit closed hyperbolic surfaces of genus $10$ and $17$ such that the multiplicity of the first nonzero eigenvalue of their Laplacian is larger than the maximum conjectured by Yves Colin de Verdière in 1986. In order to determine these multiplicities, we apply the twisted Selberg trace formula to the representations induced by the isometry groups of these surfaces on corresponding triangle groups.

Spectral Theory,Geometric Topology
Consequences of the existence of exceptional collections in arithmetic and rationality

Matthew R. Ballard,Alexander Duncan,Alicia Lamarche,Patrick K. McFaddin

2024-09-26

Abstract:A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base field. We show this generalization is false by exhibiting a geometrically rational, smooth, projective threefold over the the field of rational numbers that possesses a full étale-exceptional collection but not a rational point. The counterexample comes from twisting a non-retract rational variety with a rational point and full étale-exceptional collection by a torsor that is invisible to Brauer invariants. Along the way, we develop some tools for linearizing objects, including a group that controls linearizations.

Algebraic Geometry
A counterexample to Lagrangian Poincaré recurrence in dimension four

Joel Schmitz

2024-11-01

Abstract:Counterexamples to Lagrangian Poincaré recurrence were recently found in dimensions $\geq 6$ by Broćić and Shelukhin. We construct counterexamples in dimension 4 using almost toric fibrations.

Symplectic Geometry,Dynamical Systems
Kummer quartic double solids

Ivan Cheltsov

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

2022-07-08

Abstract:We study equivariant birational geometry of (rational) quartic double solids ramified over (singular) Kummer surfaces.

Algebraic Geometry
Examples for the standard conjecture of Hodge type

Thomas Agugliaro

2024-01-31

Abstract:For each prime number $p$ and each integer $g \geqslant 5$, we construct infinitely many abelian varieties of dimension $g$ over $\overline{\mathbb{F}}_p$ satisfying the standard conjecture of Hodge type. The main tool is a recent theorem of Ancona on certain rank $2$ motives. These varieties are constructed explicitly through Honda-Tate theory. Moreover, they have Tate classes that are not generated by divisors nor liftable to characteristic zero. Also, we prove a result towards a classification of simple abelian varieties for which the result of Ancona can be applied to. Along the way, we prove a result about Honda-Tate theory of independant interest.

Algebraic Geometry,Number Theory
3-Torsion Subgroups of Jacobians of Plane Quartics

Elvira Lupoian,James Rawson

2024-01-25

Abstract:In this paper we give an algorithm to find the 3-torsion subgroup of the Jacobian of a smooth plane quartic curve. We describe $3-$torsion points in terms of cubics which triply intersect the curve, and use this to define a system of equations whose solution set corresponds to the coefficients of these cubics. We compute the points of this zero-dimensional, degree $728$ scheme first by approximation, using homotopy continuation and Newton-Raphson, and then using lattice reduction or continued fractions to obtain accurate expressions for these points. We describe how the Galois structure of the field of definition of the $3$-torsion subgroup can be used to compute local conductor exponents, including at $p=2$.

Number Theory
Counterexamples of Lefschetz hyperplane type results for movable cones

Zhan Li

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

2016-01-29

Abstract:The main theorem of the paper provides a way to produce examples such that the movable cone of an ample divisor does not coincide with the movable cone of its ambient variety.

Algebraic Geometry
Kuznetsov's Fano threefold conjecture via Hochschild-Serre algebra

Xun Lin,Shizhuo Zhang

2024-08-16

Abstract:Let $Y$ be a smooth quartic double solid regarded as a degree 4 hypersurface of the weighted projective space $\mathbb{P}(1,1,1,1,2)$. We study the multiplication of Hochschild-Serre algebra of its Kuznetsov component $\mathcal{K}u(Y)$, via matrix factorization. As an application, we give a new disproof of Kuznetsov's Fano threefold conjecture.

Algebraic Geometry
Singularities of secant varieties from a Hodge theoretic perspective

Sebastian Olano,Debaditya Raychaudhury,Lei Song

2024-08-21

Abstract:We study the singularities of secant varieties of smooth projective varieties using methods from birational geometry when the embedding line bundle is sufficiently positive. More precisely, we study the Du Bois complex of secant varieties and its relationship with the sheaves of differential forms. Through this analysis, we give a necessary and sufficient condition for these varieties to have $p$-Du Bois singularities (in a sense that was proposed in [SVV23]). In addition, we show that the singularities of these varieties are never higher rational, by giving a classification of the cases when they are pre-1-rational. From these results, we deduce several consequences, including a Kodaira-Akizuki-Nakano type vanishing result for the reflexive differential forms of the secant varieties.

Algebraic Geometry
The diagonal of quartic fivefolds

Nebojsa Pavic,Stefan Schreieder

2023-06-22

Abstract:We show that a very general quartic hypersurface in $\mathbb P^6 $ over a field of characteristic different from 2 does not admit a decomposition of the diagonal, hence is not retract rational. This generalizes a result of Nicaise--Ottem, who showed stable irrationality over fields of characteristic 0. To prove our result, we introduce a new cycle-theoretic obstruction that may be seen as an analogue of the motivic obstruction for rationality in characteristic zero, introduced by Nicaise--Shinder and Kontsevich--Tschinkel.

Algebraic Geometry
Counterexample to Néron-Ogg-Shafarevich criterion for Calabi-Yau threefolds

Tymoteusz Chmiel,Marcin Oczko

2024-06-26

Abstract:For any prime $p>5$ we construct a Calabi-Yau threefold $X$ defined over a finite extension $K$ of $\mathbb{Q}_p$ such that every model of $X$ over $\operatorname{Spec}\mathcal{O}_K$ has singular special fiber, yet the Galois action on the $\ell$-adic cohomology group $H^3_{\acute{e}t}(X,\mathbb{Q}_\ell)$ is unramified for $\ell\neq p$ and crystalline for $\ell=p$. This provides a counterexample to the analogue of the Néron-Ogg-Shafarevich criterion for three-dimensional Calabi-Yau manifolds.

Algebraic Geometry
Computations in Cubic Function Fields of Characteristic Three

Mark Bauer,Jonathan Webster

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

2010-09-04

Abstract:This paper contains an account of arbitrary cubic function fields of characteristic three. We define a standard form for an arbitrary cubic curve and consider its function field. By considering an integral basis for the maximal order of these function fields, we are able to calculate the field discriminant and the genus. We also describe the splitting behavior of any place, and give composition and reduction algorithms for arithmetic in the ideal class group.

Number Theory
$6$-torsion and integral points on quartic threefolds

Stephanie Chan,Peter Koymans,Carlo Pagano,Efthymios Sofos

2024-10-05

Abstract:We prove matching upper and lower bounds for the average of the 6-torsion of class groups of quadratic fields. Furthermore, we count the number of integer solutions on an affine quartic threefold.

Number Theory
Exceptional zeros of Rankin-Selberg $L$-functions and joint Sato-Tate distributions

Jesse Thorner

2024-04-10

Abstract:Let $\chi$ be an idele class character over a number field $F$, and let $\pi,\pi'$ be non-dihedral twist-inequivalent cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A}_F)$. We prove the following results.

Number Theory
The Coble Quadric

Vladimiro Benedetti,Daniele Faenzi,Michele Bolognesi,L Manivel

DOI: https://doi.org/10.1017/fms.2024.52

2023-07-12

Abstract:Given a smooth genus three curve $C$, the moduli space of rank two stable vector bundles on C with trivial determinant embeds in $\mathbb{P}^8$ as a hypersurface whose singular locus is the Kummer threefold of $C$; this hypersurface is the Coble quartic. Gruson, Sam and Weyman realized that this quartic could be constructed from a general skew-symmetric fourform in eight variables. Using the lines contained in the quartic, we prove that a similar construction allows to recover SU$_C(2, L)$, the moduli space of rank two stable vector bundles on C with fixed determinant of odd degree L, as a subvariety of $G(2, 8)$. In fact, each point $p \in C$ defines a natural embedding of SU$_C(2, \mathcal{O}(p))$ in $G(2, 8)$. We show that, for the generic such embedding, there exists a unique quadratic section of the Grassmannian which is singular exactly along the image of SU$_C(2, \mathcal{O}(p))$, and thus deserves to be coined the Coble quadric of the pointed curve $(C, p)$.

Algebraic Geometry
Three-isogeny Selmer groups and ranks of abelian varieties in quadratic twist families over a number field

Manjul Bhargava,Zev Klagsbrun,Robert J. Lemke Oliver,Ari Shnidman

DOI: https://doi.org/10.1215/00127094-2019-0031

2017-12-01

Abstract:For an abelian variety $A$ over a number field $F$, we prove that the average rank of the quadratic twists of $A$ is bounded, under the assumption that the multiplication-by-3 isogeny on $A$ factors as a composition of 3-isogenies over $F$. This is the first such boundedness result for an absolutely simple abelian variety $A$ of dimension greater than one. In fact, we exhibit such twist families in arbitrarily large dimension and over any number field. In dimension one, we deduce that if $E/F$ is an elliptic curve admitting a 3-isogeny, then the average rank of its quadratic twists is bounded. If $F$ is totally real, we moreover show that a positive proportion of twists have rank 0 and a positive proportion have $3$-Selmer rank 1. These results on bounded average ranks in families of quadratic twists represent new progress towards Goldfeld's conjecture -- which states that the average rank in the quadratic twist family of an elliptic curve over $\mathbb{Q}$ should be $1/2$ -- and the first progress towards the analogous conjecture over number fields other than $\mathbb{Q}$. Our results follow from a computation of the average size of the $\phi$-Selmer group in the family of quadratic twists of an abelian variety admitting a 3-isogeny $\phi$.

Number Theory

A counterexample to the geometric Chevalley-Warning conjecture

Counterexamples to a Conjecture of Ahmadi and Shparlinski

Surface counterexamples to the Eisenbud-Goto conjecture

A Counter Example To the Hodge Conjecture

Non-algebraic geometrically trivial cohomology classes over finite fields

Two counterexamples to a conjecture of Colin de Verdière on multiplicity

Consequences of the existence of exceptional collections in arithmetic and rationality

A counterexample to Lagrangian Poincaré recurrence in dimension four

Kummer quartic double solids

Examples for the standard conjecture of Hodge type

3-Torsion Subgroups of Jacobians of Plane Quartics

Counterexamples of Lefschetz hyperplane type results for movable cones

Kuznetsov's Fano threefold conjecture via Hochschild-Serre algebra

Singularities of secant varieties from a Hodge theoretic perspective

The diagonal of quartic fivefolds

Counterexample to Néron-Ogg-Shafarevich criterion for Calabi-Yau threefolds

Computations in Cubic Function Fields of Characteristic Three

$6$-torsion and integral points on quartic threefolds

Exceptional zeros of Rankin-Selberg $L$-functions and joint Sato-Tate distributions

The Coble Quadric

Three-isogeny Selmer groups and ranks of abelian varieties in quadratic twist families over a number field