Showing 1–16 of 16 results for author: Bright, M

A complete and continuous map of the Lattice Isometry Space for all 3-dimensional lattices

Authors: Matthew Bright, Andrew I Cooper, Vitaliy Kurlin

Abstract: This paper extends the recently obtained complete and continuous map of the Lattice Isometry Space (LISP) to the practical case of dimension 3. A periodic 3-dimensional lattice is an infinite set of all integer linear combinations of basis vectors in Euclidean 3-space. Motivated by crystal structures determined in a rigid form, we study lattices up to rigid motion or isometry, which is a compositi… ▽ More This paper extends the recently obtained complete and continuous map of the Lattice Isometry Space (LISP) to the practical case of dimension 3. A periodic 3-dimensional lattice is an infinite set of all integer linear combinations of basis vectors in Euclidean 3-space. Motivated by crystal structures determined in a rigid form, we study lattices up to rigid motion or isometry, which is a composition of translations, rotations and reflections. The resulting space LISP consists of infinitely many isometry classes of lattices. In dimension 3, we parameterise this continuous space LISP by six coordinates and introduce new metrics satisfying the metric axioms and continuity under all perturbations. This parameterisation helps to visualise hundreds of thousands of real crystal lattices from the Cambridge Structural Database for the first time. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: 26 pages, 7 figures. arXiv admin note: substantial text overlap with arXiv:2109.10885

MSC Class: 54H12

A Proof of the Invariant Based Formula for the Linking Number and its Asymptotic Behaviour

Authors: Matt Bright, Olga Anosova, Vitaliy Kurlin

Abstract: In 1833 Gauss defined the linking number of two disjoint curves in 3-space. For open curves this double integral over the parameterised curves is real-valued and invariant modulo rigid motions or isometries that preserve distances between points, and has been recently used in the elucidation of molecular structures. In 1976 Banchoff geometrically interpreted the linking number between two line seg… ▽ More In 1833 Gauss defined the linking number of two disjoint curves in 3-space. For open curves this double integral over the parameterised curves is real-valued and invariant modulo rigid motions or isometries that preserve distances between points, and has been recently used in the elucidation of molecular structures. In 1976 Banchoff geometrically interpreted the linking number between two line segments. An explicit analytic formula based on this interpretation was given in 2000 without proof in terms of 6 isometry invariants: the distance and angle between the segments and 4 coordinates specifying their relative positions. We give a detailed proof of this formula and describe its asymptotic behaviour that wasn't previously studied. △ Less

Submitted 12 April, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: Accepted for publication in Springer Lecture Notes in Computational Science and Engineering with a presentation at NUMGRID 2020 Conference, http://www.ccas.ru/gridgen/numgrid2020. Version 3 is extended for publication in conference proceeding - all technical proofs are now in the main body of the paper

Evaluating the wild Brauer group

Authors: Martin Bright, Rachel Newton

Abstract: Classifying elements of the Brauer group of a variety X over a p-adic field according to the p-adic accuracy needed to evaluate them gives a filtration on Br X. We relate this filtration to that defined by Kato's Swan conductor. The refined Swan conductor controls how the evaluation maps vary on p-adic discs: this provides a geometric characterisation of the refined Swan conductor. We give applica… ▽ More Classifying elements of the Brauer group of a variety X over a p-adic field according to the p-adic accuracy needed to evaluate them gives a filtration on Br X. We relate this filtration to that defined by Kato's Swan conductor. The refined Swan conductor controls how the evaluation maps vary on p-adic discs: this provides a geometric characterisation of the refined Swan conductor. We give applications to rational points on varieties over number fields, including failure of weak approximation for varieties admitting a non-zero global 2-form. △ Less

Submitted 5 October, 2023; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 58 pages; minor changes. Final version. The Version of Record of this article is published in Inventiones Mathematicae and is available online at https://doi.org/10.1007/s00222-023-01210-8

MSC Class: 14F22 (Primary) 14G12; 14G20; 14F30 (Secondary) ACM Class: 10.1007/s00222-023-01210

Journal ref: Invent. math. (2023)

Encoding and Topological Computation on Textiles

Authors: Matt Bright, Vitaliy Kurlin

Abstract: A textile structure is a periodic arrangement of threads in the thickened plane. A topological classification of textile structures is harder than for classical knots and links that are non-periodic and restricted to a bounded region. The first important problem is to encode all textile structures in a simple combinatorial way. This paper extends the notion of the Gauss code in classical knot theo… ▽ More A textile structure is a periodic arrangement of threads in the thickened plane. A topological classification of textile structures is harder than for classical knots and links that are non-periodic and restricted to a bounded region. The first important problem is to encode all textile structures in a simple combinatorial way. This paper extends the notion of the Gauss code in classical knot theory, providing a tool for topological computation on these structures. As a first application, we present a linear time algorithm for determining whether a code represents a textile in the physical sense. This algorithm, along with invariants of textile structures, allowed us for the first time to classify all oriented textile structures woven from a single component up to complexity five. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Comments: Special Proceedings of Shape Modelling International Conference 2020

