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

**1**

vote

**1**answer

157 views

### Göttsche's formula for non-compact complex surfaces?

Is the Göttsche's formula (Eq (2.1) of this paper) expressing the Poincare polynomial (or the Euler char version) of the Hilbert scheme of points on a projective surface valid for non-compact complex ...

**1**

vote

**0**answers

85 views

### dimension of singular locus and complete intersection of a hypersurface

Let $X$ be a reduced projective hypersurface over a field $k$, which is defined by the homogeneous equation $f(T_0,\ldots,T_n)=0$. If the dimension of the singular locus of $X$ is $s$, $0\leq s\leq ...

**4**

votes

**0**answers

71 views

### Effective Nullstellensatz and bounds on the nilpotency index of reduced ideal together with linear forms

Let $K$ be an algebraically closed field of characteristic $p>0$
and let $I\subset K[x_{1},\dots,x_{n}]$ be an ideal generated by
(homogeneous) polynomials of degree $d$. Assume that $I$ is ...

**4**

votes

**1**answer

156 views

### Blow-up as polar coordinates?

While doing some explicit calculations involving a blow-up of the plane in a point, I realised what I was doing was basically writing things in polar coordinates. Somewhat astonished that I hadn't ...

**2**

votes

**1**answer

91 views

### sub-variety of (P^1)^4

Let $S$ be the sub-algebra generated by the set $\{x_1x_2y_3y_4, x_1x_3y_2y_4, x_1x_4y_2y_3, x_2x_3y_1y_4, x_2x_4y_1y_3, x_3x_4y_1y_2\}$ of homogeneous polynomials of degree $4$. I need to study the ...

**0**

votes

**1**answer

103 views

### Formal Power series decomposition

Let $G$ be a linear algebraic group over $\mathbb C$ (say $SL_r$) consider a formal power series $$g(t)\in G(\mathbb C((t)))$$
My question is: Is it possible to decompose $g$ as $$g=ha$$ with $h\in ...

**0**

votes

**0**answers

132 views

### How does one define Moduli spaces in Symplectic Geometry and naively interpret higher genus GW Invariants?

This is a very basic question about the definition of Moduli space of maps.
My reason for asking this question is because I haven't actually seen this
definition explicitly given anywhere, and hence ...

**1**

vote

**0**answers

94 views

### Moduli space of line-bundle holomorphic structures and sections over a Kahler-Hodge manifold

Let $(M,\omega)$ be a Kahler manifold with Kahler integral two-form $\omega$ and let $(L,h)$ be a rank-one complex vector bundle over $M$ equipped with a fixed hermitian metric $h$. I am interested in ...

**2**

votes

**0**answers

158 views

### Unirationality and the Hasse principle

Is there an example of a quasiprojective variety $X$ defined over ℚ such that
$X$ is unirational over all finite fields, and
$X$ is unirational over $\mathbb{R}$, and
$X$ is not unirational over ...

**3**

votes

**1**answer

199 views

### Automorphisms of surfaces

Let $X$ be a projective surface with a morphism $f:X\rightarrow\mathbb{P}^1$. Assume that $f^{-1}(t)\cong\mathbb{P}^1$ for any $t\neq 0$ but $f^{-1}(0)$ is the union of two $\mathbb{P}^1$'s ...

**6**

votes

**1**answer

187 views

### Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...

**4**

votes

**1**answer

447 views

### Topology of algebraic varieties

Let $X$ be a projective variety (lets say normal and irreducible) with the topology coming from being a subspace of $\mathbb{P}^N$ (and not the Zariski topology). Surely one can then define the ...

**3**

votes

**0**answers

103 views

### Is there a difference between the inertia stack and the universal automorphism group

Let $\mathcal M$ be a stack representing some moduli problem. Let $\mathcal X\to \mathcal M$ be the corresponding universal family.
What is the difference between the inertia stack $I\to \mathcal M$ ...

**5**

votes

**1**answer

243 views

### Algebraic spaces which are automatically schemes

