Showing 1–16 of 16 results for author: McKinnie, K

Classes in $\mathrm H_{p^m}^{n+1}(F)$ of lower exponent

Authors: Adam Chapman, Daniel Krashen, Kelly McKinnie

Abstract: Let $F$ be a field of characteristic $p>0$. We prove that if a symbol $A=ω\otimes β_1 \otimes \dots \otimes β_n$ in $H_{p^m}^{n+1}(F)$ is of exponent dividing $p^{m-1}$, then its symbol length in $H_{p^{m-1}}^{n+1}(F)$ is at most $p^n$. In the case $n=2$ we also prove that if $A= ω_1\otimes β_1+\cdots+ω_r\otimes β_r$ in $H_{p^{m}}^2(F)$ satisfies $\exp(A)|p^{m-1}$, then the symbol length of $A$ in… ▽ More Let $F$ be a field of characteristic $p>0$. We prove that if a symbol $A=ω\otimes β_1 \otimes \dots \otimes β_n$ in $H_{p^m}^{n+1}(F)$ is of exponent dividing $p^{m-1}$, then its symbol length in $H_{p^{m-1}}^{n+1}(F)$ is at most $p^n$. In the case $n=2$ we also prove that if $A= ω_1\otimes β_1+\cdots+ω_r\otimes β_r$ in $H_{p^{m}}^2(F)$ satisfies $\exp(A)|p^{m-1}$, then the symbol length of $A$ in $H_{p^{m-1}}^2(F)$ is at most $p^r+r-1$. We conclude by looking at the case $p=2$ and proving that if $A$ is a sum of two symbols in $H_{2^m}^{n+1}(F)$ and $\exp A |2^{m-1}$, then the symbol length of $A$ in $H_{2^{m-1}}^{n+1}(F)$ is at most $(2n+1)2^n$. Our results use norm conditions in characteristic $p$ in the same manner as Matrzi in his paper ``On the symbol length of symbols''. △ Less

Submitted 24 September, 2024; originally announced September 2024.

Biquaternion Algebras, Chain Lemma and Symbol Length

Authors: Adam Chapman, Kelly McKinnie

Abstract: In this note, we present a chain lemma for biquaternion algebras over fields of characteristic 2 in the style of the equivalent chain lemma by Sivatski in characteristic not 2, and conclude a bound on the symbol length of classes in ${_{2^n}Br}(F)$ whose symbol length in ${_{2^{n+1}}Br}(F)$ is at most 4. In this note, we present a chain lemma for biquaternion algebras over fields of characteristic 2 in the style of the equivalent chain lemma by Sivatski in characteristic not 2, and conclude a bound on the symbol length of classes in ${_{2^n}Br}(F)$ whose symbol length in ${_{2^{n+1}}Br}(F)$ is at most 4. △ Less

Submitted 14 June, 2023; originally announced June 2023.

MSC Class: 16K20 11E04 11E81

Asymptotic Brauer $p$-Dimension

Authors: Adam Chapman, Kelly McKinnie

Abstract: We define and compute $\operatorname{ABrd}_p(F)$, the asymptotic Brauer $p$-dimension of a field $F$, in cases where $F$ is a rational function field or Laurent series field. $\operatorname{ABrd}_p(F)$ is defined like the Brauer $p$-dimension except it considers finite sets of Brauer classes instead of single classes. Our main result shows that for fields $F_0(α_1,\dots,α_n)$ and… ▽ More We define and compute $\operatorname{ABrd}_p(F)$, the asymptotic Brauer $p$-dimension of a field $F$, in cases where $F$ is a rational function field or Laurent series field. $\operatorname{ABrd}_p(F)$ is defined like the Brauer $p$-dimension except it considers finite sets of Brauer classes instead of single classes. Our main result shows that for fields $F_0(α_1,\dots,α_n)$ and $F_0 (\!( α_1)\!) \dots(\!(α_n)\!)$ where $F_0$ is a perfect field of characteristic $p>0$ when $n \geq 2$ the asymptotic Brauer $p$-dimension is $n$. We also show that it is $n-1$ when $F=F_0 (\!( α_1)\!) \dots(\!(α_n)\!)$ and $F_0$ is algebraically closed of characteristic not $p$. We conclude the paper with examples of pairs of cyclic algebras of odd prime degree $p$ over a field $F$ for which $\operatorname{Brd}_p(F)=2$ that share no maximal subfields despite their tensor product being non-division. △ Less

