Tagged Questions

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

learn more… | top users | synonyms (1)

0
votes
0answers
11 views

When a proper morphism of schemes is a closed imbedding?

Let $X$ and $Y$ be finitely presented schemes over $\mathbb{C}$. Let $f\colon X\to Y$ be a proper morphism. Let us assume that for any finitely presented scheme $S$ the induced map $$Mor_{Sch}(S,X)\to ...
0
votes
0answers
10 views

Is it true that standard R-algebra remains standard after going modulo a homogeneous ideal

Is it true that any standard R-algebra remains standard after going modulo a homogeneous ideal?
-3
votes
0answers
90 views

It is possible to prove that there is an immersion of the $K3$ surface in $R^8$ using the Mayer integrality theorem?

I will apply the following theorem In the case of the $K3$ surface the first Pontryagin class is given by $p_{{1}} \left( {\it K3} \right) =-12\,{h}^{2}$ and $M \left( TK3\right) ...
0
votes
0answers
72 views

On degrees of polynomials with matching zeros in a subset

Let $S\subsetneq \Bbb R^n$ such that $|S|<\infty$ and for all partitions $S_1$ and $S_2$ of $S$ there exits a multilinear polynomial $h$ such that $h(s)=1-h(s'),\mbox{ }\forall s\in S_1\mbox{ and ...
2
votes
1answer
85 views

On Serre's problem regarding the injectivity of Albert-Algebra cohomological invariants

In these Lecture Notes http://molle.fernuni-hagen.de/~loos/jordan/archive/cohinv/cohinv.pdf from 2006 by Garibaldi on page 21. 7.5 there is the following open problem mentioned: Is the map $g_3 ...
1
vote
1answer
201 views

When is an holomorphy ring a PID?

I posted this question on mathstackexchange but I realized it is probably more suitable for mathoverflow. I will use the notation and language of Stichtenoth, Algebraic Function Fields and Codes. ...
2
votes
2answers
168 views

Is there an Oka-Grauert principle for homogeneous spaces?

Suppose we have a fibration over the punctured disc (i.e., a deformation of complex manifolds) such that each fiber is a homogeneous space. Is the total space a product of a fiber with the punctured ...
1
vote
1answer
163 views

Monodromy of a punctured disc

I meet the following problem which I think related to the monodromy: Let $D: = \{z \mid |z|<1 \}$ be a disc, and $U \to D$ be a variety fibred over $D$. For each point $t \in D \backslash \{0\}$, ...
3
votes
0answers
123 views

Log schemes, differentials, Beilinson

Let $K$ be a $p$-adic field and $K'$ be a finite extension of $K$. Let $\Omega_{(K',\mathcal{O}_{K'})}$ be the sheaf of relative log differentials of the pair $(K',\mathcal{O}_{K'})$ over ...
0
votes
2answers
154 views

Computing the nonsingular projective model of a plane curve

Is there an implemented algorithm available in standard software systems (Sage, Magma, Macaulay, etc.) that will compute the nonsingular projective model of a plane curve over $\mathbb Q$?
0
votes
0answers
127 views

Rational multiple of a line bundle

In the paper http://arxiv.org/pdf/1207.5011.pdf of Chi Li and Song Sun, they say that "$D$ is a smooth divisor which is $\mathbb{Q}$-linearly equivalent to $−\lambda K_X$ for some $λ \in \mathbb{Q}$", ...
15
votes
0answers
188 views

Is there a cotangent bundle of a stable $\infty$-category?

Let $C$ be a stable $\infty$-category. Is there any categorical construction $C \mapsto T^* C$, where $T^* C$ is another stable $\infty$-category, that specializes to the following? When $C$ is the ...
0
votes
0answers
118 views

Regular point of a map in algebraic geometry

What is the correct definition of a regular point of a map in algebraic geometry? More specifically, let $f:X\to Y$ be a map of varieties with $f(p) = q$, and let $Z=f^{-1}(q)$. Let $\hat{X}$ be the ...
2
votes
0answers
114 views

bound on degree of certain polynomials

Consider $m$ polynomials $f_i$ for $i=\{1,\dots,m\}$ in $\Bbb R[x_1,\dots,x_n]$ of degree $d_i$ such that $$Z(f_i)\bigcap Z((p))\neq \emptyset$$ for the sphere $p$ passing through $\{0,1\}^n$. What is ...
0
votes
1answer
256 views

Hartshorne Proposition III 8.1

In the proposition mentioned in the title, Hartshorne states that for each $i\geq 0$ the higher direct image sheaf $R^if_*\mathcal F$ is exactly the sheafification of the presheaf given by $V \mapsto ...
5
votes
1answer
345 views

degree of polynomials in nullstellensatz

$(A)$ If $K$ is algebraically closed field, then consider $m$ polynomials $f_i$ for $i=\{1,\dots,m\}$ in $K[x_1,\dots,x_n]$ of degree $d_i$ each with no common root. We know there exists $g_i$ for ...
1
vote
0answers
70 views

A formal local triviality statement for smooth maps

Let $f:X\to Y$ be a smooth morphism of schemes of finite type over a field $k$, and suppose that $f(p) = q$. Let $Z = f^{-1}(q)$ be the fiber of $f$. Let $\hat{X}$ be the formal completion of $X$ at ...
4
votes
0answers
94 views

Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s

It is well known (cf. Dolgachev) that there is a beautiful notion of mirror symmetry for lattice-polarized K3 surfaces. That is, if we are given a rank $r$ lattice $M$ of signature $(1, r - 1)$ and a ...
4
votes
1answer
301 views

Push-forward of locally free sheaves

Let $X, Y$ be smooth projective varieties and $f:X \times Y \to Y$ be the natural projetion map. Let $\mathcal{F}$ be a locally free sheaf on $X \times Y$. Is it true that $f_*\mathcal{F}$ is locally ...
0
votes
0answers
99 views

When can one find holomorphic sections vanishing at a point to a certain order?

Let $X$ be a compact complex manifold (say of dimension $2$) and $L \rightarrow X $ a holomorphic line bundle. Consider the following statements: Statement $A_0$: Given any point $p\in X$, there ...
1
vote
1answer
80 views

Piercing of subspaces in a projective space?

The "piercing subspace" problem may be stated as follows: There are given several subspaces in a projective space, rather non-intersecting. Find an additional subspace of a prescribed dimension that ...
11
votes
4answers
1k views

Robotics, Cryptography, and Genetics applications of Grothendieck's work? [on hold]

I was reading about the passing of Alexander Grothendieck, and something caught my interest: Mr. Grothendieck was able to answer concrete questions about these relationships by finding universal ...
1
vote
1answer
167 views

Smoothness and smoothness over formal neighborhood

Let $f:X\rightarrow Y$ a locally finitely presented map. Let $x\in X$ and $y=f(x)$. We assume that the map on the level of fomal neighborhoods $X_{x}\rightarrow Y_{y}$ is formally smooth, can we find ...
6
votes
1answer
169 views

Do complex tori contain quasi-projective open subsets?

Complex tori are not associated to projective varieties in general. But can one find an open $U$ inside a complex torus $\mathbb C^g/L$ such that $U$ is the analytification of a quasi-projective ...
0
votes
1answer
149 views

A condition on isolated singularity

Suppose $F: {\mathbb C}^N \to {\mathbb C}$ defines a singularity at the origin (for simplicity one can assume that $F$ is a quasi-homogeneous polynomial). Suppose it is nondegenerate, i.e., $dF(z) = ...
3
votes
1answer
198 views

Picard of the product of two curves

Can anyone point to me where I can find the proof that the Picard group of the product of two curves is isomorphic to the product of the Picard groups times the hom among the Jacobians? Does the ...
-4
votes
0answers
68 views

Pyramid and intersections [closed]

Let P be a square pyramid whose base consists of the four vertices (0,0,0),(3,0,0),(3,3,0), and (0,3,0), and whose apex is the point (1,1,3). Let Q be a square pyramid whose base is the same as the ...
0
votes
0answers
74 views

About stable maps passing through fixed points

In "Notes On Stable Maps and Quantum Cohomology", Fulton and Pandharipande present some results, and their proofs, about the representability of the functor $\mathcal{M}_{g, n}(X, \beta)$, which maps ...
2
votes
0answers
62 views

Locus of line bundles with given base points on a curve

Let $C$ be a smooth projective curve over an algebraically closed field. If $D$ is an effective divisor on $C$ (let's say reduced to make things easier) of degree $m$ and $d>m$, is the dimension of ...
0
votes
0answers
93 views

An integrality theorem for immersions of quaternion projective spaces in the euclidean space

There are three questions: Please let me know your proof of the following theorem: If $\mathbb HP^2$ can be immersed in $\mathbb R^{12}$ with an Euler class $W_{4}(\nu)$ for the normal bundle of ...
3
votes
0answers
251 views

Use of derivators to the theory of motives?

This is a rather imprecise question but i think this could become a interesting pool of ideas and comments. The theory of motives has evolved to a complex field of research the moment Voevodsky (and ...
0
votes
1answer
146 views

An integrality theorem for immersions of complex projective spaces in the euclidean space

There are three questions: Please let me know your proof of the following theorem: If $CP^3$ can be immersed in $R^8$ with an Euler class $W_{2}(\nu)$ for the normal bundle of $CP^3$ respect to ...
0
votes
0answers
66 views

Crepant partial resolution of rational singularities

Let $X$ be a projective variety with at most klt singularities. If $K_X$ is Cartier, then the singularities are canonical (See answers in The minimal model program and symplectic resolutions for more ...
1
vote
1answer
124 views

Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that

Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite areas such that for each simply finite area there exist a diffeomorphic map that ...
0
votes
1answer
173 views

The number of solutions of a Diophantine equation [closed]

Is $\lim_{n \rightarrow \infty} |\{(x,y) \in \mathbb{Q}(\zeta_n)^2 : y^3 = x^3 + x + 1\}| < \infty ?$ where $\zeta_n$ is a primitive $n$-th root of unity. That is, I am asking whether the number ...
0
votes
0answers
43 views

Hyperquotient singularities and Newton polyhedra

Following the same notation as M. Reid "Young person's guide to Canonical Singularities": Suppose that $Y\subseteq \mathbb{A}^{n+1}_\mathbb{C}$ is a smooth affine hypersurface defined by ...
10
votes
2answers
428 views

On a proposition in Hartshorne's paper “Ample vector bundles on curves”

In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following: Let $A$ be an abelian variety [over an alg. closed field ...
1
vote
0answers
67 views

About the reduceness of the commuting scheme associated with a symmetric pair

my question is the following one: Let $G$ be a connected reductive algebraic group over the field of complex numbers, and let $V$ be a linear representation of $G$ obtained as the isotropy ...
10
votes
0answers
234 views

What is the expected dimension of the Zariski closure of the rational points on the moduli space of curves?

For each genus $g$, there are many curves of genus $g$ defined over $\mathbb Q$. How many? We might study this question by considering the rational points of the Deligne-Mumford moduli space of curves ...
9
votes
1answer
520 views

Questions about the “universal elliptic curve” over the affine $j$-line punctured at 0 and 1728

So my question refers to families of elliptic curves over the $\mathbb{A}^1_\mathbb{C}\setminus\{0,1728\}$ whose fiber above a point $j$ has $j$-invariant equal to $j$ (I understand it's not ...
120
votes
0answers
5k views

Grothendieck -sad news [closed]

Sorry for that this is not a real question. But I thought people would like to know. Alexandre Grothendieck died today: ...
5
votes
1answer
421 views

Disjoint images of polynomials

Are there any $f,g \in \mathbb{Q}[x]$ such that for every root of unity $\zeta$, and every $a,b \in \mathbb{Q}(\zeta)$, $f(a) \neq g(b)?$
1
vote
1answer
107 views

Normal surface is Cohen-Macaulay - reference

in this question http://mathoverflow.net/a/55528/61732 it is stated that a normal variety is CM outside a set of codim at least 3. That would imply that normal surfaces are CM. [edited:] I wanted to ...
1
vote
1answer
118 views

On holomorphic vector bundles over compact Kahler surfaces

Let $E\to X$ be a complex vector bundle over a compact Kahler surface $X$. Assume $c_{i}(E)\in H^{i,i}(X)$ for all i. Does the bundle $E$ admit a holomorphic structure?
4
votes
0answers
139 views

How to check whether a scheme of finite type over Spec Z is regular or not [duplicate]

Let $f_1, f_2, \ldots f_k$ be a set of polynomials in $n$ variables, with integer coefficients. These define an affine scheme $X$ of finite type over $Spec \mathbb{Z}$. (We could also consider ...
3
votes
1answer
110 views

Algebraization isomorphism, formal existence, mod p

Let $X$ be a smooth projective variety over a scheme $S$ being the spectrum of a discrete valuation ring of mixed characteristic $(0,p)$. Let $X_n$ be the respective thickenings of the reduced special ...
1
vote
0answers
42 views

Name for generalization of bivariate weighted-homogeneous polynomials

A polynomial $f = \sum_j c_j X^{\alpha_j}Y^{\beta_j}\in\mathbb K[X,Y]$ is said weighted-homogeneous if there exist $p$, $q$ and $d$ (where $p$ and $q$ are not both $0$) such that ...
7
votes
1answer
253 views

Białynicki-Birula theory for non-complete varieties

I would like to know to which extent the theory developed for smooth projective varieties in the following articles A. Białynicki-Birula, Some theorems on actions of algebraic groups. Ann. of ...
1
vote
0answers
69 views

Does some square of the first Chern class preserved by conifold transition?

Let $X$ be a smooth projective 3-fold or a symplectic 6-manifold. Suppose $Y$ is a conifold transition on a single nullhomologous Lagrangian sphere $S^{3}$ in $X$. Then there is a exact sequence $0\to ...
6
votes
3answers
374 views

Gerbes and Stacks

The definition of a gerbe on a smooth manifold that I know is that - after fixing an open cover $U_i$, a gerbe consists of the data of line bundles $L_{ij}$ on two-fold-intersections $U_{ij}$, ...