Searcharxiv⌕ Search

arXiv subjects

Daniel Krashen

Publications and source records attributed to Daniel Krashen.

At least 37 records · Page 2Linked to original sources

Refinements to patching and applications to field invariants

We introduce a notion of refinements in the context of patching, in order to obtain new results about local-global principles and field invariants in the context of quadratic forms and central simple algebras. The fields we consider are finite extensions of the fraction fields of two-dimensional complete domains that need not be local. Our results in particular give the u-invariant and period-index bound for these fields, as consequences of more general abstract results.

math.RA↗

Local-Global Principles for Zero-Cycles on Homogeneous Spaces over Arithmetic Function Fields

We study the existence of zero-cycles of degree one on varieties that are defined over a function field of a curve over a complete discretely valued field. In particular, we show that local-global principles hold for such zero-cycles provided that local-global principles hold for the existence of rational points over extensions of the function field. This assertion is analogous to a known result concerning varieties over number fields. We also show that our results hold more generally in the henselian case.

math.AG↗

Period and index, symbol lengths, and generic splittings in Galois cohomology

We use constructions of versal cohomology classes based on a new notion of "presentable functors," to describe a relationship between the problems of bounding symbol length in cohomology and of finding the minimal degree of a splitting field. The constructions involved are then also used to describe generic splitting varieties for degree 2 cohomology with coefficients in a commutative algebraic group of multiplicative type.

math.RA↗

Local-global principles for torsors over arithmetic curves

We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for groups with rational components, we compute it explicitly and show that it is finite. This yields necessary and sufficient conditions for local-global principles to hold. Our results rely on first obtaining a Mayer-Vietoris sequence for Galois cohomology and then showing that torsors can be patched. We also give new applications to quadratic forms and central simple algebras.

math.NT↗

Derived categories of torsors for abelian schemes

In the first part of our paper, we show that there exist non-isomorphic derived equivalent genus $1$ curves, and correspondingly there exist non-isomorphic moduli spaces of stable vector bundles on genus $1$ curves in general. Neither occurs over an algebraically closed field. We give necessary and sufficient conditions for two genus $1$ curves to be derived equivalent, and we go on to study when two principal homogeneous spaces for an abelian variety have equivalent derived categories. We apply our results to study twisted derived equivalences of the form $D^b(J,α)\simeq D^b(J,β)$, when $J$ is an elliptic fibration, giving a partial answer to a question of Căldăraru.

math.AG↗

Diophantine and cohomological dimensions

We give explicit linear bounds on the p-cohomological dimension of a field in terms of its Diophantine dimension. In particular, we show that for a field of Diophantine dimension at most 4, the 3-cohomological dimension is less than or equal to the Diophantine dimension.

math.RA↗

Local-global principles for Galois cohomology

This paper proves local-global principles for Galois cohomology groups over function fields $F$ of curves that are defined over a complete discretely valued field. We show in particular that such principles hold for $H^n(F, Z/mZ(n-1))$, for all $n>1$. This is motivated by work of Kato and others, where such principles were shown in related cases for $n=3$. Using our results in combination with cohomological invariants, we obtain local-global principles for torsors and related algebraic structures over $F$. Our arguments rely on ideas from patching as well as the Bloch-Kato conjecture.

math.NT↗

Weierstrass preparation and algebraic invariants

We prove a form of the Weierstrass Preparation Theorem for normal algebraic curves over complete discrete valuation rings. While the more traditional algebraic form of Weierstrass Preparation applies just to the projective line over a base, our version allows more general curves. This result is then used to obtain applications concerning the values of u-invariants, and on the period-index problem for division algebras, over fraction fields of complete two-dimensional rings. Our approach uses patching methods and matrix factorization results that can be viewed as analogs of Cartan's Lemma.

math.RA↗

Relative Brauer groups of genus 1 curves

In this paper we develop techniques for computing the relative Brauer group of curves, focusing particularly on the case where the genus is 1. We use these techniques to show that the relative Brauer group may be infinite (for certain ground fields) as well as to determine this group explicitly for certain curves defined over the rational numbers. To connect to previous descriptions of relative Brauer groups in the literature, we describe a family of genus 1 curves, which we call "cyclic type" for which the relative Brauer group can be shown to have a particularly nice description. In order to do this, we discuss a number of formulations of the pairing between the points on an elliptic curve and its Weil-Chatêlet group into the Brauer group of the ground field, and draw connections to the period-index problem for genus 1 curves.

math.NT↗

