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

learn more… | top users | synonyms (1)

1
vote
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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 ...