# Computing Néron–Severi groups and cycle class groups

@article{Poonen2015ComputingNG, title={Computing N{\'e}ron–Severi groups and cycle class groups}, author={Bjorn Poonen and Damiano Testa and Ronald van Luijk}, journal={Compositio Mathematica}, year={2015}, volume={151}, pages={713 - 734} }

Assuming the Tate conjecture and the computability of étale cohomology with finite coefficients, we give an algorithm that computes the Néron–Severi group of any smooth projective geometrically integral variety, and also the rank of the group of numerical equivalence classes of codimension $p$ cycles for any $p$.

## 31 Citations

Effective bounds for Brauer groups of Kummer surfaces over number fields

- MathematicsJ. Lond. Math. Soc.
- 2018

We study effective bounds for Brauer groups of Kummer surfaces associated to Jacobians of genus 2 curves defined over number fields.

Separation of periods of quartic surfaces.

- Mathematics
- 2020

We give an effective lower bound on the distance between two distinct periods of a given quartic surface defined over the algebraic numbers. The main ingredient is the determination of height bounds…

Explicit computation of a Galois representation attached to an eigenform over SL3 from the H2 \'etale of a surface

- Mathematics
- 2018

We sketch a method to compute mod $\ell$ Galois representations contained in the H2 \'etale of surfaces. We apply this method to the case of a representation with values in GL(3,9) attached to an…

Effective obstruction to lifting Tate classes from positive characteristic

- Mathematics
- 2020

We give an algorithm that takes a smooth hypersurface over a number field and computes a $p$-adic approximation of the obstruction map on the Tate classes of a finite reduction. This gives an upper…

Explicit uniform bounds for Brauer groups of singular K3 surfaces

- Mathematics
- 2020

Let $k$ be a number field. We give an explicit bound, depending only on $[k:\mathbf{Q}]$, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the Kummer surface…

Computation of étale cohomology on curves in single exponential time

- Mathematics
- 2020

In this paper, we describe an algorithm that, for a smooth connected curve X over a field k, a finite locally constant sheaf A on Xét of abelian groups of torsion invertible in k, computes the first…

A practical algorithm to compute the geometric Picard lattice of K3 surfaces of degree $2$.

- Mathematics
- 2018

Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over…

Arithmetic of K3 Surfaces

- Mathematics
- 2017

Being surfaces of intermediate type, i.e., neither geometrically rational or ruled, nor of general type, K3 surfaces have a rich yet accessible arithmetic theory, which has started to come into focus…

A Brauer–Siegel theorem for Fermat surfaces over finite fields

- MathematicsJ. Lond. Math. Soc.
- 2018

An analogue of the Brauer-Siegel theorem for Fermat surfaces over a finite field is proved and the product grows like $q^{p_g(F_d)}$ when $d$ tends to infinity.

The isomorphism problem of projective schemes and related algorithmic problems

- Mathematics
- 2021

We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of…

## References

SHOWING 1-10 OF 65 REFERENCES

NÉRON – SEVERI GROUPS AND CYCLE CLASS GROUPS

- Mathematics
- 2012

Assuming the Tate conjecture and the computability of étale cohomology with finite coefficients, we give an algorithm that computes the Néron–Severi group of any smooth projective geometrically…

On the computation of the Picard group for K3 surfaces

- MathematicsMathematical Proceedings of the Cambridge Philosophical Society
- 2011

Abstract We present a method to construct examples of K3 surfaces of geometric Picard rank 1. Our approach is a refinement of that of R. van Luijk. It is based on an analysis of the Galois module…

BRAUER-MANIN OBSTRUCTIONS OF DEGREE TWO K 3 SURFACES OVER NUMBER FIELDS

- Mathematics
- 2012

Using the Kuga-Satake correspondence we provide an effective algorithm for the computation of the Picard and Brauer groups of K3 surfaces of degree 2 over number fields.

The Picard group of a K3 surface and its reduction modulo p

- Mathematics
- 2010

We present a method to compute the geometric Picard rank of a K3 surface over . Contrary to a widely held belief, we show that it is possible to verify Picard rank 1 using reduction at a single prime.

On the Picard number of K3 surfaces over number fields

- Mathematics
- 2011

We discuss some aspects of the behavior of specialization at a finite place of Neron-Severi groups of K3 surfaces over number fields. We give optimal lower bounds for the Picard number of such…

Fujita's conjecture and Frobenius amplitude

- Mathematics
- 2008

We prove a version of Fujita's Conjecture in arbitrary characteristic, generalizing results of K.E. Smith. Our methods use the Frobenius morphism, but avoid tight closure theory. We also obtain…

Algebraic Geometry and Arithmetic Curves

- Mathematics
- 2002

Introduction 1. Some topics in commutative algebra 2. General Properties of schemes 3. Morphisms and base change 4. Some local properties 5. Coherent sheaves and Cech cohmology 6. Sheaves of…

Tate's conjecture for K3 surfaces of finite height

- Mathematics
- 1985

This paper extends the proof [16] of the Tate conjecture for ordinary K3 surfaces over a finite field to the more general case of all K3's of finite height. As in [16], our method is to find a…

The Tate conjecture for K3 surfaces over finite fields

- Mathematics
- 2012

Artin’s conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin’s conjecture over fields of characteristic p≥5. This implies Tate’s…