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

learn more… | top users | synonyms (1)

0
votes
0answers
69 views

Pro-constructible subset of scheme intersects very dense subsets?

Let $X$ be a scheme, let $D$ be a very dense subset of $X$ and let $Y$ be a pro-constructible subset of $X$. Is it true that $Y \cap D \neq \emptyset$? If $Y$ is just constructible, this is true. ...
0
votes
0answers
163 views

Multiplication Map, Is it invariant?

Let $\pi:X\rightarrow Z$ a double cover of an elliptic curve with genus $g\geq 3$. Choose a general rank 2 and degree -1 vector bundle $F$ on $Z$, let $E=\pi^*F$ and fix $x\in X$. The involution $i$ ...
1
vote
1answer
175 views

Relation between intersection and product of ideals

Let $C$ be a smooth projective (irreducible) curve in $\mathbb{P}^n$ for some $n$. Denote by $I_C$ the ideal of $C$. Let $g \in I_C\backslash I_{C}^2$, an irreducible element. Is it true that for any ...
0
votes
0answers
64 views

A simple question about a resolution of a conifers singularity

Let $X$ be a conifold defined by the equation $xy-zw=0$ in $\mathbb{C}^4$ and $\tilde{X}$ its crepant resolution, which is isomorphic to $\mathcal{O}_{\mathbb{P^1}}(-1)^{\oplus 2}$. Then there is a ...
1
vote
1answer
33 views

About convex combinations of real-stable multivariable complex polynomials

Say $f: \mathbb{C}^{n+1} \rightarrow \mathbb{C}$ is a real stable multivariable polynomial on the variables $(z,w_1,w_2,...,w_n)$. (a "real-stable" polynomial is one which has no zeroes in the open ...
2
votes
1answer
220 views

What happens to the cohomology ring after a “flip-flop”?

I've been trying to understand what happens to the cohomology ring (say with coefficients in $\mathbb{R}$) of a smooth complex projective manifold after blowing up along a smooth complex submanifold. ...
2
votes
1answer
134 views

Higher genus Gromov-Witten potential

Is it known if the higher genus (gravitational) Gromov-Witten potential is split in a classical and quantum part like the genus 0 Gromov-Witten potential? If so, Could someone give a reference?
8
votes
2answers
263 views

Implicit Function Theorem on Singular Varieties

Let $X$ and $Y$ be two complex reduced affine algebraic or analytic varieties, possibly singular. Take a regular proper function $$f\colon X \to Y $$ and assume that it is bijective at the level of ...
9
votes
2answers
377 views

Is there an analogue of the Tate (and Hodge) conjecture for varieties that are not proper smooth (i.e., the mixed case)?

Let $X/K$ be a variety (scheme of finite type, geometricaly integral) over a finitely generated field $K$. If it is smooth and proper, we can formulate the Tate conjecture, and if $\text{char}(K) = 0$ ...
7
votes
1answer
235 views

A proper smooth surface is projective

My question is a reference request for the following fact: if $k$ is a field and $X$ a proper smooth surface over $k$, then $X \rightarrow \mathrm{Spec}\, k$ is projective. Where is this well-known ...
5
votes
0answers
104 views

Intersections of the B-orbits and the orbits of some other Borel subgroups in the flag variety G/B

This is a follow-up of this previous question below: Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$ Let $G = SL_n(\mathbb{C})$, $B$ be the standard Borel subgroup, and consider some ...
5
votes
0answers
148 views

Automorphisms of a quotient variety

Let $X$ be a variety, and $G\subset Aut(X)$ a subgroup of the automorphism group of $X$. Assume that the quotient $Y = X/G$ is a variety. Does there exist some simple relation between $Aut(X)$, $G$ ...
1
vote
0answers
67 views

Are all (graded) Artinian complete intersections like this?

I'm trying to prove some stuff (it's not important what) about (graded) Artinian complete intersections $R=\mathbb{C}[x_1,\ldots,x_n]/I$, where the $x_i$ have certain positive weights and where $I$ is ...
1
vote
0answers
70 views

“Exceptional components” of the exceptional divisor of a blow up

Assume we are blowing up an ideal $I$ on an affine variety $X$, let $E$ be the exceptional divisor, and $P$ be a (closed) point in $V$, the zero set of $I$. Is there any algorithm to check that $E$ ...
2
votes
0answers
71 views

Degree 2 curves on a degree d hypersurface in P^(2d+2)/3

One of the foundations of Gromov-Witten theory is the use (due to Kontsevich I think) of localization to calculate the number of degree $n$ curves on a general quintic 3-fold. When calculating the ...
6
votes
1answer
291 views

Find a polynomial not in any ideal generated by polynomials of total degree $o(n)$

Is there an explicit nontrivial (= not a constant) polynomial $p \in \mathbb{C}[x_1, \ldots, x_n]$ such that, for any ideal $I \not= \mathbb{C}[x_1, \ldots, x_n]$ generated by $f_1, f_2, \ldots, f_m$ ...
3
votes
1answer
124 views

