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.
102
questions
3
votes
0
answers
214
views
A Brauer group of a double covering of a "well-understood" variety
Let $k$ be a field (it is possible to assume that $k = \mathbb{Q}$ or $= \overline{\mathbb{Q}}$) and $X, Y$ nice varieties over $k$.
Let $f \colon Y \to X$ be a finite flat surjective morphism of ...
9
votes
0
answers
238
views
Grothendieck purity for Brauer groups of stacks
Let $X$ be a smooth variety over a field $k$ (for the sake of simplicity of characteristic $0$) and $\operatorname{Br}(X) := H^2_{\text{ét}}(X, \mathbb{G}_m)$ its (cohomological) Brauer group (...
3
votes
0
answers
123
views
Cohomology of local fields in positive characteristic
It is well-known from local class field theory that the Brauer group $\text{Br}(k)$ of a local field $k$ gets killed as you pass to sufficiently large extensions of $k$. In particular, $\text{Br}(L)(p)...
3
votes
1
answer
271
views
Unitary involutions on a simple central algebra after a scalar extension
$\DeclareMathOperator{id}{id}$
Let $L/K$ be a quadratic separable extension of fields. Let $A$ be a central simple algebra over $L$ such that its norm $N_{L/K}(A)$ splits. Then we know that there ...
1
vote
0
answers
150
views
The Brauer group of the function field of a proper curve
Let $X$ be a smooth proper geometrically connected curve over a number field $k$, and let $k(X)$ denote its field of rational functions, i.e., its function field. Then the (cohomological) Brauer group ...
2
votes
0
answers
120
views
Results concerning surjectivity of Brauer groups
Are there known cases of a morphism of smooth geometrically connected curves $f: X \rightarrow Y$ over a number field $k$ (to be specific) that would give rise to a surjective restriction map $f^*:\...
5
votes
1
answer
241
views
Torus gerbes over curves
Setup: Let $k$ be an algebraically closed field. Let $C$ be a smooth connected curve over $k$. Let $K(C)$ be the function field of $C$.
Tsen's Theorem implies that every $\mathbb{G}_m$-gerbe over $K(C)...
1
vote
0
answers
183
views
Vanishing of the local étale cohomology sheaf (?)
Let $X$ be a locally noetherian regular scheme, and let $Z$ be a closed subscheme of $X$ whose codimension $d > 0$ at every point.
Let $U$ be the complement of $Z$ in $X$.
For a sheaf $\mathscr{F}$ ...
1
vote
1
answer
276
views
Counterexample to purity of Brauer group for curves
The purity of Brauer group states that for a smooth (quasi-)projective variety $X$ over a field $k$, removing a closed subscheme $Z \subset X$ of codimension at least $2$ ensures that the restriction ...
4
votes
0
answers
152
views
A map between Brauer groups
Let $R$ be a henselian dvr over $\mathbb{C}$ and $A$ be a flat $R$-algebra of finite type. Suppose $\hat{R}$ is the completion of $R$ and $\hat{A}:=A\otimes_R \hat{R}$. For an ideal $I\subseteq A$, ...
2
votes
0
answers
123
views
Why is Maycock's Brauer group of graded C*-algebras connected while Moutuou's is not?
In her thesis The Brauer Group of Graded Continuous Trace $C^\ast$-Algebras (cf. Proposition 3.4), Ellen Maycock described the Brauer group of graded continuous trace $C^\ast$-algebras with spectrum a ...
5
votes
1
answer
776
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
260
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 ...
2
votes
0
answers
133
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 ...
1
vote
0
answers
118
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_{...
5
votes
1
answer
229
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?
9
votes
1
answer
672
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 ...
3
votes
0
answers
177
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-...
1
vote
0
answers
70
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, ...
8
votes
1
answer
643
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
0
answers
204
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
0
answers
162
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
1
answer
232
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
0
answers
94
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
0
answers
94
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
0
answers
158
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 ...
8
votes
0
answers
659
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) ...
4
votes
2
answers
521
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
0
answers
220
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
1
answer
129
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 ...
3
votes
1
answer
766
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$ ...
8
votes
1
answer
483
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
0
answers
177
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
1
answer
246
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
votes
0
answers
483
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
1
answer
734
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
1
answer
296
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 ...
4
votes
1
answer
293
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
1
answer
271
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
1
answer
312
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
1
answer
465
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
1
answer
349
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
0
answers
120
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
0
answers
199
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
301
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
0
answers
255
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
0
answers
67
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
239
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
2
answers
649
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
0
answers
218
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$-...