Related papers: Symbol Length of Classes in Milnor $K$-groups

We bound the symbol length of elements in the Brauer group of a field $K$ containing a $C_m$ field (for example any field containing an algebraically closed field or a finite field), and solve the local exponent-index problem for a $C_m$…

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,…

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…

Let $F$ be a field of characteristic $p>0$. We prove that if a symbol $A=\omega \otimes \beta_1 \otimes \dots \otimes \beta_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…

We want to bound the symbol length of classes in ${_{2^{m-1}}Br}(F)$ which are represented by tensor products of 5 or 6 cyclic algebras of degree $2^m$. The main ingredients are the chain lemma for quadratic forms, a form of a generalized…

Let $K$ be a complete discretely valued field with residue field $\bar K$ of dimension $1$ (not necessarily perfect). This occurs if and only if $K$ has dimension $2$. We prove the following statements on the arithmetic of such fields: -…

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…

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…

Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…

For a prime number $p$ and an integer $m\geq2$, we prove that the symbol length of all elements of $m$-fold Massey products in $H^2(G,\mathbb{F}_p)$, for pro-$p$ groups $G$ of elementary type, is bounded by $(m^2/4)+m$. Assuming the…

We prove that if the maximal dimension of an anisotropic homogeneous polynomial form of prime degree $p$ over a field $F$ with $\operatorname{char}(F)=p$ is a finite integer $d$ greater than 1 then the symbol length of $p$-algebras of…

Let $\ell$ be an odd prime, and let $K$ be a field of characteristic not $2,3,$ or $\ell$ containing a primitive $\ell$-th root of unity. For an elliptic curve $E$ over $K$, we consider the standard Galois representation $$\rho_{E,\ell}:…

The symbol length of ${_pBr}(k(\!(\alpha_1)\!)\dots(\!(\alpha_n)\!))$ for an algebraically closed field $k$ of $\operatorname{char}(k) \neq p$ is known to be $\lfloor \frac{n}{2} \rfloor$. We prove that the symbol length for the case of…

Let $F$ be a field of characteristic not $2$ with finitely many square classes. Using combinatorial arguments applied to objects related to vector spaces over finite fields, we deduce an upper bound for the number of Pfister forms over $F$.…

We consider the derived categories of modules over a certain family A_m of graded rings, and Floer cohomology of Lagrangian intersections in the symplectic manifolds which are the Milnor fibres of simple singularities of type A_m. We show…

Let A be a central simple algebra over a field F. Let k_1,\ldots, k_r be cyclic extensions of F such that k_1\otimes_F\cdots \otimes_F k_r is a field. We investigate conditions under which A is a tensor product of symbol algebras where each…

For integers $n \geq k \geq 1$, the {\em Kneser graph} $K(n, k)$ is the graph with vertex-set consisting of all the $k$-element subsets of $\{1,2,\ldots,n\}$, where two $k$-element sets are adjacent in $K(n,k)$ if they are disjoint. We show…

A family of sets $\mathcal{F} \subseteq 2^{[n]}$ is defined to be $l$-trace $k$-Sperner if for any $l$-subset $L$ of $[n]$ the family of traces $\mathcal{F}|_L=\{F \cap L: F \in \mathcal{F}\}$ does not contain any chain of length $k+1$. In…

We study the representations and their Frobenius-Schur indicators of two semisimple Hopf algebras related to the symmetric group $S_n$, namely the bismash products $H_n = k^{C_n}# kS_{n-1}$ and its dual $J_n = k^{S_{n-1}}# kC_n = (H_n)^*,$…

Let $R$ be a reduced real affine algebra of (Krull) dimension $d \ge 2$ such that either $R$ has no real maximal ideals, or the intersection of all real maximal ideals in $R$ has height at least one. In this article, we prove the following:…