Journal ref: Computers and Graphics 90 (2020) 51-61

Brauer-Manin obstruction for Erdős-Straus surfaces

Authors: Martin Bright, Daniel Loughran

Abstract: We study the failure of the integral Hasse principle and strong approximation for the Erdős-Straus conjecture using the Brauer-Manin obstruction. We study the failure of the integral Hasse principle and strong approximation for the Erdős-Straus conjecture using the Brauer-Manin obstruction. △ Less

Submitted 12 May, 2020; v1 submitted 7 August, 2019; originally announced August 2019.

Comments: 17 pages

MSC Class: 14G05 (primary); 11D68; 11D25; 14F22 (secondary)

Finiteness theorems for K3 surfaces over arbitrary fields

Authors: Martin Bright, Adam Logan, Ronald van Luijk

Abstract: Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over arbitrary base fields, and give examples illustrating how behaviour can differ from the algebraically closed case. Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over arbitrary base fields, and give examples illustrating how behaviour can differ from the algebraically closed case. △ Less

Submitted 13 May, 2019; v1 submitted 11 October, 2018; originally announced October 2018.

Comments: Updated following referee's comments. To appear in European Journal of Mathematics

MSC Class: 14J28; 14J50; 14G27

Rational points in families of varieties

Authors: Martin Bright

Abstract: Notes from lectures given at the Autumn School on Algebraic and Arithmetic Geometry at the Johannes Gutenberg-Universität Mainz in October 2017. Notes from lectures given at the Autumn School on Algebraic and Arithmetic Geometry at the Johannes Gutenberg-Universität Mainz in October 2017. △ Less

Submitted 17 January, 2018; v1 submitted 14 November, 2017; originally announced November 2017.

Comments: Corrected definition of delta-invariant in section 4.3

MSC Class: 11G35

Failure of strong approximation on an affine cone

Authors: Martin Bright, Ivo Kok

Abstract: We use the Brauer-Manin obstruction to strong approximation on a punctured affine cone to explain a curious property of coprime integer solutions to a homogeneous Diophantine equation. We use the Brauer-Manin obstruction to strong approximation on a punctured affine cone to explain a curious property of coprime integer solutions to a homogeneous Diophantine equation. △ Less

Submitted 14 March, 2018; v1 submitted 13 July, 2017; originally announced July 2017.

Comments: Changes following referee's comments

MSC Class: 11G35

Journal ref: Involve 12 (2019) 321-327

A uniform bound on the Brauer groups of certain log K3 surfaces

Authors: Martin Bright, Julian Lyczak

Abstract: Let U be the complement of a smooth anticanonical divisor in a del Pezzo surface of degree at most 7 over a number field k. We show that there is an effective uniform bound for the size of the Brauer group of U in terms of the degree of k. Let U be the complement of a smooth anticanonical divisor in a del Pezzo surface of degree at most 7 over a number field k. We show that there is an effective uniform bound for the size of the Brauer group of U in terms of the degree of k. △ Less

Submitted 6 November, 2017; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: Minor improvements to presentation

MSC Class: 14F22

Obstructions to the Hasse principle in families

Authors: Martin Bright

Abstract: For a family of varieties over a number field, we give conditions under which 100% of members have no Brauer-Manin obstruction to the Hasse principle. For a family of varieties over a number field, we give conditions under which 100% of members have no Brauer-Manin obstruction to the Hasse principle. △ Less

Submitted 17 January, 2018; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: Improvements following referees' comments

MSC Class: 11G35

Journal ref: manuscripta mathematica (2018) 157(3), 529-550

Failures of weak approximation in families

Authors: M. Bright, T. D. Browning, D. Loughran

Abstract: Given a family of varieties $X\to \mathbb{P}^n$ over a number field $k$, we determine conditions under which there is a Brauer-Manin obstruction to weak approximation for $100\%$ of the fibres which are everywhere locally soluble. Given a family of varieties $X\to \mathbb{P}^n$ over a number field $k$, we determine conditions under which there is a Brauer-Manin obstruction to weak approximation for $100\%$ of the fibres which are everywhere locally soluble. △ Less

Submitted 27 January, 2016; v1 submitted 5 June, 2015; originally announced June 2015.

Comments: 44 pages; there is a new application to integral points (Theorem 1.4) and Cor 1.5 recovers a well-known result concerning the Hasse principle

MSC Class: 14G05 (Primary); 11G35; 11N36; 12G05; 14D10; 14F22 (Secondary)

