User chrislazda - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T04:07:05Z http://mathoverflow.net/feeds/user/13647 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/125740/why-is-a-proper-affine-morphism-finite/125744#125744 Answer by ChrisLazda for Why is a proper, affine morphism finite? ChrisLazda 2013-03-27T17:00:48Z 2013-03-27T17:00:48Z <p>Have a look at Ravi Vakil's notes on Algebraic geometry, 18.1.8, 18.9.A (and possibly tracing through the results used in these sections) <a href="http://math.stanford.edu/~vakil/216blog/" rel="nofollow">http://math.stanford.edu/~vakil/216blog/</a>. The point is that $f:X\rightarrow Y$ is affine, then $X\cong \underline{\mathrm{Spec}}(f_*\mathcal{O}_X)$, and if $f$ is proper, then <code>$f_*\mathcal{O}_X$</code> is coherent. Hence $X$ is the relative spectrum of a coherent $\mathcal{O}_Y$-algebra, and hence finite.</p> http://mathoverflow.net/questions/125580/overconvergent-infinitesimal-site-base-change-and-six-operations Overconvergent/infinitesimal site, base change and six operations ChrisLazda 2013-03-26T02:06:41Z 2013-03-26T11:47:02Z <p>This question is about 6 operations formalism for 'crystalline' cohomology theories - more specifically the infinitesimal cohomology of smooth $\mathbb{C}$-varieties, and the overconvergent cohomology of varieties in positive characteristic. I'm not really sure of a good reference for the former, for the latter I'm talking about le Stum's site theoretic approach to rigid cohomology, as developed in his paper "The Overconvergent Site".</p> <p>In particular, I'm interested in whether or not one might hope for a 6 operations formalism for the cohomology of the overconvergent site. One thing that suggests to me that this is not the 'right' set-up to get 6 operations is that I think I can convince myself that for any Cartesian square of $k$-varieties ($k$ a perfect field of characteristic $p>0$) <code>$$\begin{matrix} X' &amp; \overset{g'}\rightarrow &amp;X \\ f'\downarrow &amp;&amp;\downarrow f \\ Y' &amp; \overset{g}{\rightarrow} &amp;Y\end{matrix}$$</code> the induced base change morphism <code>$$g^*_{\mathrm{An}^\dagger} \mathbb{R}f_{\mathrm{An}^\dagger*}E \rightarrow \mathbb{R}f'_{\mathrm{An}^\dagger*}g'_{\mathrm{An}^\dagger}^*E$$</code> is an isomorphism. This seems 'wrong' to me - one should only expect such a base change for a proper morphism $f$. My question is whether or not this should be taken seriously as a reason why 6 operations with good 'topological' properties won't exist in this context, or is there something I've missed? </p> <p>I'd also be interested to know whether or not 6 operations has been worked out for the infinitesimal site of $\mathbb{C}$-varieties (or varieties over any alg. closed char $0$ field). In the introduction to another paper of his, "Constructible $\nabla$-modules on curves", le Stum says that constructible sheaves have a definition in terms of the infinitesimal site (due to Deligne, but unpublished), but what about complexes and six operations? Is there anything known in this direction?</p> <p>Also, just for reference, the argument that we have base change for any Cartesian square is basically just combining the paragraph before 1.4.2 of <a href="http://perso.univ-rennes1.fr/bernard.le-stum/Publications_files/OverconvergentSite.pdf" rel="nofollow">http://perso.univ-rennes1.fr/bernard.le-stum/Publications_files/OverconvergentSite.pdf</a> with 7.28.1 of <a href="http://stacks.math.columbia.edu/tag/04IT" rel="nofollow">http://stacks.math.columbia.edu/tag/04IT</a>. One can also see it in terms of realisations.</p> <p>EDIT: It may be worth making clear that I am familiar with both Caro's theory of 6 operations for overholonomic $F\text{-}\mathcal{D}^\dagger$-modules, and the theory of algebraic $\mathcal{D}$-modules in char $0$. I am more interested in whether or not, for example in char $0$, one can do all this purely in terms of the infinitesimal site.</p> http://mathoverflow.net/questions/123857/how-to-see-the-geometry-and-arithmetic-of-tannakian-fundamental-groups/123889#123889 Answer by ChrisLazda for How to see the geometry and arithmetic of tannakian fundamental groups? ChrisLazda 2013-03-07T16:46:22Z 2013-03-07T16:46:22Z <p>To answer your second question, for any nilpotent neutral Tannakian category $\mathcal{C}$, (i.e. one in which every object is an iterated extension of the unit object $\underline{1}$), with fibre functor $\omega$ and assocaited pro-unipotent group scheme $G=G(\mathcal{C},\omega)$, there is an isomorphism</p> <p>$\mathrm{Lie}(G^\mathrm{ab})^*\cong \mathrm{Ext}^1_\mathcal{C}(\underline{1},\underline{1})$</p> <p>So in our case, taking $\mathcal{C}$ to be the category of unipotent lisse $\mathbb{Q}_\ell$-sheaves on some variety over an algebraically closed field of characteristic $\neq\ell$, we can recover the first étale cohomology as the dual of the abelianisation of the pro-unipotent étale fundamental group, exactly as one might expect from the Hurewiz theorem.</p> http://mathoverflow.net/questions/123763/pullbacks-of-intermediate-middle-extensions-and-gabbers-purity-theorem Pullbacks of intermediate/middle extensions and Gabber's purity theorem ChrisLazda 2013-03-06T13:49:06Z 2013-03-06T16:59:00Z <p>I am currently trying to understand intermediate extensions of perverse sheaves, specifically the proof of Gabber's purity theorem, which states that the intermediate extension of a pure perverse sheaf is pure.</p> <p>As part of the proof, in §5 of "Faisceuax pervers" by Bernstein, Beilinson &amp; Deligne, I've come across the following claim, which is not elaborated on in the paper and which I am struggling to understand. </p> <p>Let $k$ be a finite field, and suppose that I have an open immersion $j:U\rightarrow X$ of $k$-varieties, and a 'projection' $f:X\rightarrow \mathbb{A}^1_k$. Fix a perverse $\overline{\mathbb{Q}}_\ell$ sheaf $\mathcal{F}$ on $U$. Then the claim is that for almost all closed points $v\in \mathbb{A}^1_k$, taking intermediate extensions of $\mathcal{F}$ commutes with pulling back to the fibre over $v$. In other words, for almost all $v$, looking at the commutative diagram</p> <p>$f^{-1}(v)\cap U \overset{i}{\rightarrow} U$</p> <p>$\begin{matrix} &amp;&amp;\downarrow j &amp;&amp; \downarrow j \end{matrix}$</p> <p>$\begin{matrix}f^{-1}(v)&amp;\overset{i}{\rightarrow} &amp;X\end{matrix}$</p> <p>then <code>$i^*\mathcal{F}[-1]$</code> and <code>$i^*(j_{!*}\mathcal{F})[-1]$</code> are both perverse, and <code>$j_{!*}(i^*\mathcal{F}[-1])=i^*(j_{!*}\mathcal{F})[-1]$</code>.</p> <p>Why is this true?</p> <p>I also have another closely related question, which comes up in trying to understand Delinge's proof of Weil II in terms of perverse sheaves. Suppose that $Y$ is smooth and connected, and that I have a lisse $\overline{\mathbb{Q}}_\ell$-sheaf $\mathcal{F}$ on some relative curve $X\rightarrow Y$, which admits a good compactification $j:X\hookrightarrow \overline{X}$ into a smooth and proper curve $\overline{X}$ over $Y$ whose complement is finite étale over $Y$. Then does taking intermediate extensions of $\mathcal{F}$ commute with pulling back to closed points of $y$? In other words, if I have a closed point $y\in Y$ then should I expect to have something like <code>$(j_{!*}\mathcal{F}[-\dim X])_y \cong j_{!+}(\mathcal{F}_y[-\dim X_y])$</code> as perverse sheaves on $\overline{X}_y$? Does this basically follow from the first question, or at least from its method of proof, by repeatedly cutting $Y$ with divisors?</p> <p>Any help with either of these two questions would be greatly appreciated!</p> http://mathoverflow.net/questions/123005/essential-geometric-morphisms-on-the-etale-site/123602#123602 Answer by ChrisLazda for Essential geometric morphisms on the étale site. ChrisLazda 2013-03-05T08:27:55Z 2013-03-05T08:49:18Z <p>As Jonathan said, the answer is always, and the left adjoint $f_!$ has a simple description as the "extension by $\emptyset$" functor. Think of an open immersion $j:U\rightarrow X$ of topological spaces, then we have the usual extension by $\emptyset$ functor by sheafififying the presheaf</p> <p>$j_!\mathcal{F}(W)=\mathcal{F}(W)$ if $W\subset U$</p> <p>$j_!\mathcal{F}(W)=\emptyset$ otherwise. </p> <p>It's an easy calculation to show that this is left adjoint to $j^*$.</p> <p>Translating this to the étale topology, if $f:X\rightarrow Y$ is an étale morphism of schemes, we have the extension by $\emptyset$ functor by sheafififying the presheaf</p> <p>$f_!\mathcal{F}(W\overset{f}{\rightarrow} Y)=\coprod_{g\in\mathrm{Hom}_Y(W,X)}\mathcal{F}(W\overset{g}{\rightarrow} X)$</p> <p>and again it's fairly easy to verify that $f_!$ does what we want it to.</p> <p>It's worth noting that to get an adjoint for abelian sheaves, we need to replace this coproduct by the coproduct in the category of abelian sheaves, i.e. direct sum. Thus $f_!\mathcal{F}$ depends on whether we are considering $\mathcal{F}$ as a sheaf of sets or of abelian groups.</p> <p>It's possibly also worth noting that we don't get a geometric morphism $f^*:\mathrm{Sh}(Y)\leftrightarrows \mathrm{Sh}(X):f_!$ because $f_!$ doesn't preserve limits. Despite this, the version of $f_!$ for abelian sheaves is actually exact!</p> http://mathoverflow.net/questions/119869/model-category-structures-on-dgas-in-a-ringed-topos Model category structures on dga's in a ringed topos ChrisLazda 2013-01-25T18:07:10Z 2013-02-24T01:22:00Z <p>In the introduction to his paper "Towards a non-abelian $p$-adic Hodge theory", Olsson says that for any ringed topos $(\mathcal{T},\mathcal{O})$ with $\mathcal{O}$ a sheaf of $\mathbb{Q}$-algebras, the category $\mathrm{dga}_{\mathcal{O}}$ of $\mathcal{O}$-dga's has a model category structure, where the weak equivalences are quasi-isomorphisms, and the fibrations are surjections with level wise injective kernel (injective as objects in the category of $\mathcal{O}$-modules).</p> <p>Now, it seems to me the proof of this fact goes something along the following lines. Since the category of $\mathcal{O}$-modules has enough injectives, then the category of positively graded chain complexes has a similarly defined model category structure. One takes generating sets cofibrations and acyclic cofibrations in this model category of chain complexes, and one applies the 'free algebra functor' from complexes to dga's and the small object argument to get generating sets of cofibrations and acyclic cofibrations in the category of dga's. </p> <p>My question is the following. </p> <p><strong>Do we really need to restrict to $\mathbb{Q}$-algebras here? Or will this argument work for <em>any</em> ringed topos $(\mathcal{T},\mathcal{O})$? For example, will the above definitions of weak equivalences and fibrations define a model category structure on the category of sheaves of $\mathbb{Z}/\ell^n$-modules in the étale topos of some scheme?</strong></p> <p>I can't see where the argument breaks down, but I may not have understood it well enough.</p> http://mathoverflow.net/questions/121187/reference-for-rigid-analytic-gaga Reference for rigid analytic GAGA ChrisLazda 2013-02-08T12:56:01Z 2013-02-08T16:26:52Z <p>I'm looking for a reference for the following result.</p> <p>Theorem. Let $K$ be a complete, non-archimedean field, and let $X/K$ be a projective scheme, with analytification $X^\mathrm{an}$. Then the analytification functor from coherent $\mathcal{O}_X$-modules to coherent <code>${\mathcal{O}}_{X^\mathrm{an}}$</code>-modules is an equivalence of categories.</p> <p>While I've seen this sort of statement in a lot of introductory notes on rigid analytic geometry (most attributing it to Keihl), none of them seem to give a published reference. Any help would be much appreciated.</p> http://mathoverflow.net/questions/120417/regular-singularities/120426#120426 Answer by ChrisLazda for regular singularities ChrisLazda 2013-01-31T15:39:37Z 2013-01-31T15:39:37Z <p>We can see what $\ker(\nabla^\mathrm{an})$ will be by the following reasoning (which can be made a bit more precise):</p> <p>$\nabla(f)=0\Leftrightarrow \frac{df}{f}=-\alpha\frac{dt}{t}\Leftrightarrow \log(f)=-\alpha\log(t)+c\Leftrightarrow f=c_0t^{-\alpha}$. So local sections of $\ker(\nabla^\mathrm{an})$ will then just be multiples of some fixed branch of the function $t\mapsto t^{-\alpha}$.</p> <p>Global sections of this will exist iff $\alpha\in\mathbb{Z}$, and so in this case we can see that $H^0(\mathbb{G}_m^\mathrm{an},(\mathcal{O}^\mathrm{an},\nabla^\mathrm{an}))$ will be zero if $\alpha\notin\mathbb{Z}$ and $\mathbb{C}\cdot t^{-\alpha}$ otherwise.</p> <p>On the other hand, algebraic de Rham cohomology will just be the cohomology of the complex of $k[t,t^{-1}]$-modules</p> <p>$0\rightarrow k[t,t^{-1}]\overset{f\mapsto f'+\frac{f\alpha}{t}}{\rightarrow} k[t,t^{-1}]\rightarrow0$</p> <p>Thus elements of $H^0(\mathbb{G}_{m,k},(\mathcal{O},\nabla))$ will be (multiples of) global algebraic branches of $t\mapsto t^{-\alpha}$. Again, if $\alpha\in\mathbb{Z}$, then this $H^0$ is just $k\cdot t^{-\alpha}$ and if $\alpha\notin\mathbb{Z}$ it will be zero.</p> <p>I'm not sure how to see 'directly' that the two $H^1$'s will be the same though. </p> http://mathoverflow.net/questions/114982/tensor-product-of-mathcald-modules-and-constructible-sheaves Tensor product of $\mathcal{D}$-modules and constructible sheaves ChrisLazda 2012-11-30T13:56:29Z 2012-11-30T21:36:27Z <p>The Riemann-Hilbert correspondence, as proved by Kashiwara and Mebkhout, says that for X a smooth algebraic variety over $\mathbb{C}$ there is an equivalence of triangulated categories</p> <p>$D^b_c(X,\mathbb{C})\cong D^b_\mathrm{rh}(\mathcal{D}_X)$</p> <p>between the bounded derived category of complexes of $\mathbb{C}$-modules on $X$ with constructible cohomology sheaves, and the bounded derived category of complexes of coherent $\mathcal{D}_X$-modules with regular holonomic cohomology sheaves.</p> <p>Moreover, this equivalence respects the 6 operations $f^* , \mathbf{R}f_* , f^!, \mathbf{R}f_!, \boxtimes, \mathbb{D}$ of usual and extraordinary direct and inverse images, exterior tensor product and duality.</p> <p>$\mathbf{Question:}$ Does the Riemann-Hilbert correspondence also preserve the interior tensor product? </p> <p>On the constructible side, the interior tensor product is $\Delta_X^*(-\boxtimes-)$ where $\Delta_X$ is the diagonal immersion, but on the holonomic side the interior tensor product is $\Delta^!_X(-\boxtimes-)[d_X]$. So its seems to a novice like me that we're getting different operations. Or is there some comparison between $f^!$ and $f^*$ for a closed immersion $f$ that I've missed?</p> http://mathoverflow.net/questions/107574/modules-with-connection-over-p-adic-laurent-series-rings Modules with connection over $p$-adic laurent series rings ChrisLazda 2012-09-19T14:39:03Z 2012-09-20T01:49:28Z <p>If $X$ is a smooth rigid analytic space over a $p$-adic field $K$ (of characteristic zero), then every coherent $\mathcal{O}_X$-module with integrable connection is locally free. In his paper <a href="http://www.numdam.org/numdam-bin/fitem?id=ASENS_1998_4_31_6_717_0" rel="nofollow">"Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve"</a> Crew gives a proof of this result in the particular case of a 1-dimensional annulus over $K$ as follows.</p> <p>Let $I$ be a closed interval of $[0,\infty)$, and $A_I$ the ring of Laurent series in 1 variable over $K$ which are convergent for $\vert x \vert\in I$. Let $M$ be a finitely generated $A_I$-module with connection, we wish to prove that $M$ is a projective $A_I$-module. Since $A_I$ is a PID it suffices to show that $M$ is torsion free. Let $f$ generate the annihilator of $M_{\mathrm{tors}}$, one can easily show using the axioms of a connection that $f'\in (f)$. (Here $f'$ means differentiation with respect to the variable).</p> <p>Crew now argues as follows: "Since $A_I$ is a PID and contains the rational numbers, $(f)$ must be the unit ideal, and hence $M_{\mathrm{tors}}=0$".</p> <p><strong>Why does this implication hold? That is, why does the fact that $A_I$ is a PID and a $\mathbb{Q}$-algebra, together with the fact that $f'\in (f)$, imply that $(f)=A_I$?</strong></p> <p>For example, would this implication still hold if I worked instead over the ring $K\otimes_{\mathcal{O}_K} \mathcal{O}_K[[t]]$ of power series with bounded coefficients?</p> http://mathoverflow.net/questions/95418/a-question-about-the-tannakian-etale-fundamental-group-of-a-curve/105394#105394 Answer by ChrisLazda for A question about the Tannakian etale fundamental group of a curve ChrisLazda 2012-08-24T15:22:40Z 2012-08-24T15:22:40Z <p>Al ulrich says, this is not true in general. If $X$ is non-compact (i.e. affine), then the Lie algebra of U is isomorphic to the free Lie algebra on $H^1_\mathrm{et}(X,\mathbb{Q}_p)^\vee$. Hence in the case of $\mathbb{P}^1\setminus {0,1,\infty }$, where the first etale cohomology is $\mathbb{Q}_p(-1)^{\oplus 2}$, it follows that $U^n/U^{n+1}$ is isomorphic to $\mathbb{Q}_p(n)^{r_n}$ where $r_n$ is the dimension of the $n$th graded part of the free Lie algebra on a 2-dimensional vector space, but for $X$ with a higher genus compactification, what you claim will fail even for $U^1/U^2\cong H^1_\mathrm{et}(X,\mathbb{Q}_p)^\vee$.</p> <p>Concerning higher dimensional varieties, it might be worth looking at Chapter 4 of Hadian-Jazi's thesis, <a href="http://hss.ulb.uni-bonn.de/2010/2217/2217.htm" rel="nofollow">http://hss.ulb.uni-bonn.de/2010/2217/2217.htm</a>, which looks at extending Kim's method to higher dimensions.</p> http://mathoverflow.net/questions/129819/what-can-be-said-about-this-morphism-of-sheaves Comment by ChrisLazda ChrisLazda 2013-05-07T07:48:36Z 2013-05-07T07:48:36Z Yes, this is how you show that categories of sheaves/$\mathcal{O}_X$-modules have enough injectives, see for example the first few sections of Chapter III of Hartshorne. http://mathoverflow.net/questions/126825/hypercohomology-of-a-complex-via-cech-cohomology Comment by ChrisLazda ChrisLazda 2013-04-08T09:42:20Z 2013-04-08T09:42:20Z I can't think of a reference, but I have a vague recollection that this is how you do it: since the Cech complex of a sheaf is functorial, if we have a complex of sheaves $\mathcal{F}^{\cdot}$ we can take the Cech complex of each term to get a double complex $C^{\cdot,\cdot}$. Now just take the associated simple complex, $\mathrm{Tot}(C^{\cdot,\cdot})$ - in suitably nice situations, this computes hypercohomology of $\mathcal{F}^{\cdot}$. http://mathoverflow.net/questions/125580/overconvergent-infinitesimal-site-base-change-and-six-operations Comment by ChrisLazda ChrisLazda 2013-03-26T10:47:04Z 2013-03-26T10:47:04Z At least for F-isocrystals, 6 operations has now been worked out by Caro - he has a good theory of overholonomic F-D modules which are stable under all operations and contain the category of overconvergent F-isocrystals. On quasi-projective varieties he has proved stability of holonomicity (with F-strucure). I am specifically curious as to whether one might hope to make 6 operations work within le Stum's framework, because this base change business seems to suggest not (to me anyway). http://mathoverflow.net/questions/124874/differential-forms-on-formal-schemes Comment by ChrisLazda ChrisLazda 2013-03-18T16:29:44Z 2013-03-18T16:29:44Z At least for varieties over a field of char 0 that is. http://mathoverflow.net/questions/124874/differential-forms-on-formal-schemes Comment by ChrisLazda ChrisLazda 2013-03-18T16:28:54Z 2013-03-18T16:28:54Z A good place to look might be Hartshorne's paper on de Rham cohomology of algebraic varieties. <a href="http://archive.numdam.org/ARCHIVE/PMIHES/PMIHES_1975__45_/PMIHES_1975__45__5_0/PMIHES_1975__45__5_0.pdf" rel="nofollow">archive.numdam.org/ARCHIVE/PMIHES/&hellip;</a> In particular, Section 1.7 defines the object you talk about, and much of the paper is devoted to the study of its cohomology. http://mathoverflow.net/questions/119869/model-category-structures-on-dgas-in-a-ringed-topos/121369#121369 Comment by ChrisLazda ChrisLazda 2013-03-06T13:40:24Z 2013-03-06T13:40:24Z Thanks for the detailed answer, but I'm not sure I'm convinced. The link in David's comment suggests that in char p, dga's just don't form a model category. I can't see where the argument goes wrong though.. http://mathoverflow.net/questions/119869/model-category-structures-on-dgas-in-a-ringed-topos Comment by ChrisLazda ChrisLazda 2013-03-06T13:38:20Z 2013-03-06T13:38:20Z Okay, so it seems that the answer is quite an emphatic no. However, I like the idea of using simplicial dga's instead, thanks for suggesting it! http://mathoverflow.net/questions/121187/reference-for-rigid-analytic-gaga/121215#121215 Comment by ChrisLazda ChrisLazda 2013-02-08T22:45:05Z 2013-02-08T22:45:05Z Great, thanks. It was K&#246;pf's paper that eventually came up after digging through Conrad's papers. http://mathoverflow.net/questions/121187/reference-for-rigid-analytic-gaga Comment by ChrisLazda ChrisLazda 2013-02-08T14:28:48Z 2013-02-08T14:28:48Z His notes on rigid geometry didn't seem to have a reference. Rooting around some of his papers has done the job though, thanks! http://mathoverflow.net/questions/117180/tannakian-fundamental-group-for-finitely-linear-representation-of-group Comment by ChrisLazda ChrisLazda 2012-12-25T23:46:37Z 2012-12-25T23:46:37Z The pro-algebraic hull is the inverse limit over all finite dimensional representations of G of the Zariski closure of the image of G in GL_n. It's maybe worth pointing out that pro-algebraic hulls can be real beasts. For example, if G=Z, the integers, and k=C, the complexes, then the C-points of pro-algebraic hull is isomorphic to the direct sum of the additive group C and the group of all endomorphisms of the multiplicative group C^*. http://mathoverflow.net/questions/107574/modules-with-connection-over-p-adic-laurent-series-rings/107632#107632 Comment by ChrisLazda ChrisLazda 2012-09-20T11:58:01Z 2012-09-20T11:58:01Z Thank-you very much!