Showing 1–41 of 41 results for author: Jahnel, J

On the component group of the algebraic monodromy group of a $K3$ surface

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We provide a lower bound for the number of components of the algebraic monodromy group in the situation of a $K3$ surface over a number field $k$. In the CM case, our bound is sharp. As an application, we describe, in the case of CM, the jump character \cite[Definition~2.4.6]{CEJ} entirely in terms of the endomorphism field and the geometric Picard rank. We provide a lower bound for the number of components of the algebraic monodromy group in the situation of a $K3$ surface over a number field $k$. In the CM case, our bound is sharp. As an application, we describe, in the case of CM, the jump character \cite[Definition~2.4.6]{CEJ} entirely in terms of the endomorphism field and the geometric Picard rank. △ Less

Submitted 14 February, 2024; v1 submitted 15 April, 2023; originally announced April 2023.

MSC Class: 14F20 primary; 14J28; 14F40; 14J20 secondary

Normative Challenges of Risk Regulation of Artificial Intelligence and Automated Decision-Making

Authors: Carsten Orwat, Jascha Bareis, Anja Folberth, Jutta Jahnel, Christian Wadephul

Abstract: Recent proposals aiming at regulating artificial intelligence (AI) and automated decision-making (ADM) suggest a particular form of risk regulation, i.e. a risk-based approach. The most salient example is the Artificial Intelligence Act (AIA) proposed by the European Commission. The article addresses challenges for adequate risk regulation that arise primarily from the specific type of risks invol… ▽ More Recent proposals aiming at regulating artificial intelligence (AI) and automated decision-making (ADM) suggest a particular form of risk regulation, i.e. a risk-based approach. The most salient example is the Artificial Intelligence Act (AIA) proposed by the European Commission. The article addresses challenges for adequate risk regulation that arise primarily from the specific type of risks involved, i.e. risks to the protection of fundamental rights and fundamental societal values. They result mainly from the normative ambiguity of the fundamental rights and societal values in interpreting, specifying or operationalising them for risk assessments. This is exemplified for (1) human dignity, (2) informational self-determination, data protection and privacy, (3) justice and fairness, and (4) the common good. Normative ambiguities require normative choices, which are distributed among different actors in the proposed AIA. Particularly critical normative choices are those of selecting normative conceptions for specifying risks, aggregating and quantifying risks including the use of metrics, balancing of value conflicts, setting levels of acceptable risks, and standardisation. To avoid a lack of democratic legitimacy and legal uncertainty, scientific and political debates are suggested. △ Less

Submitted 11 November, 2022; originally announced November 2022.

Comments: 37 pages

ACM Class: K.4.1; K.4.2

Tackling problems, harvesting benefits -- A systematic review of the regulatory debate around AI

Authors: Anja Folberth, Jutta Jahnel, Jascha Bareis, Carsten Orwat, Christian Wadephul

Abstract: How to integrate an emerging and all-pervasive technology such as AI into the structures and operations of our society is a question of contemporary politics, science and public debate. It has produced a considerable amount of international academic literature from different disciplines. This article analyzes the academic debate around the regulation of artificial intelligence (AI). The systematic… ▽ More How to integrate an emerging and all-pervasive technology such as AI into the structures and operations of our society is a question of contemporary politics, science and public debate. It has produced a considerable amount of international academic literature from different disciplines. This article analyzes the academic debate around the regulation of artificial intelligence (AI). The systematic review comprises a sample of 73 peer-reviewed journal articles published between January 1st, 2016, and December 31st, 2020. The analysis concentrates on societal risks and harms, questions of regulatory responsibility, and possible adequate policy frameworks, including risk-based and principle-based approaches. The main interests are proposed regulatory approaches and instruments. Various forms of interventions such as bans, approvals, standard-setting, and disclosure are presented. The assessments of the included papers indicate the complexity of the field, which shows its prematurity and the remaining lack of clarity. By presenting a structured analysis of the academic debate, we contribute both empirically and conceptually to a better understanding of the nexus of AI and regulation and the underlying normative decisions. A comparison of the scientific proposals with the proposed European AI regulation illustrates the specific approach of the regulation, its strengths and weaknesses. △ Less

Submitted 7 September, 2022; originally announced September 2022.

Comments: 26 pages

2-adic point counting on $K3$ surfaces

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: This article reports on an approach to point counting on algebraic varieties over finite fields that is based on a detailed investigation of the $2$-adic orthogonal group. Combining the new approach with a $p$-adic method, we count the number of points on some $K3$ surfaces over the field $\bbF_{\!p}$, for all primes $p < 10^8$. This article reports on an approach to point counting on algebraic varieties over finite fields that is based on a detailed investigation of the $2$-adic orthogonal group. Combining the new approach with a $p$-adic method, we count the number of points on some $K3$ surfaces over the field $\bbF_{\!p}$, for all primes $p < 10^8$. △ Less

