# Tagged Questions

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

**3**

votes

**0**answers

45 views

### Is this $S$-birational map an open immersion on its domain of definition?

My question is about a claim on the bottom of p. 121 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud, so I will freely use the general terminology recalled in this book, but will ...

**-1**

votes

**1**answer

87 views

### Questions about the Moduli Space of Vector Bundles of rank 2 with trivial determinant

Let $M_0$ be the moduli space of rank 2 semi-stable vector bundles over X with trivial determinant which is a singular projective variety of dimension $3g-3$. $M_0$ is constructed as the $GIT$ ...

**-1**

votes

**0**answers

64 views

### Degrees of multilinear polynomials satisfying some constraints

Let $t<\sqrt{n}$.
$\Bbb Z^t[x_1,\dots,x_n]=\{f\in\Bbb Z[x_1,\dots,x_n]: deg(f)\leq t$ and $f$ is multilinear$\}$.
Fix an ordering of $S=\{0,1\}^n.$
If $f\in\Bbb Z[x_1,\dots,x_n]$, let $f(S)$ be ...

**1**

vote

**1**answer

79 views

### ideal of maximal minors is cohen-macaulay?

Let $k$ be an algebraically closed field.
Let $A$ be an $m \times n$ matrix with linear forms $a_{ij} \in k[x_1, \ldots, x_p]_1$ as entries. Let $I$ be the ideal generated by the maximal minors of ...

**1**

vote

**0**answers

91 views

### Proper monomorphisms in complex analytic spaces

In the algebraic geometry of schemes, we know that monomorphisms which are universally closed (= every pullback is a closed map) and of finite type are closed immersions. See Gortz, Wedhorn "Algebraic ...

**0**

votes

**0**answers

57 views

### How to see that this pairing of line bundles is multiplicative?

Given a projective flat morphism $p: X \rightarrow Y$ of integral noetherian schemes of relative dimension one.
For a coherent sheaf $F$ on $Y$ we can define a line bundle $det(F)$ on $Y$ and for a ...

**12**

votes

**1**answer

326 views

### A funny factorization of the Jacobian coming from the lines on the Fermat cubic

Here is something which came up in my algebraic geometry class, and I'm wondering if it has a deeper explanation. Let $F(w,x,y,z) = w^3+x^3+y^3+z^3$ and let $X$ be the cubic surface in $\mathbb{P}^3$ ...

**26**

votes

**4**answers

2k views

### Fermat's last theorem over larger fields

Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite.
Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite?
Here ...

**0**

votes

**0**answers

123 views

### Rational curves and Serre's construction

Why rational curves, used in Serre's construction of vector bundles, usually corresponds to unstable bundle? I saw this affirmation in Richard Thomas's paper on an obstructed bundle on a CY threefold.
...

**-1**

votes

**0**answers

103 views

### infinitesimally commutative diagram [on hold]

Consider $f:X\rightarrow Y$, $g:Y\rightarrow Z$, $h:Y\rightarrow Z$ morphisms of intregal and separated $k$-schemes of finite type.
We assume that at at point $x\in X$,
$h(x)=g(f(x))$ the level of ...

**-1**

votes

**0**answers

39 views

### singular point of a complete intersection surface [migrated]

Let $S:= H_1\bigcap H_2\bigcap \cdots \bigcap H_N \subset\mathbb{P} _{\mathbb{C}}^{N+2}$ be a complete intersection surface, where each $H_i$ is a hypersurface defined by a homogeneous equation $f_i$.
...

**4**

votes

**0**answers

152 views

### Etale Slice Theorem

I found the Luna's Slice Theorem very Technical. It will be helpful if someone illustrates the geometry involved in the theorem. Also why this theorem so useful?
This is Luna's Slice theorem from a ...

**16**

votes

**3**answers

1k views

### Massive cancellations

Let $A=\{a_1,\ldots,a_k\}$ be a fixed, finite set of reals. Let $S_A(n)$ be the set of all reals that are expressible as the sum of at most $2^n$ terms, where each term is a product of at most $n$ ...

**-1**

votes

**0**answers

54 views

### On multilinear linear combinations

If $K$ is algebraically closed field, then consider $m$ multilinear 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$ ...

**10**

votes

**2**answers

361 views

### Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?

(For a formulation of the Mumford–Tate conjecture, see below.)
The question
As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...

**0**

votes

**1**answer

90 views

### Stability conditions of coherent sheaves on abelian 3-folds

My work for now consists on understanding stability conditions of coherent sheaves on abelian 3-folds. I have the book by D. Huybrechts (the geometry of moduli spaces of sheaves), But I would like to ...

**0**

votes

**1**answer

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

**-1**

votes

**0**answers

54 views

### Is it true that standard R-algebra remains standard after going modulo a homogeneous ideal [on hold]

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

**0**

votes

**0**answers

162 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=S\backslash S_1$ of $S$, there exits a multilinear polynomial $h$ such that $h(s)=1-h(s'),\mbox{ }\forall ...

**2**

votes

**1**answer

98 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

**1**answer

228 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

**2**answers

218 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

**1**answer

183 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

136 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

159 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

136 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

221 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

128 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

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

**1**

vote

**1**answer

261 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

**1**answer

355 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

**0**answers

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

**6**

votes

**0**answers

151 views

+50

### 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

308 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

102 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

81 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

**4**answers

1k views

### Robotics, Cryptography, and Genetics applications of Grothendieck's work? [closed]

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

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

**1**answer

176 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

154 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) = ...

**4**

votes

**1**answer

205 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

71 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

76 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

64 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

97 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

257 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

151 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

68 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

126 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

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