Submitted 24 September, 2021; originally announced September 2021.

MSC Class: 16K20 16W60

Common Splitting Fields of Symbol Algebras

Authors: Adam Chapman, Mathieu Florence, Kelly McKinnie

Abstract: We study the common splitting fields of symbol algebras of degree $p^m$ over fields $F$ of $\operatorname{char}(F)=p$. We first show that if any finite number of such algebras share a degree $p^m$ simple purely inseparable splitting field, then they share a cyclic splitting field of the same degree. As a consequence, we conclude that every finite number of symbol algebras of degrees… ▽ More We study the common splitting fields of symbol algebras of degree $p^m$ over fields $F$ of $\operatorname{char}(F)=p$. We first show that if any finite number of such algebras share a degree $p^m$ simple purely inseparable splitting field, then they share a cyclic splitting field of the same degree. As a consequence, we conclude that every finite number of symbol algebras of degrees $p^{m_0},\dots,p^{m_t}$ share a cyclic splitting field of degree $p^{m_0+\dots+m_t}$. This generalization recovers the known fact that every tensor product of symbol algebras is a symbol algebra. We apply a result of Tignol's to bound the symbol length of classes in $\operatorname{Br}_{p^m}(F)$ whose symbol length when embedded into $\operatorname{Br}_{p^{m+1}}(F)$ is 2 for $p\in \{2,3\}$. We also study similar situations in other Kato-Milne cohomology groups, where the necessary norm conditions for splitting exist. △ Less

Submitted 11 May, 2022; v1 submitted 14 December, 2020; originally announced December 2020.

MSC Class: 16K20; 13A35; 19D45; 20G10

Farey Recursive Functions

Authors: Eric Chesebro, Cory Emlen, Kenton Ke, Denise LaFontaine, Kelly McKinnie, Catherine Rigby

Abstract: This paper introduces Farey Recursive Functions and investigates their basic properties. Farey Recursive Functions are a special type of recursive function from the rationals to a commutative ring. The recursion of these functions is organized by the Farey graph. They arise naturally in the study of 2-bridge knots and links. This paper introduces Farey Recursive Functions and investigates their basic properties. Farey Recursive Functions are a special type of recursive function from the rationals to a commutative ring. The recursion of these functions is organized by the Farey graph. They arise naturally in the study of 2-bridge knots and links. △ Less

Submitted 30 August, 2020; originally announced August 2020.

MSC Class: 57M50 (Primary); 05A10 (secondary)

Journal ref: Involve 14 (2021) 439-461

Essential Dimension, Symbol Length and $p$-rank

Authors: Adam Chapman, Kelly McKinnie

Abstract: We prove that the essential dimension of central simple algebras of degree $p^{\ell m}$ and exponent $p^m$ over fields $F$ containing a base-field $k$ of characteristic $p$ is at least $\ell+1$ when $k$ is perfect. We do this by observing that the $p$-rank of $F$ bounds the symbol length in $\operatorname{Br}_{p^m}(F)$ and that there exist indecomposable $p$-algebras of degree $p^{\ell m}$ and exp… ▽ More We prove that the essential dimension of central simple algebras of degree $p^{\ell m}$ and exponent $p^m$ over fields $F$ containing a base-field $k$ of characteristic $p$ is at least $\ell+1$ when $k$ is perfect. We do this by observing that the $p$-rank of $F$ bounds the symbol length in $\operatorname{Br}_{p^m}(F)$ and that there exist indecomposable $p$-algebras of degree $p^{\ell m}$ and exponent $p^m$. We also prove that the symbol length of the Milne-Kato cohomology group $\operatorname H^{n+1}_{p^m}(F)$ is bounded from above by $\binom rn$ where $r$ is the $p$-rank of the field, and provide upper and lower bounds for the essential dimension of Brauer classes of a given symbol length. △ Less