Distinguishing division algebras by finite splitting fields

This paper is concerned with the problem of determining the number of division algebras which share the same collection of finite splitting fields. As a corollary we are able to determine when two central division algebras may be distinguished by their finite splitting fields over certain fields.

math.RA↗

Field patching, factorization and local-global principles

In this paper we first describe the method of field patching, developed by Harbater and Hartmann, paying special attention to the relationship between factorization and local-global principles, and second, we extend the basic factorization result previously known for rational groups to the case of retract rational groups.

math.AG↗

Patching subfields of division algebras

Given a field F, one may ask which finite groups are Galois groups of field extensions E/F such that E is a maximal subfield of a division algebra with center F. This question was originally posed by Schacher, who gave partial results over the field of rational numbers. Using patching, we give a complete characterization of such groups in the case that F is the function field of a curve over a complete discretely valued field with algebraically closed residue field of characteristic zero, as well as results in related cases.

math.RA↗

Applications of patching to quadratic forms and central simple algebras

This paper provides applications of patching to quadratic forms and central simple algebras over function fields of curves over henselian valued fields. In particular, we use a patching approach to reprove and generalize a recent result of Parimala and Suresh on the u-invariant of p-adic function fields, for p odd. The strategy relies on a local-global principle for homogeneous spaces for rational algebraic groups, combined with local computations.

math.RA↗

Index reduction for Brauer classes via stable sheaves (with an appendix by Bhargav Bhatt)

We use twisted sheaves to study the problem of index reduction for Brauer classes. In general terms, this problem may be phrased as follows: given a field $k$, a $k$-variety $X$, and a class $α\in \Br(k)$, compute the index of the class $α_{k(X)} \in \Br(X)$ obtained from $α$ by extension of scalars to $k(X)$. We give a general method for computing index reduction which refines classical results of Schofield and van den Bergh. When $X$ is a curve of genus 1, we use Atiyah's theorem on the structure of stable vector bundles with integral slope to show that our formula simplifies dramatically, giving a complete solution to the index reduction problem in this case. Using the twisted Fourier-Mukai transform, we show that a similarly simple formula describes homogeneous index reduction on torsors under higher-dimensional abelian varieties.

math.AG↗

Corestrictions of algebras and splitting fields

Given a field $F$, an étale extension $L/F$ and an Azumaya algebra $A/L$, one knows that there are extensions $E/F$ such that $A \otimes_F E$ is a split algebra over $L \otimes_F E$. In this paper we bound the degree of a minimal splitting field of this type from above and show that our bound is sharp in certain situations, even in the case where $L/F$ is a split extension. This gives in particular a number of generalizations of the classical fact that when the tensor product of two quaternion algebras is not a division algebra, the two quaternion algebras must share a common quadratic splitting field. In another direction, our constructions combined with results of Karpenko also show that for any odd prime number $p$, the generic algebra of index $p^n$, and exponent $p$ cannot be expressed nontrivially as the corestriction of an algebra over any extension field if $n < p^2$.

math.RA↗

Pointed trees of projective spaces

We introduce a smooth projective variety $T_{d,n}$ which compactifies the space of configurations of $n$ distinct points on affine $d$-space modulo translation and homothety. The points in the boundary correspond to $n$-pointed stable rooted trees of $d$-dimensional projective spaces, which for $d = 1$, are $(n+1)$-pointed stable rational curves. In particular, $T_{1,n}$ is isomorphic to $\bar{M}_{0,n+1}$, the moduli space of such curves. The variety $T_{d,n}$ shares many properties with $\bar{M}_{0,n}$. For example, as we prove, the boundary is a smooth normal crossings divisor whose components are products of $T_{d,i}$ for $i < n$, it has an inductive construction analogous to but differing from Keel's for $\bar{M}_{0,n}$ which can be used to describe its Chow groups, Chow motive and Poincaré polynomials, generalizing \cite{Keel,Man:GF}. We give a presentation of the Chow rings of $T_{d,n}$, exhibit explicit dual bases for the dimension 1 and codimension 1 cycles. The variety $T_{d,n}$ is embedded in the Fulton-MacPherson spaces $X[n]$ for \textit{any} smooth variety $X$ and we use this connection in a number of ways. For example, to give a family of ample divisors on $T_{d,n}$ and to give an inductive presentation of the Chow groups and the Chow motive of $X[n]$ analogous to Keel's presentation for $\bar{M}_{0,n}$, solving a problem posed by Fulton and MacPherson.

math.AG↗