Related papers: Brauer groups and Neron class groups
We study analogues for the Tate-Shafarevich group for Abelian schemes with everywhere good reduction over higher dimensional bases over finite fields.
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…
We show that for nonarchimedean local fields $F$, the pairing from the algebraic part of the Brauer group of a reductive group $G$ characterizes all continuous homomorphisms from $G(F)$ into $\mathbb{Q}/\mathbb{Z}$. This generalizes results…
In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over…
We refine and generalize the results of K. E. Lauter and E. W. Howe on principal polarizations on products of abelian varieties over finite fields. Firstly, we study the reasons for the absence of an irreducible principal polarization in…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
We establish a 6-term left exact sequence, involving Galois cohomology of the base field $\mathbb K$, and the Brauer-Picard groupoid of a fusion category. This generalizes a result of Etingof, Nikshych, and Ostrik to the setting where…
Let X be a smooth proper variety over a perfect field k of arbitrary characteristic. Let D be an effective divisor on X with multiplicity. We introduce an Albanese variety Alb(X, D) of X of modulus D as a higher dimensional analogon of the…
If the group of a 2-knot group $K$ has an abelian normal subgroup of rank $\geq1$ which is not finitely generated then either $K$ has no minimal Seifert hypersurface or $K$ is topologically equivalent to Example 10 of Ralph Fox's``{\it A…
A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of…
Let $K$ be a field and $V$ be a set of rank one valuations of $K$. The corresponding Tate-Shafarevich group of a $K$-torus $T$ is $Sha(T , V) = \ker\left(H^1(K , T) \to \prod_{v \in V} H^1(K_v , T)\right)$. We prove that if $K = k(X)$ is…
If K/F is a finite abelian Galois extension of global fields whose Galois group has exponent t, we prove that there exists a short exact sequence that has as a consequence that if t is square free, then Dec(K/F)=Br_{t}(K/F) which we use to…
Let k be a number field and K/k Galois. We transform the construction of the unramified Brauer group of the norm one torus R^1_K/k(G_m) into the construction of a special abelian extension over K. If k=Q and K/Q biquadratic, we explicitly…
Let $k$ be a field of characteristic $q$, $\cac$ a smooth geometrically connected curve defined over $k$ with function field $K:=k(\cac)$. Let $A/K$ be a non constant abelian variety defined over $K$ of dimension $d$. We assume that $q=0$…
For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie…
Let $\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $\mathbb{C}$. Let $\beta_C$ denote…
We prove that the torsion subgroup of the abelian fundamental group is finite for a regular geometrically integral projective variety over a local field. We also study the structure of $SK_1(X)$ for a regular projective variety $X$ over a…
Biserial algebras are a classical class in the representation theory of algebras, generalizing Nakayama algebras. They were further generalized by Green and Schroll to multiserial algebras, which share many structural properties with…
We show that the non-Archimedean skeleton of the Prym variety associated to an unramified double cover of an algebraic curve is naturally isomorphic (as a principally polarized tropical abelian variety) to the tropical Prym variety of the…
For a smooth projective variety X over an arbitrary field k, we discuss the surjectivity of the Albanese map from the Chow group of zero-cycles of degree zero on X to the group of rational points of the Albanese variety of X. Over…