Submitted 30 June, 2022; v1 submitted 22 February, 2022; originally announced February 2022.

MSC Class: Primary 14J28; Secondary 20G25; 14F20; 11G25

Frobenius trace distributions for K3 surfaces

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We study the distribution of the Frobenius traces on $K3$ surfaces. We compare experimental data with the predictions made by the Sato--Tate conjecture, i.e. with the theoretical distributions derived from the theory of Lie groups assuming equidistribution. Our sample consists of generic $K3$ surfaces, as well as of such having real and complex multiplication. Each time, the theoretical density an… ▽ More We study the distribution of the Frobenius traces on $K3$ surfaces. We compare experimental data with the predictions made by the Sato--Tate conjecture, i.e. with the theoretical distributions derived from the theory of Lie groups assuming equidistribution. Our sample consists of generic $K3$ surfaces, as well as of such having real and complex multiplication. Each time, the theoretical density and the histogram obtained by counting points match in the range of visible accuracy. Thus, we report evidence for the Sato-Tate conjecture for the surfaces considered. △ Less

Submitted 14 November, 2022; v1 submitted 21 February, 2021; originally announced February 2021.

Comments: Revised and extended version

MSC Class: 14J28 primary; 14F20; 14J10; 14J20; 11T06 secondary

Explicit families of $K3$ surfaces having real multiplication

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: For families of $K3$ surfaces, we establish a sufficient criterion for real or complex multiplication. Our criterion is arithmetic in nature. It may show, at first, that the generic fibre of the family has a nontrivial endomorphism field. Moreover, the endomorphism field does not shrink under specialisation. As an application, we present two explicit families of $K3$ surfaces having real multiplic… ▽ More For families of $K3$ surfaces, we establish a sufficient criterion for real or complex multiplication. Our criterion is arithmetic in nature. It may show, at first, that the generic fibre of the family has a nontrivial endomorphism field. Moreover, the endomorphism field does not shrink under specialisation. As an application, we present two explicit families of $K3$ surfaces having real multiplication by $\bbQ(\sqrt{2})$ and $\bbQ(\sqrt{5})$, respectively. △ Less

Submitted 1 February, 2020; originally announced February 2020.

MSC Class: 14J28 primary; 14F20; 14F25; 14J10; 14J20; 11T06 secondary

Computing invariants of cubic surfaces

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We report on the computation of invariants, covariants, and contravariants of cubic surfaces. All algorithms are implemented in the computer algebra system magma. We report on the computation of invariants, covariants, and contravariants of cubic surfaces. All algorithms are implemented in the computer algebra system magma. △ Less

Submitted 1 September, 2019; originally announced September 2019.

Comments: 9 pages

MSC Class: 14Q10; 14L24; 13A50

Real and complex multiplication on K3 surfaces via period integration

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We report on a new approach, as well as some related experiments, to construct families of K3 surfaces having real or complex multiplication. The approach is based on an explicit description of the transcendental part of the cohomology in a topological way, using topological tori. Fundamental ideas include considering the period space of marked K3 surfaces, determining the periods by numerical int… ▽ More We report on a new approach, as well as some related experiments, to construct families of K3 surfaces having real or complex multiplication. The approach is based on an explicit description of the transcendental part of the cohomology in a topological way, using topological tori. Fundamental ideas include considering the period space of marked K3 surfaces, determining the periods by numerical integration, as well as tracing the modular curve by a numerical continuation method. △ Less

Submitted 10 April, 2022; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: Minor revision

MSC Class: Primary 14J28; Secondary 14J15; 14F25; 65D30; 65D10

On the frequency of algebraic Brauer classes on certain log K3 surfaces

Authors: Jörg Jahnel, Damaris Schindler

Abstract: Given systems of two (inhomogeneous) quadratic equations in four variables, it is known that the Hasse principle for integral points may fail. Sometimes this failure can be explained by some integral Brauer-Manin obstruction. We study the existence of a non-trivial algebraic part of the Brauer group for a family of such systems and show that the failure of the integral Hasse principle due to an al… ▽ More Given systems of two (inhomogeneous) quadratic equations in four variables, it is known that the Hasse principle for integral points may fail. Sometimes this failure can be explained by some integral Brauer-Manin obstruction. We study the existence of a non-trivial algebraic part of the Brauer group for a family of such systems and show that the failure of the integral Hasse principle due to an algebraic Brauer-Manin obstruction is rare, as for a generic choice of a system the algebraic part of the Brauer-group is trivial. We use resolvent constructions to give quantitative upper bounds on the number of exceptions. △ Less

