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

learn more… | top users | synonyms (1)

3
votes
1answer
92 views

Intersections of hypersurfaces of degree $d$ in $\mathbb CP^n$

Is it true that every projective sub-variety of degree $d$ in $\mathbb CP^n$ is an intersection of some number of hypersurfaces of degree $d$? Is there some simple proof of this fact? (I believe this ...
1
vote
0answers
150 views

On the Hitchin fibration

I will refer to Simpson's "Higgs bundles and local systems". Proposition 1.4: When $X$ is a smooth projective variety, one can build up the moduli space $\mathcal{M}(X,r)$ of rank $r$ Higgs ...
4
votes
0answers
87 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
0answers
89 views

Questions about the Moduli Space of Vector Bundles of rank 2 with trivial determinant [migrated]

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
0answers
79 views

Degrees of multilinear polynomials satisfying some constraints [on hold]

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
1answer
94 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
0answers
100 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 ...
1
vote
0answers
92 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
1answer
357 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
4answers
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
0answers
133 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
0answers
105 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
0answers
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
0answers
166 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 ...
18
votes
4answers
2k 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
0answers
57 views

On multilinear linear combinations [on hold]

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
2answers
365 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
1answer
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
1answer
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
0answers
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
0answers
166 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
1answer
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
1answer
231 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
219 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
185 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
139 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
161 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
137 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
224 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
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
156 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
1answer
310 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
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
1answer
82 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? [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
1answer
169 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
180 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
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
1answer
206 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 ...
0
votes
0answers
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
0answers
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
0answers
101 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
259 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
153 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
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
1answer
127 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 ...