BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Anthony Várilly-Alvarado

Anthony Várilly-Alvarado contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.NTInformation Theorymath.ITmath.ACmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

17 published item(s)

preprint2026arXiv

Locally recoverable algebro-geometric codes from projective bundles

A code is locally recoverable when each symbol in one of its code words can be reconstructed as a function of $r$ other symbols. We use bundles of projective spaces over a line to construct locally recoverable codes with availability; that is, evaluation codes where each code word symbol can be reconstructed from several disjoint sets of other symbols. The simplest case, where the code's underlying variety is a plane, exhibits noteworthy properties: When $r = 1$, $2$, $3$, they are optimal; when $r \geq 4$, they are optimal with probability approaching $1$ as the alphabet size grows. Additionally, their information rate is close to the theoretical limit. In higher dimensions, our codes form a family of asymptotically good codes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence

We consider the reduction of Brauer classes on surfaces over number fields, with a view toward applications to rationality and derived equivalence. We show that a Brauer class on a very general polarized K3 surface over a number field becomes trivial upon reduction for a set of places of positive natural density. As a consequence, there are cubic fourfolds which become rational upon reduction for a positive proportion of places, and there are twisted derived equivalent K3 surfaces which become derived equivalent upon reduction for a positive proportion of places.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Locally recoverable codes on surfaces

A linear error correcting code is a subspace of a finite-dimensional space over a finite field with a fixed coordinate system. Such a code is said to be locally recoverable with locality $r$ if, for every coordinate, its value at a codeword can be deduced from the value of (certain) $r$ other coordinates of the codeword. These codes have found many recent applications, e.g., to distributed cloud storage. We will discuss the problem of constructing good locally recoverable codes and present some constructions using algebraic surfaces that improve previous constructions and sometimes provide codes that are optimal in a precise sense. The main conceptual contribution of this paper is to consider surfaces fibered over a curve in such a way that each recovery set is constructed from points in a single fiber. This allows us to use the geometry of the fiber to guarantee the local recoverability and use the global geometry of the surface to get a hold on the standard parameters of our codes. We look in detail at situations where the fibers are rational or elliptic curves and provide many examples applying our methods.

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
preprint2016arXiv

Campana points, Vojta's conjecture, and level structures on semistable abelian varieties

We introduce a qualitative conjecture, in the spirit of Campana, to the effect that certain subsets of rational points on a variety over a number field, or a Deligne-Mumford stack over a ring of S-integers, cannot be Zariski dense. The conjecture interpolates, in a way that we make precise, between Lang's conjecture for rational points on varieties of general type over number fields, and the conjecture of Lang and Vojta that asserts that S-integral points on a variety of logarithmic general type are not Zariski-dense. We show our conjecture follows from Vojta's conjecture. Assuming our conjecture, we prove the following theorem: Fix a number field K, a finite set S of places of K containing the infinite places, and a positive integer g. Then there is an integer m_0 such that, for any m > m_0, no principally polarized abelian variety A/K of dimension g with semistable reduction outside of S has full level-m structure.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Kodaira dimension of moduli of special cubic fourfolds

A special cubic fourfold is a smooth hypersurface of degree three and dimension four that contains a surface not homologous to a complete intersection. Special cubic fourfolds give rise to a countable family of Noether-Lefschetz divisors C_d in the moduli space C of smooth cubic fourfolds. These divisors are irreducible 19-dimensional varieties birational to certain orthogonal modular varieties. We use the "low-weight cusp form trick" of Gritsenko, Hulek, and Sankaran to obtain information about the Kodaira dimension of C_d. For example, if d = 6n + 2, then we show that C_d is of general type for n > 18, n not in {20,21,25}, it has nonnegative Kodaira dimension if n > 13 and if n is not equal to 15. In combination with prior work of Hassett, Lai, and Nuer, our investigation leaves only 20 values of d for which no information on the Kodaira dimension of C_d is known. We discuss some questions pertaining to the arithmetic of K3 surfaces raised by our results.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Level structures on abelian varieties, Kodaira dimensions, and Lang's conjecture

Assuming Lang's conjecture, we prove that for a fixed prime $p$, number field $K$, and positive integer $g$, there is an integer $r$ such that no principally polarized abelian variety $A/K$ of dimension $g$ has full level $p^r$ structure. To this end, we use a result of Zuo to prove that for each closed subvariety $X$ in the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties of dimension $g$, there exists a level $m_X$ such that the irreducible components of the preimage of $X$ in $\mathcal{A}_g^{[m]}$ are of general type for $m > m_X$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Cubic fourfolds containing a plane and a quintic del Pezzo surface

We isolate a class of smooth rational cubic fourfolds X containing a plane whose associated quadric surface bundle does not have a rational section. This is equivalent to the nontriviality of the Brauer class of the even Clifford algebra over the K3 surface S of degree 2 arising from X. Specifically, we show that in the moduli space of cubic fourfolds, the intersection of divisors C_8 and C_14 has five irreducible components. In the component corresponding to the existence of a tangent conic to the sextic degeneration curve of the quadric bundle, we prove that the general member is both pfaffian and has nontrivial Brauer class. Such cubic fourfolds also provide twisted derived equivalences between K3 surfaces of degree 2 and 14, hence further corroboration of Kuznetsov's derived categorical conjecture on the rationality of cubic fourfolds.

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
preprint2011arXiv

Failure of the Hasse principle on general K3 surfaces

We show that transcendental elements of the Brauer group of an algebraic surface can obstruct the Hasse principle. We construct a general K3 surface X of degree 2 over Q, together with a two-torsion Brauer class A that is unramified at every finite prime, but ramifies at real points of X. Motivated by Hodge theory, the pair (X,A) is constructed from a double cover of P^2 x P^2 ramified over a hypersurface of bi-degree (2,2).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Laurent polynomials and Eulerian numbers

Duistermaat and van der Kallen show that there is no nontrivial complex Laurent polynomial all of whose powers have a zero constant term. Inspired by this, Sturmfels posed two questions: Do the constant terms of a generic Laurent polynomial form a regular sequence? If so, then what is the degree of the associated zero-dimensional ideal? In this note, we prove that the Eulerian numbers provide the answer to the second question. The proof involves reinterpreting the problem in terms of toric geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Cox rings of degree one del Pezzo surfaces

Let X be a del Pezzo surface of degree one over an algebraically closed field (of any characteristic), and let Cox(X) be its total coordinate ring. We prove the missing case of a conjecture of Batyrev and Popov, which states that Cox(X) is a quadratic algebra. We use a complex of vector spaces whose homology determines part of the structure of the minimal free Pic(X)-graded resolution of Cox(X) over a polynomial ring. We show that sufficiently many Betti numbers of this minimal free resolution vanish to establish the conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Arithmetic E_8 lattices with maximal Galois action

We construct explicit examples of E_8 lattices occurring in arithmetic for which the natural Galois action is equal to the full group of automorphisms of the lattice, i.e., the Weyl group of E_8. In particular, we give explicit elliptic curves over Q(t) whose Mordell-Weil lattices are isomorphic to E_8 and have maximal Galois action. Our main objects of study are del Pezzo surfaces of degree 1 over number fields. The geometric Picard group, considered as a lattice via the negative of the intersection pairing, contains a sublattice isomorphic to E_8. We construct examples of such surfaces for which the action of Galois on the geometric Picard group is maximal.

0 citations0 reviewsNo code linkedOpen access