Submitted 12 October, 2018; v1 submitted 30 January, 2018; originally announced January 2018.

Comments: 13 pages

On the algebraic Brauer classes on open degree four del Pezzo surfaces

Authors: Jörg Jahnel, Damaris Schindler

Abstract: We study the algebraic Brauer classes on open del Pezzo surfaces of degree $4$. I.e., on the complements of geometrically irreducible hyperplane sections of del Pezzo surfaces of degree $4$. We show that the $2$-torsion part is generated by classes of two different types. Moreover, there are two types of $4$-torsion classes. For each type, we discuss methods for the evaluation of such a class at a… ▽ More We study the algebraic Brauer classes on open del Pezzo surfaces of degree $4$. I.e., on the complements of geometrically irreducible hyperplane sections of del Pezzo surfaces of degree $4$. We show that the $2$-torsion part is generated by classes of two different types. Moreover, there are two types of $4$-torsion classes. For each type, we discuss methods for the evaluation of such a class at a rational point over a $p$-adic field. △ Less

Submitted 10 January, 2019; v1 submitted 13 December, 2017; originally announced December 2017.

MSC Class: 14F22 (Primary); 11E12; 14G20; 14G25; 14G05; 14J20 (Secondary)

On plane quartics with a Galois invariant Cayley octad

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We describe a construction of plane quartics with prescribed Galois operation on the 28 bitangents, in the particular case of a Galois invariant Cayley octad. As an application, we solve the inverse Galois problem for degree two del Pezzo surfaces in the corresponding particular case. We describe a construction of plane quartics with prescribed Galois operation on the 28 bitangents, in the particular case of a Galois invariant Cayley octad. As an application, we solve the inverse Galois problem for degree two del Pezzo surfaces in the corresponding particular case. △ Less

Submitted 20 September, 2018; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: arXiv admin note: substantial text overlap with arXiv:1708.00071

MSC Class: 14H25 (Primary); 14J20; 14J45; 11G35 (Secondary)

On plane quartics with a Galois invariant Steiner hexad

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We describe a construction of plane quartics with prescribed Galois operation on the 28 bitangents, in the particular case of a Galois invariant Steiner hexad. As an application, we solve the inverse Galois problem for degree two del Pezzo surfaces in the corresponding particular case. We describe a construction of plane quartics with prescribed Galois operation on the 28 bitangents, in the particular case of a Galois invariant Steiner hexad. As an application, we solve the inverse Galois problem for degree two del Pezzo surfaces in the corresponding particular case. △ Less

Submitted 30 May, 2019; v1 submitted 31 July, 2017; originally announced August 2017.

MSC Class: 14H25 (primary); 14J20; 14J45; 11G35 (secondary)

On the distribution of the Picard ranks of the reductions of a $K3$ surface

Authors: Edgar Costa, Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We report on our results concerning the distribution of the geometric Picard ranks of $K3$ surfaces under reduction modulo various primes. In the situation that $\rk \Pic S_{\overline{K}}$ is even, we introduce a quadratic character, called the jump character, such that $\rk \Pic S_{\overline\bbF_{\!\frakp}} > \rk \Pic S_{\overline{K}}$ for all good primes, at which the character evaluates to… ▽ More We report on our results concerning the distribution of the geometric Picard ranks of $K3$ surfaces under reduction modulo various primes. In the situation that $\rk \Pic S_{\overline{K}}$ is even, we introduce a quadratic character, called the jump character, such that $\rk \Pic S_{\overline\bbF_{\!\frakp}} > \rk \Pic S_{\overline{K}}$ for all good primes, at which the character evaluates to $(-1)$. △ Less

Submitted 1 June, 2020; v1 submitted 25 October, 2016; originally announced October 2016.

Comments: Revised version, corresponding to the first half of the original submission. To appear in Research in Number Theory

MSC Class: 14J28 (Primary); 14F20; 11G35; 14G25 (Secondary)

Point counting on $K3$ surfaces and an application concerning real and complex multiplication

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We report on our project to find explicit examples of $K3$ surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are $p$-adic in nature. We report on our project to find explicit examples of $K3$ surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are $p$-adic in nature. △ Less

Submitted 17 May, 2016; v1 submitted 13 February, 2016; originally announced February 2016.

MSC Class: 14J28 (primary); 11G15; 11Y16; 11M38 (secondary)

