User peter toth - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T08:31:18Z http://mathoverflow.net/feeds/user/12847 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2124/good-introductory-references-on-algebraic-stacks/79451#79451 Answer by Peter Toth for Good introductory references on algebraic stacks? Peter Toth 2011-10-29T05:51:55Z 2011-10-29T05:51:55Z <p>You might take also a look at this: <a href="http://staff.science.uva.nl/~heinloth/SeminarStacks.html" rel="nofollow">http://staff.science.uva.nl/~heinloth/SeminarStacks.html</a></p> <p>especially the references and more especially the last two paper of them.</p> http://mathoverflow.net/questions/61505/constructing-invertible-sheaves-out-of-actions-of-finite-groups/61506#61506 Answer by Peter Toth for Constructing invertible sheaves out of actions of finite groups Peter Toth 2011-04-13T05:30:29Z 2011-04-13T05:30:29Z <p>This is classical, can be found in Mumford: Abelian varieties, II.7 (i think) group actions on varieties (however without the twist, you mention, but i think it is no poblem), and the main reason (again without the twist) is that <code>$\pi^{*}\mathcal{F}\cong \mathcal{O}_{X}$</code>. You can use this to conclude...</p> http://mathoverflow.net/questions/54895/geometric-abelian-class-field-theory Geometric abelian class field theory Peter Toth 2011-02-09T15:24:35Z 2011-03-10T20:00:10Z <p>There is a very nice geometric proof of Deligne for the Artin Reciprocity in the geometric setting, namely for a smooth, projective, geometrically irreducible curve $C$ over a finite field <code>$\mathbb{F}_{q}$</code>, with function field $K=k(C)$, and idele group <code>$\mathbb{I}_{K}:=\prod^{'}_{p\in|C|}K^{*}_{p}$</code> there is a one-to-one correspondence between the finite quotients of the double quotient space <code>$k(C)^{*}\backslash\mathbb{I}_{K}/\prod_{p \in |C|}\widehat{\mathcal{O}_{p}^{*}}$</code> (which is isomorphic to <code>$Pic_{C}(\mathbb{F}_{q})$</code>) and the finite quotients of <code>$\pi^{ab}_{1}(C)$</code>. </p> <p>Now on the other hand the Artin Reciprocity Law for function fields states (e.g. in Artin-Tate: Class field theory) that the group <code>$\mathbb{I}^{0}_{K}/K^{*}$</code> of norm 1 idele classes is isomorphic via the Reciprocity map to <code>$Gal(\bar{K}^{ab}/K\bar{k})$</code>.</p> <p>My questions would be:</p> <ol> <li><p>These two statements seem to me first as different statements, don´t they? </p></li> <li><p>If we put aside Deligne´s geometric proof for the geometric statement (not seriously and not so for long :-)) then how could one prove the geometric statement using the "number theoretic" Reciprocity Law for function fields?</p></li> </ol> http://mathoverflow.net/questions/57969/stalks-of-etale-sheaves Stalks of etale sheaves Peter Toth 2011-03-09T16:30:11Z 2011-03-10T13:29:11Z <p>Let <code>$\pi:X \rightarrow Y$</code> be a finite morphism of schemes and <code>$\mathfrak{F}$</code> be an etale sheaf on <code>$X$</code>. Then for a <code>$y \in Y$</code> we have the stalk <code>$(\pi_{*}\mathfrak{F})_{y}=\prod_{\pi(x)=y}\mathfrak{F}_{x}^{d(x)}$</code> where <code>$d(x)$</code> is the separable degree of the field extension <code>$k(x)/k(y)$</code> (Corollary 3.5.(c) in Chapter II. in Milne: Etale cohomology). The proof in the book would be completely clear for me, if there were no separable degrees (and Milne does not mention either why are they there)....So my question is where from these separable degrees come into the picture? </p> http://mathoverflow.net/questions/57830/picard-group-fundamental-group-and-deformation/57850#57850 Answer by Peter Toth for Picard group, Fundamental group, and deformation Peter Toth 2011-03-08T16:29:17Z 2011-03-08T16:29:17Z <p>If your question concerns - as mentioned in one of your comments - if there is any relationship between them, then a very beautiful connection exists in what is called geometric class field theory:</p> <p>namely classical number theoretic class field theory concentrates around what is called Artin Reciprocity, which establishes an isomorphism for a number field <code>$K$</code> and its ring of integers <code>$\mathcal{O}_{K}$</code> an isomorphism <code>$Pic(Spec(\mathcal{O}_{K})) \cong \pi_{1}^{ab}(Spec(\mathcal{O}_{K}))$</code> between the Picard group and the abelianized etale fundamental group (it is a geometric reformulation of classical Artin reciprocity). We can see it as a special case of one-dimensional class field theory and the question arises naturally if we can extend somehow this correspondence for higher dimensions (and also for other one dimensional schemes). There are different approaches (K-theory, cycle theory, geometric Langlands) but the main cornerstones are the following:</p> <p>Bloch-Kaito-Saito Theorem: Let <code>$X$</code> be a regular, connected, projective scheme over <code>$Spec(\mathbb{Z})$</code>, then there exists also a reciprocity map <code>$Pic(X) \rightarrow \pi_{1}^{ab}(X)$</code> which is an isomorphism if in addition <code>$X$</code> is flat over <code>$Spec(\mathbb{Z})$</code>. If <code>$X$</code> factors through a finite field <code>$k=\mathbb{F}_{q}$</code> then the reciprocity map is injective and with cokernel <code>$\widehat{\mathbb{Z}}/\mathbb{Z}$</code>.</p> <p>Also for curves over finite fields there exists a correspondence, namely if <code>$C$</code> is a smooth, projective, geometrically irreducible curve over a finite field <code>$k$</code>, then there exists a reciprocity homomorphism <code>$Pic_{C}(k) \rightarrow \pi_{1}^{ab}(C)$</code> which induces an isomorphism on the degree zero parts <code>$Pic_{C}^{0}(k) \rightarrow \pi_{1}^{ab}(C)^{0}$</code>, where the degree maps are the obvious maps to <code>$\mathbb{Z}$</code> and <code>$\widehat{\mathbb{Z}}$</code> resp.</p> <p>Also if <code>$S \subset C$</code> is a finite set of points of a smooth, projective, geom. irreducible curve <code>$C$</code> over a finite field, then there is a ramified version of the previous reciprocity, namely between <code>$Pic_{C,S}$</code> (which is isomorphism classes of line bundles together with fixed isomorphisms of the stalks at every point in <code>$S$</code>) and the abelianization of the tame fundamental group of <code>$U:=C \setminus S$</code>.</p> <p>Some reference: <a href="http://epub.uni-regensburg.de/13979/1/MP92.pdf" rel="nofollow">http://epub.uni-regensburg.de/13979/1/MP92.pdf</a></p> <p>and then it gives many other references and so on...</p> http://mathoverflow.net/questions/56529/group-action-on-sheaves Group action on sheaves Peter Toth 2011-02-24T15:41:21Z 2011-02-24T20:50:20Z <p>I am currently reading D. Mumford´s Abelian Varieties and it came up the following question: let <code>$X$</code> be an algebraic variety over an algebraically closed field <code>$k$</code> and <code>$G$</code> a finite group acting on <code>$X$</code>. Assume we are in a situation that there exists a quotient <code>$(Y, \pi:X \rightarrow Y)$</code>, he then proves a proposition that there is a one-to-one correspondence between coherent <code>$\mathcal{O}_{Y}$</code>-modules and <code>$G$</code>-equivariant coherent <code>$\mathcal{O}_{X}$</code>-modules. In the course of the proof he shows that for such a <code>$G$</code>-sheaf <code>$\mathfrak{F}$</code> on <code>$X$</code> the natural morphism <code>$\pi^{-1}((\pi_{*}\mathfrak{F})^{G}) \rightarrow \mathfrak{F}$</code> is an isomorphism. </p> <p>What about other kind of sheaves, especially locally constant sheaves (regarding whether this natural morphism is an isomorphism)?</p> http://mathoverflow.net/questions/41910/geometric-langlands-for-gl1/54913#54913 Answer by Peter Toth for geometric Langlands for GL(1) Peter Toth 2011-02-09T19:02:23Z 2011-02-09T19:02:23Z <p>The main idea of the proof is the following: the 1-dimensional representations <code>$\{\pi_{1}^{ab}(X) \rightarrow \bar{\mathbb{Q}}_{l}^{*}\}$</code> are in 1-1 correspondence with 1-dim local systems <code>$L$</code> on <code>$X$</code>, on the other hand 1-dimensional representations <code>$\{Pic_{X} \rightarrow \bar{\mathbb{Q}}_{l}^{*}\}$</code> are in 1-1 correspondence with 1-dimensional local systems <code>$A_{L}$</code> on <code>$Pic_{X}$</code> together with a rigidification, i.e. a fixed isomorphism <code>$A_{L}|_{0} \cong \bar{\mathbb{Q}}_{l}$</code> (this is the famous faisceaux-fonctions correspondence of Grothendieck). Now consider the d-symmetric product <code>$X^{(d)}$</code> of <code>$X$</code> (which is just the effective divisors of degree <code>$d$</code> on <code>$X$</code>) which maps in an obvious way to <code>$Pic_{X}^{d}$</code>, the degree <code>$d$</code> component of the Picard. If there is given a local system <code>$L$</code> on <code>$X$</code> then we can produce a local system <code>$L^{(d)}$</code> on <code>$X^{(d)}$</code> by having this local system fibres <code>$\bigotimes_{i} Sym^{d_{i}}(L_{x_{i}})$</code> over a point <code>$\sum_{i} d_{i}x_{i}$</code>. Now by Riemann-Roch if the degree <code>$d$</code> is greater than <code>$2g(X)-2$</code> then it follows that this map has fibre over a degree-<code>$d$</code> line bundle <code>$\mathfrak{L}$</code> the <code>$d-g(X)$</code>-dimensional projective space <code>$\mathbb{P}(H^{0}(X,\mathfrak{L}))$</code>. As projective spaces are simply connected, it follows that this locally constant sheaf <code>$L^{(d)}$</code> is actually constant on these fibres, so descends to a local system <code>$A_{L}$</code> on <code>$Pic_{X}^{d}$</code>. There is also a way to extend these construction to the remaining components using the natural action <code>$X \times Pic \rightarrow Pic$</code> given by <code>$(x,L) \mapsto L(x)$</code>. It is the idea of the proof, which is actually of Deligne! </p> <p>As what the references concerns: there is a paper of Laumon: Faisceaux automorphes lies aux series Eisenstein, where he discusses this proof of Deligne. Also here <a href="http://www.cims.nyu.edu/~tschinke/publications.html" rel="nofollow">http://www.cims.nyu.edu/~tschinke/publications.html</a> the 3rd book (Mathematisches Institut, Seminars 2003/04, Universitätsverlag Göttingen, (2004) ) from page 145, but it is in german. And also the quoted paper of Frenkel is very good. </p> http://mathoverflow.net/questions/65292/computation-of-gromov-witten-invariants-for-symplectic-manifolds Comment by Peter Toth Peter Toth 2011-05-19T04:58:27Z 2011-05-19T04:58:27Z did you check the book, McDuff-Solomon: J-holomorphic curves and symplectic topology (or quantum cohomology...it is a shorter book)? http://mathoverflow.net/questions/61505/constructing-invertible-sheaves-out-of-actions-of-finite-groups/61506#61506 Comment by Peter Toth Peter Toth 2011-04-13T05:48:07Z 2011-04-13T05:48:07Z i mean $\mathcal{O}_{X}$ can be substituted by any coherent $\mathcal{O}_{X}$ module... http://mathoverflow.net/questions/61505/constructing-invertible-sheaves-out-of-actions-of-finite-groups/61506#61506 Comment by Peter Toth Peter Toth 2011-04-13T05:44:27Z 2011-04-13T05:44:27Z yes it is trivial without the twist, but i forgot to say that $\mathcal{F}$ can be any quasi-coherent $\mathcal{O}_{X}$ module... http://mathoverflow.net/questions/57969/stalks-of-etale-sheaves/58068#58068 Comment by Peter Toth Peter Toth 2011-03-13T17:47:21Z 2011-03-13T17:47:21Z yes, thanks.... http://mathoverflow.net/questions/57830/picard-group-fundamental-group-and-deformation Comment by Peter Toth Peter Toth 2011-03-08T15:50:15Z 2011-03-08T15:50:15Z Over what kind of field and which fundamental group? Also affine and projective spaces are not simply connected over arbitrary fields when using the etale fundamental group... http://mathoverflow.net/questions/56900/a-characteristic-free-proof-that-the-action-of-a-connected-algebraic-group-g-on/56907#56907 Comment by Peter Toth Peter Toth 2011-02-28T17:45:25Z 2011-02-28T17:45:25Z to Andr&#233;: if $char(k)=0$ then $\pi_{1}(\mathbb{A}_{k}^{1}=\pi_{1}(Spec(k))$. If $char(k)=p&gt;0$ then the question is more delicate. Anyway it still exists a map $\pi_{1}(\mathbb{A}_{k}^{1} \rightarrow \pi_{1}(Spec(k))$ which is surjective, but not injective. So for example if the field k is of non-zero characteristic and separably closed, then $\pi_{1}(\mathbb{A}_{k}^{1}$ is non-trivial. http://mathoverflow.net/questions/56529/group-action-on-sheaves/56535#56535 Comment by Peter Toth Peter Toth 2011-02-25T09:14:55Z 2011-02-25T09:14:55Z thanks a lot. this was my main concern even if a did not write it exactly... http://mathoverflow.net/questions/56529/group-action-on-sheaves/56561#56561 Comment by Peter Toth Peter Toth 2011-02-25T09:11:38Z 2011-02-25T09:11:38Z thanks for the answer http://mathoverflow.net/questions/56529/group-action-on-sheaves/56535#56535 Comment by Peter Toth Peter Toth 2011-02-24T17:13:05Z 2011-02-24T17:13:05Z hi....thanks for the very wide range answer (you seem to know also my hidden intentions also:-)...what i want to do is to prove local constancy of the G-invariants of the push forward on the quotient by proving that there is an isomorphism written in my question. http://mathoverflow.net/questions/55012/isogenies-of-generalized-jacobians Comment by Peter Toth Peter Toth 2011-02-10T14:57:22Z 2011-02-10T14:57:22Z say representations into some alg. closed l-adic field of the Jac(k)? Anyway my question arised because i wanted to somehow relate the proofs regarding generalized Jacobians in Serre&#180;s book (Alg. groups and class fields) to some possible adaptation of Deligne&#180;s proof for geometric class field theory to the ramified case.... http://mathoverflow.net/questions/55012/isogenies-of-generalized-jacobians Comment by Peter Toth Peter Toth 2011-02-10T11:54:03Z 2011-02-10T11:54:03Z let&#180;s say we make no restrictions and J^{'} is an algebraic group. http://mathoverflow.net/questions/54895/geometric-abelian-class-field-theory/54931#54931 Comment by Peter Toth Peter Toth 2011-02-10T09:01:34Z 2011-02-10T09:01:34Z ok, so as i understand for a modulus m we can define the generalized jacobian J_m (which in my notation is basically the Pic^0_C,m and then every abelian, etale covering of U=C-m comes from an isogeny over J_m. So my question transforms to: how can one relate these isogenies to 1-dimensional representations? http://mathoverflow.net/questions/54895/geometric-abelian-class-field-theory/54931#54931 Comment by Peter Toth Peter Toth 2011-02-10T06:16:20Z 2011-02-10T06:16:20Z yes, i am trying now to prove the ramified case, namely for a finite subset S of C i consider 1-dimensional representations of Pic_C,S:= isomorphism classes of line bundles on C with fixed isomorphisms of the stalks at the points in S. On the other hand there is the 1-dimensional representations of the tame fundamental group of the open U:=C-S. But i do not understand, how could i then prove with it the number theoretic Artin Reciprocity? (I think this you mean by the other way...so how does it go?)