Showing 1–9 of 9 results for author: Mackall, E

On deformations of Azumaya algebras with quadratic pair

Authors: Eoin Mackall, Cameron Ruether

Abstract: We construct a tangent-obstruction theory for Azumaya algebras equipped with a quadratic pair. Under the assumption that either 2 is a global unit or the algebra is of degree 2, we show how the deformation theory of these objects reduces to the deformation theory of the underlying Azumaya algebra. Namely, if the underlying Azumaya algebra has unobstructed deformations then so does the quadratic pa… ▽ More We construct a tangent-obstruction theory for Azumaya algebras equipped with a quadratic pair. Under the assumption that either 2 is a global unit or the algebra is of degree 2, we show how the deformation theory of these objects reduces to the deformation theory of the underlying Azumaya algebra. Namely, if the underlying Azumaya algebra has unobstructed deformations then so does the quadratic pair. On the other hand, in the purely characteristic 2 setting, we construct an Azumaya algebra with unobstructed deformations which can be equipped with a quadratic pair such that the associated triple has obstructed deformations. Our example is a biquaternion Azumaya algebra on an Igusa surface. Independently from the above results, we also introduce a new obstruction for quadratic pairs, existing only in characteristic 2, which is intermediate to both the strong and weak obstructions that were recently introduced by Gille, Neher, and the second named author. This intermediate obstruction characterizes when a canonical extension of the Lie algebra sheaf of the automorphism group scheme of some quadratic triple is split. △ Less

Submitted 8 April, 2025; v1 submitted 3 April, 2025; originally announced April 2025.

Comments: 50 pages. Added funding information for the second author, otherwise identical to v1

MSC Class: Primary: 14D15; Secondary: 11E99; 16H05; 16W10; 20G10; 20G35

On the algebraizability of formal deformations in $K$-cohomology

Authors: Eoin Mackall

Abstract: We show that algebraizability of the functors $R^1π_*\mathcal{K}^M_{2,X}$ and $R^2π_*\mathcal{K}^M_{2,X}$ is a stable birational invariant for smooth and proper varieties $π:X\rightarrow k$ defined over an algebraic extension $k$ of $\mathbb{Q}$. The same is true for the étale sheafifications of these functors as well. To get these results we introduce a notion of relative $K$-homology for schem… ▽ More We show that algebraizability of the functors $R^1π_*\mathcal{K}^M_{2,X}$ and $R^2π_*\mathcal{K}^M_{2,X}$ is a stable birational invariant for smooth and proper varieties $π:X\rightarrow k$ defined over an algebraic extension $k$ of $\mathbb{Q}$. The same is true for the étale sheafifications of these functors as well. To get these results we introduce a notion of relative $K$-homology for schemes of finite type over a finite dimensional, Noetherian, excellent base scheme over a field. We include this material in an appendix. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: 17 pages

MSC Class: 14C35

Elliptic curves and their principal homogeneous spaces: splitting Severi--Brauer varieties

Authors: Eoin Mackall, Nick Rekuski

Abstract: We consider the question: which elliptic curves appear as the Jacobian of a smooth curve of genus one splitting a Severi--Brauer variety? We provide three new examples. First, we show that if $E$ is any elliptic curve over an algebraically closed field $k$ and if $F/k$ is a perfect field extension, then there exists a principal homogeneous space for $E_F$ splitting a Severi--Brauer variety… ▽ More We consider the question: which elliptic curves appear as the Jacobian of a smooth curve of genus one splitting a Severi--Brauer variety? We provide three new examples. First, we show that if $E$ is any elliptic curve over an algebraically closed field $k$ and if $F/k$ is a perfect field extension, then there exists a principal homogeneous space for $E_F$ splitting a Severi--Brauer variety $X=\mathrm{SB}(A)$ over $F$ if and only if $A$ is Brauer equivalent to a cyclic algebra. Along the way, we also give a uniform proof of a generalization of results due to O'Neil, Clark and Sharif, and Antieau and Auel. Second, we give an example of an elliptic curve $E$ over a field $k$ together with a central simple algebra $A/k$ of degree $4$ such that $E$ is the Jacobian of a smooth genus one curve $C$ embedded in the Severi--Brauer variety $X=\mathrm{SB}(A)$ as a degree 8 curve and such that $E$ is not the Jacobian of any genus one curve of smaller degree contained in $X$. Our example is, in some sense, as small as possible in both dimension and arithmetic complexity. Third, we show that for any odd integer $n\geq 3$ there is a central simple algebra $A$ of degree $n$ over a local field $k$ which is split by the principal homogeneous space of an elliptic curve $E/k$ but not by any principal homogeneous space for any quadratic twist of $E$. This generalizes a recent result of Saltman in the case of surfaces to arbitrary even dimension. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 24 Pages. Comments welcome

