-
Towards a refinement of the Bloch-Kato conjecture
Authors:
Sunil K. Chebolu,
Ján Mináč,
Cihan Okay,
Andrew Schultz,
Charlotte Ure
Abstract:
Rost and Voevodsky proved the Bloch-Kato conjecture relating Milnor $k$-theory and Galois cohomology. Their result implies that for a field $F$ containing a primitive $p$th root of unity, the Galois cohomology ring of $F$ with $\mathbb{F}_p$ coefficients is generated by elements of degree 1 as an $\mathbb{F}_p$-algebra. Therefore, for a given Galois extension $K/F$ and an element $α$ in…
▽ More
Rost and Voevodsky proved the Bloch-Kato conjecture relating Milnor $k$-theory and Galois cohomology. Their result implies that for a field $F$ containing a primitive $p$th root of unity, the Galois cohomology ring of $F$ with $\mathbb{F}_p$ coefficients is generated by elements of degree 1 as an $\mathbb{F}_p$-algebra. Therefore, for a given Galois extension $K/F$ and an element $α$ in $H^*(\text{Gal}(K/F), \mathbb{F}_p)$ there exits a Galois extension $L/F$ containing $K/F$ such that the inflation of $α$ in $H^*(\text{Gal}(L/F), \mathbb{F}_p)$ belongs to an $\mathbb{F}_p$-subalgebra of $H^*(\text{Gal}(L/F), \mathbb{F}_p)$ generated by $1$-dimensional classes. It is interesting to find relatively small explicit Galois extensions $L/F$ with the above property for a given $α$ in $H^*(\text{Gal}(K/F), \mathbb{F}_p)$ as above. In this paper, we provide some answers to this question for cohomology classes in degree two, thus setting the first step toward refining the Bloch-Kato conjecture. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean and $p$-rigid fields. Additionally, as a byproduct of our work, we characterize elementary abelian $2$-groups as the only finite $p$-groups whose mod-$p$ cohomology ring is generated by degree-one elements. This provides additional motivation for studying refinements of the Bloch-Kato conjecture and exploring the connections between group cohomology and Galois theory.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Period-index in top cohomology over semiglobal fields
Authors:
Sarah Dijols,
Raman Parimala,
Ramdorai Sujatha,
Charlotte Ure
Abstract:
We prove a common slot lemma for symbols in top cohomology classes over semiglobal fields. Furthermore, we prove that period and index agree for general top cohomology classes over such fields. We discuss applications to quadratic forms and related open problems.
We prove a common slot lemma for symbols in top cohomology classes over semiglobal fields. Furthermore, we prove that period and index agree for general top cohomology classes over such fields. We discuss applications to quadratic forms and related open problems.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Twisting Manin's universal quantum groups and comodule algebras
Authors:
Hongdi Huang,
Van C. Nguyen,
Charlotte Ure,
Kent B. Vashaw,
Padmini Veerapen,
Xingting Wang
Abstract:
We introduce the notion of quantum-symmetric equivalence of two connected graded algebras, based on Morita-Takeuchi equivalences of their universal quantum groups, in the sense of Manin. We study homological and algebraic invariants of quantum-symmetric equivalence classes, and prove that numerical $\mathrm{Tor}$-regularity, Castelnuovo-Mumford regularity, Artin-Schelter regularity, and the Froben…
▽ More
We introduce the notion of quantum-symmetric equivalence of two connected graded algebras, based on Morita-Takeuchi equivalences of their universal quantum groups, in the sense of Manin. We study homological and algebraic invariants of quantum-symmetric equivalence classes, and prove that numerical $\mathrm{Tor}$-regularity, Castelnuovo-Mumford regularity, Artin-Schelter regularity, and the Frobenius property are invariant under any Morita-Takeuchi equivalence. In particular, by combining our results with the work of Raedschelders and Van den Bergh, we prove that Koszul Artin-Schelter regular algebras of a fixed global dimension form a single quantum-symmetric equivalence class. Moreover, we characterize 2-cocycle twists (which arise as a special case of quantum-symmetric equivalence) of Koszul duals, of superpotentials, of superpotential algebras, of Nakayama automorphisms of twisted Frobenius algebras, and of Artin-Schelter regular algebras. We also show that finite generation of Hochschild cohomology rings is preserved under certain 2-cocycle twists.
△ Less
Submitted 29 March, 2024; v1 submitted 23 September, 2022;
originally announced September 2022.
-
A cogroupoid associated to preregular forms
Authors:
Hongdi Huang,
Van C. Nguyen,
Charlotte Ure,
Kent B. Vashaw,
Padmini Veerapen,
Xingting Wang
Abstract:
We construct a family of cogroupoids associated to preregular forms and recover the Morita-Takeuchi equivalence for Artin-Schelter regular algebras of dimension two, observed by Raedschelders and Van den Bergh. Moreover, we study the 2-cocycle twists of pivotal analogues of these cogroupoids, by develo** a categorical description of preregularity in any tensor category that has a pivotal structu…
▽ More
We construct a family of cogroupoids associated to preregular forms and recover the Morita-Takeuchi equivalence for Artin-Schelter regular algebras of dimension two, observed by Raedschelders and Van den Bergh. Moreover, we study the 2-cocycle twists of pivotal analogues of these cogroupoids, by develo** a categorical description of preregularity in any tensor category that has a pivotal structure.
△ Less
Submitted 30 December, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Twisting of graded quantum groups and solutions to the quantum Yang-Baxter equation
Authors:
Hongdi Huang,
Van C. Nguyen,
Charlotte Ure,
Kent B. Vashaw,
Padmini Veerapen,
Xingting Wang
Abstract:
Let $H$ be a Hopf algebra that is $\mathbb Z$-graded as an algebra. We provide sufficient conditions for a 2-cocycle twist of $H$ to be a Zhang twist of $H$. In particular, we introduce the notion of a twisting pair for $H$ such that the Zhang twist of $H$ by such a pair is a 2-cocycle twist. We use twisting pairs to describe twists of Manin's universal quantum groups associated to quadratic algeb…
▽ More
Let $H$ be a Hopf algebra that is $\mathbb Z$-graded as an algebra. We provide sufficient conditions for a 2-cocycle twist of $H$ to be a Zhang twist of $H$. In particular, we introduce the notion of a twisting pair for $H$ such that the Zhang twist of $H$ by such a pair is a 2-cocycle twist. We use twisting pairs to describe twists of Manin's universal quantum groups associated to quadratic algebras and provide twisting of solutions to the quantum Yang-Baxter equation via the Faddeev-Reshetikhin-Takhtajan construction.
△ Less
Submitted 4 October, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Symbol Length in Brauer Groups of Elliptic Curves
Authors:
Mateo Attanasio,
Caroline Choi,
Andrei Mandelshtam,
Charlotte Ure
Abstract:
Let $\ell$ be an odd prime, and let $K$ be a field of characteristic not $2,3,$ or $\ell$ containing a primitive $\ell$-th root of unity. For an elliptic curve $E$ over $K$, we consider the standard Galois representation $$ρ_{E,\ell}: \text{Gal}(\overline{K}/K) \rightarrow \text{GL}_2(\mathbb{F}_{\ell}),$$ and denote the fixed field of its kernel by $L$. Recently, the last author gave an algorithm…
▽ More
Let $\ell$ be an odd prime, and let $K$ be a field of characteristic not $2,3,$ or $\ell$ containing a primitive $\ell$-th root of unity. For an elliptic curve $E$ over $K$, we consider the standard Galois representation $$ρ_{E,\ell}: \text{Gal}(\overline{K}/K) \rightarrow \text{GL}_2(\mathbb{F}_{\ell}),$$ and denote the fixed field of its kernel by $L$. Recently, the last author gave an algorithm to compute elements in the Brauer group explicitly, deducing an upper bound of $2(\ell+1)(\ell-1)$ on the symbol length in $\mathbin{_{\ell}\text{Br}(E)} / \mathbin{_{\ell}\text{Br}(K)}$. More precisely, the symbol length is bounded above by $2[L:K]$. We improve this bound to $[L:K]-1$ if $\ell \nmid [L:K]$. Under the additional assumption that $\text{Gal}(L/K)$ contains an element of order $d > 1$, we further reduce it to $(1-\frac{1}{d})[L:K]$. In particular, these bounds hold for all CM elliptic curves, in which case we deduce a general upper bound of $\ell + 1$. We provide an algorithm implemented in SageMath to compute these symbols explicitly over number fields.
△ Less
Submitted 12 January, 2022; v1 submitted 22 July, 2021;
originally announced July 2021.
-
A moduli interpretation of untwisted binary cubic forms
Authors:
Rajesh S. Kulkarni,
Charlotte Ure
Abstract:
We give a moduli interpretation to the quotient of (nondegenerate) binary cubic forms with respect to the natural $\text{GL}_2$-action on the variables. In particular, we show that these $\text{GL}_2$ orbits are in bijection with pairs of $j$-invariant $0$ elliptic curves together with $3$-torsion Brauer classes that are invariant under complex multiplication. The binary cubic generic Clifford alg…
▽ More
We give a moduli interpretation to the quotient of (nondegenerate) binary cubic forms with respect to the natural $\text{GL}_2$-action on the variables. In particular, we show that these $\text{GL}_2$ orbits are in bijection with pairs of $j$-invariant $0$ elliptic curves together with $3$-torsion Brauer classes that are invariant under complex multiplication. The binary cubic generic Clifford algebra plays a key role in the construction of this correspondence.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Prime Torsion in the Brauer Group of an Elliptic Curve
Authors:
Charlotte Ure
Abstract:
We give an algorithm to explicitly determine all elements of the $q$-torsion (for $q$ an odd prime) of the Brauer group of an elliptic curve over any base field of characteristic different from $q$, containing a primitive $q$-th root of unity. These elements of the Brauer group are given as tensor products of symbol algebras over the function field of the elliptic curve. We give sufficient conditi…
▽ More
We give an algorithm to explicitly determine all elements of the $q$-torsion (for $q$ an odd prime) of the Brauer group of an elliptic curve over any base field of characteristic different from $q$, containing a primitive $q$-th root of unity. These elements of the Brauer group are given as tensor products of symbol algebras over the function field of the elliptic curve. We give sufficient conditions to determine if the Brauer classes that arise are trivial. Using our algorithm, we derive an upper bound on the symbol length of the prime torsion of $\mathrm{Br}(E)/\mathrm{Br}(k)$.
△ Less
Submitted 21 November, 2022; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Tensor Products of Cyclic Algebras of Degree 4 and their Kummer Subspaces
Authors:
Adam Chapman,
Charlotte Ure
Abstract:
We prove that the maximal dimension of a Kummer space in the generic tensor product of $n$ cyclic algebras of degree 4 is $4 n+1$.
We prove that the maximal dimension of a Kummer space in the generic tensor product of $n$ cyclic algebras of degree 4 is $4 n+1$.
△ Less
Submitted 8 July, 2016; v1 submitted 15 February, 2015;
originally announced February 2015.