On integral points on degree four del Pezzo surfaces

Authors: Jörg Jahnel, Damaris Schindler

Abstract: We report on our investigations concerning algebraic and transcendental Brauer-Manin obstructions to integral points on complements of a hyperplane section in degree four del Pezzo surfaces. We discuss moreover two concepts of an obstruction at an archimedean place. Concrete examples are given of pairs of non-homogeneous quadratic polynomials in four variables representing (0,0) over Q and over Z_… ▽ More We report on our investigations concerning algebraic and transcendental Brauer-Manin obstructions to integral points on complements of a hyperplane section in degree four del Pezzo surfaces. We discuss moreover two concepts of an obstruction at an archimedean place. Concrete examples are given of pairs of non-homogeneous quadratic polynomials in four variables representing (0,0) over Q and over Z_p for all primes p, but not over Z. By blow-up, these yield cubic polynomials in three variables all integral solutions of which satisfy a gcd condition. △ Less

Submitted 27 July, 2017; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: 39 pages

On the number of certain Del Pezzo surfaces of degree four violating the Hasse principle

Authors: Jörg Jahnel, Damaris Schindler

Abstract: We give an asymptotic expansion for the density of del Pezzo surfaces of degree four in a certain Birch Swinnerton-Dyer family violating the Hasse principle due to a Brauer-Manin obstruction. Under the assumption of Schinzel's hypothesis and the finiteness of Tate-Shafarevich groups for elliptic curves, we obtain an asymptotic formula for the number of all del Pezzo surfaces in the family, which v… ▽ More We give an asymptotic expansion for the density of del Pezzo surfaces of degree four in a certain Birch Swinnerton-Dyer family violating the Hasse principle due to a Brauer-Manin obstruction. Under the assumption of Schinzel's hypothesis and the finiteness of Tate-Shafarevich groups for elliptic curves, we obtain an asymptotic formula for the number of all del Pezzo surfaces in the family, which violate the Hasse principle. △ Less

Submitted 14 July, 2015; originally announced July 2015.

Comments: 27 pages

MSC Class: Primary 11G35; Secondary 14G25; 14G05; 14J26; 14J10

On the Brauer-Manin obstruction for degree four del Pezzo surfaces

Authors: Jörg Jahnel, Damaris Schindler

Abstract: We show that, for every integer $1 \leq d \leq 4$ and every finite set $S$ of places, there exists a degree $d$ del Pezzo surface $X$ over ${\mathbb Q}$ such that ${\rm Br}(X)/{\rm Br}({\mathbb Q}) \cong {\mathbb Z}/2{\mathbb Z}$ and the Brauer-Manin obstruction works exactly at the places in $S$. For $d = 4$, we prove that in all cases, with the exception of $S = \{\infty\}$, this surface may be… ▽ More We show that, for every integer $1 \leq d \leq 4$ and every finite set $S$ of places, there exists a degree $d$ del Pezzo surface $X$ over ${\mathbb Q}$ such that ${\rm Br}(X)/{\rm Br}({\mathbb Q}) \cong {\mathbb Z}/2{\mathbb Z}$ and the Brauer-Manin obstruction works exactly at the places in $S$. For $d = 4$, we prove that in all cases, with the exception of $S = \{\infty\}$, this surface may be chosen diagonalizably over ${\mathbb Q}$. △ Less

Submitted 28 March, 2015; originally announced March 2015.

MSC Class: Primary 14F22; Secondary 14G25; 14J26; 11G35

The Hasse principle for lines on diagonal surfaces

Authors: Jörg Jahnel, Daniel Loughran

Abstract: Given a number field $k$ and a positive integer $d$, in this paper we consider the following question: does there exist a smooth diagonal surface of degree $d$ in $\mathbb{P}^3$ over $k$ which contains a line over every completion of $k$, yet no line over $k$? We answer the problem using Galois cohomology, and count the number of counter-examples using a result of Erdős. Given a number field $k$ and a positive integer $d$, in this paper we consider the following question: does there exist a smooth diagonal surface of degree $d$ in $\mathbb{P}^3$ over $k$ which contains a line over every completion of $k$, yet no line over $k$? We answer the problem using Galois cohomology, and count the number of counter-examples using a result of Erdős. △ Less

Submitted 23 September, 2015; v1 submitted 17 March, 2015; originally announced March 2015.

Comments: 14 pages

MSC Class: 11G35 (Primary); 11R34; 14J20 (Secondary)

Journal ref: Math. Proc. Camb. Phil. Soc. 160 (2015) 107-119

