Related papers: On Congruence Theorem for valued division algebras

Let $(K, v)$ be a Henselian discrete valued field with a quasifinite residue field. This paper proves the existence of an algebraic extension $E/K$ satisfying the following: (i) $E$ has dimension dim$(E) \le 1$, i.e. the Brauer group Br$(E…

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

We extend the decomposition conjecture to 2d quantum field theories with a gauged $\text{Rep}(H)$ symmetry category for $H$ a finite-dimensional semisimple Hopf algebra with $\text{Rep}(G)$ trivially-acting and $\text{Vec}(\Gamma)$ the…

Let $\mathcal{A}$ be an abelian length category containing a $d$-cluster tilting subcategory $\mathcal{M}$. We prove that a subcategory of $\mathcal{M}$ is a $d$-torsion class if and only if it is closed under $d$-extensions and…

Let $D$ be a division ring and $K$ a subfield of $D$ which is not necessarily contained in the center $F$ of $D$. In this paper, we study the structure of $D$ under the condition of left algebraicity of certain subsets of $D$ over $K$.…

Let $G\cong \mathbb Z/m_1\mathbb Z\times\ldots\times \mathbb Z/m_r\mathbb Z$ be a finite abelian group with $m_1\mid\ldots\mid m_r=\exp(G)$. The $n$-term subsums version of Kneser's Theorem, obtained either via the DeVos-Goddyn-Mohar…

Let G denote a connected, quasi-split reductive group over a field F that is complete with respect to a discrete valuation and that has a perfect residue field. Under mild hypotheses, we produce a subset of the Lie algebra g(F) that picks…

The genus $gen(D)$ of a finite-dimensional central division algebra $D$ over a field $F$ is defined as the collection of classes $[D']\in Br(F)$, where $D'$ is a central division $F$-algebra having the same maximal subfields as $D$. We show…

We show in this article that in many cases the subfields of a nondegenerate tame semiramified division algebra of prime power degree over a Henselian valued field are inertial field extensions of the center.

Let $R$ be the henselization of a local ring of a semistable family over the spectrum of a discrete valuation ring of mixed characteristic $(0, p)$ and $k$ the residue field of $R$. In this paper, we prove an isomorphism of \'{e}tale…

We complete the proof of the Nisnevich conjecture in equal characteristic: for a smooth algebraic variety $X$ over a field $k$, a $k$-smooth divisor $D \subset X$, and a reductive $X$-group $G$ whose base change $G_D$ is totally isotropic,…

Ng and Schauenburg proved that the kernel of a $(2+1)$-dimensional topological quantum field theory representation of $\mathrm{SL}(2, \mathbb{Z})$ is a congruence subgroup. Motivated by their result, we explore when the kernel of an…

Let $E$ be a primarily quasilocal field, $M/E$ a finite Galois extension and $D$ a central division $E$-algebra of index divisible by $[M\colon E]$. In addition to the main result of Part I, this part of the paper shows that if the Galois…

Let $K$ be an algebraic number field with ring of integers $\Cal{O}_{K}$, $p>2$ be a rational prime and $G$ be the cyclic group of order $p $. Let $\Lambda$ denote the order $\Cal{O}_{K}[G].$ Let $Cl(\Lambda)$ denote the locally free class…

For a finite abelian group $G$ and a splitting field $K$ of $G$, let $d(G, K)$ denote the largest integer $l \in \N$ for which there is a sequence $S = g_1 \cdot ... \cdot g_l$ over $G$ such that $(X^{g_1} - a_1) \cdot ... \cdot (X^{g_l} -…

We extend \cite[Theorem 4.5]{DGNO} and \cite[Theorem 4.22]{LKW} to positive characteristic (i.e., to the finite, not necessarily fusion, case). Namely, we prove that if $\D$ is a finite non-degenerate braided tensor category over an…

We prove the existence of noncrossed product and indecomposable division algebras over the function field of a smooth p-adic curve, especially when the curve does not admit a smooth model over Z_p. Thus we generalize arXiv 0907.0670. To…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

Given a $p$-group $G$ and a subgroup-closed class $\mathfrak{X}$, we associate with each $\mathfrak{X}$-subgroup $H$ certain quantities which count $\mathfrak{X}$-subgroups containing $H$ subject to further properties. We show in Theorem I…

A d-partite hypergraph is called *fractionally balanced* if there exists a non-negative, not identically zero, function on its edge set that has constant degrees in each vertex side. Using a topological version of Hall's theorem we prove…