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

**2**

votes

**1**answer

84 views

### is there Oka-grauert principle for homogenous space

Suppose we have a fiberation over punctured disc(deformation of complex manifolds)each fiber is a Homogenous space, is the total space is a product of a fiber with punctured disc? What about fiber is ...

**0**

votes

**1**answer

141 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

**0**answers

117 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

**2**answers

146 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

**0**answers

122 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

**0**answers

180 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

**0**answers

114 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

**0**answers

110 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

**1**answer

254 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 ...

**4**

votes

**1**answer

238 views

### degree of polynomials in nullstellensatz

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

**0**answers

68 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

**0**answers

91 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

**1**answer

296 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

**0**answers

96 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

**1**answer

78 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 ...

**10**

votes

**4**answers

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

**1**answer

165 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

**1**answer

167 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

**1**answer

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

**1**answer

195 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

**0**answers

66 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

**0**answers

72 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

**0**answers

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

**0**answers

91 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

**0**answers

249 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

**1**answer

143 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

**0**answers

64 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

**1**answer

121 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

**1**answer

172 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

**0**answers

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

**2**answers

427 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

**0**answers

66 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

**0**answers

233 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

**1**answer

518 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 ...

**118**

votes

**0**answers

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

**1**answer

416 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

**1**answer

106 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

**1**answer

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

**0**answers

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

**1**answer

109 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

**0**answers

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

**1**answer

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

**0**answers

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

**3**answers

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}$, ...

**4**

votes

**0**answers

88 views

### Real structure in the mixed Hodge structure associated to an isolated singularity

We know that a mixed Hodge structure on a complex vector space $H$ with an integral lattice $H_{\mathbb Z}$ consists of the weight filtration and the Hodge filtration. For an isolated hypersurface ...

**5**

votes

**1**answer

145 views

### Optimal definition of “paving by affine spaces”?

Cell decompositions have been used in topology for a long time as a tool in computing cohomology, but the notion in algebraic geometry and arithmetic geometry of paving by affine spaces (or "affine ...

**0**

votes

**1**answer

148 views

### Is having a particular curve a birational invariant [closed]

We work over $\mathbb C$. Let $X$ be a smooth quasi-projective variety and let $C$ be a smooth quasi-projective variety.
Suppose there is a non-constant morphism $C\to X$.
Let $Y\to X$ be a proper ...

**6**

votes

**0**answers

149 views

### Meaning of fibration in Kazhdan and Lusztig's paper on affine flag manifolds

Kazhdan and Lusztig's paper "Fixed point varieties on affine flag manifolds" has the following definition on p.143: define inductively a variety $Z$ to be an "almost affine space" if $Z$ is affine or ...

**0**

votes

**0**answers

52 views

### Isomorphy of finite $R$-algebras under special conditions

Let $R=k[x_1, \ldots, x_n]$ be the polynomial ring over a field of characteristic zero. Let $R \subseteq S$ be a finite ring extension i.e. $S$ is finitely generated as $R$-module (free if that helps) ...

**2**

votes

**0**answers

74 views

### Hodge Bundles on Tropical Spaces

I am not sure that this question even makes sense, which I suppose is part of the questions itself.
In any case, I attended a talk recently wherin there was some discussion about a "tropical ...