User nikita kalinin - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T02:32:47Z http://mathoverflow.net/feeds/user/4298 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/130511/diameter-area-ratio-for-affine-tranformations Diameter-area ratio for affine tranformations. Nikita Kalinin 2013-05-13T18:02:22Z 2013-05-14T21:24:58Z <p>Consider an convex plane figure $F$. How to prove that there is an affine transformation $a$ such that $\sqrt{3}$ diameter$(a(F))^2\leq 4$ area$(a(F))$?</p> <p>I found only one reference, to "Über einige Affininvarianten konvexer Bereiche", but unfortunately it is in German.</p> <p>Added: formula (12) there looks like desirable. After I found a solution myself, I can understand German. The proof there in the pages 734 (corresponding to considering $D'$ below) and 735 (considering $D''$). The author estimated $f/d_u^2$, $f$ is an area (Flacheninhalt) and $d_u$ is a diameter(Durchmesser).</p> <p>So, emergency over, thank you))</p> http://mathoverflow.net/questions/130511/diameter-area-ratio-for-affine-tranformations/130594#130594 Answer by Nikita Kalinin for Diameter-area ratio for affine tranformations. Nikita Kalinin 2013-05-14T15:10:05Z 2013-05-14T21:24:58Z <p>It seems that I found a proof. Consider a figure $A$. Consider a figure $F$ with minimal ratio $S/d^2$ among all affine transforms of $A$.</p> <p>Lemma. There are two diameters of $F$ with angle at least $\pi/3$ between them. Note that Lemma implies the estimation because $\sin(\pi/3) =\sqrt 3/2$ and area of $F$ is at least $d^2\sin(\pi/3)/2$.</p> <p>Proof.</p> <p>Consider a diameter $D$. Try to squeeze $F$ in the direction of $D$ and stretch out in the perpendicular direction. It is not possible, therefore there is an other diameter $D'$ with angle at least $\pi/4$ and less than $\pi/3$ with $D$. Well, among all pairs of diameters chose the pair $D,D'$ with the biggest shapr angle between them.</p> <p>Now try to perform an affine shift parallel to $D$ in the direction decreasing $D'$.</p> <p>It is not possible, therefore there is a diameter $D''$ which is a kind in a "symmetric" position with $D'$. So, now either the angle between $D$ and $D'$ is big enough, or the angle between $D'$ and $D''$. </p> http://mathoverflow.net/questions/129288/asymptotics-vs-puiseux-series Asymptotics vs Puiseux series Nikita Kalinin 2013-05-01T07:36:34Z 2013-05-02T03:09:16Z <p>Define asymptotic as a class of sequences {$x_i$},$_{i\in\mathbb N}$ modulo equivalence {$x_i$}={$y_i$} if $\lim_{i\to\infty} (x_i/y_i)=c\in\mathbb R,c\ne 0$.</p> <p>More, we define $X= \{x_i\} \lt Y= \{ y_i \}$ if $\lim_{i\to\infty} (x_i/y_i)=0$.</p> <p>We can interpret $x_i$ as $f(1/i)$ and say that these asymptotics are precisely aymptotics of functions at 0.</p> <p>There is a classic object - Puiseux series ${\sum\limits_{\alpha\in I}a_\alpha t^{\alpha}}$ (where $I$ is well-ordered set).</p> <p>Asymptotics and Puiseux series look quite similar, isn't it?</p> <p>My question is a bit vague.</p> <p>Suppose one has a finite set of Puiseux series $X_1\leq X_2\leq\dots X_n$ , linear dependencies between them(so, one can build matroids etc). One proves something about this set - more or less using only valuation map $val(\sum\limits_{\alpha\in I}) = -\min\limits_{\alpha\in I}\alpha$, which is just "order" for an asymptotics.</p> <p>How to argue that all these arguments which work for Puiseux series work for asymptotics as well?</p> <p>In fact one can rewrite all proofs but the problem is that it is not clear what is "order" of an asymptotic (and order of a Puiseux series is just a real number).</p> http://mathoverflow.net/questions/125706/area-of-a-lattice-polygon-in-terms-of-its-width Area of a lattice polygon in terms of its width Nikita Kalinin 2013-03-27T09:35:30Z 2013-04-02T02:32:26Z <p>Let $M$ be a lattice polygon on a plane (i.e. its vertices are integer points $(i,j)\in\mathbb Z^2$).</p> <p>Let us define lattice width in a direction $v=(m,n)\in\mathbb Z^2$ as $w_v(M)=\max\limits_{x,y\in M} v\cdot(x-y)$.</p> <p>Suppose the $minimal$ lattice width of $M$ equals $d$. It is clear that the area of $M$ should be proportional to $d^2$.</p> <p>One can prove an inequalities $area\geq d^2/4$ as is written in comments. But it seems far from the best one.</p> <p>So, the question is what is the best $\alpha$ such that $area(M)\geq \alpha d^2$ for each $M$ with minimal lattice width equals $d$. From my comment below one can extract that $\alpha\leq 3/8$</p> http://mathoverflow.net/questions/125706/area-of-a-lattice-polygon-in-terms-of-its-width/125928#125928 Answer by Nikita Kalinin for Area of a lattice polygon in terms of its width Nikita Kalinin 2013-03-29T17:26:30Z 2013-04-01T23:50:34Z <p>This solution is not true, sorry. <strike>I can prove that $area(M)\geq 3d^2/8$. First of all find $v\in \mathbb Z^2$ such that $w_v(M)$ is minimal. Than by an affine transform $a$ put $v$ into vector $(1,1)$.</p> <p>Now draw lines which give us widths of $a(M)$ in the directions $(1,0),(0,1)$. Now $a(M)$ is inside a horizontal stripe of width at least $d$, inside a vertical stripe of width at least $d$ and inside a diagonal (in the direction $(1,-1)$) stripe of width exactly $d/{\sqrt{2}}$.</p> <p>Here I use usual widths.</p> <p>Now look at the picture - we see a 6-gon (or 3,4-gon) $B$ as the intersection of the strips, we know that on each side of $B$ there is a vertex of $a(M)$. By playing with vertices one can find all the extremal cases (so, vertices of $a(M)$ must coincide with vertices of $B$).</p> <p>Finally, in all the extremal cases the area of $a(M)$ is no less than $3d^2/8$ </strike></p> http://mathoverflow.net/questions/120786/family-of-hypersurfaces-in-c2-corresponding-to-tropical-family/125747#125747 Answer by Nikita Kalinin for Family of hypersurfaces in (C^*)^2 corresponding to tropical family Nikita Kalinin 2013-03-27T17:32:13Z 2013-03-27T17:32:13Z <p>If you ask is it true that a tropical nodal curve can be presented such a way as a limit of nodal curves then the answer is no. </p> <p>What is true:</p> <p>Curves in a family which tropicalises to tropical curve of genus g has genus at least g.</p> <p>So, tropical nonsingular curve may be presented as a limit of nonsingular curves and a tropical limit of singular curves is singular too. </p> http://mathoverflow.net/questions/125671/sum-of-two-tangent-bundles-of-s2n Sum of two tangent bundles of $S^{2n}$ Nikita Kalinin 2013-03-26T21:31:24Z 2013-03-26T22:26:06Z <p>I was wondering if the sum $TS^{2n}\oplus TS^{2n}$ is a trivial bundle? The same is true for spheres of odd dimension (one can find a nowhere zero section of the second bundle, add it to the first, the first becomes trivial and the rest of second bundle plus trivial bundle of rk 2 is trivial too).</p> <p>It seems that one should take $2n$ sections $v=(v_1,\dots,v_{2n})$ of $TS^{2n}$ (for example projections of coordinate vector fields from $\mathbb R^{2n+1}$ to $S^{2n}$), $u=(u_1,\dots,u_{2n})$ for the second part and than perturb a little u=u+av, v=v+bu.</p> <p>Nevertheless I can not prove that it works. From the other point of view I see no reasons for this bundle to be non-trivial. </p> http://mathoverflow.net/questions/54430/video-lectures-of-mathematics-courses-available-online-for-free/123971#123971 Answer by Nikita Kalinin for Video lectures of mathematics courses available online for free Nikita Kalinin 2013-03-08T12:25:25Z 2013-03-08T12:25:25Z <p>There are many good quality math lectures (mostly in Russian but sometimes in English) <a href="http://www.lektorium.tv/" rel="nofollow">http://www.lektorium.tv/</a> they are groupped by courses (for example <a href="http://www.lektorium.tv/course/?id=22876" rel="nofollow">http://www.lektorium.tv/course/?id=22876</a>)</p> http://mathoverflow.net/questions/78467/thom-polynomial-for-contact-algebraic-structures Thom polynomial for contact algebraic structures Nikita Kalinin 2011-10-18T16:10:40Z 2012-11-14T18:06:32Z <p>Let's consider a algebraic contact structure $P$ on $\mathbb CP^3$ and a algebraic curve $C$ degree $d$ and genus $g$. Let's assume that contact structure has degree $p$ (see <a href="http://mathoverflow.net/questions/58000/polynomial-contact-structures-on-rp3" rel="nofollow">http://mathoverflow.net/questions/58000/polynomial-contact-structures-on-rp3</a> about algebraic contact structure).</p> <p>It seems that there is some constant $f(d,g,p)$ (maybe, even polynomial!) such that if $C$ is tangent to $P$ at $f$ points then $C$ is tangent to $P$ everywhere.</p> <p>For example, it is easy to prove that $f(d,0,0)$ equals $2d-1$.</p> <p>Somebody can expect that this question is about some homological conditions : generic curve is tangent to $P$ at $a$ points, so, if it is tangent to $P$ at $a+1$ points then it is tangent everywhere. It seems that it is true because pull-back of contact form to tangent bundle of $C$ is a holomorphic form, so it has some degree..</p> <p>So, my questions are:</p> <p>1) How can we prove that $f(d,g,p)$ exists? At least for some values $d,g,p$? It seems that the case $p=0$ is the most easy.</p> <p>2) Is it true that $f$ is a polynomial? (Thom polynomial of something...) I'm sure that it is known or similar constructions are already examined.</p> http://mathoverflow.net/questions/78467/thom-polynomial-for-contact-algebraic-structures/112403#112403 Answer by Nikita Kalinin for Thom polynomial for contact algebraic structures Nikita Kalinin 2012-11-14T18:06:32Z 2012-11-14T18:06:32Z <p>there is an article of Quo-Shin Chi "The dimension of the moduli space of superminimal surfaces of a fixed degree and conformal structure in the 4-sphere" where the dimension of contact curves moduli space is computed.</p> <p>It lays between $2d-4g+4$ and $2d-g+4$ for a fixed complex structure on a curve</p> http://mathoverflow.net/questions/58000/polynomial-contact-structures-on-rp3 Polynomial contact structures on $RP^3$ Nikita Kalinin 2011-03-09T21:43:57Z 2012-11-14T18:03:35Z <p>Let us consider polynomial contact structures on $\mathbb RP^3$, i.e. contact structures on $\mathbb R^3$ defined by a form $w=Pdx+Qdy+Rdz,\ P,Q,R\in \mathbb R[x,y,z]\$ in an affine part and then extended to $\mathbb RP^3$, and $w \wedge dw \ne 0$ everywhere.</p> <p>One can find all such forms $w$ that $deg P, deg Q, deg R \leq 1$ by direct calculation:</p> <p>$w=(qy-rz+a)dx+ (pz-qx+b)dy + (rx-py+c)dz,\ a,b,c,p,q,r\in \mathbb R;$ $ap+br+cq \ne 0$.</p> <p>But I can't do anything for greater degrees. Do you know any criteria for coefficients of $P,Q,R$?</p> <p>Does anybody know any contact polynomial form with $deg P, deg Q, deg R \geq 2$?</p> <p>Added: What is the form (I mean form coefficients in $\mathbb R^3\subset \mathbb RP^3$) defines polynomial contact structure constructed by plurisubharmonic function $f=x^4+y^4+z^4+t^4$?</p> <p>Answer: $f=x^4+y^4+z^4+t^4$ is not strictly plurisubharmonic (see on the plane $x=y=0$ on subspace generated by $dx,dy$). So it does not produce a contact structure.</p> http://mathoverflow.net/questions/58000/polynomial-contact-structures-on-rp3/112401#112401 Answer by Nikita Kalinin for Polynomial contact structures on $RP^3$ Nikita Kalinin 2012-11-14T18:03:35Z 2012-11-14T18:03:35Z <p>There is a very good article "Complex contact threefolds and their contact curves" of Yun-Gang Ye where on can find a classification of complex contact structures on threefolds</p> http://mathoverflow.net/questions/112301/upper-bound-on-the-number-of-generators-of-a-local-complete-intersection-curve-in/112398#112398 Answer by Nikita Kalinin for Upper bound on the number of generators of a local complete intersection curve in $\mathbb{P}^3$ Nikita Kalinin 2012-11-14T17:54:27Z 2012-11-14T17:54:27Z <p>"every locally complete intersection curve in P3 can be defined by four equations."</p> <p>look at <a href="http://www.math.binghamton.edu/somnath/Notes/curves.pdf" rel="nofollow">http://www.math.binghamton.edu/somnath/Notes/curves.pdf</a> and <a href="http://www.math.tifr.res.in/~publ/ln/tifr62.pdf" rel="nofollow">http://www.math.tifr.res.in/~publ/ln/tifr62.pdf</a></p> http://mathoverflow.net/questions/110990/how-to-describe-deformation-space-of-a-reducible-curve How to describe deformation space of a reducible curve ? Nikita Kalinin 2012-10-29T13:04:59Z 2012-10-29T13:04:59Z <p>One can describe deformations of a smooth curve by the sections of its normal bundle. </p> <p>In which terms can one describe deformation space of a reducible curve, for example, union of three intersecting lines in $\mathbb C P^3$ into a cubic ?</p> <p>One can compute local deformations at point of line's intersection, so the complete construction, I think, is about some sheaf stuff...</p> http://mathoverflow.net/questions/99918/riemann-roch-and-dim-of-deformation-space Riemann-Roch and dim of deformation space. Nikita Kalinin 2012-06-18T16:46:30Z 2012-06-18T17:15:54Z <p>Let's consider curve $C\subset \mathbb P^n$ of degree $d$ and genus $g$. We want to calculate dimension of deformation space of $C$, i.e. $h^0(C,L)$ where $L$ is the normal bundle.</p> <p>We can decompose $L$ as $L_1\subset L_2\dots \subset L$, such as $dim L_{i+1}/L_i =1 \$ and apply Riemann-Roch to each $L_{i+1}/L_i$. </p> <p>I heard that this gives us $(n-1)(d-g+1)+2g-2 + 2d\$ (as expected to be dimension of deformation space of $C$ or the number of points need to fix to count curves degree $d$ and genus $g$ passing through them).</p> <p>But I can't calculate it ! Could you help me with this or give me a reference ? </p> http://mathoverflow.net/questions/99028/quadratic-reciprocity-and-weil-reciprocity-theorem Quadratic reciprocity and Weil reciprocity theorem Nikita Kalinin 2012-06-07T11:14:24Z 2012-06-07T19:59:45Z <p>I was told that <a href="http://en.wikipedia.org/wiki/Weil_reciprocity_law" rel="nofollow">Weil reciprocity</a> theorem (one has two meromorphic function $f,g$ on a complex curve $C$, so $\prod\limits_{x\in C} g(x)^{ord_xf}=\prod\limits_{x\in C}f(x)^{ord_xg} \$ where $ord_xf$ is the smallest degree in Taylor expansion of $f$ at $x$, product is taken only by points in divisors of $f,g$, we assume that these divisors are not intersected with each other) was introduced by Weil after thinking about quadratic reciprocity. Could you explain me the connection between them? </p> http://mathoverflow.net/questions/93123/hypersurfaces-in-toric-varieties-help-understand-a-proof-from-mikhalkins-paper/93252#93252 Answer by Nikita Kalinin for Hypersurfaces in Toric Varieties, Help understand a proof from Mikhalkin's paper Nikita Kalinin 2012-04-05T20:23:14Z 2012-04-05T20:23:14Z <p>Let's consider an example. Triangle $(0,0),(0,d),(d,0)\$ gives us $\mathbb CP^2$ and each integer point ${(k,l) |k,l\geq 0, k+l\leq d}\$ corresponds to monomial $x^ky^l$ (or $x^ky^lz^{d-k-l}$ in projective coordinates). There is the same situation for any toric variety - ring of function is generated by monomials corresponding to integer points inside the polytop $P$.</p> <p>So, it is evident where is the zero set of each monomial -if a point $(k,l)$ belongs to interior of $P$ then zero set is just the union of boundary divisors. If no, for example the point is $(k,0) \to x^kz^{d-k}$, zero set is all boundary divisors without that where our point lies. </p> <p>Therefore, if you truncate your polynomial, then its zero set doesn't change - throwed off monomials are equal zero on you boundry divisor. </p> http://mathoverflow.net/questions/93014/families-of-three-dimensional-algebraic-curves Families of three dimensional algebraic curves Nikita Kalinin 2012-04-03T16:14:54Z 2012-04-05T13:42:22Z <p>Let's consider spatial algebraic curve $C\subset \mathbb P^3$. How could I describe a family of such curves, for example the set of all curves genus $g$ passing through $k$ points? </p> <p>I'd like to some "computationable" description(and then use macaulay2 ), so in case of rational curves we can parametrize them and say that my set is some linear subspace of coefficient space. </p> <p>For example, how can I describe a pencil of elliptic cubics degree 4 (3,5,6 ?) passing through 4 points? </p> http://mathoverflow.net/questions/58000/polynomial-contact-structures-on-rp3/80720#80720 Answer by Nikita Kalinin for Polynomial contact structures on $RP^3$ Nikita Kalinin 2011-11-12T00:02:02Z 2012-04-02T09:24:51Z <h2>Here is a code in Macaulay for checking that some plurisubharmonic function determines a contact structure</h2> <p>R = QQ[x,y,z,t]</p> <p>degf=4</p> <p>f=x^degf+y^degf+z^degf+t^degf + 3*x^2*z^2 + x^2*t^2</p> <p>--f2 = x^degf+y^degf+z^degf+t^degf</p> <p>nR = diff(y,f)*x-diff(x,f)*y+diff(t,f)*z-diff(z,f)*t</p> <p>cdx = degf*f*diff(y,f)-nR*diff(x,f)</p> <p>cdy = -degf*f*diff(x,f)-nR*diff(y,f)</p> <p>cdz = degf*f*diff(t,f)-nR*diff(z,f)</p> <p>cdt = -degf*f*diff(z,f)-nR*diff(t,f)</p> <p>cxyz=cdx*(diff(y,cdz)-diff(z,cdy))+cdy*(diff(z,cdx)-diff(x,cdz))+cdz*(diff(x,cdy)-diff(y,cdx))</p> <p>re = sub(cxyz,t=>1) </p> <p>factor re </p> <hr> <p>So, $f2=x^2+y^2+z^2+t^2\$ DOES not produce contact structure. Is convex but not strictly(!) plurisubharmonic (on the plane $x=y=0$). Here (http://www.math.ethz.ch/~evansj/lecture9.pdf) there is a good explanation why induced structure is contact ($d\eta$ tames complex structure on $\mathbb R^4$ )</p> http://mathoverflow.net/questions/92266/can-any-numerical-polynomial-be-a-hilbert-polynomial-of-something Can any numerical polynomial be a Hilbert polynomial of something? Nikita Kalinin 2012-03-26T13:32:46Z 2012-03-26T15:00:26Z <p>is it true that any numerical polynomial , i.e. $f(t)\in \mathbb Q[t], f(n)\in\mathbb Z\ \forall n\in\mathbb Z\$ can be presented as Hilbert polynomial of some variety?</p> http://mathoverflow.net/questions/90733/topological-type-x-02x-12x-22-x-32x-42-0-in-mathbb-p4 Topological type $x_0^2+x_1^2+x_2^2+ x_3^2+x_4^2 = 0$ in $\mathbb P^4$ Nikita Kalinin 2012-03-09T17:16:12Z 2012-03-09T20:06:53Z <p>Let's consider projective variety $V$ given by th equation $x_0^2+x_1^2+x_2^2+ x_3^2+x_4^2 = 0 \$ in $\mathbb CP^4$.</p> <p>I was wondering what is the Picard group of $V$ ? Or cohomology ring of $V$ ? </p> http://mathoverflow.net/questions/84467/nagatas-conjecture-seshadri-constant Nagata's conjecture, Seshadri constant Nikita Kalinin 2011-12-28T19:05:19Z 2012-01-09T22:27:48Z <p>What is it known now about Nagata's conjecture and Seshadri constant (<a href="http://en.wikipedia.org/wiki/Nagata%27s_conjecture_on_curves" rel="nofollow">http://en.wikipedia.org/wiki/Nagata%27s_conjecture_on_curves</a> and <a href="http://en.wikipedia.org/wiki/Seshadri_constant" rel="nofollow">http://en.wikipedia.org/wiki/Seshadri_constant</a>) for toric surfaces? It seems that it should be some lower bounds in terms of fans or polytops. Is it true?</p> <p>Does there exist some simple examples where exact inequalities are proved?</p> http://mathoverflow.net/questions/83278/minimal-genus-adjunction-inequality Minimal genus, adjunction inequality Nikita Kalinin 2011-12-12T20:25:30Z 2011-12-15T20:53:18Z <p>Let's consider closed simply-connected 4-manifold $M$ and some $a\in H^2(M)$. It is very natural question to estimate minimal $g$ that $a$ can be presented as embedded surface of genus $g$.</p> <p>As I know there is the adjunction inequality for estimation of minimal genus via Seiberg-Witten theory.</p> <p>Question 1: Does there exist other methods to estimate minimal genus ?</p> <p>I heard that there are homeomorphic but not diffeomorphic 4-manifolds $M,N$ such that for some $a\in H^2$, $a$ has different minimal genus in $M,N$.</p> <p>Question 2: Could you give me such examples? As I understand it should be some manipulations with Seiberg-Witten invariants...</p> http://mathoverflow.net/questions/80777/what-is-a-continuous-path/81404#81404 Answer by Nikita Kalinin for What is a continuous path? Nikita Kalinin 2011-11-20T08:30:04Z 2011-11-20T08:30:04Z <p>There is something like Cech cohomology. It is Alexander-Kolmogorov cohomology (see Spenyer "Algebraic topology", Alexander cohomology). Simplixes in this theory are collections of near points. As I understand it works well for locally contracted spaces (and coincides with Cech cohomology). But it seems that in your situation it works well too.</p> http://mathoverflow.net/questions/79901/three-variable-hilbert-polynomials/81122#81122 Answer by Nikita Kalinin for Three Variable Hilbert Polynomials Nikita Kalinin 2011-11-16T21:08:11Z 2011-11-16T21:08:11Z <p>Your question isn't correct. Such $W_1$ are parametrized by $\mathbb P (V\setminus V_1)$ not by $\mathbb P (V/V_1)$ as you wrote. And $\mathbb P (V\setminus V_1)$ is not a closed variety.</p> <p>In any case, $W_1\cap W_2\cap W_3\ne 0$ means that there is vector $v\in W_1\cap W_2\cap W_3$. So, you can parametrize almost all such triples by vectors $v$. So, we found one component of $P$ (it is $\mathbb P(V)$). The other ones are when $W_1\cap W_2\subset V_3$ and the same triples with permuting indices (and if $V_1\cap V_2\cap V_3 = 0$ then these triples are parametrized by $\mathbb P(V_3)$). Etc. It is easy to compute Hilbert polynomial for linear subspaces. But if $V_1\cap V_2\cap V_3\ne 0$ then situation is more complicated, and&lt; I think it is strange to expect a good answer.</p> http://mathoverflow.net/questions/70904/on-the-smooth-structure-of-the-spaces-of-k-jets/81117#81117 Answer by Nikita Kalinin for On the smooth structure of the spaces of $k$-jets Nikita Kalinin 2011-11-16T20:30:11Z 2011-11-16T20:30:11Z <p>As I understand your question, the answer is: for any open set $U'\subset M, 'V\subset N$ such that $U,V$ are diffeomorphic to $U',V'$ you can identify $J^k(U,V)$ with subset of $J^k(M,N)$. So, it is enough that all such identivication are diffeomorphisms.</p> http://mathoverflow.net/questions/81105/can-one-approximate-close-smooth-functions/81110#81110 Answer by Nikita Kalinin for Can one approximate "close" smooth functions? Nikita Kalinin 2011-11-16T20:00:13Z 2011-11-16T20:00:13Z <p>You have some Riemannian metric on $M$, so, for each point there is it small neighbourhood where any two points can be connected by unique geodesic. So, if you have $n$ points in this neighbourhood you can canonically map simplex to it. </p> http://mathoverflow.net/questions/80925/degenerating-immersion/81000#81000 Answer by Nikita Kalinin for degenerating immersion Nikita Kalinin 2011-11-15T19:53:01Z 2011-11-16T09:01:18Z <p>The answer is no. Two 2-dim smooth immersed in $\mathbb R^3$ objects generically intersect by line, so if intersection is a point then it can be eliminated. But it is clear that near $z^2$ there are no embeddings.</p> <p>Therefore what do you want it is a immersions with self-intersections as a small circles and these circles collapse to points when $k\to\infty$. But if a selfintersection is a small circle, it can be eliminated too. Large circles in selfintersection can't disappear in limit.</p> <p>added. Sorry, this answer is about absolutely different problem.</p> http://mathoverflow.net/questions/80916/first-cohomology-of-the-space-of-long-knots-in-r4 First cohomology of the space of long knots in R^4 Nikita Kalinin 2011-11-14T17:34:58Z 2011-11-14T18:54:30Z <p>Let's consider the space of long knots in $\mathbb R^n, n>3$. I know that there are many results (Vassiliev, Turchin, Sinha, Kontsevich) about different expressions of cohomology of this space. I think the last result is about convergency in $E^1$ term (<a href="http://palmer.wellesley.edu/~ivolic/pdf/Papers/VassilievCollapseFinal-G%26T.pdf" rel="nofollow">http://palmer.wellesley.edu/~ivolic/pdf/Papers/VassilievCollapseFinal-G%26T.pdf</a>).</p> <p>But my question is about what these cohomologies are precise. So, is it true that $H^1(long\ knots\ in\ \mathbb R^4)=0$ ? </p> <p>Does there exist some table with $H^i(space\ of\ long\ knots\ in\ \mathbb R^j)$ at least for small $i,j$ ?</p> http://mathoverflow.net/questions/79723/what-is-the-simplest-way-to-show-that-a-section-of-a-vector-bundle-is-transverse/80018#80018 Answer by Nikita Kalinin for What is the simplest way to show that a section of a vector bundle is transverse to the zero set Nikita Kalinin 2011-11-04T07:54:10Z 2011-11-04T07:54:10Z <p>It sounds like a multijet transversality theorem (see for example M. Golubitsky, V. Guillemin, Stable mappings and their singularities) in context of algebraic geometry. So, the answer is true --- a proof of this theorem uses only polynoms for perturbations which achieves general position.</p> http://mathoverflow.net/questions/130511/diameter-area-ratio-for-affine-tranformations/130594#130594 Comment by Nikita Kalinin Nikita Kalinin 2013-05-16T18:16:37Z 2013-05-16T18:16:37Z yes sure. Triangle with sides equal $d$. Its diameter is $d$, its area is $\sqrt{3}d^2/4$. But any figure spanned on two intervals of length $d$ and angle $\pi/3$ between them works as well. http://mathoverflow.net/questions/129288/asymptotics-vs-puiseux-series Comment by Nikita Kalinin Nikita Kalinin 2013-05-02T10:27:57Z 2013-05-02T10:27:57Z That is true, but in a question I have a finite set of pairwise comparable asymptotics, so, I evoke for properties of &quot;good&quot; asymptotics http://mathoverflow.net/questions/128341/compact-subset-intersects-only-finitely-many-cells-of-cw-complex Comment by Nikita Kalinin Nikita Kalinin 2013-04-22T12:05:12Z 2013-04-22T12:05:12Z yes, but before I thought that this map can be extended on [0,1] http://mathoverflow.net/questions/127941/notion-of-transversality-over-the-field-of-puiseux-series Comment by Nikita Kalinin Nikita Kalinin 2013-04-19T09:20:08Z 2013-04-19T09:20:08Z I think if they are not transversal at a point $a(t)$ then for any $t_0$ they are not transversal at the point $a(t_0)$ http://mathoverflow.net/questions/125706/area-of-a-lattice-polygon-in-terms-of-its-width/125928#125928 Comment by Nikita Kalinin Nikita Kalinin 2013-04-02T00:32:34Z 2013-04-02T00:32:34Z @Ilya: it is not a simple problem, my solution is not true. http://mathoverflow.net/questions/125706/area-of-a-lattice-polygon-in-terms-of-its-width Comment by Nikita Kalinin Nikita Kalinin 2013-03-31T07:11:32Z 2013-03-31T07:11:32Z @robot: I was looking for an estimation $area(M)\geq cd^2$ http://mathoverflow.net/questions/125706/area-of-a-lattice-polygon-in-terms-of-its-width/125928#125928 Comment by Nikita Kalinin Nikita Kalinin 2013-03-30T12:44:17Z 2013-03-30T12:44:17Z @Ilya: I had started this bounty before I realized that it is a simple problem, and I was very nervous =)) Now I can not cancel it. Concerning the first comment: an affine transformation preserves the lattice width, it is enough for me. http://mathoverflow.net/questions/125706/area-of-a-lattice-polygon-in-terms-of-its-width Comment by Nikita Kalinin Nikita Kalinin 2013-03-29T12:08:58Z 2013-03-29T12:08:58Z Thay gives us $area(M)\geq d^2/4$, it is worse than $g\geq d^2/{2\sqrt{3}}$ http://mathoverflow.net/questions/125761/helped-needed-with-some-characteristic-class-number-questions Comment by Nikita Kalinin Nikita Kalinin 2013-03-27T21:55:11Z 2013-03-27T21:55:11Z at least you should always distinguish real bundles (and you have diffeomorphism here) and complex ones (here you have Chern classes) http://mathoverflow.net/questions/105527/about-relative-homotopy-group Comment by Nikita Kalinin Nikita Kalinin 2012-08-26T15:05:36Z 2012-08-26T15:05:36Z $\pi_1($ any suspension) is trivial, isn't it ? http://mathoverflow.net/questions/99028/quadratic-reciprocity-and-weil-reciprocity-theorem Comment by Nikita Kalinin Nikita Kalinin 2012-06-08T10:07:42Z 2012-06-08T10:07:42Z @ Fran&#231;ois thanks, I know) http://mathoverflow.net/questions/99028/quadratic-reciprocity-and-weil-reciprocity-theorem Comment by Nikita Kalinin Nikita Kalinin 2012-06-07T12:52:55Z 2012-06-07T12:52:55Z Thanks for correction! http://mathoverflow.net/questions/95246/surgering-locally-flat-tori-in-4-manifolds Comment by Nikita Kalinin Nikita Kalinin 2012-04-26T16:27:20Z 2012-04-26T16:27:20Z How did you define flatness (curvature) in a non-smooth manifold? http://mathoverflow.net/questions/93014/families-of-three-dimensional-algebraic-curves/93191#93191 Comment by Nikita Kalinin Nikita Kalinin 2012-04-05T20:26:39Z 2012-04-05T20:26:39Z for this situation, you are right, but what about other situations ? Or there is no general construction and in each situation approach have to be different? In this case, could you give me some good reference about construction of spatial algebraic curves? http://mathoverflow.net/questions/93014/families-of-three-dimensional-algebraic-curves Comment by Nikita Kalinin Nikita Kalinin 2012-04-03T21:18:02Z 2012-04-03T21:18:02Z sorry, I mean &quot;spatial&quot;