# Tagged Questions

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

**0**

votes

**0**answers

23 views

### Regular embeddings of reductive groups

A regular embedding of a connected reductive linear algebraic group $G$ defined over $\mathbb{F}_q$ is a morphism $\varphi : G \rightarrow G'$ of algebraic groups which is a closed immersion where ...

**0**

votes

**0**answers

28 views

### Calculate the intersection numbers by a plane section [on hold]

This question is from the chapter A of Reid's note: Chapters on algebraic surfaces
Let X = X$_d$ $\subset$ P$^3$ be a nonsingular surface of degree d and
suppose that X has a plane section P ...

**3**

votes

**0**answers

53 views

### Blowig-up a point in the singular locus

Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow ...

**0**

votes

**1**answer

59 views

### Is there a formula for the intersection of projectivized lines inside a projectivized vector bundle?

Let $E\rightarrow D$ be a complex rank two vector bundle over a compact complex
one dimensional manifold $D$. Let $L_1, L_2 \subset E$ be rank one subbundles of E
(i.e. line bundles). Let
$$ n_1:= ...

**1**

vote

**1**answer

115 views

### How does one compute the first Chern class of a Line bundle defined as the Kernel of a linear map?

Let $M$ and $N$ be compact complex manifolds of the same dimension ($m$) and
$\mu: M \rightarrow N$ a holomorphic map. Let $D \subset M$ be the subset of
points of $M$, where $d\mu|_p$ fails to be ...

**0**

votes

**1**answer

120 views

### Function field of the Jacobian of genus 2 curve over $\mathbb{F}_q$

I have been trying to build the function field of the jacobian of a genus 2 smooth curve over a finite field, but I am having problems making it explicit, I need to work with another curve with points ...

**0**

votes

**0**answers

52 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

**0**answers

114 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

**1**answer

103 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

**0**answers

53 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

**1**answer

24 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

**1**answer

181 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

**0**answers

51 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

**2**answers

211 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

**2**answers

345 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

**1**answer

196 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

**0**answers

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

**4**

votes

**0**answers

134 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

**0**answers

80 views

### About real roots of complex multivariable polynomials

Say we have a function $f : \mathbb{C}^{n+1} \rightarrow \mathbb{C}$ such that,
$f(z,w_1,w_2,..,w_n) = \prod_{k=1}^{q} (z - a_k) = A_i(w_i-b_i)(w_i-c_i) $ where the $a_i$ are known to be real for ...

**-1**

votes

**0**answers

181 views

### What is the error here? [on hold]

Let $X$ a curve of genus $g\geq 3$ with a double cover to an elliptic curve $Z$. Let $F$ be a rank $2$ and degree $1$ locally free sheaf on $Z$, and $G$ its pullback to X.
Then, by Serre duality ...

**1**

vote

**0**answers

62 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

**0**answers

65 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$ ...

**1**

vote

**0**answers

66 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

**1**answer

215 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

**1**answer

115 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

**2**answers

195 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

**0**answers

57 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

**1**answer

135 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

**0**answers

65 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

**1**answer

75 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

**1**answer

217 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

**1**answer

350 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

**0**answers

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

**7**

votes

**0**answers

77 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

**1**answer

146 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

**0**answers

51 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

**0**answers

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

**0**answers

152 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

**0**answers

85 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

**1**answer

284 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

**2**answers

281 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

**2**answers

196 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

**1**answer

296 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

**1**answer

163 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

**0**answers

79 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

**0**answers

95 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

**1**answer

177 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

**1**answer

162 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

**1**answer

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

**8**

votes

**1**answer

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