Del Pezzo surfaces of degree four violating the Hasse principle are Zariski dense in the moduli scheme

Authors: Jörg Jahnel, Damaris Schindler

Abstract: We show that, over every number field, the degree four del Pezzo surfaces that violate the Hasse principle are Zariski dense in the moduli scheme. We show that, over every number field, the degree four del Pezzo surfaces that violate the Hasse principle are Zariski dense in the moduli scheme. △ Less

Submitted 10 November, 2014; originally announced November 2014.

Comments: 21 pages

MSC Class: Primary 11G35; Secondary 14G25; 14J26; 14J10

The Hasse principle for lines on del Pezzo surfaces

Authors: Jörg Jahnel, Daniel Loughran

Abstract: In this paper, we consider the following problem: Does there exist a cubic surface over $\mathbb{Q}$ which contains no line over $\mathbb{Q}$, yet contains a line over every completion of $\mathbb{Q}$? This question may be interpreted as asking whether the Hilbert scheme of lines on a cubic surface can fail the Hasse principle. We also consider analogous problems, over arbitrary number fields, for… ▽ More In this paper, we consider the following problem: Does there exist a cubic surface over $\mathbb{Q}$ which contains no line over $\mathbb{Q}$, yet contains a line over every completion of $\mathbb{Q}$? This question may be interpreted as asking whether the Hilbert scheme of lines on a cubic surface can fail the Hasse principle. We also consider analogous problems, over arbitrary number fields, for other del Pezzo surfaces and complete intersections of two quadrics. △ Less

Submitted 25 February, 2015; v1 submitted 21 October, 2014; originally announced October 2014.

Comments: 32 pages

MSC Class: 11G35 (Primary) 11R32; 14J26; 14-04 (Secondary)

Examples of $K3$ surfaces with real multiplication

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We construct explicit examples of $K3$ surfaces over ${\mathbb Q}$ having real multiplication. Our examples are of geometric Picard rank 16. The standard method for the computation of the Picard rank provably fails for the surfaces constructed. We construct explicit examples of $K3$ surfaces over ${\mathbb Q}$ having real multiplication. Our examples are of geometric Picard rank 16. The standard method for the computation of the Picard rank provably fails for the surfaces constructed. △ Less

Submitted 21 May, 2014; v1 submitted 18 February, 2014; originally announced February 2014.

MSC Class: Primary 14J28; Secondary 14C30; 11G15; 14C22

Cubic surfaces violating the Hasse principle are Zariski dense in the moduli scheme

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We construct new examples of cubic surfaces, for which the Hasse principle fails. Thereby, we show that, over every number field, the counterexamples to the Hasse principle are Zariski dense in the moduli scheme of non-singular cubic surfaces. We construct new examples of cubic surfaces, for which the Hasse principle fails. Thereby, we show that, over every number field, the counterexamples to the Hasse principle are Zariski dense in the moduli scheme of non-singular cubic surfaces. △ Less

Submitted 9 December, 2013; originally announced December 2013.

MSC Class: Primary 11G35; Secondary 14G25; 14G05; 14J26; 14J10

Moduli spaces and the inverse Galois problem for cubic surfaces

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We study the moduli space $\widetilde{\calM}$ of marked cubic surfaces. By classical work of A.\,B. Coble, this has a compactification $\widetilde{M}$, which is linearly acted upon by the group $W(E_6)$. $\widetilde{M}$ is given as the intersection of 30 cubics in $\bP^9$. For the morphism $\widetilde{calM} \to \bP(1,2,3,4,5)$ forgetting the marking, followed by Clebsch's invariant map, we give ex… ▽ More We study the moduli space $\widetilde{\calM}$ of marked cubic surfaces. By classical work of A.\,B. Coble, this has a compactification $\widetilde{M}$, which is linearly acted upon by the group $W(E_6)$. $\widetilde{M}$ is given as the intersection of 30 cubics in $\bP^9$. For the morphism $\widetilde{calM} \to \bP(1,2,3,4,5)$ forgetting the marking, followed by Clebsch's invariant map, we give explicit formulas. I.e., Clebsch's invariants are expressed in terms of Coble's irrational invariants. As an application, we give an affirmative answer to the inverse Galois problem for cubic surfaces over $\bbQ$. △ Less

Submitted 15 September, 2013; v1 submitted 25 September, 2012; originally announced September 2012.

MSC Class: 14J26; 14G25; 11G35

Experiments with the transcendental Brauer-Manin obstruction

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We report on our experiments and theoretical investigations concerning weak approximation and the transcendental Brauer-Manin obstruction for special Kummer surfaces. We report on our experiments and theoretical investigations concerning weak approximation and the transcendental Brauer-Manin obstruction for special Kummer surfaces. △ Less

