SearcharxivSearch

arXiv subjects

Zev Rosengarten

Publications and source records attributed to Zev Rosengarten.

At least 19 recordsLinked to original sources

Splitting p-primary cohomology classes of tori in characteristic p

We prove that $p$-primary cohomology classes of a torus $T$ over a global function field of characteristic $p$ may be split by suitable separable $p$-primary extensions. More precisely, we show that such cohomology classes will split in any ``large'' $p$-primary extension (and in fact, prove the same for $\ell$-primary classes over ``large'' $\ell$-primary extensions for every prime $\ell$, including $\ell \neq \mathrm{char}(K)$), and we prove that $p^n$-torsion classes may be split by a (solvable) separable $p$-primary extension of degree $\leq (p^n)^{1+cm\mathrm{log}(m)^3}$ for an explicitly computable universal constant $c > 0$, where $m$ is the degree of a finite Galois extension splitting the torus $T$. Along the way, we also prove Grunwald-Wang type results of independent interest which allow one to approximate a given finite list of abelian $p$-primary local extensions of places of a global function field by a suitable global extension.

math.NT

Extensions Of Unirational Groups

We undertake a study of extensions of unirational algebraic groups. We prove that extensions of unirational groups are also unirational over fields of degree of imperfection $1$, but that this fails over every field of higher degree of imperfection, answering a question of Achet. We also initiate a study of those groups which admit filtrations with unirational graded pieces, and show that one may deduce unirationality of unipotent groups from unirationality of certain quotients.

math.AG

Extensions of Abelian Schemes and the Additive Group

We compute extension sheaves of abelian schemes and of the additive group by the multiplicative group in the fppf topology. Our main results include a generalized and streamlined proof of the Barsotti--Weil formula, the vanishing of $\underline{\operatorname{Ext}}^2(A,\mathbb{G}_m)$ for an abelian scheme $A$ over a general base, and a description of $\underline{\operatorname{Ext}}^1(\mathbb{G}_a,\mathbb{G}_m)$ in characteristic zero.

math.AG

The Restricted Picard Functor

We prove in significant generality the (almost-)representability of the Picard functor when restricted to smooth test schemes. The novelty lies in the fact that we prove such (almost-)representability beyond the proper setting.

math.AG

(Non-)Extendability of Abel-Jacobi Maps

We investigate the "natural" locus of definition of Abel-Jacobi maps. In particular, we show that, for a proper, geometrically reduced curve C -- not necessarily smooth -- the Abel-Jacobi map from the smooth locus C^{sm} into the Jacobian of C does not extend to any larger (separated, geometrically reduced) curve containing C^{sm} except under certain particular circumstances which we describe explicitly. As a consequence, we deduce that the Abel-Jacobi map has closed image except in certain explicitly described circumstances, and that it is always a closed embedding for irreducible curves not isomorphic to P^1.

math.AG

Algebraic Groups with Torsors That Are Versal for All Affine Varieties

Let $k$ be a field and let $G$ be an affine algebraic group over $k$. Call a $G$-torsor weakly versal for a class of $k$-schemes $\cal C$ if it specializes to every $G$-torsor over a scheme in $\cal C$. A recent result of the first author, Reichstein and Williams says that for any $d\geq 0$, there exists a $G$-torsor over a finite type $k$-scheme that is weakly versal for finite type affine $k$-schemes of dimension at most $d$. The first author also observed that if $G$ is unipotent, then $G$ admits a torsor over a finite type $k$-scheme that is weakly versal for all affine $k$-schemes, and that the converse holds if $\operatorname{char} k=0$. In this work, we extend this to all fields, showing that $G$ is unipotent if and only if it admits a $G$-torsor over a quasi-compact base that is weakly versal for all finite type regular affine $k$-schemes. Our proof is characteristic-free and it also gives rise to a quantitative statement: If $G$ is a non-unipotent subgroup of $\mathbf{GL}_n$, then a $G$-torsor over a quasi-projective $k$-scheme of dimension $d$ is not weakly versal for finite type regular affine $k$-schemes of dimension $n(d+1)+2$. This means in particular that every such $G$ admits a nontrivial torsor over a regular affine $(n+2)$-dimensional variety. When $G$ contains a nontrivial torus, we show that nontrivial torsors already exist over $3$-dimensional smooth affine varieties (even when $G$ is special), and this is optimal in general. In the course of the proof, we show that for every $m,\ell\in\mathbb{N}\cup\{0\}$ with $\ell\neq 1$, there exists a smooth affine $k$-scheme $X$ carrying an $\ell$-torsion line bundle that cannot be generated by $m$ global sections. We moreover study the minimal possible dimension of such an $X$ and show that it is $m$, $m+1$ or $m+2$.

