相关论文: The local lifting problem for dihedral groups
In this paper we study the universal lifting spaces of local Galois representations valued in arbitrary reductive group schemes when $\ell \neq p$. In particular, under certain technical conditions applicable to any root datum we construct…
A finite abelian $p$-group having an automorphism $x$ such that $1+\ldots+x^{p-1}=0$, can be viewed as a module over an appropriate discrete valuation ring $\mathcal{O}$ containing $\mathbb{Z}_p$ (the ring of $p$-adic integer). This yields…
Let L/F be a dihedral extension of degree 2p, where p is an odd prime. Let K/F and k/F be subextensions of L/F with degrees p and 2, respectively. Then we will study relations between the p-ranks of the class groups Cl(K) and Cl(k).
Typos in the abstract have been corrected. Let $\rho_n$ be an ordinary weight two representation of absolute Galois group of the rationals to $GL_2(\mathcal O/\pi^n)$. Here $\mathcal O$ is a ramified DVR with uniformiser $\pi$. If $\rho_n$…
We extend the lifting methods of our previous paper to lift reducible odd representations $\bar{\rho}:\mathrm{Gal}(\overline{F}/F) \to G(k)$ of Galois groups of global fields $F$ valued in Chevalley groups $G(k)$. Lifting results, when…
We prove several results concerning the existence of potentially crystalline lifts with prescribed Hodge-Tate weights and inertial types of a given n-dimensional mod p representation of the absolute Galois group of K, where K/Q_p is a…
Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G \to O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally…
Let $\mathrm{G}$ be a symplectic or a split orthogonal group over a local non-archimedean field $\mathrm{F}$. A prime $\ell$ is called banal with respect to $\mathrm{G}$ if it does not divide the cardinality of the $k$-points of…
Given a connected reductive group $\tilde{G}$ over a finite field $k$, and a semisimple $k$-automorphism $\varepsilon$ of $\tilde{G}$ of finite order, let $G$ denote the connected part of the group of $\varepsilon$-fixed points. Then there…
Suppose $\phi$ is a $\mathbb{Z}/4$-cover of a curve over an algebraically closed field $k$ of characteristic $2$, and $\Phi_1$ is a \emph{nice} lift of $\phi$'s $\mathbb{Z}/2$-sub-cover to a complete discrete valuation ring $R$ in…
Let $G$ be a connected reductive group over a non-archimedean local field $F$ of residue characteristic $p$, $P$ be a parabolic subgroup of $G$, and $R$ be a commutative ring. When $R$ is artinian, $p$ is nilpotent in $R$, and…
A $p$-divisible group over a field $K$ admits a slope decomposition; associated to each slope $\lambda$ is an integer $m$ and a representation $\gal(K) \ra \gl_m(D_\lambda)$, where $D_\lambda$ is the $\rat_p$-division algebra with Brauer…
Let $p$ be an odd prime. For field extensions $L/\mathbb{Q}_p$ with Galois group isomorphic to the dihedral group $D_{2p}$ of order $2p$, we consider the problem of computing a basis of the associated order in each Hopf Galois structure and…
We present a deterministic algorithm that, given a prime $p$ and a solution $x \in \mathbb Z$ to the discrete logarithm problem $a^x \equiv b \pmod p$ with $p\nmid a$, efficiently lifts it to a solution modulo $p^k$, i.e., $a^x \equiv b…
Let $p$ be prime, let $K$ be a non-archimedean local field of characteristic $p$ and let $C_p^3$ denote the elementary abelian group of order $p^3$. We give a complete classification of Hopf orders in the $K$-Hopf algebra $(K[C_p^3])^*$ and…
Let $K$ be a locally compact field of characteristic 0. Let $G$ be a linear algebraic group defined over $K$, acting algebraically on an algebraic variety $V$. We prove that the action of $G(K)$ (the group of $K$-rational points of $G$) on…
Let $p$ be an odd prime. Let $K/\mathbb{Q}_p$ be a finite unramified extension. Let $\rho: G_K \to GL_2(\overline{\mathbb{F}}_p)$ be a continuous representation. We prove that $\rho$ has a crystalline lift of small irregular weight if and…
In this article, we focus on orders in arbitrary number fields, consider their Picard groups and finally obtain ring class fields corresponding to them. The Galois group of the ring class field is isomorphic to the Picard group. As an…
We deduce from Sageev's results that whenever a group acts locally elliptically on a finite dimensional CAT(0) cube complex, then it must fix a point. As an application, we give an example of a group G such that G does not have property…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…