Submitted 15 May, 2012; v1 submitted 1 March, 2012; originally announced March 2012.

Comments: Updated version from May 2012, Accepted for publication in the ANTS X Proceedings

MSC Class: Primary 11D41; Secondary 11Y50; 11G35; 14J28

On the factor alpha in Peyre's constant

Authors: Ulrich Derenthal, Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: For an arbitrary del Pezzo surface S, we compute alpha(S), which is the volume of a certain polytope in the dual of the effective cone of S, using Magma and Polymake. The constant alpha(S) appears in Peyre's conjecture for the leading term in the asymptotic formula for the number of rational points of bounded height on S over number fields. For an arbitrary del Pezzo surface S, we compute alpha(S), which is the volume of a certain polytope in the dual of the effective cone of S, using Magma and Polymake. The constant alpha(S) appears in Peyre's conjecture for the leading term in the asymptotic formula for the number of rational points of bounded height on S over number fields. △ Less

Submitted 1 February, 2013; v1 submitted 28 February, 2012; originally announced February 2012.

Comments: 11 pages, 1 figure

MSC Class: 14J26 (Primary) 51M20; 14G05 (Secondary)

On the order three Brauer classes for cubic surfaces

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is a 3-group. Our approach is to associate a Brauer class with every ordered triplet of Galois invariant pairs of Steiner trihedra. We show that all order three Brauer classes may be obtained in this way. To show the effect of the obstruction, we give explicit examples. We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is a 3-group. Our approach is to associate a Brauer class with every ordered triplet of Galois invariant pairs of Steiner trihedra. We show that all order three Brauer classes may be obtained in this way. To show the effect of the obstruction, we give explicit examples. △ Less

Submitted 8 November, 2011; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: Extended introduction, discussion of the example of Cassels and Guy

MSC Class: 11D25 (Primary) 11D85; 14J26; 14J20 (Secondary)

Kummer surfaces and the computation of the Picard group

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We test R. van Luijk's method for computing the Picard group of a $K3$ surface. The examples considered are the resolutions of Kummer quartics in $\bP^3$. Using the theory of abelian varieties, in this case, the Picard group may be computed directly. Our experiments show that the upper bounds provided by R. van Luijk's method are sharp when sufficiently many primes are used. In fact, there are a l… ▽ More We test R. van Luijk's method for computing the Picard group of a $K3$ surface. The examples considered are the resolutions of Kummer quartics in $\bP^3$. Using the theory of abelian varieties, in this case, the Picard group may be computed directly. Our experiments show that the upper bounds provided by R. van Luijk's method are sharp when sufficiently many primes are used. In fact, there are a lot of primes that yield a value close to the exact one. However, for many but not all Kummer surfaces $V$ of Picard rank 18, we have $\smash{\rk\Pic(V_{\bar\bbF_{p}}) \geq 20}$ for a set of primes of density $\geq 1/2$. △ Less

Submitted 21 September, 2011; v1 submitted 20 September, 2011; originally announced September 2011.

Comments: This article is unchanged. This is just a second trial to upload our raw data to the Data Conservancy project

MSC Class: 14J28; 14C22; 14K99; 14F20

Journal ref: LMS J. Comput. Math. 15 (2012) 84-100

On cubic surfaces with a rational line

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We report on our project to construct non-singular cubic surfaces over $\bbQ$ with a rational line. Our method is to start with degree 4 Del Pezzo surfaces in diagonal form. For these, we develop an explicit version of Galois descent. We report on our project to construct non-singular cubic surfaces over $\bbQ$ with a rational line. Our method is to start with degree 4 Del Pezzo surfaces in diagonal form. For these, we develop an explicit version of Galois descent. △ Less

Submitted 21 June, 2011; originally announced June 2011.

MSC Class: 14J26 14G25 11G35

On the characteristic polynomial of the Frobenius on étale cohomology

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: Let $X$ be a smooth proper variety of even dimension $d$ over a finite field. We establish a restriction on the value at $(-1)$ of the characteristic polynomial of the Frobenius on the middle-dimensional étale cohomology of $X$ with coefficients in ${\mathbb Q}_l(d/2)$. Let $X$ be a smooth proper variety of even dimension $d$ over a finite field. We establish a restriction on the value at $(-1)$ of the characteristic polynomial of the Frobenius on the middle-dimensional étale cohomology of $X$ with coefficients in ${\mathbb Q}_l(d/2)$. △ Less

