User alex gavrilov - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T10:14:54Z http://mathoverflow.net/feeds/user/9833 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/95139/sufficient-conditions-for-inverse-positivity/118625#118625 Answer by Alex Gavrilov for Sufficient conditions for inverse-positivity Alex Gavrilov 2013-01-11T13:18:44Z 2013-01-11T13:18:44Z <p>Sorry for promoting my own results, but I think the condition in my old paper "A sufficient condition for the monotonicity of a positive definite matrix" (Computational Mathematics and Mathematical Physics vol. 41, No 9., pp. 1237-1238) may be of help. (Unfortunately, I lost the file years ago). I don't know whether it actually works, for you didn't say much about your $Q$, but it looks promising. </p> http://mathoverflow.net/questions/117196/poincare-line-bundle/117870#117870 Answer by Alex Gavrilov for Poincare line bundle Alex Gavrilov 2013-01-02T13:24:16Z 2013-01-02T13:24:16Z <p>[Not exactly an answer. Still, it may be helpful, I hope.]</p> <p>I think there are two obscure points in this proof: apart from the homology question, why the map is holomorphic? (Is it really obvious?). Of course, all this can be settled. However, I prefer a more explicit construction of the Poincare bundle, which can be found, e.g., in Hindry&amp;Silverman, "Diophantine Geometry", Exercise A.5.6. (I like it, but even if you won't, it is definitely worth reading).</p> http://mathoverflow.net/questions/111066/is-there-any-techniques-for-solving-a-differential-equation-including-iterated-fu/111078#111078 Answer by Alex Gavrilov for Is there any techniques for solving a differential equation including iterated function? f ' (x) = f( f( x ) ) Alex Gavrilov 2012-10-30T12:37:45Z 2012-10-30T12:37:45Z <p>For what I know, the standard method is the Taylor series expansion at a fixed point, i.e. at a point $x=a$ such that $f(a)=a$. </p> http://mathoverflow.net/questions/111075/how-to-prove-a-pi-2-statement-properly How to prove a $\Pi_2$ statement properly? Alex Gavrilov 2012-10-30T11:41:23Z 2012-10-30T11:41:23Z <p>Consider the following situation. In a parallel world (let's hope not in this one), in 2020 a clever guy proved $P\neq NP$ in a theory <code>$T_1=\{ZFC+some\, reasonable\, new\, axioms\}$</code>. Then, in 2021 a clever gal proved $P=NP$ in <code>$T_2=\{ZFC+other\, reasonable\, axioms\}$</code>. We assume that the both theories are consistent and the both proofs are correct. Still, the situation is theoretically possible, because $P\neq NP$ is a <code>$\Pi_2$</code> statement.</p> <p><em>Question: How to clear the mess?</em></p> <p>Actually, this question is not exactly about $P\neq NP$. Rather, it is about <code>$\Pi_2$</code> statements in general. If such a statement is <em>false</em> then it contradicts some true <code>$\Pi_1$</code> statement; all we have to do is to find and prove the latter. (Which may be not so easy, but this is a different problem). The question is, if the statement is <em>true</em>, how do we know this, even if we have a correct proof in a consistent theory? In my opinion, this question is not purely academic: after all, a lot of<br> mathematical problems belong to this class, and we cannot possibly know what new axioms (or whole theories) will be proposed in the future.</p> http://mathoverflow.net/questions/110093/what-software-one-needs-to-solve-a-big-linear-system-on-a-small-computer What software one needs to solve a big linear system on a small computer? Alex Gavrilov 2012-10-19T13:07:34Z 2012-10-19T14:09:10Z <p>A time ago I was intrigued by the following remark: "... one ends up with a (non-sparse) system of equations in about 10000 real variables. One important practical point is that solving such systems is now well within the capabilities of a standard desctop PC;...". The above is a quote from Notices of AMS 55 no. 9 (October 2008), page 1093 (left). Occasionally, I have to solve a system or two which are not the size of an undergraduate excercise in linear algebra. In my experience, Maple become pretty useless for the purpose as soon as the number of variables approaches 1000. </p> <p><em>QUESTION</em>: What kind of software I need to solve such a big system on a "standard desctop PC"?</p> <p>P.S. It's a pity that in the quoted article ("Uncovering a New L-function" by A.R.Booker) there is no single word about this.</p> http://mathoverflow.net/questions/109813/the-hodge-numbers-of-a-covering The Hodge numbers of a covering Alex Gavrilov 2012-10-16T13:07:44Z 2012-10-18T08:21:52Z <p>Let $X$ be a Kahler manifold and $Z\subset X$ be a smooth hypersurface. How to compute the Hodge diamond of the double covering $Y\to X$ ramified over $Z$? (And what I have to know? Would the map <code>$H^*(X)\to H^*(Z)$</code> be enough?) </p> <p>P.S. I tried the Gysin sequence, but it looks like there are many loose ends.</p> http://mathoverflow.net/questions/108913/usual-vs-cohomological-brauer-groups-of-calabi-yau-threefolds Usual vs. cohomological Brauer groups of Calabi-Yau threefolds Alex Gavrilov 2012-10-05T13:06:41Z 2012-10-05T15:29:41Z <p>In the preprint arXiv:math/0505432v1 by Batyrev and Kreuser I have found (on pages 2 and 10) the claim that "by a recent result of Kresch and Vistoli [arXiv:math/0301249]" the (usual) Brauer group of a Calabi-Yau threefold is isomorphic to its cohomological Brauer group. However, in that preprint of Kresch and Vistoli I have not found a word about Calabi-Yau or anything. (Admittedly, it is about Brauer groups). Could anyone help me to clear the mess?</p> <p>P.S. For what I know, if there is always an isomorphism is a big open problem which is only settled in a few special cases. So, I suppose, if this is known indeed for Calabi-Yau threefolds (for 10 years by now), then every expert must be aware of it.</p> http://mathoverflow.net/questions/104336/the-gysin-map-for-a-singular-hypersurface The Gysin map for a singular hypersurface Alex Gavrilov 2012-08-09T10:05:26Z 2012-08-09T10:05:26Z <p>Let $X$ be a projective complex manifold and <code>$Y\subset X$</code> be an irreducible hypersurface. If $Y$ is <em>smooth</em>, there is a well known Gysin sequence. However, even if $Y$ is not smooth, a kind of Gysin map can still be devised. </p> <p>Consider a desingularization $f:\widetilde{Y}\to Y$ and the inclusion $i:Y\hookrightarrow X$. We have two maps </p> <p><code>$H^i(Y,\mathbb{Q})\to H^i(\widetilde{Y},\mathbb{Q})\to H^{i+2}(X,\mathbb{Q});$</code></p> <p>the first one is <code>$f^*$</code> and the second one is the Poincare dual to <code>$(i\circ f)^*$</code> (essentially the Gysin map). I am convinced that the composition does not depend on desingularization, though I do not know a rigorous proof of this. </p> <p><em>QUESTION</em>: Is the sequence </p> <p><code>$H^i(Y,\mathbb{Q})\to H^{i+2}(X,\mathbb{Q})\to H^{i+2}(X\setminus Y,\mathbb{Q})$</code></p> <p>exact (as it is in the smooth case)?</p> <p>All I know about it is a result of Deligne [Theorie de Hodge III. Publ. Math. IHES 44 (1974) pp. 5–77.; Corollary 8.2.8] that </p> <p><code>$H^i(\widetilde{Y},\mathbb{Q})\to H^{i+2}(X,\mathbb{Q})\to H^{i+2}(X\setminus Y,\mathbb{Q})$</code></p> <p>is exact, but this is much weaker than what I need.</p> http://mathoverflow.net/questions/103711/are-all-the-theorems-true Are all the theorems true? Alex Gavrilov 2012-08-01T17:49:30Z 2012-08-02T13:46:01Z <p>The title sounds a bit philosophical, but it is<br> about mathematics. Let me explain. </p> <p>Consider a first order theory $T$, which is an extension of Peano Arithmetic. Call this theory "good" if it is consistent and satisfies the following</p> <p><em>Property</em>: For any <code>$\phi\in\Sigma^0_{n+1}$</code> such that <code>$T\vdash \phi$</code> there exists <code>$\psi\in\Pi^0_{n}$</code> such that <code>$T\vdash\psi$</code> and <code>$PA\vdash\psi\to\phi$</code>.</p> <p><em>Question 1</em>. Is $ZFC$ "good"?</p> <p><em>Question 2</em>. The same for $ZFC+something$ (from the lot of proposed new axioms). </p> <p><em>Motivation</em>. </p> <p>If $ZFC$ is not "good" then there (EDIT) may be theorems which can be proved in $ZFC$ despite they are false (in the standard model of PA). I believe that $ZFC$ is "good". However, I would like to know if there is a formal proof. (Admittedly, I don't have a slightest idea what a proof may be like). By the way, "goodness" implies consistency, hence a proper proof requires some new axioms (a large cardinal, perhaps). </p> <p>(EDIT). As Andreas Blass pointed out correctly, even if a theory is not "good" in the above sense, it does not yet follow that some of the theorems are wrong (an obvious fact which I have missed somehow). Still, the question if ZFC is "good" may be of some interest, in my opinion.</p> <p><em>Question 3</em>. Is "goodness" equivalent to consistency? (I doubt this).</p> <p>EDIT: (Clarification). In this question, the theory $T$ is supposed to be "good" and at least as strong as $ZFC$. (Thus, the answer to Question 1 must be yes). The question is, whether <code>$T\vdash Con(T)\to Good(T)$</code>, where $Good(T)$ is a formalization of "goodness"; note that <code>$Good(T)\in \Pi^0_{2}$</code>.</p> <p>P.S. Is there a standard term for "good"? </p> http://mathoverflow.net/questions/102730/the-differential-of-the-exponential-map-reductive-homogeneous-space The differential of the exponential map: reductive homogeneous space Alex Gavrilov 2012-07-20T10:55:58Z 2012-07-26T13:23:46Z <p>The differential of the exponential map on a symmetric space can be expanded (abusing some notation) as</p> <p><code>$d{\rm Exp}_X=\sum_{n=0}^{\infty}\frac{({\rm ad}X)^{2n}}{(2n+1)!}.$</code></p> <p>This is an old (1958) result of Helgason. </p> <p><em>Question</em> (EDITED): Is there any generalization to reductive homogeneous spaces?</p> http://mathoverflow.net/questions/102983/reference-request-de-rham-vs-dolbeault Reference Request: de Rham vs. Dolbeault Alex Gavrilov 2012-07-24T06:49:49Z 2012-07-24T08:05:15Z <p>Hi everyone. I need the following statement: </p> <p>For a Kahler manifold $X$, the natural map <code>$H^n(X,\mathbb{C})\to H^n(X,\mathcal{O})$</code> (from the sheaf extension) coincides with the Hodge projection $\Pr_{0,n}$, up to the de Rham isomorphism and the Dolbeault isomorphism. </p> <p>Does anybody know a good reference?</p> <p>P.S. Surely there must be a reference. I am much less interested in proofs: I think I know one. </p> http://mathoverflow.net/questions/98784/does-the-absolute-galois-group-act-transitively-on-the-trees-with-3-terminal-ve Does the absolute Galois group act transitively on the trees with 3 terminal vertices? Alex Gavrilov 2012-06-04T17:08:23Z 2012-07-03T09:22:01Z <p>Hi everyone. My question is about the absolute Galois group action on the set of the Grothendieck dessins. The dessins I am interested in are trees with only one vertex of valency more then 2. (I don't know if there is a generally accepted term in graph theory. Starlike trees?). What exactly is known about them? Is the action transitive, at least for trees with 3 terminal vertices (with the same valency lists)?</p> <p>EDIT: I see some clarification is necessary. In fact, I consider the alternating dessins, so there are two valency lists for each of them. (It is convenient to assume that the "center" is always, say, black). As Will Savin pointed out, a dessin with rotational symmetry cannot turn into one with less symmetry. I confess I missed this obvious fact, but certainly this is not what I had in mind. The question was actually about <em>nontrivial</em> obstacles to transitivity. (I know there are some for general trees).</p> <p>Then, "what is known" part of the question. The best answer would be a long list of references. </p> http://mathoverflow.net/questions/98840/stability-of-dirichlet-data-for-helmholtz-equation/98885#98885 Answer by Alex Gavrilov for Stability of Dirichlet data for Helmholtz equation Alex Gavrilov 2012-06-05T16:28:21Z 2012-06-05T16:28:21Z <p>The solutions of the Helmholtz equation are somewhat difficult to estimate. In particular, the constants depend heavily on the geometry of the domain. To see what I mean let us imagine for a moment the set $D$ to be with an interior void. The boundary value problem inside the void would be ill-posed for those $k$ which are square roots of the (positive) eigenvalues of the Laplacian. </p> <p>Now, if there is a hole connecting the void with the exterior, the problem become well-posed (with appropriate boundary conditions, including the infinity). However, if the hole is small enough, the constant $C$ can be made as big as you wish. (The things are better if $D$ is convex. Unfortunately, I do not remember any appropriate reference now).</p> http://mathoverflow.net/questions/64577/references-for-some-analogs-of-the-picard-group References for some analogs of the Picard group. Alex Gavrilov 2011-05-11T08:28:16Z 2012-02-08T20:32:38Z <p>Let $X$ be a compact complex manifold. By definition, $Pic(X)={\rm H^1}(X,\mathcal{O}^\times)$. We know a lot about this group. What is known about the groups ${\rm H^n}(X,\mathcal{O}^\times)$ for $n\ge 2$? </p> <p>A bit more specialized question. It is well known that for a nonsingular projective complex variety $X$ the natural map $${\rm H^1}(X,\mathcal{O}^\times)\to{\rm H^1}(X,\mathcal{M}^\times)$$ is trivial. What is known about the kernel of the same map for $n=2$ or $n=3$? (Here $\mathcal{M}^\times$ is the sheaf of nonzero meromorphic functions, and the topology is the strong one).</p> http://mathoverflow.net/questions/69510/is-complex-analytic-extension-of-real-analytic-diffeomorphism-a-diffeomorphism/69511#69511 Answer by Alex Gavrilov for Is complex analytic extension of real-analytic diffeomorphism a diffeomorphism ? Alex Gavrilov 2011-07-05T04:52:06Z 2011-07-05T04:52:06Z <p>Indeed, a real-analytic map can always be extended to some complex neighbourhood. The problem is, the neighbourhood may be very small. Consider, for example, the map $$f:I\to I,\, I=[-1,1],$$ defined by $$f:x\mapsto x+\frac{a^3x(x-1)^2}{x^2+a}.$$ For small $a>0$ this is a diffeomorphism of $I$, but it cannot be extended very much due to the poles near $x=0$. The similar map (though a bit more contrived) can be designed for a disc. So, the answer to the question is no.</p> <p>Of course, all this is well known but what is a proper reference I cannot say.</p> <p>P.S. This is an answer to the question as I understand it. There are some points I do not understand. $\Omega$, as it is defined, is a sphere. And, I hope, the restriction is not defined by $F(z,0)=(f(z),0)$: if it is, you can always take $F(z,w)=(f(z),w)$.</p> http://mathoverflow.net/questions/65666/does-the-bergman-kernel-always-arise-as-the-jacobian-of-a-biholomorphism/65696#65696 Answer by Alex Gavrilov for Does the Bergman kernel always arise as the Jacobian of a biholomorphism? Alex Gavrilov 2011-05-22T08:17:31Z 2011-05-22T08:17:31Z <p>Consider the case $n=1$. In this case the question actually is:</p> <p>"For a fixed $w\in D$, is the antiderivative of $K(z,w)$ a well defined univalent function on $D$?"</p> <p>For a <em>simply connected</em> domain the answer is yes, because there exists a biholomorphic map to a disk. But for a general domain the answer is no. To see this, let $D$ be an annulus. It is not difficult to see that the antiderivative of $K(z,w)$ is not even well defined, because<br> $\int K(z,w)dz\neq 0$ for any path which is not homotopic to zero. (This follows directly from the Laurent series of the kernel).</p> <p>I am convinced that for $n\gt 1$ your conjecture is not true even for a domain homeomorphic to a ball, but I do not know how to construct a counterexample.</p> http://mathoverflow.net/questions/63690/are-undecidable-consequences-of-con-recursively-enumerable Are undecidable consequences of Con recursively enumerable? Alex Gavrilov 2011-05-02T10:05:26Z 2011-05-03T00:58:11Z <p>Let $X\subset\Pi_1^0$ be the set of statements which are provable in PA$+$Con(PA) but independent of PA. Is $X$ recursively enumerable?</p> http://mathoverflow.net/questions/52995/complex-structure-on-l2-mathbb-r-generalizing-the-hilbert-transform/63501#63501 Answer by Alex Gavrilov for Complex structure on $L^2(\mathbb R)$ generalizing the Hilbert transform. Alex Gavrilov 2011-04-30T06:26:45Z 2011-04-30T07:32:27Z <p>EDIT: This solution does not satisfy the third condition, which rules out the Hilbert transform itself. So, this is an answer to different question. I do not delete it in hope it may be useful for someone.</p> <p>Let $\phi(x)$ be a smooth monotone function such that $x-\phi(x)$ has compact support. This is a diffeomorphism of the real line and the pullback <code>$\phi^*$</code> is a linear operator acting on $L^2(\mathbb R)$. The singular integral operator <code>$$(\phi^*)^{-1}{\mathcal H}\phi^*$$</code> has all the properties you need.</p> http://mathoverflow.net/questions/63160/the-disjunction-property-in-peano-arithmetic/63262#63262 Answer by Alex Gavrilov for The disjunction property in Peano Arithmetic? Alex Gavrilov 2011-04-28T06:21:59Z 2011-04-28T06:36:23Z <p>This is not actually an answer but rather a comment to Joel's answer. I am not very good in models, so here is an idea how to do without them. There is a theorem of Kreisel: if a $\Pi_1^0$ statement is provable in $T+\neg Con(T)$, then it is provable in $T$. In $PA+\neg Con(PA)$ we may prove that there exists the smallest code of a proof of $\phi$ and the smallest code of a proof of $\psi$. Denote them by $n_{\phi},n_{\psi}$. Then $\phi$ asserts that <code>$n_{\psi}&lt;n_{\phi}$</code> while $\psi$ asserts that <code>$n_{\phi}&lt;n_{\psi}$</code>. Then $\phi\vee\psi$ means $n_{\phi}\neq n_{\psi}$ which is provalbe if $\phi$ and $\psi$ are syntactically different. By Kreisel, $\phi\vee\psi$ is provalbe in $PA$. (Note that the numbers $n_{\phi},n_{\psi}$ do not really exist).</p> http://mathoverflow.net/questions/63160/the-disjunction-property-in-peano-arithmetic The disjunction property in Peano Arithmetic? Alex Gavrilov 2011-04-27T12:49:38Z 2011-04-28T06:36:23Z <p>Let $\phi,\psi\in\Pi_1^0$ be independent of PA. Is the disjunction $\phi\vee\psi$ independent of PA?</p> http://mathoverflow.net/questions/60164/is-there-a-generalization-of-brouwers-fixed-point-theorem Is there a generalization of Brouwer's fixed point theorem? Alex Gavrilov 2011-03-31T08:51:00Z 2011-03-31T17:35:50Z <p>In essence, this is the same problem as in “<a href="http://mathoverflow.net/questions/59796/the-generalization-of-brouwers-fixed-point-theorem" rel="nofollow">The generalization of Brouwer's fixed point theorem?</a>”. But now I am determined to be careful. The main question is the following:</p> <p>Is there any generalization of Brouwer's fixed point theorem in terms of general topology? (That is, without triangulations, or vector spaces, or anything else).</p> <p>The question is a bit vague, but, I hope, it admits a precise answer. Now, I am trying my best to propose a candidate. </p> <p>Let <code>$X$</code> be a contractible locally contractible Hausdorff second countable compact topological space. Let <code>$f\colon X\to X$</code> be a continuous map. Has then <code>$f$</code> a fixed point?</p> http://mathoverflow.net/questions/59796/the-generalization-of-brouwers-fixed-point-theorem The generalization of Brouwer's fixed point theorem? Alex Gavrilov 2011-03-28T04:05:56Z 2011-03-30T07:18:20Z <p>Let <code>$X$</code> be a contractible compact [edit: locally connected] topological space (Hausdorff and second countable). Let <code>$f\colon X\to X$</code> be a continuous map. Then (I suppose) <code>$f$</code> has a fixed point. Personally, I cannot think of a better generalization of Brouwer's fixed point theorem, but is it true?</p> http://mathoverflow.net/questions/95139/sufficient-conditions-for-inverse-positivity/118625#118625 Comment by Alex Gavrilov Alex Gavrilov 2013-01-22T11:11:33Z 2013-01-22T11:11:33Z Thanks. Good luck. http://mathoverflow.net/questions/95139/sufficient-conditions-for-inverse-positivity/118625#118625 Comment by Alex Gavrilov Alex Gavrilov 2013-01-11T15:16:53Z 2013-01-11T15:16:53Z You may try this: <a href="http://www.maik.rssi.ru/cgi-perl/journal.pl?name=commat&amp;page=main" rel="nofollow">maik.rssi.ru/cgi-perl/&hellip;</a> http://mathoverflow.net/questions/95139/sufficient-conditions-for-inverse-positivity/118625#118625 Comment by Alex Gavrilov Alex Gavrilov 2013-01-11T15:14:01Z 2013-01-11T15:14:01Z This journal is translated, so there must be an English copy somewhere. http://mathoverflow.net/questions/111321/provable-zero-free-region-for-any-entire-function-that-analytically-is-similar-to Comment by Alex Gavrilov Alex Gavrilov 2012-11-06T10:42:01Z 2012-11-06T10:42:01Z Zeta-function is not entire: it has a pole. http://mathoverflow.net/questions/109813/the-hodge-numbers-of-a-covering/109931#109931 Comment by Alex Gavrilov Alex Gavrilov 2012-10-20T14:28:31Z 2012-10-20T14:28:31Z Yes, you are perfectly right. There is no canonical map; I missed it. http://mathoverflow.net/questions/110093/what-software-one-needs-to-solve-a-big-linear-system-on-a-small-computer/110094#110094 Comment by Alex Gavrilov Alex Gavrilov 2012-10-19T15:00:24Z 2012-10-19T15:00:24Z Thank you. I don't have MATLAB at hand; probably I will try Octave for the first. http://mathoverflow.net/questions/109813/the-hodge-numbers-of-a-covering/109931#109931 Comment by Alex Gavrilov Alex Gavrilov 2012-10-19T12:57:44Z 2012-10-19T12:57:44Z Let me explain what I mean. There exists a unique map $H_0(Z)\to \mathbb{Z}\slash 2$ which is nontrivial on all the connected components of $Z$. There exists a (unique) map $H_1(X\setminus Z)\to H_0(Z)$. Thus, we have the map $\pi_1(X\setminus Z)\to \mathbb{Z}\slash 2$. It determines an (unramified) covering of $X\setminus Z$ which can be compactified to get a covering of $X$. (Certainly, there may be many other coverings as well). I may be mistaken about the uniqueness of this construction but your example did not convince me. http://mathoverflow.net/questions/109813/the-hodge-numbers-of-a-covering/109983#109983 Comment by Alex Gavrilov Alex Gavrilov 2012-10-18T13:41:25Z 2012-10-18T13:41:25Z Thank you, especially for the reference. http://mathoverflow.net/questions/109813/the-hodge-numbers-of-a-covering/109953#109953 Comment by Alex Gavrilov Alex Gavrilov 2012-10-18T13:39:58Z 2012-10-18T13:39:58Z Thank you much. Apparently, it is what I need. http://mathoverflow.net/questions/109813/the-hodge-numbers-of-a-covering/109931#109931 Comment by Alex Gavrilov Alex Gavrilov 2012-10-18T13:36:44Z 2012-10-18T13:36:44Z You misunderstood the question a bit. I consider a specific covering (<i>the</i> covering) which comes from $H_1(X\setminus Z)\to H_0(Z)$. http://mathoverflow.net/questions/109813/the-hodge-numbers-of-a-covering Comment by Alex Gavrilov Alex Gavrilov 2012-10-16T14:50:42Z 2012-10-16T14:50:42Z @yuwei: Oops! I fixed it. http://mathoverflow.net/questions/108913/usual-vs-cohomological-brauer-groups-of-calabi-yau-threefolds Comment by Alex Gavrilov Alex Gavrilov 2012-10-06T14:22:51Z 2012-10-06T14:22:51Z Thank you for the reference http://mathoverflow.net/questions/104336/the-gysin-map-for-a-singular-hypersurface Comment by Alex Gavrilov Alex Gavrilov 2012-08-10T10:13:16Z 2012-08-10T10:13:16Z Perhaps, but I hope that the statement may be true as it is. I do not need the Whole Gysin sequence after all. http://mathoverflow.net/questions/104336/the-gysin-map-for-a-singular-hypersurface Comment by Alex Gavrilov Alex Gavrilov 2012-08-10T02:51:33Z 2012-08-10T02:51:33Z Thank you. Though I am not sure if it may be helpful. http://mathoverflow.net/questions/103711/are-all-the-theorems-true/103776#103776 Comment by Alex Gavrilov Alex Gavrilov 2012-08-02T16:00:33Z 2012-08-02T16:00:33Z I got it. It's Theorem 4, is it not? Thank you much.