MSC Class: 16K50; 14H52

Pro-representability of $K^M$-cohomology in weight 3 generalizing a result of Bloch

Authors: Eoin Mackall

Abstract: We generalize a result, on the pro-representability of Milnor $K$-cohomology groups at the identity, that's due to Bloch. In particular, we prove, for $X$ a smooth, proper, and geometrically connected variety defined over an algebraic field extension $k/\mathbb{Q}$, that the functor \[\mathscr{T}_{X}^{i,3}(A)=\ker\left(H^i(X_A,\mathcal{K}_{3,X_A}^M)\rightarrow H^i(X,\mathcal{K}_{3,X}^M)\right),\]… ▽ More We generalize a result, on the pro-representability of Milnor $K$-cohomology groups at the identity, that's due to Bloch. In particular, we prove, for $X$ a smooth, proper, and geometrically connected variety defined over an algebraic field extension $k/\mathbb{Q}$, that the functor \[\mathscr{T}_{X}^{i,3}(A)=\ker\left(H^i(X_A,\mathcal{K}_{3,X_A}^M)\rightarrow H^i(X,\mathcal{K}_{3,X}^M)\right),\] defined on Artin local $k$-algebras $(A,\mathfrak{m}_A)$ with $A/\mathfrak{m}_A\cong k$, is pro-representable provided that certain Hodge numbers of $X$ vanish. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Comments: 13 pages; To appear in Annals of K-theory

MSC Class: 19E08 (Primary) 14D15 (Secondary)

On the Chow groups of a biquaternion Severi--Brauer variety

Authors: Eoin Mackall

Abstract: We provide an alternative proof that the Chow group of $1$-cycles on a Severi--Brauer variety associated to a biquaternion division algebra is torsion-free. There are three proofs of this result in the literature, all of which are due to Karpenko and rely on a clever use of $K$-theory. The proof that we give here, by contrast, is geometric and uses degenerations of quartic elliptic normal curves. We provide an alternative proof that the Chow group of $1$-cycles on a Severi--Brauer variety associated to a biquaternion division algebra is torsion-free. There are three proofs of this result in the literature, all of which are due to Karpenko and rely on a clever use of $K$-theory. The proof that we give here, by contrast, is geometric and uses degenerations of quartic elliptic normal curves. △ Less

Submitted 27 October, 2022; v1 submitted 30 October, 2021; originally announced November 2021.

Comments: 16 pages, to appear in Pacific Journal of Mathematics

MSC Class: 14C25

Journal ref: Pacific J. Math. 321 (2022) 359-374

Twisted Hilbert schemes and division algebras

Authors: Eoin Mackall

