BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Bianca Viray

Bianca Viray appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.AGmath.DSmath.AC

Catalog footprint

What is connected

18works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Persistence of the Brauer-Manin obstruction on cubic surfaces

Let $X$ be a cubic surface over a global field $k$. We prove that a Brauer-Manin obstruction to the existence of $k$-points on $X$ will persist over every extension $L/k$ with degree relatively prime to $3$. In other words, a cubic surface has nonempty Brauer set over $k$ if and only if it has nonempty Brauer set over some extension $L/k$ with $3\nmid[L:k]$. Therefore, the conjecture of Colliot-Thélène and Sansuc on the sufficiency of the Brauer-Manin obstruction for cubic surfaces implies that $X$ has a $k$-rational point if and only if $X$ has a $0$-cycle of degree $1$. This latter statement is a special case of a conjecture of Cassels and Swinnerton-Dyer.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Abelian $n$-division fields of elliptic curves and Brauer groups of product Kummer & abelian surfaces

Let $Y$ be a principal homogeneous space of an abelian surface, or a K3 surface, over a finitely generated extension of $\mathbb{Q}$. In 2008, Skorobogatov and Zarhin showed that the Brauer group modulo algebraic classes $\text{Br}\, Y/ \text{Br}_1\, Y$ is finite. We study this quotient for the family of surfaces that are geometrically isomorphic to a product of isogenous non-CM elliptic curves, as well as the related family of geometrically Kummer surfaces; both families can be characterized by their geometric Néron-Severi lattices. Over a field of characteristic $0$, we prove that the existence of a strong uniform bound on the size of the odd-torsion of $\text{Br}\, Y / \text{Br}_1\, Y$ is equivalent to the existence of a strong uniform bound on integers $n$ for which there exist non-CM elliptic curves with abelian $n$-division fields. Using the same methods we show that, for a fixed prime $p$, a number field $k$ of fixed degree $r$, and a fixed discriminant of the geometric Néron-Severi lattice, $(\text{Br}\, Y / \text{Br}_1\, Y)[p^\infty]$ is bounded by a constant that depends only on $p$, $r$, and the discriminant.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

An arithmetic intersection formula for denominators of Igusa class polynomials

In this paper we prove an explicit formula for the arithmetic intersection number (CM(K).G1)_{\ell} on the Siegel moduli space of abelian surfaces, generalizing the work of Bruinier-Yang and Yang. These intersection numbers allow one to compute the denominators of Igusa class polynomials, which has important applications to the construction of genus 2 curves for use in cryptography. Bruinier and Yang conjectured a formula for intersection numbers on an arithmetic Hilbert modular surface, and as a consequence obtained a conjectural formula for the intersection number (CM(K).G1)_{\ell} under strong assumptions on the ramification of the primitive quartic CM field K. Yang later proved this conjecture assuming that O_K is freely generated by one element over the ring of integers of the real quadratic subfield. In this paper, we prove a formula for (CM(K).G1)_{\ell} for more general primitive quartic CM fields, and we use a different method of proof than Yang. We prove a tight bound on this intersection number which holds for all primitive quartic CM fields. As a consequence, we obtain a formula for a multiple of the denominators of the Igusa class polynomials for an arbitrary primitive quartic CM field. Our proof entails studying the Embedding Problem posed by Goren and Lauter and counting solutions using our previous article that generalized work of Gross-Zagier and Dorman to arbitrary discriminants.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Insufficiency of the Brauer-Manin obstruction for Enriques surfaces

In 2011, Vàrilly-Alvarado and the last author constructed an Enriques surface $X$ over $\mathbb{Q}$ with an étale-Brauer obstruction to the Hasse principle and no algebraic Brauer-Manin obstruction. In this paper, we show that the nontrivial Brauer class of $X_{\bar{\mathbb{Q}}}$ does not descend to $\mathbb{Q}$. Together with the results of Vàrilly-Alvarado and the last author, this proves that the Brauer-Manin obstruction is insufficient to explain all failures of the Hasse principle on Enriques surfaces. The methods of this paper build on the ideas in several recent papers by the last author and various collaborators: we study geometrically unramified Brauer classes on $X$ via pullback of ramified Brauer classes on a rational surface. Notably, we develop techniques which work over fields which are not necessarily separably closed, in particular, over number fields.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On singular moduli for arbitrary discriminants

