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.
91
questions
4
votes
1
answer
548
views
Brauer group of rational numbers
Reading about the calculation of the Brauer group of rational numbers, the calculations of the group are extremely lengthy and technical. First of all, it will be very helpful to me if someone can ...
3
votes
0
answers
231
views
Can moonshine be explained by the $q$-expansion map $\mathrm{tmf} \to KU[[q]]$?
If we form an equivariant version of both sides of the $q$-expansion map $\mathrm{tmf} \to KU[[q]]$ (with everything being $p$-completed), should the equivariant $q$-expansion map should have ...
- 431
2
votes
0
answers
118
views
Field of definition for a representation and Brauer group
I wonder if the following logic is true. And if it is true, how to prove it?
Let $G$ be a profinite group, $\rho:G\to GL_n(k)$ a continuous representation, where $k$ is an algebraically closed field ...
- 115
1
vote
0
answers
96
views
Galois extension of $ C_{k} $ field and irreducible polynomial over $ C_{k} $ field
A field is called a $ C_{k}$- field if every form i.e. every homogeneous polynomial of degree $ d $ in $ n > d^{k} $ indeterminates has a nontrivial zero. We know that any finite field is a $ C_{...
- 693
5
votes
1
answer
193
views
Countably many isomorphism classes of reductive groups over a field with countable Brauer and Witt groups
Assume a field has a countable Brauer group and a countable Witt group. Are there countably many isomorphism classes of reductive groups over it?
- 51
9
votes
1
answer
643
views
Software for detecting Brauer-Manin obstructions?
In the context of another MO question, the following question arose: Does there exist any software for detecting Brauer–Manin obstructions to the existence of integer solutions to a single polynomial ...
- 64.8k
3
votes
0
answers
102
views
The Brauer group and the second Galois cohomology group
I know that for any finite Galois extension K of $\mathbb{Q}$ the group $H^2(Gal(K/\mathbb{Q}),K^*)$ is isomorphic to the Brauer group $Br(K/\mathbb{Q})$. The isomorphism goes as follows: to a 2-...
- 443
1
vote
0
answers
58
views
Would the iterated finite abelian descent obstruction equality hold for curves?
Let $X$ be a smooth projective geometrically integral variety over a number field $k$. We begin with some established notions in the theory of descent obstruction to the local-global principle, ...
- 449
8
votes
1
answer
536
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 ...
- 693
3
votes
0
answers
151
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 ...
- 693
2
votes
0
answers
128
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 ...
- 12.5k
3
votes
1
answer
201
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 ...
- 33
3
votes
0
answers
79
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 ...
- 11.6k
3
votes
0
answers
78
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
$${\...
- 11.6k
2
votes
0
answers
131
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 ...
- 449
8
votes
0
answers
602
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) ...
- 1,238
4
votes
2
answers
325
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$)?
- 131
7
votes
0
answers
197
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 ...
- 131
1
vote
1
answer
109
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 ...
- 417
3
votes
1
answer
513
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$ ...
- 479
7
votes
1
answer
431
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 ...
- 14k
3
votes
0
answers
172
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 ...
- 39
6
votes
1
answer
223
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 ...
- 5,613
5
votes
0
answers
319
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{...
- 1,912
15
votes
1
answer
637
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 ...
- 19.4k
3
votes
1
answer
261
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 ...
- 15.5k
4
votes
1
answer
243
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 ...
- 49.4k
5
votes
1
answer
234
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 \...
- 566
3
votes
1
answer
268
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}\...
- 5,613
6
votes
1
answer
373
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,613
5
votes
0
answers
235
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 ...
- 5,613
3
votes
0
answers
111
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 ...
- 121
1
vote
0
answers
176
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
0
answers
254
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}}$-...
- 121
2
votes
0
answers
237
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))$.
...
- 1,287
3
votes
0
answers
60
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
0
answers
193
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?
- 147
9
votes
2
answers
546
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)...
- 47.9k
4
votes
0
answers
174
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$-...
- 1,393
10
votes
1
answer
794
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 ...
- 4,134
3
votes
1
answer
230
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 +...
- 1,912
12
votes
3
answers
1k
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 ...
- 753
6
votes
1
answer
237
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-...
- 111
4
votes
1
answer
382
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 ...
- 951
3
votes
1
answer
134
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{...
- 5,332
6
votes
1
answer
256
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 ...
- 175
12
votes
1
answer
612
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 ...
- 6,934
2
votes
0
answers
65
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 ...
user95222
13
votes
1
answer
894
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 ...
user19475
2
votes
1
answer
317
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 ...
- 8,117