Let $S$ be a scheme, and let $f:X\to S$ be a morphism of algebraic spaces.
If $f$ is smooth proper curve of genus at least two, then $X$ is a scheme. (Here I mean that $f$ is a smooth proper morphism ...

**2**

votes

**0**answers

33 views

### Differential of boundary morphisms in the moduli space of pointed stable curves

Recall that first order deformations of a smooth pointed curve $(C,p_1,\ldots,p_n)$ are parametrized by $H^1(C,{\cal{T}}_C(−p_1−\ldots−p_n))$ and in the stable case is ...

**4**

votes

**1**answer

176 views

### Can every genus $2$ curve be written as ramified cover of elliptic curve?

Suppose $C$ is a curve of genus $2$, does $C$ admit a surjective morphism onto some elliptic curve $E$?

**10**

votes

**1**answer

310 views

### Embedding linear algebraic groups of a given dimension into a fixed $\mathrm{GL}_N$

Given $n$, can $n$-dimensional linear algebraic groups over $\mathbb{C}$ be embedded into $\mathrm{GL}(N,\mathbb{C})$ for a uniformly bounded $N$?
Thanks so much for your reply!

**1**

vote

**1**answer

195 views

### A $d$-form on ${\mathbb R}^n$ that vanishes on $\binom{d+n-1}{n-1}$ general points, vanishes identically

I'm looking for a reference for the fact that a $d$-form on ${\mathbb R}^n$ that vanishes on $p_1,..,p_{\binom{d+n-1}{n-1}}$ general points, vanishes identically.
A specific construction of a set of ...

**0**

votes

**0**answers

40 views

### center of divisorial valuations on toric varieties

Suppose we are given a divisorial valuation $\mathcal{v}$ on a smooth toric variety $X_{\Sigma}$ (for a fan $\Sigma$), i.e. $\mathcal{v}$ is the valuation induced by a torus invariant divisor ...

**1**

vote

**0**answers

97 views

### A question on exponential sums

Let $F(x_1, \cdots, x_n) \in \mathbb{Z}[x_1, \cdots, x_n]$ be a homogeneous polynomial, irreducible over $\mathbb{Q}$. Let $A$ be a positive constant, and let $B$ be a positive real number understood ...

**0**

votes

**0**answers

70 views

### Finding a set of generators of an ideal with certain property in $k[x_1, …, x_n]$

I am interested in the following problem, and I would appreciate any comments, inputs, answers, references! Let $k$ be a field. For each $1 \leq j \leq n$, let
$$
I_j = (x_j, u_{2}^{(j)}, ..., ...

**1**

vote

**0**answers

93 views

### cohomlogy of Diagonal ring

Let $S=\bigoplus_{\underline n\in\mathbb N^r } S_{\underline n}$ be a standard multigraded ring over a local ring and M be a finitely generated $\mathbb N^r $-graded $S$-module. Let ...

**3**

votes

**0**answers

157 views

### Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?

See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background.
If ...

**11**

votes

**0**answers

186 views

### q-Catalan numbers from Grassmannians

In this question by $q$-Catalan numbers I mean the $q$-analog given by the formula $\frac{1}{[n+1]_q}\left[{2n\atop n}\right]_q$. The polynomial $\left[{2n\atop n}\right]_q$ represents the class of ...

**0**

votes

**0**answers

102 views

### Free resolutions of affine (non-projective!) varieties

Say, you have an ideal $I$ of a polynomial ring $R = K\lbrack X_1,\ldots,X_n \rbrack$ over an algebraically closed field $K$ (you can assume $K = \mathbb{C}$). What does a minimal free resolution of ...

**1**

vote

**1**answer

143 views

### Completion of discrete valuation ring

Let $R$ be an excellent, Henselian, discrete valuation ring with algebraically closed residue field and $\hat{R}$ be the completion of $R$. If I understand correctly, the residue field of $\hat{R}$ is ...

**0**

votes

**1**answer

122 views

### Change of grading used in the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring” by Eero Hyry

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I do not understand the following part in Lemma 1.1. here.
Let ...

**6**

votes

**0**answers

96 views

### Geometric interpretation of Schmidt rank

For a form $f \in k[x_1, \cdots, x_n]$, where $k$ is a field of characteristic zero (or more specifically, a number field, and usually $\mathbb{Q}$). The Schmidt rank of $f$ (with respect to $k$), ...

**6**

votes

**1**answer

178 views

### Pontryagin Forms and Special Holonomy

Let $(M,g)$ be a Riemannian manifold. Recall that the $k^{th}$-Pontryagin class is a topological invariant which, by classical Chern-Weil theory, can be represented using the so-called Pontryagin ...

**0**

votes

**0**answers

124 views

### Determining a scheme $X$ is affine from $Qcoh(X)$

My question is a subquestion of this question. And a repost from this MSE question.
The settings is the following. Let $X$ be a scheme. Assume that the adjunction in TAG01BH of the stacks project is ...

**5**

votes

**1**answer

181 views

### Intuition for thinking about $R$-module of Kähler differentials, universal receptacles, derivations?

Suppose $k$ is a field of characteristic zero, and $R$ is a $k$-algebra. The $R$-module of Kähler differentials $\Omega_{R/k}$ of $R$ over $k$ with generators $\{dr\}_{r \in R}$ is the module subject ...

**13**

votes

**0**answers

315 views

### Is there a motivic Cauchy integral formula?

Let $R$ be a complete dvr with fraction field $K$ and residue field $k$, and let $X, Y$ be two smooth projective $R$-schemes with isomorphic generic fibers.
Is it true that $[X_k]=[Y_k]$ in ...

**0**

votes

**1**answer

125 views

### Chow groups of rational varieties

Let $X$ be a smooth projective rational variety over a field $k$. Let $CH^i(X)$ denote the Chow group of codimension $i$ algebraic cycles on $X$ modulo rational equivalence. What can one say about ...

**4**

votes

**1**answer

212 views

### Picard groups of Fano varieties in positive characteristic

Let $k$ be an algebraically closed field of characteristic $p \geq 0$. Let $X$ be a smooth Fano variety over $k$ and let $\ell \neq p$ be a prime.
Is the natural morphism $\mathrm{Pic}(X) \otimes ...

**0**

votes

**0**answers

92 views

### Classification of compact Shimura curves

Is there a classification that determines all isomorphism classes of compact Shimura curves at least Shimura curves in $A_g$? I did not find this in the literature and appreciate any helpful ...

**7**

votes

**1**answer

105 views

### Elementary proof of a triangular grid lemma

I am looking for an elementary proof of the following lemma, which concerns what Green and Tao call "triangular grids" (see arXiv:1208.4714).
Let $a_1$, $a_2$, $a_3$, $a_4$, $b_1$, $b_2$ be six ...

**1**

vote

**1**answer

211 views

### Strong form of Grothendieck's algebrization theorem

Let $R$ be a Henselian discrete valuation ring with algebraically closed residue field $k$ ($R$ is not necessarily complete), $X$ a regular surface over $\mathrm{Spec}(R)$ and a sequence of locally ...

**1**

vote

**1**answer

144 views

### What is the moduli functor $\mathbb{P}Ext^1(L,M)$ represents

Let $X$ be an algebraic space and $L,M$ are vector bundles with rank $n,m$.
Then, It is known that $\mathbb{P}Ext^1(L,M)$ is a parameter space for isomorphism classes of vector bundle of rank $n+m$, ...

**0**

votes

**1**answer

110 views

### polynomial expression for counting number of integral points of a set

Let $v_i=a_ie_i\in\mathbb R^d$ and $w_i=b_ie_i\in\mathbb R^d$ for $i=1,\dots,d$ where $e_i$'s are unit vetcors and $a_i,b_i$ are positive integers. Let $$S=conv\{0,rv_i+sw_i:i=1,\dots,d\}.$$
Can we ...

**1**

vote

**0**answers

73 views

### A question about extension of relative subvariety

Let $X\rightarrow S$ be a holomorphic family of projective manifolds. My question is: can we find a Zariski open set $S'\subset S$ such that for any $t\in S'$, any given subvariety $Y\subset X_t$ with ...

**0**

votes

**0**answers

101 views

### Geometric transitions of Calabi-Yau threefolds

Let me start with the definition of geometric transition:
Let $Y$ be a Calabi–Yau 3–fold and $\phi: Y \rightarrow \overline Y$ be a birational contraction onto a normal variety. If there exists a ...

**-6**

votes

**1**answer

228 views

### Quintic Equation [closed]

Can we solve the following polynomial quintic equation by radicals
x^5 + x^4 = 1
I found one real root which is algebraic solution (no approximation method ...

**1**

vote

**1**answer

169 views

### A key step in Del Busto's effective Matsusaka theorem

I'm reading a proof of del Busto (http://arxiv.org/pdf/alg-geom/9410018v1.pdf) and am confused at one step. I'm sure its quite easy, but the key trick hasn't come to me yet.
The context here is that ...

**2**

votes

**0**answers

93 views

### relations in (\mathbb P^1)^n

What is a minimal set of relations of the image of $(\mathbb P^1)^n$ in the Segre embedding? For $n=2$ its just the determinant $x_1x_2.y_1y_2=x_1y_2.x_2y_1$. Is it written explicitly somewhere?

**1**

vote

**1**answer

144 views

### On functors which are generically representable

Let $F$ be a set-valued (contravariant) functor on the category of schemes. Let $F_{\mathbb Q}$ be the associated functor on the category of schemes over $\mathbb Q$.
Suppose that $F_{\mathbb Q}$ is ...

**2**

votes

**0**answers

63 views

### Question related to $h$-invariant of a form

Let $k$ be a field.
Given a form $f \in k[x_1, ..., x_n]$ of degree at least $2$, we define the
Schmidt rank, also known as the $h$-invariant, $h_k(f)$ to be the
least positive integer $h$ such that ...

**3**

votes

**0**answers

151 views

### Is there a Hochschild-Serre spectral sequence for unramified cohomology?

Similar to the Hochschild-Serre spectral sequence for etale cohomology ($H^p(G, H^q_{et}(X_L, \mathcal F|_{X_L})) \Rightarrow H^{p+q}_{et}(X, \mathcal F)$ for a Galois field extension $L/k$ with ...

**2**

votes

**1**answer

141 views

### Constant spinors from constant forms

Let $(X,g)$ be a $m$-dimensional complex, hermitian, spin manifold and let us denote by $S_{\mathbb{C}}$ its complex spinor bundle. Then:
$S_{\mathbb{C}}\simeq \Lambda_{\mathbb{C}}(X)$
Let $\nabla$ ...

**1**

vote

**0**answers

58 views

### About properties of polynomials with common interlacing

Say $\{a_1,a_2,..,a_n\}$ and $\{b_1,b_2,...,b_n\}$ be the real roots of two monic polynomials of degree $n$ which have a common interlacing. (say I have arranged the roots in increasing order)
Can ...

**9**

votes

**1**answer

328 views

### Excellent rings

If A is an excellent commutative ring and G is a finite group of automorphisms of A, is the invariant subring A^G still excellent ? I think this is false -- because if not it would probably be written ...