User pz - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T11:27:07Z http://mathoverflow.net/feeds/user/26756 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/125631/galois-descent-for-semilinear-endomorphisms Galois descent for semilinear endomorphisms pz 2013-03-26T15:46:54Z 2013-04-02T11:22:55Z <p>Let $K \subset L$ be a finite Galois extension, $\sigma$ an automorphism of $L$ (not necessarily fixing $K$) and let $E$ be a finite-dimensional vector space over $L$ together with an $\sigma$-linear endomorphism $\phi : E \rightarrow E$. I would like to do Galois descent. So my question is "Under what conditions does $\phi$ ascent from a $\sigma$-linear endomorphism defined over $K$?".</p> <p>Thanks.</p> <p>EDIT: I guess I should describe my problem more precisely. </p> <p>$k$ a perfect field of char. $p>0$, $K$ the fraction field of the Witt ring $W(k)$, $F$ finite extension of $\mathbb{Q}_p$, $L$ the compositum of $K$ and $F$ in $\bar{K}$, $\tau$ the Frobenius automorphism of $L$ over $F$ and $\sigma$ the Frobenius automorphism of $K$.</p> <p>A $\tau$-$L$-space is a finite dimensional vector space $V$ over $L$ together with a $\tau$-semilinear bijection $\Phi: V\rightarrow V$.</p> <p>If I'm given an $\sigma^f$-isocrystal $V$ over $k$, then I can associate to it an $\tau$-$L$-space as follows. Let $F$ be the unique unramified extension of $\mathbb{Q}_p$ of degree $f$, $L=KF$ then $\tau|_K = \sigma^f$ and tensoring with $L$ gives a $\tau$-$L$-space.</p> <p>I'm interested in the other direction. Let $F$ be an unramified extension of $\mathbb{Q}_p$ of degree $f$ and $E$ an $\tau$-$L$-space. Does $E$ come from a $\sigma^f$-isocrystal over $k$?</p> http://mathoverflow.net/questions/125321/two-different-definitions-of-sigma-l-spaces-in-kottwitz-i-and-ii Two different definitions of $\sigma$-L-spaces in Kottwitz I and II pz 2013-03-22T20:06:02Z 2013-03-23T21:15:39Z <p>In his papers "Isocrystals with additional structure" I and II, Kottwitz defines the notion of $\sigma$-$L$-spaces. In the first one the situation is the following</p> <p>$k$ an algebraically closed field of char. $p>0$, $K$ the fraction field of the Witt ring $W(k)$, $F$ finite extension of $\mathbb{Q}_p$, $L$ the compositum of $K$ and $F$ in $\bar{K}$, $\sigma$ the Frobenius automorphism of $L$ over $F$.</p> <p>He later defines a $\sigma$-$L$-space to be a finite dimensional vector space $V$ over $L$ together with a $\sigma$-semilinear bijection $\Phi: V\rightarrow V$.</p> <p>In "Isocrystals with additional structure II" he considers a different situation. </p> <p>Again $F$ is a finite extension of $\mathbb{Q}_p$, $F^{nr}$ the maximal unramified extension of $F$ in some algebraic closure $\bar{F}$, but now $L$ is the completion of $F^{nr}$, $\sigma$ is the continuous extension of the Frobenius automorphism of $F^{nr}$ over $F$.</p> <p>He then defines $\sigma$-$L$-spaces exactly as above.</p> <p>I don't see how these two definitions are the same, since the second definition makes no reference to the Witt ring. What is the relation between these two definitions?</p> <p>EDIT: Kottwitz assumes in his paper that $k$ is algebraically closed. But actually I'm interested in the more general situation of $k$ just a perfect field of char. $p$. Do the definitions agree in this more general situation?</p> <p>Thanks.</p> http://mathoverflow.net/questions/119825/constructible-topology-on-schemes/119840#119840 Answer by pz for Constructible topology on schemes pz 2013-01-25T15:17:10Z 2013-01-25T15:24:20Z <p>In Hochster's paper 'Prime Ideal Structure in Commutative Rings' the author uses it to characterize spectral spaces. This in turn is used in Huber's work on Adic spaces, cf. 'Huber - Étale cohomology of Rigid Analytic Varieties and Adic Spaces' and 'Scholze - Perfectoid spaces'.</p> http://mathoverflow.net/questions/118874/structure-of-f-g-modules-over-a-non-commutative-ring Structure of f.g. modules over a non-commutative ring pz 2013-01-14T13:47:15Z 2013-01-16T16:53:38Z <p>To what extent is the structure theorem for finitely generated modules over principal ideal domains true over non-commutative domains? I'm in particular interested in non-commutative euclidean domains especially the twisted polynomial ring $K\langle X \rangle$ over a field $K$ (i.e. such that $Xa = \sigma(a)X$ for some automorphism $\sigma$ of K).</p> http://mathoverflow.net/questions/115501/sigma-conjugate-iff-p-adically-close $\sigma$-conjugate iff $p$-adically close pz 2012-12-05T14:08:37Z 2012-12-16T00:06:14Z <p>First some notations. Let $p$ be a prime, $k$ a perfect field of characteristic $p$, $W=W(k)$ the ring of Witt vectors over $k$, $\sigma : W \rightarrow W$ the Frobenius, $R$ a commutative $\mathbb{Z}_p$-algebra, $R_W = R \otimes_Z W$, $\phi$ the $R$-linear extension of $\sigma$ to $R_W$. Also denote by $\phi$ the endomorphism of $R_W((u))$ given by $\phi(\sum_i a_i u^i)=\sum_i \phi(a_i) u^{pi}$.</p> <ul> <li>$LG(R) = GL_d(R_W((u)))$</li> <li>$LG^+(R) = GL_d(R_W[[u]])$</li> <li>$LG^{\leq m}(R) = { A \in GL_d(R_W((u))) \mid A, A^{-1} \in u^{-m}M_d(R_W[[u]]) }$</li> </ul> <p>Proposition 2.2 in Pappas, Rapoport - $\phi$-modules and coefficient spaces, available <a href="http://www.math.uni-bonn.de/ag/alggeom/preprints/fmodulesoct1.pdf" rel="nofollow">here</a> states the following</p> <p>Suppose $n > \frac{2m}{p-1}$</p> <ol> <li>For each $g\in U_n(R)$, $A\in LG^{\leq m}(R)$ there is a unique $H\in U_n(R)$ such that $g^{-1} A \phi(g) = H^{-1}A$.</li> <li>Conversely for each $A\in LG^{\leq m}(R)$, $H\in U_n(R)$ there is a unique $g\in U_n(R)$ such that $g^{-1} A \phi(g) = H^{-1}A$.</li> </ol> <p>In the footnote the authors state that the analogous fact in classical Dieudonné theory is also true. However it seems that the proof given there does not work in that case, the problem being that the Frobenius on the Witt vectors leaves the uniformizer $p$ fixed whereas in the situation of Proposition 2.2 above the uniformizer $u$ is raised to the $p$-th power by $\phi$. In the first statement this forces me to assume $m$ to be $0$, but the comparison of the coefficients in uniqueness part of 2. doesn't seem to be working at all.</p> <p>How can one prove this result in the classical case?</p> <p>EDIT: Scholze uses a similar thing in 'The Langlands-Kottwitz Method and Deformation Spaces of p-Divisible Groups'. This is Lemma 4.4 there. But he does not get explicit bounds.</p> http://mathoverflow.net/questions/125631/galois-descent-for-semilinear-endomorphisms/125703#125703 Comment by pz pz 2013-03-27T11:52:47Z 2013-03-27T11:52:47Z I edited my Question to give mor information. http://mathoverflow.net/questions/125631/galois-descent-for-semilinear-endomorphisms Comment by pz pz 2013-03-27T11:45:02Z 2013-03-27T11:45:02Z @Keerthi Madapusi Pera: Yes, see my EDIT. http://mathoverflow.net/questions/125321/two-different-definitions-of-sigma-l-spaces-in-kottwitz-i-and-ii Comment by pz pz 2013-03-23T21:18:10Z 2013-03-23T21:18:10Z Thanks for the comments. I was not aware that $F^{nr}$ is the compositum of $F$ and $K$ in this case. Can you perhaps give a reference? Kottwitz assumes in his paper that $k$ is algebraically closed. But actually I'm interested in the more general situation of $k$ just a perfect field of char. $p$. Do the definitions agree in this more general situation? http://mathoverflow.net/questions/119825/constructible-topology-on-schemes/119840#119840 Comment by pz pz 2013-01-25T18:21:00Z 2013-01-25T18:21:00Z @Ricky I think you are right. Huber uses spectral spaces in some proofs, but I think he doesn't do anything with them that could not be done without them. They are afaik not crucial to the theory of adic spaces. http://mathoverflow.net/questions/118874/structure-of-f-g-modules-over-a-non-commutative-ring/119083#119083 Comment by pz pz 2013-01-16T21:22:05Z 2013-01-16T21:22:05Z Thanks. That's what I'm looking for.