Let d1 and d2 be discriminants of distinct quadratic imaginary orders O_d1 and O_d2 and let J(d1,d2) denote the product of differences of CM j-invariants with discriminants d1 and d2. In 1985, Gross and Zagier gave an elegant formula for the factorization of the integer J(d1,d2) in the case that d1 and d2 are relatively prime and discriminants of maximal orders. To compute this formula, they first reduce the problem to counting the number of simultaneous embeddings of O_d1 and O_d2 into endomorphism rings of supersingular curves, and then solve this counting problem. Interestingly, this counting problem also appears when computing class polynomials for invariants of genus 2 curves. However, in this application, one must consider orders O_d1 and O_d2 that are non-maximal. Motivated by the application to genus 2 curves, we generalize the methods of Gross and Zagier and give a computable formula for v_p(J(d1,d2)) for any distinct pair of discriminants d1,d2 and any prime p>2. In the case that d1 is squarefree and d2 is the discriminant of any quadratic imaginary order, our formula can be stated in a simple closed form. We also give a conjectural closed formula when the conductors of d1 and d2 are relatively prime.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Brauer groups of double covers of ruled surfaces

Let X be a smooth double cover of a geometrically ruled surface defined over a separably closed field of characteristic different from 2. The main result of this paper is a finite presentation of the 2-torsion in the Brauer group of X with generators given by central simple algebras over the function field of X and relations coming from the Néron-Severi group of X. In particular, the result gives a central simple algebra representative for the unique nontrivial Brauer class on any Enriques surface. An example demonstrating the applications to the study of rational points is given.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Two torsion in the Brauer group of a hyperelliptic curve

We construct unramified central simple algebras representing 2-torsion classes in the Brauer group of a hyperelliptic curve, and show that every 2-torsion class can be constructed this way when the curve has a rational Weierstrass point or when the base field is C_1. In general, we show that a large (but in general proper) subgroup of the 2-torsion classes are given by the construction. Examples demonstrating applications to the arithmetic of hyperelliptic curves defined over number fields are given.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Evidence for the Dynamical Brauer-Manin Criterion

Let f:X->X be a morphism of a variety over a number field K. We consider local conditions and a "Bruaer-Manin" condition, defined by Hsia and Silverman, for the orbit of a point P in X(K) to be disjoint from a subvariety V of X, i.e., the intersection of the orbit of P with V is empty. We provide evidence that the dynamical Brauer-Manin condition is sufficient to explain the lack of points in the intersection of the orbit of P with V; this evidence stems from a probabilistic argument as well as unconditional results in the case of etale maps.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Vertical Brauer groups and del Pezzo surfaces of degree 4

We show that Brauer classes of a locally solvable degree 4 del Pezzo surface X are vertical for some projection away from a plane f: X ---> P^1, i.e., that every Brauer class is obtained by pullback from an element of Br k(P^1). As a consequence, we prove that a Brauer class does not obstruct the existence of a rational point if and only if there exists a fiber of f that is locally solvable. The proof is constructive and gives a simple and practical algorithm, distinct from that in [BBFL07], for computing all classes in the Brauer group of X (modulo constant algebras).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Comparing arithmetic intersection formulas for denominators of Igusa class polynomials

Bruinier and Yang conjectured a formula for intersection numbers on an arithmetic Hilbert modular surface, and as a consequence obtained a conjectural formula for CM(K).G_1 under strong assumptions on the ramification in K. Yang later proved this conjecture under slightly stronger assumptions on the ramification. In recent work, Lauter and Viray proved a different formula for CM(K).G_1 for primitive quartic CM fields with a mild assumption, using a method of proof independent from that of Yang. In this paper we show that these two formulas agree, for a class of primitive quartic CM fields which is slightly larger than the intersection of the fields considered by Yang and Lauter and Viray. Furthermore, the proof that these formulas agree does not rely on the results of Yang or Lauter and Viray. As a consequence of our proof, we conclude that the Bruinier-Yang formula holds for a slightly largely class of quartic CM fields K than what was proved by Yang, since it agrees with the Lauter-Viray formula, which is proved in those cases. The factorization of these intersection numbers has applications to cryptography: precise formulas for them allow one to compute the denominators of Igusa class polynomials, which has important applications to the construction of genus 2 curves for use in cryptography.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Computing conjugating sets and automorphism groups of rational functions