Submitted 23 October, 2014; v1 submitted 20 June, 2011; originally announced June 2011.

Comments: Revised version, several minor errors corrected

MSC Class: 14F20; 14G15; 14J20; 14J35

Journal ref: Duke Math. J. 164, no. 11 (2015), 2161-2184

On the quasi group of a cubic surface over a finite field

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We construct nontrivial homomorphisms from the quasi group of some cubic surfaces over $\bbF_{\!p}$ into a group. We show experimentally that the homomorphisms constructed are the only possible ones and that there are no nontrivial homomorphisms in the other cases. Thereby, we follow the classification of cubic surfaces, due to A. Cayley. We construct nontrivial homomorphisms from the quasi group of some cubic surfaces over $\bbF_{\!p}$ into a group. We show experimentally that the homomorphisms constructed are the only possible ones and that there are no nontrivial homomorphisms in the other cases. Thereby, we follow the classification of cubic surfaces, due to A. Cayley. △ Less

Submitted 7 February, 2011; originally announced February 2011.

MSC Class: 14J26; 14J20; 14G15; 11G25

On the Brauer-Manin obstruction for cubic surfaces

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is of order two or four. This covers the vast majority of the cases when this group is non-zero. Our approach is to associate a Brauer class with every Galois invariant double-six. We show that all order two Brauer classes may be obtained in this way. We also recover Sir… ▽ More We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is of order two or four. This covers the vast majority of the cases when this group is non-zero. Our approach is to associate a Brauer class with every Galois invariant double-six. We show that all order two Brauer classes may be obtained in this way. We also recover Sir Peter Swinnerton-Dyer's result that $\Br(S)/\Br(\bbQ)$ may take only five values. △ Less

Submitted 5 November, 2010; originally announced November 2010.

MSC Class: Primary 11D25; Secondary 11D85; 11G35

Determinantal quartics and the computation of the Picard group

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We test the methods for computing the Picard group of a $K3$ surface in a situation of high rank. The examples chosen are resolutions of quartics in $\bP^3$ having 14 singularities of type $A_1$. Our computations show that the method of R. van Luijk works well when sufficiently large primes are used. We test the methods for computing the Picard group of a $K3$ surface in a situation of high rank. The examples chosen are resolutions of quartics in $\bP^3$ having 14 singularities of type $A_1$. Our computations show that the method of R. van Luijk works well when sufficiently large primes are used. △ Less

Submitted 10 October, 2010; originally announced October 2010.

MSC Class: Primary 14J28; Secondary 14C22; 14J27

When is the (co)sine of a rational angle equal to a rational number?

Authors: Jörg Jahnel

Abstract: If the cosine of a rational multiple of $π$ is a rational number then it is an integral multiple of $\frac12$. For this fact, we give a proof accessible to an interested school student. We then discuss which quadratic and cubic irrationalities are values of cosine at ratinal multiples of $π$. If the cosine of a rational multiple of $π$ is a rational number then it is an integral multiple of $\frac12$. For this fact, we give a proof accessible to an interested school student. We then discuss which quadratic and cubic irrationalities are values of cosine at ratinal multiples of $π$. △ Less

Submitted 15 June, 2010; originally announced June 2010.

MSC Class: 97G60; 97H20

More cubic surfaces violating the Hasse principle

Authors: Jörg Jahnel

Abstract: We generalize L.J. Mordell's construction of cubic surfaces for which the Hasse principle fails. We generalize L.J. Mordell's construction of cubic surfaces for which the Hasse principle fails. △ Less

Submitted 14 June, 2010; originally announced June 2010.

MSC Class: 11G35; 14G25

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

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We present a method to compute the geometric Picard rank of a $K3$ surface over $\bbQ$. Contrary to a widely held belief, we show it is possible to verify Picard rank $1$ using reduction only at a single prime. Our method is based on deformation theory for invertible sheaves. We present a method to compute the geometric Picard rank of a $K3$ surface over $\bbQ$. Contrary to a widely held belief, we show it is possible to verify Picard rank $1$ using reduction only at a single prime. Our method is based on deformation theory for invertible sheaves. △ Less

Submitted 10 June, 2010; originally announced June 2010.

MSC Class: 14J28; 14C22; 14B12; 11G35

On the computation of the Picard group for $K3$ surfaces

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We construct examples of $K3$ surfaces of geometric Picard rank $1$. Our method is a refinement of that of R. van Luijk. It is based on an analysis of the Galois module structure on étale cohomology. This allows to abandon the original limitation to cases of Picard rank $2$ after reduction modulo $p$. Furthermore, the use of Galois data enables us to construct examples which require significantly… ▽ More We construct examples of $K3$ surfaces of geometric Picard rank $1$. Our method is a refinement of that of R. van Luijk. It is based on an analysis of the Galois module structure on étale cohomology. This allows to abandon the original limitation to cases of Picard rank $2$ after reduction modulo $p$. Furthermore, the use of Galois data enables us to construct examples which require significantly less computation time. △ Less