Journal ref: Compositio Math. 152 (2016) 1435-1475

Bad reduction of the Brauer-Manin obstruction

Authors: Martin Bright

Abstract: We relate the Brauer group of a smooth variety over a p-adic field to the geometry of the special fibre of a regular model, using the purity theorem in étale cohomology. As an illustration, we describe how the Brauer group of a smooth del Pezzo surface is determined by the singularity type of its reduction. We then relate the evaluation of an element of the Brauer group to the existence of points… ▽ More We relate the Brauer group of a smooth variety over a p-adic field to the geometry of the special fibre of a regular model, using the purity theorem in étale cohomology. As an illustration, we describe how the Brauer group of a smooth del Pezzo surface is determined by the singularity type of its reduction. We then relate the evaluation of an element of the Brauer group to the existence of points on certain torsors over the special fibre; we use this to describe situations when the evaluation is constant, and situations when the evaluation is surjective. In the latter case, we describe how this surjectivity can be used to prove vanishing of the Brauer-Manin obstruction on varieties over number fields. △ Less

Submitted 4 March, 2015; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: 26 pages; minor edits

MSC Class: Primary 11G25; Secondary 14G20; 11G35; 14F22; 14G05

Brauer groups of singular del Pezzo surfaces

Authors: Martin Bright

Abstract: We describe the effect of rational singularities on the Brauer group of a surface, and compute the Brauer groups of all singular del Pezzo surfaces over an algebraically closed field. We describe the effect of rational singularities on the Brauer group of a surface, and compute the Brauer groups of all singular del Pezzo surfaces over an algebraically closed field. △ Less

Submitted 7 September, 2012; v1 submitted 20 January, 2012; originally announced January 2012.

Comments: 6 pages

MSC Class: 14F22

Journal ref: Michigan Math. J. Volume 62, Issue 3 (2013), 657-664

The Brauer-Manin obstruction on a general diagonal quartic surface

Authors: Martin Bright

Abstract: We prove that, on a sufficiently general diagonal quartic surface, there is a non-trivial Brauer group but no Brauer-Manin obstruction to the existence of rational points. We prove that, on a sufficiently general diagonal quartic surface, there is a non-trivial Brauer group but no Brauer-Manin obstruction to the existence of rational points. △ Less

Submitted 5 October, 2010; v1 submitted 5 August, 2010; originally announced August 2010.

Comments: 9 pages; added a counterexample

Journal ref: Acta Arithmetica 147 (2011), no. 3, 291-302

Torsors under tori and Néron models

Authors: Martin Bright

Abstract: Let R be a Henselian discrete valuation ring with field of fractions K. If X is a smooth variety over K and G a torus over K, then we consider X-torsors under G. If XX/R is a model of X then, using a result of Brahm, we show that X-torsors under G extend to XX-torsors under a Néron model of G if G is split by a tamely ramified extension of K. It follows that the evaluation map associated to such a… ▽ More Let R be a Henselian discrete valuation ring with field of fractions K. If X is a smooth variety over K and G a torus over K, then we consider X-torsors under G. If XX/R is a model of X then, using a result of Brahm, we show that X-torsors under G extend to XX-torsors under a Néron model of G if G is split by a tamely ramified extension of K. It follows that the evaluation map associated to such a torsor factors through reduction to the special fibre. In this way we can use the geometry of the special fibre to study the arithmetic of X. △ Less

Submitted 15 November, 2010; v1 submitted 25 November, 2009; originally announced November 2009.

Comments: 10 pages

MSC Class: 14G20; 14G05; 14F20; 11G25

Journal ref: Journal de Théorie des Nombres de Bordeaux 23 (2011), 309-321

Evaluating Azumaya algebras on cubic surfaces

Authors: Martin Bright

Abstract: Let X be a cubic surface over a local number field k. Given an Azumaya algebra on X, we describe the local evaluation map X(k) -> Q/Z in two cases, showing a sharp dependence on the geometry of the reduction of X. We show that a suitably generic cubic surface over a number field, whose reduction at some prime is a cone, has no Brauer-Manin obstruction. This extends results of Colliot-Thélène, Kane… ▽ More Let X be a cubic surface over a local number field k. Given an Azumaya algebra on X, we describe the local evaluation map X(k) -> Q/Z in two cases, showing a sharp dependence on the geometry of the reduction of X. We show that a suitably generic cubic surface over a number field, whose reduction at some prime is a cone, has no Brauer-Manin obstruction. This extends results of Colliot-Thélène, Kanevsky and Sansuc. △ Less

Submitted 14 September, 2010; v1 submitted 20 October, 2008; originally announced October 2008.

Comments: 14 pages; minor changes

MSC Class: 11G25 (Primary) 14G20 (Secondary)

Journal ref: Manuscripta Math., 134(3), 2011, pp. 405--421