reference for “curves over S are locally the base change of a curve over S' which is finite type over R”

So recently I heard someone claiming that if $X\rightarrow S$ is a smooth curve (not necessarily proper?) and $S$ is an arbitrary scheme over $\text{Spec }R$ (for $R$ sufficiently nice), then there is ...
3
votes
2answers
204 views

A question on the effective cone

Let $X$ be a projective variety and $G$ a finite group acting on $X$. We consider the quotient $\pi:X\rightarrow Y :=X/G$. I'm interested in the relation between $Eff(X)$ and $Eff(Y)$. In ...
1
vote
0answers
66 views

Normal bundles of rational equivalent curves

Let $C_1, C_2$ be rationally equivalent curves in a smooth projective variety $P$. Let $$N_i: = \mathcal{H}om(I_{i}/I^2_{i}, \mathcal{O}_{C_i})$$ be the normal bundle of $C_i$, where $I_i$ is the ...
4
votes
1answer
153 views

liftings of principal bundles

I would like to know what structure has the category of liftings of a principal bundle. Let me be more precise. Fix $k$ an algebraically closed field and $X$ a smooth projective variety over it (for ...
2
votes
0answers
78 views

Deformation with fixed ramification

Suppose that $f : X \to Y$ is a finite, surjective morphism of normal varieties. I want to know about the space of first-order deformations of $X$ over $Y$ with fixed ramification, i.e. the ...
0
votes
1answer
81 views

Intersection multiplicty and global sections

Let $X$ be a smooth projective variety, $V, W$ closed subschemes in $X$ such that $V \cap W$ is finitely many points. Let $\mathcal{L}$ be a line bundle on $X$. Is there any relation between ...
1
vote
1answer
221 views

Proof of “generic curve of genus at least 2 has no nontrivial maps to a positive genus curve”

I searched for it for a long time, but it seems that everybody is taking this for granted and does not bother to point out a proof. Would it be possible that someone points me to a proof or makes me ...
5
votes
1answer
365 views

Structure of the automorphism group of a Riemann surface

I was wondering if anything is known about the possible structure of $\mathrm{Aut}(S)$ for a Riemann surface $S$. More precisely, are there known obstructions for a finite group $G$ to be such an ...
5
votes
0answers
156 views

Adjunction map for projective surfaces

Before stating my question, let me recall (part of) the classical result on the adjunction map for complex projective surfaces, due in this modern form to Beltrametti and Sommese: Adjunction ...
8
votes
0answers
87 views

Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...
0
votes
1answer
159 views

Hyperelliptic curve of genus 2 over R

I know that the points of an elliptic curve over $\mathbb{Q}$, $\mathbb{R}$ or other field $K$ form a group, particularly the most common example to explain the naive way is with this curve ...
0
votes
0answers
54 views

constant of functional equation of zeta function

Let $C$ be a smooth projective curve, of geometric genus $g$, over a finite field $\mathbb{F}_p$ and consider the zeta function $$ Z(C/\mathbb{F}_p, t)=\exp(\sum_{n=1}^{\infty} |C(\mathbb{F}_{q^n})| ...
-2
votes
0answers
9 views

Finding coordinates of pyramid with known base, and known angles for apex [migrated]

I have a regular pyramid, where I know the 3d coordinates of all points on the base, and I know all of the angles associated with the apex. I'm wondering if there's a known method to determine the ...
2
votes
0answers
193 views

Fixed points of self maps

Given $m$ points on $S^n$, is there an explicit polynomial self $1-1$ map of minimum degree $f:S^n\rightarrow S^n$ that fixes only these $m$ points? Can we say something about symmetry group of $f$ if ...
0
votes
0answers
88 views

A birational compatification problem

Let $P_1$ be a projective variety over $\mathbb{C}$, and $Y_1 \subseteq P_1$ be a codimension $1$ (irreducible) subvariety. Suppose there is a blowdown morphism $Y_1 \to Y_2$. Then can I find a ...
2
votes
1answer
302 views

Exactness on rational points of algebraic groups

Let $k$ be a finite extension of the p-adic number field $Q_p$ and G be a connected algebraic (not affine) group over $k$. It is well-known (see e.g. [1] Proposition 3.1) that G decomposes as ...
7
votes
2answers
292 views

Deformations of a blowup

Let $S$ be a smooth projective surface over $\mathbb{C}$. (I guess this can be more general—higher dimension, other ground fields, non-projective, maybe even singular?—and I'dd like to hear that.) Let ...
1
vote
2answers
209 views

Is there a formula for the total Chern Class of the tangent space of a projectivized vector bundle?

Let $V\rightarrow M$ be a complex vector bundle (of rank $k$) over a complex manifold $M$ (you can assume $M$ is compact if that helps, but it may not be relevant to my question). Let $\pi:\mathbb{P}V ...
-1
votes
1answer
328 views

Axioms for sheaf cohomology

Let $R$ be a commutative ring and $X$ a topological space. Define a sheafy cohomology theory (see here) to be a collection of functors $\mathrm{H}^q:\mathrm{Sh}(X;R\mathrm{Mod})\to R\mathrm{Mod}$ such ...
0
votes
1answer
216 views

Artin approximation of a diagram

Let consider $f:(X,x)\to (Z,z)$ and $g:(Y,y)\to (Z,z)$ morphisms of pointed $k$-schemes of finite type ($k$ is a field). Suppose that there exists a map on the level of formal neighborhoods ...
2
votes
0answers
87 views

Real-rooted polynomials and higher rank matrices

For $A$ and $B$ being matrices of the same dimension and $B$ being rank $1$, one knows that $det(A+tB)$ is a linear polynomial in $t \in \mathbb{R}$. Hence by Taylor series it follows that $det(A + ...
3
votes
0answers
98 views

Pic^0 of the surface of bitangents of a quartic

Let $S$ be a generic quartic surface in $\mathbf{P}^3$. Let $T$ be the surface of the lines bitangent to $S$. What can we say about $Pic^0(T)$?
4
votes
1answer
187 views

Explicit bounds for transfer results in algebraic geometry

Assume you have an ideal $I\subseteq\mathbb{Z}[X_1,\ldots,X_n]$ of the polynomial ring in $n$ variables over the integers. For any field $\Bbbk$, I can consider the ideal ...
8
votes
1answer
183 views

Can Enriques Surfaces have non-trivial TWISTED Fourier-Mukai partners?

It is a well-known fact that for an Enriques surface $Y$, if $D^b(Y)\cong D^b(X)$ for some smooth projective variety $X$, then $X\cong Y$. In other words, Enriques surfaces have no non-trivial ...
0
votes
1answer
122 views

Hodge structure of relative cohomology groups

I need a hint or a good reference for definition of mixed Hodge structure on the relative cohomology groups ($\mathrm{H}^*(X,Y)$, $Y\subset X$ a closed subvariety of a comolex quasiprojective variety ...
9
votes
1answer
364 views

The difference between an étale finite group scheme and a finite group

I am trying to understand the statement that a Deligne-Mumford stack is locally a quotient $[U/G]$, where $G$ is a finite group. I don't understand why you can make $G$ a finite group, instead of a ...
1
vote
1answer
271 views

Non-proper intersection of surfaces

I'm interested in the first basic case of excess intersection in intersection theory: Let $X$ be a smooth projective 4-fold and let $S,T$ be two surfaces in $X$. Assume that the intersection $S\cap ...
2
votes
1answer
113 views

How can one parametrize a real elliptic normal curve such that four points are coplanar iff their parameters sum to zero?

Let $E \subset \mathbb{P}^3_{\mathbb{R}}$ be a real elliptic normal curve with two non-null-homotopic connected components. Is there a parametrization $$ \chi: (\mathbb{R}/\mathbb{Z})\times ...
6
votes
0answers
135 views

Is the quotient of a scheme by the free action of an elliptic curve an algebraic space?

Let $X$ be a scheme (I'm happy to assume that $X$ is of finite type, separated, and over $\mathbb{C}$) and let $E$ be an elliptic curve which acts freely on $X$. Does the quotient stack $[X/E]$ have ...
2
votes
1answer
113 views

Extending holomorphic forms

Let $X$ be a normal variety over $\mathbb{C}$ and $\pi:\tilde{X}\rightarrow X$ a log resolution with (reduced) exceptional divisor $E$. Let $U$ be the smooth locus of $X$ and $\omega$ a holomorphic ...
1
vote
2answers
305 views

Line bundles over Kähler–Hodge manifolds

A Kähler–Hodge manifold $M$ can be defined as a Kähler manifold whose Kähler form $\omega$ is integral, namely $\omega\in H^{2}(M,\mathbb{Z})$. It is known then that there always exists a Hermitian ...
2
votes
1answer
137 views

Vanishing theorems involving symmetric powers of Kahler differential

Let $X$ be a smooth complex projective variety of dimension $d$ and $\Omega_X$ be its K$\ddot{\text{a}}$hler differential. Given an ample line bundle $L$ on $X$ and a positive number $k\ge 1$, denote ...
7
votes
1answer
309 views

$R^{\dim X-\dim Y}f_{\ast}\omega_X \simeq \omega_Y$ in positive characteristic?

In Proposition 7.6 of his paper "Higher Direct Images of Dualizing Sheaves", Kollár shows that if $X,Y$ are smooth complex projective varieties and $f:X\rightarrow Y$ is a proper surjective morphism ...
0
votes
0answers
98 views

Continuous isometries on Ricci flat compact manifolds

If I am not mistaken, a compact Ricci-flat manifold can have at most torus isometries. What is the name of the corresponding theorem or where can I find this result proven? It is known that ...