User oldmacdonaldhadaform - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T00:48:22Z http://mathoverflow.net/feeds/user/23194 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/120400/enumerativity-of-gromov-witten-invariants-of-orbifolds Enumerativity of Gromov-Witten invariants of orbifolds OldMacdonaldHadaForm 2013-01-31T11:02:06Z 2013-01-31T14:07:43Z <p>For smooth Deligne-Mumford stacks, there is a well-defined Gromov-Witten theory, see <a href="http://arxiv.org/pdf/math/0103156.pdf" rel="nofollow">http://arxiv.org/pdf/math/0103156.pdf</a> and <a href="http://arxiv.org/pdf/math/0603151.pdf" rel="nofollow">http://arxiv.org/pdf/math/0603151.pdf</a>.</p> <p>Is there some sense, or some class of examples (that include true orbifolds, namely orbifolds that are not schemes), in which these numbers have some enumerative meaning? </p> <p>One class of examples is Gorenstein orbifolds, namely those orbifolds whose all degree shifting numbers are integers. In this case one can use the crepant resolution conjecture to translate the question (at least in genus $0$) into a question of enumerativity of Gromov-Witten invariants for the crepant resolution.</p> <p>But what about other cases? In particular, can one make some enumerative sense of the Gromov-Witten invariants that are obtained when at least one of the cohomology classes is chosen to be the cohomology class of a twisted sector?</p> <p>(apologies if the question is too vague, and if it is a repetition of other similar questions. I am not sure if this should be community wiki.)</p> http://mathoverflow.net/questions/120260/a-question-on-the-picard-group A question on the Picard group OldMacdonaldHadaForm 2013-01-29T21:03:46Z 2013-01-31T10:17:26Z <p>Let $X$ be a simply connected smooth projective variety, whose Picard group is generated by the classes of the irreducible codimension 1 loci $D_1, \ldots, D_k$. Let $E_1, \ldots, E_r$ be other irreducible codimension 1 loci, and suppose that $X^0$ is the complement in $X$ of the divisors $D_i$ and $E_j$.</p> <p>Suppose now that $X_0$ is the complement of $n$ irreducible loci of codimension $1$ in $Y$, a smooth projective variety.</p> <p>Question: Can I conclude that the Picard group of $Y$ has rank $n-r$?</p> <p>I can answer the question affirmatively over $\mathbb{C}$, by using the long exact sequence with compact support associated with the inclusion $Y \setminus X^0 \to Y$, but I would like to know if there is an algebraic proof of this (valid over any algebraically closed field $k$).</p> <p>EDIT: As pointed out in the answer, I am actually assuming that the Picard group of $X$ is FREELY generated by the $D_1, \ldots, D_k$.</p> http://mathoverflow.net/questions/102438/is-m-1-n-affine Is $M_{1,n}$ affine? OldMacdonaldHadaForm 2012-07-17T11:24:05Z 2012-07-17T11:30:00Z <p>A famous conjecture of Looijenga states that the moduli space of curves $M_{g,n}$ is the union of $g- \delta_{0,n}+ \delta_{0,g}$ open affine subsets, where $g,n$ are non-negative integers satisfying $2g-2+n>0$, and $\delta$ is the Kronecker delta.</p> <p>I know of proofs of this conjecture in the case $(g,0)$ for $2 \leq g \leq 5$ (Fontanari-Looijenga and Fontanari-Pascolutti), and in the case $(0,n)$ for all $n$'s.</p> <p>Is this conjecture true for $M_{1,n}$ ? Namely, is it known if $M_{1,n}$ is affine?</p> <p>(Are there other cases when the conjecture is known?)</p> http://mathoverflow.net/questions/96620/flatness-for-family-of-hypersurfaces/97276#97276 Answer by OldMacdonaldHadaForm for Flatness for family of hypersurfaces OldMacdonaldHadaForm 2012-05-18T06:34:26Z 2012-05-18T06:34:26Z <p>Consider the projective space of degree $d$ monomials in $n+1$ variables $\mathbb{P}^{\binom{n+d}{d}-1}$. On this projective space there is a universal family of hypersurfaces in $\mathbb{P}^n$. This family is flat since the Hilbert polynomial is constant, and the base is reduced.</p> <p>Now given any family $X \to Y$ of not necessarily flat hypersurfaces of degree $d$ in $\mathbb{P}^n$, there exists a unique moduli map $Y \to \mathbb{P}^{\binom{n+d}{d}-1}$ such that $X\to Y$ is the pullback of the universal family via the moduli map. Since flatness is stable under base change, the map $X \to Y$ must also be flat even when $Y$ is not reduced.</p> <p>NOTE: I suspect that this answer may contain a mistake due to some sort of "circular" reasoning. At the moment I can not see this mistake though.</p> http://mathoverflow.net/questions/96620/flatness-for-family-of-hypersurfaces Flatness for family of hypersurfaces OldMacdonaldHadaForm 2012-05-10T22:08:22Z 2012-05-18T06:34:26Z <p>Let $X \to Y$ be a family of hypersurfaces in a constant $\mathbb{P}^n$, i.e. $X \subset Y \times \mathbb{P}^n$ is locally on $Y$ given by one equation of degree $d$ in $\mathbb{P}^n$.</p> <p>Is $X \to Y$ automatically flat? I know that it is so if $Y$ is reduced, since in this case the fact that the Hilbert polynomial of $X_y$ is constant on $Y$ implies that the family is actually flat. So is $X \to Y$ still automatically flat when $Y$ is nonreduced?</p> http://mathoverflow.net/questions/96673/intersections-with-divisors-on-moduli-of-curves Intersections with divisors on moduli of curves OldMacdonaldHadaForm 2012-05-11T14:40:28Z 2012-05-11T18:31:21Z <p>Let $\overline{\mathcal{M}}_{g,n}$ be the moduli stack of stable curves of genus $g$ with $n$ points.</p> <p>Consider </p> <p>$0 \neq \gamma \in Pic(\overline{\mathcal{M}}_{g,n})$ </p> <p>the first Chern class of a line bundle (note that the Picard coincides with $H^2(\overline{\mathcal{M}}_{g,n}, \mathbb{Z})$ and with the Neron-Severi group in this case)</p> <p>It is well-known from Arbarello-Cornalba-Harer that the group of first Chern classes is generated by $\kappa_1$ and by $\delta$-classes and $\psi$-classes.</p> <p>My question: is the multiplication by $\gamma$ an isomorphism:</p> <p>$H^{3g-3+n-1} \to H^{3g-3+n+1} \ ?$</p> <p>(as it happens in the Hard Lefschetz theorem when $\gamma$ is an hyperplane section). Are there $\gamma$s for which it is not an isomorphism?</p> <p>This is of course true when $\gamma$ is in the ample cone or in the antiample cone. </p> http://mathoverflow.net/questions/95128/modular-curve-parametrizing-two-cyclic-subgroups-of-an-elliptic-curve Modular curve parametrizing two cyclic subgroups of an elliptic curve OldMacdonaldHadaForm 2012-04-25T08:31:16Z 2012-04-25T11:04:30Z <p>The aim of this question is to better understand the following moduli space/modular curve, for which I propose (temporarily) the name $Y_0(M,N)$. We define $Y_0(M,N)$ as the moduli space parametrizing an elliptic curve $E$, together with two cyclic subgroups $G$ and $H$, of order respectively $M$ and $N$, of the group of degree $0$ line bundles modulo linear equivalence on $E$.</p> <p>(note that the subgroup generated by $G$ and $H$ need not be of rank $2$, although it will be so generically)</p> <p>When $N=1$, $Y_0(M,N)$ is just the well known modular curve $Y_0(M)$.</p> <p>Questions:</p> <p>1) Are there references for this moduli space/modular curve? Is this well studied/well known?</p> <p>2) I think of this as the fiber product $Y_0(M) \times_{\mathcal{M}_{1,1}} Y_0(N)$ (the fiber product over the moduli space of elliptic curves). Is this correct?</p> <p>3) What can we say about the curve $Y_0(M,N)$? Is it irreducible? Are there some kind of formulas for its genus as there are for $Y_0(M)$?</p> http://mathoverflow.net/questions/120400/enumerativity-of-gromov-witten-invariants-of-orbifolds/120416#120416 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2013-02-01T08:27:04Z 2013-02-01T08:27:04Z Thank you very much! http://mathoverflow.net/questions/120260/a-question-on-the-picard-group/120341#120341 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2013-01-31T10:18:25Z 2013-01-31T10:18:25Z Thanks a lot for your answer. I picked the other one because I could understand better the details ;) http://mathoverflow.net/questions/120260/a-question-on-the-picard-group/120343#120343 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2013-01-31T10:14:34Z 2013-01-31T10:14:34Z Thank you very much. This is much more natural and elementary than the approach I was following. http://mathoverflow.net/questions/120260/a-question-on-the-picard-group Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2013-01-30T15:09:42Z 2013-01-30T15:09:42Z Thanks! I think my question is solved affermatively now. http://mathoverflow.net/questions/120260/a-question-on-the-picard-group Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2013-01-30T10:00:41Z 2013-01-30T10:00:41Z The point is that I am not sure how the theory of (mixed) Hodge structures on the &#232;tale cohomology groups works, and if it exists at all. http://mathoverflow.net/questions/120260/a-question-on-the-picard-group Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2013-01-30T09:59:29Z 2013-01-30T09:59:29Z What I prove is that H^2(Y)=H^{1,1}(Y) has rank $n-r$: I have an exact sequence $$0 \to H^2(Y) \to \mathbb{Q}^n \to H^1(X^0)= \mathbb{Q}^r \to H^1(Y)$$ and I have to proove the surjectivity of $\mathbb{Q}^n \to \mathbb{Q}^r$ to conclude. To do so, I prove $\mathbb{Q}^r \to H^1(Y)$ is the zero map, by using the purity of the Hodge structures. http://mathoverflow.net/questions/102438/is-m-1-n-affine/102439#102439 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-07-18T07:45:31Z 2012-07-18T07:45:31Z Thank you very much! http://mathoverflow.net/questions/102438/is-m-1-n-affine/102439#102439 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-07-17T18:56:12Z 2012-07-17T18:56:12Z Perhaps there is still something to say about this. Indeed, there is no universal curve over the moduli scheme $M_{g,n}$, which is what we are considering. Do you have a reference? http://mathoverflow.net/questions/102438/is-m-1-n-affine/102439#102439 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-07-17T13:36:35Z 2012-07-17T13:36:35Z Wow. Thank you! http://mathoverflow.net/questions/102438/is-m-1-n-affine/102439#102439 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-07-17T11:51:18Z 2012-07-17T11:51:18Z Thank you very much! How do you see that the morphism is affine? http://mathoverflow.net/questions/96620/flatness-for-family-of-hypersurfaces/96837#96837 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-05-17T10:33:50Z 2012-05-17T10:33:50Z Sorry for the previous question. I think I understand now. http://mathoverflow.net/questions/96620/flatness-for-family-of-hypersurfaces/96837#96837 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-05-16T09:00:00Z 2012-05-16T09:00:00Z Thank you very much for your answer. http://mathoverflow.net/questions/96620/flatness-for-family-of-hypersurfaces/96837#96837 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-05-16T08:59:22Z 2012-05-16T08:59:22Z This is so very beautifully concrete! May I ask for a reference for the &quot;general&quot; Weierstrass form? I know it only over $\mathbb{C}$ (or in characteristic zero). http://mathoverflow.net/questions/96620/flatness-for-family-of-hypersurfaces/96624#96624 Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-05-13T06:54:10Z 2012-05-13T06:54:10Z May I ask if a similar result holds for the Hilbert scheme of points? Namely, if a family of $0$-dimensional subschemes of $Y \times \mathbb{P}^n$ has constant Hilbert polynomial $k$, is it automatically flat over $Y$? http://mathoverflow.net/questions/96673/intersections-with-divisors-on-moduli-of-curves Comment by OldMacdonaldHadaForm OldMacdonaldHadaForm 2012-05-11T18:30:31Z 2012-05-11T18:30:31Z Dear Jason Starr, thank you very much for your comment. I will rephrase the question to include only the case $k=1$, which is the one I was originarily interested in.