Questions tagged [brauer-groups]
Questions concerning Brauer groups of fields, rings, varieties, schemes or more general ringed spaces, invariants associated to Brauer classes such as index and period.
83
questions
7
votes
1answer
416 views
Subspaces of $ A_{n}(\mathbb {Q})$ in which all nonzero matrices are invertible
Let $A_{n}(\mathbb{Q}) $ denote the $n$ times $n$ skew symmetric matrices over the rational number field. Let $N$ be a subspace of $A_{n}(\mathbb{Q}) $.
If all the non-zero matrices in $N$ are ...
3
votes
0answers
124 views
Central division algebras over $ \mathbb{Q} $
Quaternions over $ \mathbb{Q} $ are an example of a Central Division algebra over $\mathbb{Q} $ for which the basis elements $\{ i,j,ij \} $ other than $1$ are represented by skew-symmetric matrices ...
2
votes
0answers
105 views
Understanding Sha through $K_2$
Consider the following setup, to keep things easy: let $F$ be a number field with ring of integers $A$. Let $E$ be an elliptic curve over $F$ with Neron model $N$ over $A$. Let $Sha(E)$ be the ...
3
votes
1answer
183 views
A local-to global principle for splitting of Azumaya algebras
Let $S$ be a finitely generated domain with the field of fractions $F.$ Let X be a smooth,
geometrically connected affine variety over $S.$ Let $A$ be an Azumaya algebra over $X.$
Assume that for all ...
3
votes
0answers
74 views
Multiplication law in a central simple algebra of dimension 9 over a global field
Let $k$ be a global field, for example $k=\Bbb Q$.
Let $D$ denote the central simple algebra of dimension 9 over $k$ with given local invariants $i_v$.
Here $v$ runs over the set $\Omega_f(k)$ of ...
3
votes
0answers
67 views
Multiplication law in a division algebra of dimension 9 over a non-archimedean local field
Let $k$ be a non-archimedean local field, for example, a $p$-adic field (a finite extension of the filed ${\Bbb Q}_p$ of $p$-adic numbers).
It is well known that there is a canonical isomorphism
$${\...
2
votes
0answers
110 views
Interpretation of some maps involving cohomology groups
I've asked some questions on Math Stackexchange regarding areas around my research but I received very little success with responses, so I thought I might try to share some of my other problems here ...
6
votes
1answer
434 views
An Azumaya algebra from a vector bundle, and a construction of Belov-Kanel and Kontsevich
Let $S/k$ be a scheme over a perfect field $k$ of characteristic $p>0$.
In Automorphisms of the Weyl Algebra, Belov-Kanel and Kontsevich write down the map
$$\alpha: H^0(\Omega^1_{S/k}/d\mathcal O) ...
3
votes
2answers
278 views
Brauer group of $\mathbb{Z}_{(p)}$
This may be a well known result but I could not find it in the standard references. What is the Brauer group of the local ring $\mathbb{Z}_{(p)}$ (the ring of integers localized at $p$)?
7
votes
0answers
177 views
Brauer group of the Henselization
Let $R$ be a Noetherian local ring and let $R^h$ be its Henselization. What can we say about the kernel and range of the map
$$
\operatorname{Br}(R) \rightarrow \operatorname{Br}(R^h)?
$$
Are there ...
1
vote
1answer
89 views
$0$-th Galois cohomology with topological Milnor K-groups coefficients
In local class field theory, the reciprocity map is constructed by using the isomorphism ${\rm Br}(F)\simeq \mathbb{Q/Z}$, where $F$ is a local field and ${\rm Br}(F)$ is its Brauer group. The ...
2
votes
1answer
305 views
Cohomological Brauer group vs classical
Let $X$ be a smooth scheme over $\mathbb{C}$.
A $O_X$-algebra $A$ is called Azumaya algebra on $X$
if locally it's ismorphic to matrix algebra: ie for
every $p \in X$ there exist open $U \subset X$ ...
7
votes
1answer
403 views
Category of modules over an Azumaya algebra and the Brauer group
Let $k$ be a field, and let $\alpha \in \mathrm{Br}(k)$. Let $A$ be an Azumaya algebra representing $\alpha$. Then the category $A$–$\mathrm{mod}$ depends only on $\alpha$.
I would like to know ...
3
votes
0answers
169 views
Why doesn't the Manin obstruction work for quadratic forms?
The Manin obstruction explains why the Hasse principle doesn't work for non-quadratic forms. Let's write the notation first;
$V(\mathbb{Q})$ is variety for rational numbers.
$V(A_\mathbb{Q})$ is ...
6
votes
1answer
197 views
Involution action on Brauer group of an abelian variety
Let $k$ be an algebraically closed field of characteristic $p>2$, let $A/k$ be an abelian variety. Let $\iota\colon A\to A, a\mapsto -a$ be the natural involution. Let $x\in\mathrm{Br}(A)[p]$ be a ...
4
votes
0answers
217 views
Brauer groups of a local ring and of its residue field
This is a question of DeMeyer (see the last paragraph of [1]):
What's an example of a local ring $A$ with residue field $k$ such that the restriction map on Brauer groups $\varphi : \operatorname{...
15
votes
1answer
598 views
Postnikov invariants of the Brauer 3-group
Given a commutative ring $k$ there is a bicategory with
algebras over $k$ as objects,
bimodules as morphisms,
bimodule homomorphisms as 2-morphisms.
This is a monoidal bicategory, since we can ...
3
votes
1answer
243 views
What is known about lower etale cohomology of unirational varieties?
Which information is currently known about $H^1_{et}(X,\mathbb{Z}_l)$ and $H^2_{et}(X,\mathbb{Z}_l)$, where $X$ is a smooth unirational variety over an algebraically closed field of finite ...
3
votes
1answer
218 views
Can base-change be non-surjective on Brauer groups?
Is there a finite-degree separable field extension $\mathbb{K} \subset \mathbb{L}$ such that the induced map on Brauer groups $\operatorname{Br}(\mathbb{K}) \to \operatorname{Br}(\mathbb{L})$ is not a ...
5
votes
1answer
179 views
Relation in Brauer group coming from trace form
Let $L/K$ be a cubic (or, more generally, odd-order) extension of fields of characteristic $0$. To every element $a \in L^\times$ we can associate the quadratic form
\begin{align*}
q_a : L &\to K \...
3
votes
1answer
236 views
Are Azumaya algebras of trivial Brauer class isomorphic to $\mathcal{E}nd(\mathcal{H})$?
Let $X$ be a scheme, let $\mathcal{A}$ be a sheaf of locally free algebras on $X$. We say $\mathcal{A}$ is an azumaya algebra, if the natural map $$\mathcal{A}\otimes_{\mathcal{O}_X}\mathcal{A}^{opp}\...
6
votes
1answer
309 views
Purity of Brauer group for stacks
Let $k$ be a field, let $X$ be a smooth quasi-projective $k$-variety, let $Z\subset X$ be a closed subscheme of codimension at least $2$, it is shown
that the restriction map $\mathrm{H}^2(X,\mathbb{...
5
votes
0answers
226 views
Topological Hochschild homology of Azumaya algebra
Let $R$ be a commutative ring, let $A$ be an Azumaya algebra over $R$, does its topological Hochschild homology coincide with that of $R$? For example, let $\mathbb{H}$ be the quaternion algebra over ...
3
votes
0answers
97 views
Topological Brauer group and sheaf of $C^{\infty}$-functions
Given a smooth manifold $X$; by definition the topological Brauer group $B(X)$ is the group of classes of Azumaya algebras over the sheaf $\mathcal{O}_X$ of $\mathbb{C}$-valued functions on $X$.
If ...
1
vote
0answers
166 views
Killing a Brauer class by a flat projective morphism
Let $X$ be a Noetherian scheme and $\beta \in H^2(X, \mathbb{G}_m)$ that is the image of some $\alpha \in H^1(X, \mathrm{PGL}_{n + 1})$ for some $n \ge 0$, so $\beta$ is a class in the Brauer group of ...
2
votes
0answers
211 views
Azumaya algebra and central separable algebra over local rings
let be $R$ a commutative ring
Auslander and Goldman define a central separabl $R$-algebra $A$ as a faithful $R$-module with $Z(A) = R$ , and such that $A$ is a projective $A\otimes_R A^{\mathrm{op}}$-...
2
votes
0answers
224 views
Brauer groups and del Pezzo surfaces
Let $k$ be a field of characteristic $0$ und let $X$ be a del Pezzo surface over $k$. Note that $X$ may not have points.
Let us consider $N:=\ker(\mathrm{Br}(k) \rightarrow \mathrm{Br}(k(X))$.
...
3
votes
0answers
52 views
Splitting of central simple algebras in the Schur subgroup over residue fields of places
Recall that a valuation domain of a field extension $K/k$ is a $k$-subalgebra $V$ of $K$ not equal to $K$ such that for every $a\in K$ at least one of $a$ and $a^{-1}$ is in $V$.
A place of $K/...
2
votes
0answers
172 views
Brauer Group of a nodal curve
What is known about the Brauer Group of a Nodal curve (complete integral curve) over $k$ with singularity as ordinary double point?
Is it trivial if $k$ algebraically closed?
9
votes
2answers
508 views
On a morphism from the Brauer group to the Picard group
Suppose that $k$ is a commutative ring and that $A$ is an Azumaya
$k$-algebra. Then there is a well-known morphism from $Aut_{Alg_k}(A)$, the group of algebra automorphisms, to the Picard group $Pic(k)...
4
votes
0answers
133 views
Brauer groups over local fields
Let X be a smooth projective variety over a local field of characteristic $(0,p)$. The Brauer group of X is a torsion group whose $l$-part is of cofinite type of some corank.
Is it know that the $l$-...
9
votes
1answer
647 views
Explicit examples of Azumaya algebras
I'm trying to understand the Brauer group of a scheme better. I know how to compute $\text{Br}(X)$ as an abstract group in some cases, but don't have a good idea of what the individual Azumaya ...
3
votes
1answer
214 views
Are local fields $C_{2}$?
We say that a field $K$ is $C_{m}$ if it satisfies the following property: for every positive integer $n$ and every sequence of positive integers $(d_{1},\dotsc,d_{r})$ satisfying $d_{1}^{m} + \dotsb +...
12
votes
3answers
836 views
Brauer group of a curve over non-algebraically closed field
It is a famous consequence of Tsen's theorem that a smooth curve over an algebraically closed field has trivial Brauer group. But what about curves over non algebraically closed fields?
Let us fix a ...
6
votes
1answer
202 views
3-torsion part of Brauer group
I want to solve this problem:
If in field $K$ we have sufficient n-th roots of unity then the 3-torsion part of Brauer group is generated by classes of cyclic algebras
I know that every element in 3-...
4
votes
1answer
326 views
Elementary proof that a central simple algebra over a field having a maximal subfield is a cyclic algebra
I'm currently reading the book "Central Simple Algebras and Galois Cohomology" written by Philippe Gille and Tamas Szamuely.
In the book, I don't understand a computational proof of the theorem that ...
3
votes
1answer
126 views
Brauer group classifying some splitting categories
Notation: $k$ - field. "$k$-category" = $k$-linear abelian category. $Vect_k$ - the $k$-category of $k$-vector spaces. For a field extension $K/k$ and a $k$-category $\mathcal{A}$, denote by $\mathcal{...
6
votes
1answer
241 views
Calculating topological index
Consider the space $X=BSL(8,\mathbb{C})/(\mathbb{Z}/2)$. The topological Brauer group of $X$ is given by $Br_{top}(X)=Tor(H^{3}(X;\mathbb{Z}))=\mathbb{Z}/2$. I'm studying concepts of topological ...
12
votes
1answer
569 views
Smooth projective models of Severi-Brauer varieties over a DVR are also Severi-Brauer varieties
Let $R$ be a DVR with uniformizer $\pi$, fraction field $K$ and residue field $k$. Let $X/K$ be a Severi-Brauer variety and $\mathscr X/R$ a smooth, projective model of it. Is it true that $\mathscr ...
2
votes
0answers
64 views
A question about abelian varieties
For an abelian variety $A$ over a global field $K$, $\mathcal{A}$ its Néron model on $C$, either a smooth projective geometrically irreducible curve over a finite field, or the spectrum of the ring of ...
13
votes
1answer
826 views
finiteness of the Brauer group for flat proper schemes over $\mathrm{Spec}\,\mathbf{Z}$
One fundamental conjecture on the Brauer group is that $\mathrm{Br}(X)$ is finite for $X/\mathrm{Spec}\,\mathbf{Z}$ proper. By class field theory (the theorem of Albert-Brauer-Hasse-Noether), this is ...
2
votes
1answer
307 views
Is any element in $H^2_{et}(X,\mathcal{O}_X^*)$ locally trivial in the Zariski topology?
Let $X$ be an algebraic variety over a field $k$ and we consider the cohomological Brauer group $H^2_{et}(X,\mathcal{O}_X^*)$.
For any element $\alpha \in H^2_{et}(X,\mathcal{O}_X^*)$ and any closed ...
3
votes
0answers
192 views
Examples of varieties with every stable sheaf simple
Are there examples of projective varieties over a non-algebraically closed field such that every geometrically stable sheaf on the variety is simple? I see, for example in Huybrechts-Lehn and in some ...
4
votes
0answers
111 views
On the quadratic equivalence of fields
I have spent the past two years studying abstract Witt rings. These objects are a generalization of "The Witt ring of a field," an algebraic invariant of fields of characteristic not equal to 2. ...
3
votes
1answer
71 views
Splitting variety for bicyclic algebras
Let $F$ be a field contains a primitive root of unity of order $p$, where $p$ is a prime number. Let $a,b \in F^\times$, then one can look at the cyclic algebra $(a,b)_p \in {_p}Br(F)$ where ${_p}Br(F)...
5
votes
1answer
226 views
Some questions on division algebras
Given a field $K$, is there a finite dimensional quiver algebra, such that any finite dimensional division algebra is isomorphic to End(M)/rad(End(M)) for some indecomposable finite dimensional module ...
6
votes
1answer
274 views
Brauer groups and field extensions
Let $k$ be a field and $\mathrm{Br}(k)$ the Brauer group of $k$. Let $k \subset L$ be a field extension. Let $b \in \mathrm{Br}(k)$ and denote by $b \otimes L \in \mathrm{Br}(L)$ the base-change of $b$...
3
votes
0answers
244 views
Interaction between the Brauer group and abelian extensions
If $k$ is a field of characteristic zero and $k$ has no (non-trivial) abelian extensions (e.g. the composite of all solvable extensions of $\mathbb{Q}$), then $\text{Br(k)} = 0$ by the norm residue ...
6
votes
1answer
296 views
What is Mumford's example of a normal complex algebraic surface $X$ with non-torsion elements in $H^2_{et}(X,\mathbb{G}_m)$?
I have heard that Mumford has constructed an example of a normal complex algebraic surface $X$ such that $H^2_{et}(X,\mathbb{G}_m)$ contains a non-torsion element. But I cannot find the reference.
...
5
votes
0answers
415 views
Algebraization of Brauer classes in a paper of Lieblich
I am reading a paper of Lieblich on the unirationality of K3 surfaces and am trying to understand the result of Proposition 4.1:
Proposition 4.1: Let $k$ be an algebraically closed field of ...
