User mohammad f.tehrani - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T18:55:28Z http://mathoverflow.net/feeds/user/5259 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/131506/p1-minus-k-points $P^1$ minus k points Mohammad F.Tehrani 2013-05-22T20:40:37Z 2013-05-23T03:54:31Z <p>For $k\geq 3$, and $k$ arbitrary points $S=( z_1,\cdots,z_k ) \in \mathbb{P}^1$, we can write</p> <p>$$P^1 \setminus S \cong \mathbb{H}/G$$</p> <p>where $\mathbb{H}$ is the upper-half plane and $G\subset PSL(2,\mathbb{R})$ is a representation of $\pi_1(\mathbb{P}^1\setminus S)$. G can be generated by $(k-1)$-elements.</p> <p>Is there an explicit description of how $G$ looks? In that case, the parameters describing such $G$ can give coordinates on $\mathcal{M}_k$.</p> http://mathoverflow.net/questions/75317/flatness-in-complex-analytic-geometry flatness in complex analytic geometry Mohammad F.Tehrani 2011-09-13T14:42:11Z 2013-05-06T07:18:08Z <p>It is always a pain to move back and forth between definitions in algebraic geometry and complex analytic geometry. Dictionary is much easier when are working with (family of) smooth varieties but the pain grows exponentially when we include singular varieties.</p> <p>Here is some of that:</p> <p>Suppose $f: X\rightarrow Y$ is a map of possibly singular complex analytic varieties, then is there a simpler definition of flatness for $f$ ? this one should be hard to answer but how about following,</p> <p>---Let $f:X\rightarrow Y$ be a family of curves. there might be multiple fibers, non-reduced fibers, nodal curves, cusp curves,... in the family, but fibers are connected.</p> <p>---When this fibration is flat? What kind of bad fibers mentioned above are allowed in a flat family?</p> <p>---Same question for higher dimensional family of analytic varieties?</p> <p>For simplicity you may assume that the base of fibration is smooth.</p> http://mathoverflow.net/questions/101858/square-root-for-hamiltonian-diffeomorphisms Square root for Hamiltonian diffeomorphisms Mohammad F.Tehrani 2012-07-10T15:08:02Z 2013-04-20T20:12:17Z <p>Let $\psi_t: X\to X$, $t \in [0,1]$, be a path Hamiltonian diffeomorphism on a symplectic manifold $X$, given by functions $H_t$. If $H_t \equiv H$ is independent of $t$ then </p> <p>$$\psi_1 = \psi_{\frac{1}{2}}^2$$</p> <p>and therefore the Hamiltonian diffeomorphism $\psi_1$ has a Hamiltonian square root.</p> <p>Is the same thing true for any arbitrary Hamiltonian $\psi_1$, i.e. is there another Hamiltonian $\phi$ such that $\phi^2 = \psi_1$ ?</p> http://mathoverflow.net/questions/125280/ricci-flow-on-riemann-surfaces Ricci flow on Riemann surfaces Mohammad F.Tehrani 2013-03-22T14:48:11Z 2013-03-22T15:15:02Z <p>Let $g_t$ be the solution of normalized Ricci Flow on a Riemann surface $\Sigma$ of genus g. We know that $g_t$ converges to constant curvature metric. Is it possible for $g_t$ to be of the form $f_t^*g_0$, for a one parameter family of diffeomorphisms $f_t$?</p> http://mathoverflow.net/questions/124367/toroidal-embedding Toroidal embedding Mohammad F.Tehrani 2013-03-13T01:42:01Z 2013-03-13T03:57:06Z <p>Its known ( see " The birational geometry of degenerations") that there exist a smooth one parameter family (i.e. total space is smooth) of two dimensional complex toris over unit disk whose central fiber is a normal crossing union of (say four for example) some copies of $\mathbb{P}^2$ blown up at 3 points of a triangle; i.e. </p> <p>$$\pi:X \to \Delta \subset \mathbb{C},$$ such that $X_t=\pi^{-1}(t), t\neq 0,$ is smooth and and is a complex tori; $X_0= \cup V_i$ and the singular locus of $X_0$ restricted to each $V_i$ is a cycle of 6 minus 1 curves. It is also known that in this case, the dual graph of $X_0$ is $S^1\times S^1$.</p> <p>Authors mention that this degeneration can be realized via toroidal embeddings (I assume it means using toric varieties) but there is no explicit example.</p> <p>Does any body know any explicit example, presenting such toroidal embedding?</p> <p><strong>Just to know: The total space $X$ mentioned above is a Kulikov model whose smooth fibers are complex tori</strong> </p> http://mathoverflow.net/questions/26776/kahler-structure-on-cotangent-bundle Kähler structure on cotangent bundle? Mohammad F.Tehrani 2010-06-02T02:15:27Z 2013-03-08T01:32:45Z <p>The total space of cotangent bundle of any manifold M is a symplectic manifold.</p> <p>Is it true\false\unknown that for any M, $T^*M$ has Kähler structure?</p> <p>Please support your claim with reference or counterexample.</p> http://mathoverflow.net/questions/26776/kahler-structure-on-cotangent-bundle/123931#123931 Answer by Mohammad F.Tehrani for Kähler structure on cotangent bundle? Mohammad F.Tehrani 2013-03-08T01:32:45Z 2013-03-08T01:32:45Z <p>In the refernce mentioned by Zemisch, Guillemin and Stenzel prove:</p> <p>Theorem. For an analytic manifold L and analytic metric g on L, there is a $\sigma$-invariant neighborhood ($\sigma(x,v)=(x,-v)$) of $L\subset T^*L$ with a unique complex structure on that such that</p> <p>i- $\sigma$ is an anti-holomorphic involution </p> <p>ii- The one form $Im \bar\partial h$, where $h=|v|^2$ is the square of length of $v$ with respect to $g$, is the standard one-form $\sum y_i dx^i$. (This would imply $\sqrt{-1}\partial \bar\partial h$ is the standard Kahler form).</p> <p>This is indeed an impressive result.</p> http://mathoverflow.net/questions/28541/complexified-kahler-form complexified kahler form Mohammad F.Tehrani 2010-06-17T17:39:36Z 2013-03-03T12:40:31Z <p>In mirror symmetry one usually considers a complexified kahler form $B+iw$ instead of kahler form $w$ itself.(Or their moduli)</p> <p>Here is the question:</p> <p>What does $B$ correspond to? what kind of information it has?.... I would also like to know about the moduli of complexified kahler structures on a Calabi-Yau 3-fold. Is it a cone? If yes, what are the walls ? does it have a natural metric?</p> http://mathoverflow.net/questions/120442/are-rational-varieties-simply-connected Are rational varieties simply connected? Mohammad F.Tehrani 2013-01-31T18:46:52Z 2013-02-04T15:18:40Z <p>Is it true that every smooth rational variety X is simply connected? How is the proof? Would it be still true if X has mild (for example orbifold) singularities?</p> http://mathoverflow.net/questions/120139/homotopy-groups-of-k3 Homotopy groups of K3 Mohammad F.Tehrani 2013-01-28T18:56:46Z 2013-01-28T19:12:10Z <p>Let X be a K3 surface and $Y=X/\mathbb{Z}_2$, an Enrique surface. Long exact sequence of homotopy groups corresponding to fiberaion $\pi:X\to Y$, says that $\pi_2(X)=\pi_2(Y)$, while we know $H_2(X)$ and $H_2(Y)$ are very different. </p> <p>What are $\pi_2(X)$ and $\pi_2(Y)$?</p> http://mathoverflow.net/questions/57540/is-there-a-long-exact-sequence-associated-to-a-ramified-covering/120138#120138 Answer by Mohammad F.Tehrani for Is there a long exact sequence associated to a ramified covering? Mohammad F.Tehrani 2013-01-28T18:38:40Z 2013-01-28T18:38:40Z <p>There is a paper "on the homology of double branched covers" by Lee, which is kind of related to your question.</p> http://mathoverflow.net/questions/119855/extending-line-bundles Extending line bundles Mohammad F.Tehrani 2013-01-25T16:27:54Z 2013-01-25T18:12:53Z <p>Suppose you have a one parameter family of algebraic varieties over unit disk, such that the central fiber is singular and is a union (normal-crossing) of two varieties and the rest are smooth.</p> <p>Is it true that every line bundle over a smooth fiber, after some base-change, extends to the whole family? Do you know any counter example?</p> <p>This is the true (although not very obvious) for a family of curves, since line bundles are just bunch of points.</p> <p>Extra assumption: $h^{2,0}=0$ for the smooth fibers, and they are simply connected, so that the ample cone does not move within $H^2$.</p> http://mathoverflow.net/questions/119582/can-you-get-an-enrique-surface-from-quotient-of-abelian-surface Can you get an Enrique surface from quotient of Abelian surface? Mohammad F.Tehrani 2013-01-22T16:27:25Z 2013-01-22T16:27:25Z <p>Let $A=\mathbb{C}^2/\Lambda^2$, where $\Lambda=\mathbb{Z}+i\mathbb{Z}$, be an abelian surface. Then every body knows that the resolution of the quotient $A/&lt;\pm>$ is a K3 surface.</p> <p>Question: Is there an easy involution on the resulting K3 surface (may be induced from some action on A) such that the quotient is Enrique surface, i.e. is this K3 surface double cover of some Enrique surface?</p> <p>I am not sure whether this is some thing easy or well-known.</p> http://mathoverflow.net/questions/63197/known-mirror-calabi-yau-pairs Known Mirror Calabi-Yau pairs Mohammad F.Tehrani 2011-04-27T16:58:21Z 2013-01-20T06:57:01Z <p>There is a well known class of Calabi-Yau (3 dimensional) pairs constructed by Batyrev. These are resolutions of Calabi-Yau hypersurfaces in reflexive polytops of dimension 4.</p> <p>Question: Does any body know any other mirror pair, or a family of them, beside this kind of pairs?</p> <p>For example, how about Calabi-Yau complete intersections in higher dimensional weighted projective spaces or Fano toric varieties?</p> <p>Warning: My question is only about closed Calabi-Yau 3-folds.</p> http://mathoverflow.net/questions/110615/difference-of-curve-classes difference of curve classes Mohammad F.Tehrani 2012-10-25T04:15:58Z 2012-10-26T20:11:43Z <p>Let $X$ be a smooth protective variety, or just a smooth Kahler manifold. Is it possible to have two curves $C_1$ and $C_2$ in $X$ such that their difference in $H_2(X,\mathbb{Z})$ is a non-trivial torsion class ?</p> http://mathoverflow.net/questions/110602/degeneration-of-varieties-to-simple-normal-crossings Degeneration of varieties to simple normal crossings Mohammad F.Tehrani 2012-10-25T00:22:17Z 2012-10-25T16:36:46Z <p>Let $\mathcal{X}\to\Delta$, $\Delta \subset \mathbb{C}$ is the unit disk, be a smooth family of varieties whose fibers over $t\neq 0$ are smooth and the central fiber $\mathcal{X}_0$ is a nice simple normal crossing divisor (in $\mathcal{X}$).</p> <p>Let $\mathcal{X}_0=\cup X_i$, and define $X_I=\cap_{i\in I} X_i$.</p> <p>This assumption imposes some relations between the $N_{X_{I}}^{X_{J}}$, $J\subset I$. For example if $\mathcal{X}_0=X_1\cup_D X_2$ ($D=X_{12}$), then $N_D^{X_1}\otimes N_{D}^{X_2}=\mathcal{O}_D$ is trivial, and conversely if these condition holds, then there is a smooth one parameter family realizing that.</p> <p>Question:</p> <p>Is it known under what conditions, a simple normal crossing space can be realized as the central fiber of a smooth family? Is it known if those relations are enough for the existence of such family (similar to example above)</p> <p>In general, is this probelm studied in literature or not? </p> http://mathoverflow.net/questions/110119/a-singularity-waiting-for-your-resolution A singularity waiting for your resolution Mohammad F.Tehrani 2012-10-19T22:14:02Z 2012-10-19T22:14:02Z <blockquote> <p><strong>Possible Duplicate:</strong><br> <a href="http://mathoverflow.net/questions/31694/how-can-i-get-a-small-resolution-for-the-binomial-fourfold-x-1-x-2-x-3-y-1-y" rel="nofollow">How can I get a small resolution for the binomial fourfold $x_1 x_2 x_3- y_1 y_2=0$ in $\mathbb{C}^5$?</a> </p> </blockquote> <p>Consider the following non-isolated singularity (I am going to call it $A_{2,3}$, I am not sure if it has a name)</p> <p>$$uv-xyz = 0 \subset \mathbb{C}^5$$</p> <p>Question 1) Is this some thing studied before?</p> <p>Question 2) How would you describe a nice (small) resolution of that? note that this 4-fold is singular along union of x,y,z-axis. Outside the origin its a one parameter family of A_2 singularities, so has a nice small resolution, the main difficulty is at origin. By nice I mean:</p> <ul> <li>symmetric, it would be OK if the resolution is not small at the origin but I want it to be small elsewhere.</li> <li>description is somehow systematic.</li> </ul> http://mathoverflow.net/questions/109266/how-to-construct-enriques-surface-from-fermat-k3 How to construct Enriques surface from Fermat K3 Mohammad F.Tehrani 2012-10-10T01:19:56Z 2012-10-10T07:17:04Z <p>Let $x_1^4+x_2^4+x_3^4+x_4^4=0 \subset \mathbb{P}^4$ be the Fermat K3 surface. Is it possible to start from some involution on $\mathbb{P}^3$, do blow-ups to get rid of fixed points and then quotient with respect to resulting involution to get an Enrique surface inside the quotient of some blow-up of $\mathbb{P}^3$.</p> <p>Or</p> <p>can you give an example of an Enrique surface inside a simply-connected 3-fold?</p> http://mathoverflow.net/questions/108747/topology-of-k3-as-a-sum-of-two-abelian-fibrations Topology of K3 as a sum of two abelian fibrations. Mohammad F.Tehrani 2012-10-03T20:48:36Z 2012-10-03T21:43:20Z <p>Let $E$ be a blow-up of $\mathbb{P}^2$ at 9-points in the bases locus of a pencil of elliptic curves (A $T^2$ fibration over $S^2$).</p> <p>K3 surfaces is obtained by removing a fiber from two copies of $E$ and gluing along the boundaries.</p> <p>How do we realize 22 second homology classes of K3, in terms of 10 second homology classes of $E$. I know this is classic but I could not find a reference.</p> http://mathoverflow.net/questions/108434/line-bundles-in-families line bundles in families Mohammad F.Tehrani 2012-09-30T01:57:34Z 2012-09-30T02:18:38Z <p>Let $\pi\colon Z \to \Delta$ be a smooth family of complex (projective) varieties, over a small disk in $\mathbb{C}$ such that $\pi^{-1}(0)$ is the only (normal-crossing) singular fiber, $\pi^{-1}(0)= X\cup_D Y$.</p> <p>I have some questions (may be equal) about line bundle on the family vs individual fiber.</p> <p>Under what condition (on $X$, $Y$, $D$), it is true that we extend a line bundle on the singular fiber to a line bundle on the whole family?</p> <p>Under what condition (on $X$, $Y$, $D$), it is true that there is an isomorphism between the space of line bundles (Picard group) on the singular fiber and the space of line bundles on the smooth fiber?</p> <p>I general I would like to know about the comparison between the Picard group of $Z$ and its fibers.</p> <p>For $t\neq 0$, I expect Pic($Z_t$) to be bigger than Pic($Z_0$), can you provide an example of that?</p> http://mathoverflow.net/questions/107795/examples-of-non-kahler-compact-symplectic-manifolds Examples of non-Kahler compact symplectic manifolds. Mohammad F.Tehrani 2012-09-21T18:49:33Z 2012-09-22T18:04:16Z <p>I am trying to gather a list of all known symplectic manifolds which don't have Kahler structure. If you know any please add to the list and give references for it.</p> <p>Please avoid giving repetitive examples.</p> <p>Thanks.</p> http://mathoverflow.net/questions/102253/an-elementary-but-confusing-question-in-differential-geomerty An elementary but confusing question in differential geomerty Mohammad F.Tehrani 2012-07-14T21:58:09Z 2012-08-20T19:27:47Z <p>Let $f:\mathbb{R}\to \mathbb{R}$ be a function, then looking $f$ as a function between manifolds, $df:T\mathbb{R}=\mathbb{R}^2\to \mathbb{R}^2$ and $d^2f:TT\mathbb{R}=\mathbb{R}^4\to \mathbb{R}^4$ are given by</p> <p>$$df(x,a)=(f(x),\frac{df}{dx}a)$$ $$d^2f((x,a),(b,c))= ((f(x),\frac{df}{dx}a),(\frac{df}{dx}b,\frac{d^2f}{dx^2} ab+ \frac{df}{dx} c))$$</p> <p>So the second derivative of $f$, as you know it from calculus, is embedded in the differetial geometric definition of $d^2f$ in a wierd way. There is a similar story in higher orders.</p> <p>Now suppose $f:M\to N$, $f(x)=y$, is a smooth map between two manifolds. As before, for each k, we have $d^kf: TTT\cdots TN \to TTT\cdots TM$. </p> <p>Question: For $v_1,\cdots,v_k \in T_xM$, is there an object $\frac{d^kf}{dv_1\cdots dv_k}$ similar to the way we define higher derivatives of a function on $\mathbb{R}$? how is it defined? and where does it belong to? (Is $\frac{df}{dv_1\cdots dv_k}\in T_yN$ ?) </p> <p>Apologies in advance if the question is obvious or absurd.</p> http://mathoverflow.net/questions/79040/cone-of-movable-curves Cone of movable curves Mohammad F.Tehrani 2011-10-25T00:08:36Z 2012-08-15T08:00:41Z <p>Let $X$ be a smooth complex projective variety of dimension $n$.</p> <p>Under the duality between $N_1(X)$ and $N^1(X)$ we know that closure of cone of effective curves $\overline{NE}(X)$ is dual to closure of ample cone $\overline{Amp}(X)$.</p> <p>It was proved in 2004 that the closure of cone of effective divisors $\overline{Eff}(X)$ is dual to the closure of cone of movable curves $\overline{Mov}(X)$. A movable curve by definition is a curve class $C \in N_1(X)$ such that $C=\pi_*(H_1 H_2 \cdots H_{n-1})$, where $\pi: X' \rightarrow X$ is a birational morphism and $H_i$'s are ample classes on $X'$. </p> <p>My question: Let $Q(X)$ be the cone obtained by curve classes $H_1 H_2 \cdots H_{n-1}$ where $H_i$ are ample divisors on $X$ itself. Is it true/false that $\overline{Q}(X)=\overline{Mov}(X)$? i.e. as long as I am interested only in the closure of these cones; do I really miss some curve class if I only restrict my self to intersection of ample classes on $X$ itself.</p> <p>Can any body give an example where $\overline{Q}(X) \neq \overline{Mov}(X)$?</p> <p>Meanwhile, I am only interested in $n=3$ case.</p> http://mathoverflow.net/questions/103396/geodesics-in-lens-spaces geodesics in Lens spaces Mohammad F.Tehrani 2012-07-28T17:08:24Z 2012-07-28T20:05:56Z <p>For which Lens spaces, all the simple closed geodesics have the same length?</p> <p>Is it just $S^n$ and $S^n/\mathbb{Z}_2$ or there are more?</p> http://mathoverflow.net/questions/101858/square-root-for-hamiltonian-diffeomorphisms/101878#101878 Answer by Mohammad F.Tehrani for Square root for Hamiltonian diffeomorphisms Mohammad F.Tehrani 2012-07-10T19:32:35Z 2012-07-10T19:32:35Z <p>I got this answer from Dusa McDuff (and she got it from some body else):</p> <p>Suppose given $f:[0,1]\to [0,1]$ such thqt 0 is repelling fixed point and 1 is attracting fixed point and there are no others.</p> <p>So $f'(0) = \lambda >1$, and $f'(1)=\mu &lt; 1$.</p> <p>A thm says that in suitable local coords near $0$ $f$ is simply mult by $\lambda$ (this is a linearization them). Therefore f has a unique square root on [0,1). Similarly, it has a unique square root on (0,1].</p> <p>But in general the coords at the two ends will NOT be compatible so there is no square root on [0,1].</p> <p>Now consider a smooth $f: S^2\to S^2$ with two non-deg fixed points $p_0,p_1$ with a homoclinic orbit $A$ between them. i.e. there is an arc $A$ which at one end is the unstable manifold of $p_0$ and at the other is the stable manifold of $p_1$. Now restrict f to A.</p> <p>(There is a stable manifold thm that says that locally these invariant submanifodls exist etc.)</p> http://mathoverflow.net/questions/89621/physicists-euler-number-conjecture Physicists Euler number conjecture Mohammad F.Tehrani 2012-02-27T00:05:53Z 2012-02-27T00:19:37Z <p>Physicist's Euler number conjecture says:</p> <p>If $G \subset SL(n,\mathbb{C})$ is a finite group, $X=\mathbb{C}^n/G$ is the quotient space and $f:Y \rightarrow X$ a crepant resolution (always exists for $n\leq 3$). Then there exists a basis of $H^*(Y,\mathbb{Q})$ consisting of algebraic cycles in one-to-one correspondence with conjugacy classes of $G$. </p> <p>I have seen some works (by Reid,...) which date back to 2000. What are the recent results around this conjecture?</p> <p>See : The McKay correspondence for finite sungroups of SL(3,C), by Miles Reid and Yukari Ito.</p> http://mathoverflow.net/questions/89533/when-a-quotient-singularity-is-toric When a quotient singularity is toric? Mohammad F.Tehrani 2012-02-25T23:50:38Z 2012-02-26T00:18:04Z <p>Let $G \subset SL(n,\mathbb{C})$ be a cyclic subgroup of finite order, Is it true that $\mathbb{C}^n /G$ is toric ? If not then when it is ?</p> http://mathoverflow.net/questions/87071/is-this-manifold-orientable Is this manifold orientable? Mohammad F.Tehrani 2012-01-30T21:23:24Z 2012-01-30T22:04:01Z <p>Let $C$ be the set of points $(a,b,c,d) \in \mathbb{C}^4$ which satisfy</p> <p>1) $\left|a\right|^2+\left|c\right|^2=\left|b\right|^2+\left|d\right|^2 =1$.</p> <p>2) $a\bar{b}+c\bar{d}=0$</p> <p>There is a (component-wise) $S^1$ action on $C$ and let $S$ be the quotient ($S$ is a 3-manifold).</p> <p>Is $S$ orientable or not ?</p> <p>Thanks.</p> http://mathoverflow.net/questions/86682/a-simple-question-about-the-degree-of-some-vector-bundle-over-rational-curve A simple question about the degree of some vector bundle over rational curve. Mohammad F.Tehrani 2012-01-26T01:31:46Z 2012-01-26T08:30:12Z <p>Let $E$ be a holomorphic vector bundle (infact complex vector bundle is enough) over $\mathbb{P}^1$. Let $c: \mathbb{P^1} \rightarrow \mathbb{P^1}$ be the anti-holomorphic involution, $c(z)=\frac{-1}{\bar{z}}$, and after all suppose we have a commutative diagram (I couldn't draw it here, imagine it yourself)</p> <p>$\pi: E \rightarrow \bar{E}$</p> <p>where $\pi$ is an anti-holomorphic (or anti-complex linear) involution covering $c$. In this situation, is it true that $c_1(E)$ should be even!</p> http://mathoverflow.net/questions/79040/cone-of-movable-curves/79075#79075 Answer by Mohammad F.Tehrani for Cone of movable curves Mohammad F.Tehrani 2011-10-25T13:14:53Z 2011-10-25T13:14:53Z <p>I think following post in the mathoverflow gives an answer:</p> <p><a href="http://mathoverflow.net/questions/79046/effective-versus-movable-cones-of-curves" rel="nofollow">http://mathoverflow.net/questions/79046/effective-versus-movable-cones-of-curves</a></p> <p>There, people mention that there is an example where the Ample cone is rational polyhedral but movable cone is not. But if Ample cone is polyhedral then $\overline{Q}(X)$ would be polyhedral too and so they can not be equal.</p> http://mathoverflow.net/questions/131506/p1-minus-k-points/131521#131521 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-05-23T15:08:33Z 2013-05-23T15:08:33Z Sure, but how do the matrices corresponding to these isometries look like? Is it discussed in those references? http://mathoverflow.net/questions/101858/square-root-for-hamiltonian-diffeomorphisms/128192#128192 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-05-14T15:12:09Z 2013-05-14T15:12:09Z good to know, thanks http://mathoverflow.net/questions/87633/construct-the-elliptic-fibration-of-elliptic-k3-surface Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-03-27T02:57:23Z 2013-03-27T02:57:23Z This looks fun: <a href="http://grdb.lboro.ac.uk/search/ellk3" rel="nofollow">grdb.lboro.ac.uk/search/ellk3</a> http://mathoverflow.net/questions/87633/construct-the-elliptic-fibration-of-elliptic-k3-surface Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-03-27T02:52:29Z 2013-03-27T02:52:29Z When talking about j-map above, I am assuming there is a section. http://mathoverflow.net/questions/87633/construct-the-elliptic-fibration-of-elliptic-k3-surface Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-03-27T02:07:08Z 2013-03-27T02:07:08Z Some more questions in this direction: -- @ Jason Starr: What is the weight you are mentioning? --So the number of singular fibers (which I think is the degree of j-map to $\mathbb{P}^1$ can be different in different examples? --Are there examples where the singular fiber is &quot;not&quot; normal-crossing&quot; (or semi-stable)? http://mathoverflow.net/questions/124367/toroidal-embedding/124375#124375 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-03-19T19:29:05Z 2013-03-19T19:29:05Z This and similar papers, even the &quot;Toroidal embeddings I&quot; book, talk about properties of a toroidal embeddings; non of them shows starting from a given polyhedra, how to build an embedding. I know that this is an open problem, but I am just looking for couple of examples for which the procedure is known, e.g. for the one mentioned in my question. http://mathoverflow.net/questions/124367/toroidal-embedding/124375#124375 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-03-13T04:12:05Z 2013-03-13T04:12:05Z OK, I thought X can be embedded in some higher dimensional toric variety (not that I meant X--&gt;\Delta is toric itself) Now can you say how an example like that can be built, that might be enlighting toward the definition of toroidal embeddings. http://mathoverflow.net/questions/26776/kahler-structure-on-cotangent-bundle/26781#26781 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-03-07T19:04:46Z 2013-03-07T19:04:46Z does not your first argument need M to be an analytic manifold? I found the papers mentioned by Zehmisch and the one in the comment below that interesting as well. http://mathoverflow.net/questions/26776/kahler-structure-on-cotangent-bundle/69739#69739 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-03-07T19:02:09Z 2013-03-07T19:02:09Z Also this one: Complex structures on tangent bundles of Riemannian manifolds, Szoke http://mathoverflow.net/questions/120442/are-rational-varieties-simply-connected/120444#120444 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-01-31T20:30:17Z 2013-01-31T20:30:17Z @Tim: My question was about the classical fundamental group. What is the definition algebraic one? @Vesselin: I still believe we can say some thing if the singularities are terminal or something nice. http://mathoverflow.net/questions/119855/extending-line-bundles/119863#119863 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-01-25T18:10:03Z 2013-01-25T18:10:03Z I dont have access to the book, can you recall what the example is. In the setting I have, this is true for the smooth ones. So may be i need to put some restrictions on my family. I will edit my question then. http://mathoverflow.net/questions/110615/difference-of-curve-classes/110629#110629 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-01-23T19:02:31Z 2013-01-23T19:02:31Z Can you describe the torsion 2nd homology class in some Enrique surface as a difference of two curve classes? http://mathoverflow.net/questions/119582/can-you-get-an-enrique-surface-from-quotient-of-abelian-surface Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2013-01-22T19:43:31Z 2013-01-22T19:43:31Z good, thanks for the reference. http://mathoverflow.net/questions/110615/difference-of-curve-classes/110629#110629 Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2012-10-29T03:02:49Z 2012-10-29T03:02:49Z what is torsion here! http://mathoverflow.net/questions/12569/references-for-logarithmic-geometry Comment by Mohammad F.Tehrani Mohammad F.Tehrani 2012-10-28T16:46:10Z 2012-10-28T16:46:10Z Is there any new work on this subject (i.e. an attempt to understand normal crossing varieties) in a purely geometric way, i.e. something which avoids monoides and is focused on complex algebraic varieties, rather than formal scheme theoretic point of view. The only work of this type which I know is the thesis of Friedman, which is quit old.