Submitted 30 January, 2020; v1 submitted 23 August, 2019; originally announced August 2019.

MSC Class: 16K20 (primary); 13A35; 19D45; 20G10 (secondary)

Journal ref: Can. Math. Bull. 63 (2020) 882-890

The $u^n$-invariant and the Symbol Length of $H_2^n(F)$

Authors: Adam Chapman, Kelly McKinnie

Abstract: Given a field $F$ of $\operatorname{char}(F)=2$, we define $u^n(F)$ to be the maximal dimension of an anisotropic form in $I_q^n F$. For $n=1$ it recaptures the definition of $u(F)$. We study the relations between this value and the symbol length of $H_2^n(F)$, denoted by $sl_2^n(F)$. We show for any $n \geq 2$ that if $2^n \leq u^n(F) \leq u^2(F) < \infty$ then… ▽ More Given a field $F$ of $\operatorname{char}(F)=2$, we define $u^n(F)$ to be the maximal dimension of an anisotropic form in $I_q^n F$. For $n=1$ it recaptures the definition of $u(F)$. We study the relations between this value and the symbol length of $H_2^n(F)$, denoted by $sl_2^n(F)$. We show for any $n \geq 2$ that if $2^n \leq u^n(F) \leq u^2(F) < \infty$ then $sl_2^n(F) \leq \prod_{i=2}^n (\frac{u^i(F)}{2}+1-2^{i-1})$. As a result, if $u(F)$ is finite then $sl_2^n(F)$ is finite for any $n$, a fact which was previously proven when $\operatorname{char}(F) \neq 2$ by Saltman and Krashen. We also show that if $sl_2^n(F)=1$ then $u^n(F)$ is either $2^n$ or $2^{n+1}$. △ Less

Submitted 15 September, 2017; v1 submitted 21 August, 2017; originally announced August 2017.

MSC Class: 11E81 (primary); 11E04; 12G05 (secondary)

Kato-Milne Cohomology and Polynomial Forms

Authors: Adam Chapman, Kelly McKinnie

Abstract: Given a prime number $p$, a field $F$ with $\operatorname{char}(F)=p$ and a positive integer $n$, we study the class-preserving modifications of Kato-Milne classes of decomposable differential forms. These modifications demonstrate a natural connection between differential forms and $p$-regular forms. A $p$-regular form is defined to be a homogeneous polynomial form of degree $p$ for which there i… ▽ More Given a prime number $p$, a field $F$ with $\operatorname{char}(F)=p$ and a positive integer $n$, we study the class-preserving modifications of Kato-Milne classes of decomposable differential forms. These modifications demonstrate a natural connection between differential forms and $p$-regular forms. A $p$-regular form is defined to be a homogeneous polynomial form of degree $p$ for which there is no nonzero point where all the order $p-1$ partial derivatives vanish simultaneously. We define a $\widetilde C_{p,m}$ field to be a field over which every $p$-regular form of dimension greater than $p^m$ is isotropic. The main results are that for a $\widetilde C_{p,m}$ field $F$, the symbol length of $H_p^2(F)$ is bounded from above by $p^{m-1}-1$ and for any $n \geq \lceil (m-1) \log_2(p) \rceil+1$, $H_p^{n+1}(F)=0$. △ Less

Submitted 28 February, 2018; v1 submitted 26 May, 2017; originally announced May 2017.

MSC Class: 11E76 (primary); 11E04; 11E81; 12G10; 16K20; 19D45 (secondary)

Essential Dimension of Generic Symbols in Characteristic p

Authors: Kelly McKinnie

