The aim of this note is to revisit the question of local-global principles for embeddings of etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and sufficient condition is given in a joint paper with Tingyu Lee and Raman Parimala. In the present paper, we give a simpler description of the obstruction group. It is also shown that if the etale algebra is a product of pairwise independent field extensions, then the Hasse principle holds.
Let $k$ be a field, $T$ be an algebraic $k$-torus, $X$ be a smooth $k$-compactification of $T$ and ${\rm Pic}\,\overline{X}$ be the Picard group of $\overline{X}=X\times_k\overline{k}$. Hoshi, Kanai and Yamasaki [HKY22] determined $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(G_m)$ and gave a necessary and sufficient condition for the Hasse norm principle for extensions $K/k$ of number fields with $[K:k]=n\leq 15$ and $n\neq 12$. In this paper, we determine $64$ cases with $H^1(k,{\rm Pic}\, \overline{X})\neq 0$ and give a necessary and sufficient condition for the Hasse…
The aim of this paper is to revisit the question of local-global principles for embeddings of étale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and sufficient condition is given in [BLP 18]. In the present paper, we give a simpler description of the obstruction group. It is also shown that if the etale algebra is a product of pairwise linearly disjoint field extensions, then the Hasse principle holds, and that if an embedding exists after an odd degree extension, then it also exists over the global field itself. …
We show that certain Tate--Shafarevich groups are unramified which enables us to give an obstruction to the Hasse principle for torsors under tori over p-adic function fields.
Let $k$ be a field and $T$ be an algebraic $k$-torus. In 1969, over a global field $k$, Voskresenskii proved that there exists an exact sequence $0\to A(T)\to H^1(k,{\rm Pic}\,\overline{X})^\vee\to Sha(T)\to 0$ where $A(T)$ is the kernel of the weak approximation of $T$, $Sha(T)$ is the Shafarevich-Tate group of $T$, $X$ is a smooth $k$-compactification of $T$, $\overline{X}=X\times_k\overline{k}$, ${\rm Pic}\,\overline{X}$ is the Picard group of $\overline{X}$ and $\vee$ stands for the Pontryagin dual. On the other hand, in 1963, Ono proved that for the norm one torus $T=R^{(1)}_{K/k}(G_m)$ o…
We prove that, for every $n \geq 5$, the Hasse norm principle holds for a degree $n$ extension $K/k$ of number fields with normal closure $F$ such that $\operatorname{Gal}(F/k) \cong A_n$. We also show the validity of weak approximation for the associated norm one tori.
We classify maximal tori in groups of type $F_4$ over a local or global field of characteristic different from $2$ and $3$. We prove a local-global principle for embeddings of maximal tori in groups of type $F_4$.
Let $K$ be a global field of positive characteristic. We prove that the Brauer-Manin obstructions to the Hasse principle, to weak approximation and to strong approximation are the only ones for homogeneous spaces of reductive groups with reductive stabilizers. The methods involve abelianization techniques and arithmetic duality theorems for complexes of tori over K.
Dualité et principe local-global pour les tores sur une courbe au-dessus de C((t))
为了$K$一个全球性的团体（团体的nombres或团体的职能d 'une变量sur un corps fini $F$），在处理对偶分类理论（泰特，普瓦图，中山），为一个cohomologie galoisienne à valeurs dans des tores和des modules abéliens dans。我们为$K$建立了一套理论体系，其中包含一个射影函数，并在复体上的一个变量上的$F={\bf C}((t))$系列形式的函数上建立了一套理论体系。Cela permet de contrôler le défaut du principe de Hasse et l'approximation faible pour les espaces homogènes sous un tore. Il y a dictionary avec le cas classique（$K$ corps global），and aussi avec le cas récement étudié oeconomy $K$ est un corps de functions d'une variable sur un corps $p$ -adique.另一方面，$K$ --一种不隐含的合理性并不意味着哈塞原理对于空间的原理是一致的。在整体域$K$（数域，或有限域$F$上的曲线的函数域）上…
Let $X_0$ be a smooth geometrically connected variety defined over a finite field $\mathbb F_q$ and let $\mathcal E_0^{\dagger}$ be an irreducible overconvergent $F$-isocrystal on $X_0$. We show that if a subobject of minimal slope of the associated convergent $F$-isocrystal $\mathcal E_0$ admits a non-zero morphism to $\mathcal O_{X_0}$ as a convergent isocrystal, then $\mathcal E_0^{\dagger}$ is isomorphic to $\mathcal O^{\dagger}_{X_0}$ as an overconvergent isocrystal. This proves a special case of a conjecture of Kedlaya. The key ingredient in the proof is the study of the monodromy group …
We show the cardinality of a particular nonabelian cohomology associated to cyclic division algebras is equal to a certain partition number. This computation helps us interpret the number of conjugacy classes of maximal tori defined over an abelian extension.
Given a number field extension $K/k$ with an intermediate field $K^+$ fixed by a central element of the corresponding Galois group of prime order $p$, we build an algebraic torus over $k$ whose rational points are elements of $K^\times$ sent to $k^\times$ via the norm map $N_{K/K^+}$. The goal is to compute the Tamagawa number of that torus explicitly via Ono's formula that expresses it as a ratio of cohomological invariants. A fairly complete and detailed description of the cohomology of the character lattice of such a torus is given when $K/k$ is Galois. Partial results including the numerat…
Outer automorphisms of algebraic groups and determining groups by their maximal tori
给出了域上半单代数群存在外自同构的上同调判据。然后将这一准则应用于整体域上D_2n型群的特殊情形，从而完成了“Weakly Suprantifable arithmetic groups and isoprope localized symmetric spaces”（Pub. Math.IHES，2009），并给出了一个新的证明，从另一篇论文的同一作者。
It is proved that a maximal abelian subalgebra of the noncommutative torus commutes with the Laplace operator on a complex torus. As a corollary, one gets an analog of the Poisson summation formula for noncommutative tori.
We show that $L$-packets of toral supercuspidal representations arising from unramified maximal tori of $p$-adic groups are realized by Deligne--Lusztig varieties for parahoric subgroups. We prove this by exhibiting a direct comparison between the cohomology of these varieties and algebraic constructions of supercuspidal representations. Our approach is to establish that toral irreducible representations are uniquely determined by the values of their characters on a domain of sufficiently regular elements. This is an analogue of Harish-Chandra's characterization of real discrete series represe…