Abstract: Let $\mathscr{X}/S$ be any Severi--Brauer scheme of constant relative dimension $n$ over a Noetherian base scheme $S$. For each polynomial $φ(t)\in \mathbb{Q}[t]$, we construct a scheme $\mathrm{Hilb}_{φ(t)}^{\mathrm{tw}}(\mathscr{X}/S)$ that étale locally, on a cover $S'/S$ splitting $\mathscr{X}/S$, is the Hilbert scheme $\mathrm{Hilb}_{φ(t)}(\mathscr{X}_{S'}/S')$ of the projective bundle… ▽ More Let $\mathscr{X}/S$ be any Severi--Brauer scheme of constant relative dimension $n$ over a Noetherian base scheme $S$. For each polynomial $φ(t)\in \mathbb{Q}[t]$, we construct a scheme $\mathrm{Hilb}_{φ(t)}^{\mathrm{tw}}(\mathscr{X}/S)$ that étale locally, on a cover $S'/S$ splitting $\mathscr{X}/S$, is the Hilbert scheme $\mathrm{Hilb}_{φ(t)}(\mathscr{X}_{S'}/S')$ of the projective bundle $\mathscr{X}_{S'}/S'$. We then study curves of small degree on a Severi--Brauer variety in order to analyze examples. Our primary interest, in the case $X$ is a Severi--Brauer variety with index $n>1$ over a field $k$, is the subscheme $\mathrm{Ell}_n(X)$ of $\mathrm{Hilb}^{\mathrm{tw}}_{nt}(X/k)$ parametrizing curves that are smooth, geometrically connected, and of genus 1. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: 25 pages

MSC Class: 14C05; 16K20

$\mathbb{A}^1$-homotopy equivalences and a theorem of Whitehead

Authors: Eoin Mackall

Abstract: We prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow groups, or on the Grothendieck group of coherent sheaves, is an isomorphism. As a corollary, we show that there are no nontrivial naive $\mathbb{A}^1$-homotopy eq… ▽ More We prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow groups, or on the Grothendieck group of coherent sheaves, is an isomorphism. As a corollary, we show that there are no nontrivial naive $\mathbb{A}^1$-homotopy equivalences between smooth projective varieties. △ Less

Submitted 3 March, 2021; originally announced March 2021.

MSC Class: 14C25; 14C35

Journal ref: Homology, Homotopy, and Applications. Vol. 23 (2021), 257--274

Universal additive Chern classes and a GRR-type theorem

Authors: Eoin Mackall

Abstract: We construct a functor, from the category of schemes to the category of graded rings, that is an initial object for having a theory of Chern classes with an additive first Chern class. For any scheme $X$, the graded ring that our functor associates to $X$ is related to the associated graded ring of the $γ$-filtration on the Grothendieck ring of finite rank locally free sheaves on $X$ via a Grothen… ▽ More We construct a functor, from the category of schemes to the category of graded rings, that is an initial object for having a theory of Chern classes with an additive first Chern class. For any scheme $X$, the graded ring that our functor associates to $X$ is related to the associated graded ring of the $γ$-filtration on the Grothendieck ring of finite rank locally free sheaves on $X$ via a Grothendieck-Riemann-Roch type theorem. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 14 Pages. To appear in Journal of Algebra

MSC Class: 19E20

Six variations on a theme: almost planar graphs

Authors: Max Lipton, Eoin Mackall, Thomas W. Mattman, Mike Pierce, Samantha Robinson, Jeremy Thomas, Ilan Weinschelbaum

Abstract: A graph is apex if it can be made planar by deleting a vertex, that is, $\exists v$ such that $G-v$ is planar. We define the related notions of edge apex, $\exists e$ such that $G-e$ is planar, and contraction apex, $\exists e$ such that $G/e$ is planar, as well as the analogues with a universal quantifier: $\forall v$, $G-v$ planar; $\forall e$, $G-e$ planar; and $\forall e$, $G/e$ planar. The Gr… ▽ More A graph is apex if it can be made planar by deleting a vertex, that is, $\exists v$ such that $G-v$ is planar. We define the related notions of edge apex, $\exists e$ such that $G-e$ is planar, and contraction apex, $\exists e$ such that $G/e$ is planar, as well as the analogues with a universal quantifier: $\forall v$, $G-v$ planar; $\forall e$, $G-e$ planar; and $\forall e$, $G/e$ planar. The Graph Minor Theorem of Robertson and Seymour ensures that each of these six gives rise to a finite set of obstruction graphs. For the three definitions with universal quantifiers we determine this set. For the remaining properties, apex, edge apex, and contraction apex, we show there are at least 36, 55, and 82 obstruction graphs respectively. We give two similar approaches to almost nonplanar ($\exists e$, $G+e$ is nonplanar and $\forall e$, $G+e$ is nonplanar) and determine the corresponding minor minimal graphs. △ Less

Submitted 5 August, 2016; originally announced August 2016.

Comments: 32 pages, 8 figures

MSC Class: 05C10 (Primary) 57M15 (Secondary)

Journal ref: Involve 11 (2018) 413-448