Abstract: In this article the $p$-essential dimension of generic symbols over fields of characteristic $p$ is studied. In particular, the $p$-essential dimension of the length $\ell$ generic $p$-symbol of degree $n+1$ is bounded below by $n+\ell$ when the base field is algebraically closed of characteristic $p$. The proof uses new techniques for working with residues in Milne-Kato $p$-cohomology and builds… ▽ More In this article the $p$-essential dimension of generic symbols over fields of characteristic $p$ is studied. In particular, the $p$-essential dimension of the length $\ell$ generic $p$-symbol of degree $n+1$ is bounded below by $n+\ell$ when the base field is algebraically closed of characteristic $p$. The proof uses new techniques for working with residues in Milne-Kato $p$-cohomology and builds on work of Babic and Chernousov in the Witt group in characteristic 2. Two corollaries on $p$-symbol algebras (i.e, degree 2 symbols) result from this work. The generic $p$-symbol algebra of length $\ell$ is shown to have $p$-essential dimension equal to $\ell+1$ as a $p$-torsion Brauer class. The second is a lower bound of $\ell+1$ on the $p$-essential dimension of the functor $\mathrm{Alg}_{p^\ell,p}$. Roughly speaking this says that you will need at least $\ell+1$ independent parameters to be able to specify any given algebra of degree $p^{\ell}$ and exponent $p$ over a field of characteristic $p$ and improves on the previously established lower bound of 3. △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: 25 pages

MSC Class: 16K20

Brauer groups on K3 surfaces and arithmetic applications

Authors: Kelly McKinnie, Justin Sawon, Sho Tanimoto, Anthony Várilly-Alvarado

Abstract: For a prime $p$, we study subgroups of order p of the Brauer group Br(S) of a general complex polarized K3 surface of degree 2d, generalizing earlier work of van Geemen. These groups correspond to sublattices of index p of the transcendental lattice T_S of S; we classify these lattices up to isomorphism using Nikulin's discriminant form technique. We then study geometric realizations of p-torsion… ▽ More For a prime $p$, we study subgroups of order p of the Brauer group Br(S) of a general complex polarized K3 surface of degree 2d, generalizing earlier work of van Geemen. These groups correspond to sublattices of index p of the transcendental lattice T_S of S; we classify these lattices up to isomorphism using Nikulin's discriminant form technique. We then study geometric realizations of p-torsion Brauer elements as Brauer-Severi varieties in a few cases via projective duality. We use one of these constructions for an arithmetic application, giving new kinds of counter-examples to weak approximation on K3 surfaces of degree two. △ Less

Submitted 4 April, 2015; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: 40 pages; changes in exposition

MSC Class: 14J28; 14G05

Journal ref: in Brauer groups and obstruction problems, 177-218, Progress in Mathematics 320, Birkhauser/Springer, Cham, 2017

Cyclic Length in the Tame Brauer Group of the Function Field of a p-Adic Curve

Authors: Eric Brussel, Kelly McKinnie, Eduardo Tengan

Abstract: Let $F$ be the function field of a smooth curve over the $p$-adic number field $\Q_p$. We show that for each prime-to-$p$ number $n$ the $n$-torsion subgroup $\H^2(F,μ_n)={}_n\Br(F)$ is generated by $\Z/n$-cyclic classes; in fact the $\Z/n$-length is equal to two. It follows that the Brauer dimension of $F$ is two (first proved in \cite{Sa97}), and any $F$-division algebra of period $n$ and index… ▽ More Let $F$ be the function field of a smooth curve over the $p$-adic number field $\Q_p$. We show that for each prime-to-$p$ number $n$ the $n$-torsion subgroup $\H^2(F,μ_n)={}_n\Br(F)$ is generated by $\Z/n$-cyclic classes; in fact the $\Z/n$-length is equal to two. It follows that the Brauer dimension of $F$ is two (first proved in \cite{Sa97}), and any $F$-division algebra of period $n$ and index $n^2$ is decomposable. △ Less

Submitted 12 July, 2013; originally announced July 2013.

MSC Class: 11G20; 11R58; 14E22; 16K50

Distinguishing division algebras by finite splitting fields

Authors: Daniel Krashen, Kelly McKinnie

Abstract: 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. 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. △ Less

Submitted 20 January, 2010; originally announced January 2010.

Comments: 10 pages

MSC Class: 16K50 ; 14F22

Indecomposable and noncrossed product division algebras over function fields of smooth p-adic curves

Authors: Eric Brussel, Kelly McKinnie, Eduardo Tengan