Let phi and psi be endomorphisms of the projective line of degree at least 2, defined over a noetherian commutative ring R with unity. From a dynamical perspective, a significant question is to determine whether phi and psi are conjugate (or to answer the related question of whether a given map phi has a nontrivial automorphism). We show that the space of automorphisms of P^1 conjugating phi to psi is a finite subscheme of PGL(2) (respectively that the automorphism group of phi is a finite group scheme). We construct efficient algorithms for computing the set of conjugating maps (resp. the group of automorphisms) when R is a field. Each of our algorithms takes advantage of different dynamical structures, so context (e.g., field of definition and degree of the map) determines the preferred algorithm. We have implemented them in Sage when R is a finite field or the field of rational numbers, and we give running times for computing automorphism groups for hundreds of random endomorphisms of P^1. These examples demonstrate the superiority of these new algorithms over a naive approach using Groebner bases.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On a uniform bound for the number of exceptional linear subvarieties in the dynamical Mordell-Lang conjecture

Let F : P^n --> P^n be a morphism of degree d > 1 defined over C. The dynamical Mordell--Lang conjecture says that the intersection of an orbit O_F(P) and a subvariety X of P^n is usually finite. We consider the number of linear subvarieties L in P^n such that the intersection of O_F(P)and L is "larger than expected." When F is the d'th-power map and the coordinates of P are multiplicatively independent, we prove that there are only finitely many linear subvarieties that are "super-spanned" by O_F(P), and further that the number of such subvarieties is bounded by a function of n, independent of the point P or the degree d. More generally, we show that there exists a finite subset S, whose cardinality is bounded in terms of n, such that any n+1 points in O_F(P)-S are in linear general position in P^n.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Igusa class polynomials, embeddings of quartic CM fields, and arithmetic intersection theory

Bruinier and Yang conjectured a formula for an intersection number on the arithmetic Hilbert modular surface, CM(K).T_m, where CM(K) is the zero-cycle of points corresponding to abelian surfaces with CM by a primitive quartic CM field K, and T_m is the Hirzebruch-Zagier divisors parameterizing products of elliptic curves with an m-isogeny between them. In this paper, we examine fields not covered by Yang's proof of the conjecture. We give numerical evidence to support the conjecture and point to some interesting anomalies. We compare the conjecture to both the denominators of Igusa class polynomials and the number of solutions to the embedding problem stated by Goren and Lauter.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Failure of the Hasse principle for Chatelet surfaces in characteristic 2

Given any global field k of characteristic 2, we construct a Chatelet surface over k which fails to satisfy the Hasse principle. This failure is due to a Brauer-Manin obstruction. This construction extends a result of Poonen to characteristic 2, thereby showing that the etale-Brauer obstruction is insufficient to explain all failures of the Hasse principle over a global field of any characteristic.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Hilbert schemes of 8 points

The Hilbert scheme H^d_n of n points in A^d contains an irreducible component R^d_n which generically represents n distinct points in A^d. We show that when n is at most 8, the Hilbert scheme H^d_n is reducible if and only if n = 8 and d >= 4. In the simplest case of reducibility, the component R^4_8 \subset H^4_8 is defined by a single explicit equation which serves as a criterion for deciding whether a given ideal is a limit of distinct points. To understand the components of the Hilbert scheme, we study the closed subschemes of H_n^d which parametrize those ideals which are homogeneous and have a fixed Hilbert function. These subschemes are a special case of multigraded Hilbert schemes, and we describe their components when the colength is at most 8. In particular, we show that the scheme corresponding to the Hilbert function (1,3,2,1) is the minimal reducible example.

0 citations0 reviewsNo code linkedOpen access