math.AG

Rigidity And Unirational Groups

We prove a rigidity theorem for morphisms from products of open subschemes of the projective line into solvable groups not containing a copy of $\Ga$ (for example, wound unipotent groups). As a consequence, we deduce several structural results about unirational group schemes, including that unirationality for group schemes descends through separable extensions. We also apply the main result to prove that permawound unipotent groups are unirational and -- when wound -- commutative.

math.AG

Permawound Unipotent Groups

We introduce the class of permawound unipotent groups, and show that they simultaneously satisfy certain "ubiquity" and "rigidity" properties that in combination render them very useful in the study of general wound unipotent groups. As an illustration of their utility, we present two applications: We prove that nonsplit smooth unipotent groups over (infinite) finitely-generated fields have infinite first cohomology; and we show that every commutative p-torsion wound unipotent group over a field of degree of imperfection 1 is the maximal unipotent quotient of a commutative pseudo-reductive group, thus partially answering a question of Totaro.

math.AG

Tate Duality In Positive Dimension Over Function Fields

We extend the classical duality results of Poitou and Tate for finite discrete Galois modules over local and global fields (local duality, nine-term exact sequence, etc.) to all affine commutative group schemes of finite type, building on the recent work of Česnavičius extending these results to all finite commutative group schemes. We concentrate mainly on the more difficult function field setting, giving some remarks about the number field case along the way.

math.NT

Criterion for surjectivity of localization in Galois cohomology of a reductive group over a number field

Let $G$ be a connected reductive group over a number field $F$, and let $S$ be a set (finite or infinite) of places of $F$. We give a necessary and sufficient condition for the surjectivity of the localization map from $H^1(F,G)$ to the "direct sum" of the sets $H^1(F_v,G)$ where $v$ runs over $S$. In the appendices, we give a new construction of the abelian Galois cohomology of a reductive group over a field of arbitrary characteristic.

math.NT

Picard Groups Of Algebraic Groups And An Affineness Criterion

We prove that an algebraic group over a field $k$is affine precisely when its Picard group is torsion, and show that in this case the Picard group is finite when $k$ is perfect, and the product of a finite group of order prime to $p$ and a $p$-primary group of finite exponent when $k$ is imperfect of characteristic $p$.

math.AG

Quasi-connected reductive groups

We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group.

math.GR

Galois cohomology of real quasi-connected reductive groups

By a quasi-connected reductive group (a term of Labesse) over an arbitrary field we mean an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group. We compute the first Galois cohomology set H^1(R,G) of a quasi-connected reductive group G over the field R of real numbers in terms of a certain action of a subgroup of the Weyl group on the Galois cohomology of a fundamental quasi-torus of G.

math.RT

Pathological Behavior of Arithmetic Invariants of Unipotent Groups

We show that all of the nice behavior for Tamagawa numbers, Tate-Shafarevich sets, and other arithmetic invariants of pseudo-reductive groups over global function fields proved in \cite{rospred} fails in general for non-commutative unipotent groups. We also give some positive results which show that Tamagawa numbers do exhibit some reasonable behavior for arbitrary connected linear algebraic groups over global function fields.

math.NT

Translation-Invariant Line Bundles On Linear Algebraic Groups

We study the Picard groups of connected linear algebraic groups, and especially the subgroup of translation-invariant line bundles. We prove that this subgroup is finite over every global function field. We also utilize our study of these groups in order to construct various examples of pathological behavior for the cohomology of commutative linear algebraic groups over local and global function fields.

math.NT

Tamagawa Numbers and Other Invariants of Pseudo-reductive Groups Over Global Function Fields

We study Tamagawa numbers and other invariants (especially Tate-Shafarevich sets) attached to commutative and pseudo-reductive groups over global function fields. In particular, we prove a simple formula for Tamagawa numbers of commutative groups and pseudo-reductive groups. We also show that the Tamagawa numbers and Tate-Shafarevich sets of such groups are invariant under inner twist, as well as proving a result on the cohomology of such groups which extends part of classical Tate duality from commutative groups to all pseudo-reductive groups. Finally, we apply this last result to show that for suitable quotient spaces by commutative or pseudo-reductive groups, the Brauer--Manin obstruction is the only obstruction to strong (and weak) approximation.

math.NT

An Erdos-Turan Inequality For Compact Simply-Connected Semisimple Lie Groups

The classical Erd{\" o}s-Turan Inequality bounds how far a sequence of points in the circle is from being equidistributed in terms of its exponential moments. We prove an analogous inequality for all compact simply-connected semisimple Lie groups, bounding how far a sequence is from being equidistributed in the conjugacy classes of the group in terms of the moments of irreducible characters.

math.RT