Abstract: We construct indecomposable and noncrossed product division algebras over function fields of smooth curves X over Z_p. This is done by defining an index preserving morphism s:Br(\hat K(X))' -> Br(K(X))' which splits res:Br(K(X)) -> Br(\hat K(X)), where \hat K(X) is the completion of K(X) at the special fiber, and using it to lift indecomposable and noncrossed product division algebras over \hat K(… ▽ More We construct indecomposable and noncrossed product division algebras over function fields of smooth curves X over Z_p. This is done by defining an index preserving morphism s:Br(\hat K(X))' -> Br(K(X))' which splits res:Br(K(X)) -> Br(\hat K(X)), where \hat K(X) is the completion of K(X) at the special fiber, and using it to lift indecomposable and noncrossed product division algebras over \hat K(X). △ Less

Submitted 23 November, 2010; v1 submitted 3 July, 2009; originally announced July 2009.

Comments: 22 pages

MSC Class: 16K20; 16K50

Degeneracy and decomposability in abelian crossed products

Authors: Kelly McKinnie

Abstract: In this paper we study the relationship between degeneracy and decomposability in abelian crossed products. In particular we construct an indecomposable abelian crossed product division algebra of exponent $p$ and index $p^2$ for $p$ an odd prime. The algebra we construct is generic in the sense of Amitsur and Saltman and has the property that its underlying abelian crossed product is a decompos… ▽ More In this paper we study the relationship between degeneracy and decomposability in abelian crossed products. In particular we construct an indecomposable abelian crossed product division algebra of exponent $p$ and index $p^2$ for $p$ an odd prime. The algebra we construct is generic in the sense of Amitsur and Saltman and has the property that its underlying abelian crossed product is a decomposable division algebra defined by a non-degenerate matrix. This algebra gives an example of an indecomposable generic abelian crossed product which is shown to be indecomposable without using torsion in the Chow group of the corresponding Severi-Brauer variety as was needed in [Karpenko, Codimension 2 cycles on Severi-Brauer varieites (1998)] and [McKinnie, Indecomposable $p$-algebras and Galois subfields in generic abelian crossed products (2008)]. It also gives an example of a Brauer class which is in Tignol's Dec group with respect to one abelian maximal subfield, but not in the Dec group with respect to another. △ Less

Submitted 16 May, 2010; v1 submitted 8 September, 2008; originally announced September 2008.

Comments: 17 pages

MSC Class: 16K20; 20J06

Indecomposable p-algebras and Galois subfields in generic abelian crossed products

Authors: Kelly McKinnie

Abstract: Let F be a Henselian valued field with char(F) = p and D a semi-ramified, "not strongly degenerate" p-algebra. We show that all Galois subfields of D are inertial. Using this as a tool we study generic abelian crossed product p-algebras, proving among other things that the noncyclic generic abelian crossed product p-algebras defined by non-degenerate matrices are indecomposable p-algebras. To co… ▽ More Let F be a Henselian valued field with char(F) = p and D a semi-ramified, "not strongly degenerate" p-algebra. We show that all Galois subfields of D are inertial. Using this as a tool we study generic abelian crossed product p-algebras, proving among other things that the noncyclic generic abelian crossed product p-algebras defined by non-degenerate matrices are indecomposable p-algebras. To construct examples of these indecomposable p-algebras with exponent p and large index we study the relationship between degeneracy in matrices defining abelian crossed products and torsion in CH^2 of Severi-Brauer varieties. △ Less

Submitted 25 May, 2007; originally announced May 2007.

Comments: 21 pages

MSC Class: 17A80; 17A35

Prime to p extensions of the generic abelian crossed product

Authors: Kelly McKinnie

Abstract: We prove that the noncyclic generic abelian crossed product p-algebras constructed by Amitsur and Saltman remain noncyclic after tensoring by any prime to p extension. We prove that the noncyclic generic abelian crossed product p-algebras constructed by Amitsur and Saltman remain noncyclic after tensoring by any prime to p extension. △ Less

Submitted 20 February, 2007; originally announced February 2007.

Comments: 19 pages

MSC Class: 17A80; 17A35