Submitted 9 June, 2010; originally announced June 2010.

MSC Class: 14J28; 14J20; 11G35

Cubic surfaces with a Galois invariant pair of Steiner trihedra

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We present a method to construct non-singular cubic surfaces over $\bbQ$ with a Galois invariant pair of Steiner trihedra. We start with cubic surfaces in a form generalizing that of A. Cayley and G. Salmon. For these, we develop an explicit version of Galois descent. We present a method to construct non-singular cubic surfaces over $\bbQ$ with a Galois invariant pair of Steiner trihedra. We start with cubic surfaces in a form generalizing that of A. Cayley and G. Salmon. For these, we develop an explicit version of Galois descent. △ Less

Submitted 8 June, 2010; originally announced June 2010.

MSC Class: 14G25; 11G35; 11D25

The Diophantine Equation $x^4 + 2 y^4 = z^4 + 4 w^4$---a number of improvements

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: The quadruple $(1\,484\,801, 1\,203\,120, 1\,169\,407, 1\,157\,520)$ already known is essentially the only non-trivial solution of the Diophantine equation $x^4 + 2 y^4 = z^4 + 4 w^4$ for $|x|$, $|y|$, $|z|$, and $|w|$ up to one hundred million. We describe the algorithm we used in order to establish this result, thereby explaining a number of improvements to our original approach. The quadruple $(1\,484\,801, 1\,203\,120, 1\,169\,407, 1\,157\,520)$ already known is essentially the only non-trivial solution of the Diophantine equation $x^4 + 2 y^4 = z^4 + 4 w^4$ for $|x|$, $|y|$, $|z|$, and $|w|$ up to one hundred million. We describe the algorithm we used in order to establish this result, thereby explaining a number of improvements to our original approach. △ Less

Submitted 7 June, 2010; originally announced June 2010.

MSC Class: Primary 11Y50. Secondary 14G05; 14J28

The Fibonacci sequence modulo $p^2$ -- An investigation by computer for $p < 10^{14}$

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We show that for primes $p < 10^{14}$ the period length $κ(p^2)$ of the Fibonacci sequence modulo $p^2$ is never equal to its period length modulo $p$. The investigation involves an extensive search by computer. As an application, we establish the general formula $κ(p^n) = κ(p) \cdot p^{n-1}$ for all primes less than $10^{14}$. We show that for primes $p < 10^{14}$ the period length $κ(p^2)$ of the Fibonacci sequence modulo $p^2$ is never equal to its period length modulo $p$. The investigation involves an extensive search by computer. As an application, we establish the general formula $κ(p^n) = κ(p) \cdot p^{n-1}$ for all primes less than $10^{14}$. △ Less

Submitted 4 June, 2010; originally announced June 2010.

MSC Class: Primary 11-04; 11B39; Secondary 11Y55; 11A41

The discriminant of a cubic surface

Authors: Andreas-Stephan Elsenhans, Jörg Jahnel

Abstract: We construct explicit examples of cubic surfaces over $\bbQ$ such that the 27 lines are acted upon by the index two subgroup of the maximal possible Galois group. This is the simple group of order $25 920$. Our examples are given in pentahedral normal form with rational coefficients. For such cubic surfaces, we study the discriminant and show its relation to the index two subgroup. On the corres… ▽ More We construct explicit examples of cubic surfaces over $\bbQ$ such that the 27 lines are acted upon by the index two subgroup of the maximal possible Galois group. This is the simple group of order $25 920$. Our examples are given in pentahedral normal form with rational coefficients. For such cubic surfaces, we study the discriminant and show its relation to the index two subgroup. On the corresponding parameter space, we search for rational points, discuss their asymptotic, and construct an accumulating subvariety. △ Less

Submitted 3 June, 2010; originally announced June 2010.

MSC Class: Primary 11G35; Secondary 14J20; 14J45; 11G50

Heights for line bundles on arithmetic surfaces

Authors: Joerg Jahnel

Abstract: For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on the Jacobian defined by the Theta divisor. For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on the Jacobian defined by the Theta divisor. △ Less

Submitted 6 August, 1995; originally announced August 1995.

Comments: Mathematica Gottingensis, Heft 16, 1995, revised version, LaTeX2.09