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

learn more… | top users | synonyms (1)

0
votes
1answer
118 views

Sections of proper, flat morphism

Let $f:X \to Y$ be a proper, flat morphism of projective scheme and $Y$ is an irreducible, non-singular surface. Assume further that there exists a Zariski open subset $U$ of $Y$ whose complement is ...
1
vote
0answers
49 views

open set of hyperplanes not meeting a family of lines

Let \begin{align} \Omega=\begin{bmatrix} L_1 & \cdots & L_{n-1} \\ M_1 & \cdots & M_{n-1} \end{bmatrix}\end{align} be a matrix of linear forms on $\mathbb{P}^n$, i.e. homogeneous ...
3
votes
1answer
180 views

The stack of group algebraic spaces

The fibred category $\mathcal A$ of algebraic spaces over a scheme $S$ is a stack (over the category of affine schemes with the etale topology). This is proved in Laumon and Moret-Bailly's book (see ...
2
votes
0answers
67 views

Surjectivity locus of a morphism of families of sheaves

Let $X$ and $T$ be schemes and assume we have two coherent sheaves $\mathcal{F}$ and $\mathcal{G}$ on $X\times T$ which are flat over $T$, that is these are families of sheaves parametrized by $T$. ...
0
votes
0answers
62 views

a closure argument regarding certain linear functionals on polynomials

Let $S_d$ be the vector space of homogeneous polynomials of degree $d$ in two variables $x,y$ over an algebraically closed field $k$. Let $\phi \in S_d^*$ be a linear functional on $S_d$, such that ...
3
votes
1answer
169 views

Stacks with a small coarse moduli space

Let $k$ be a field of characteristic zero. Let $X$ be a finite type algebraic stack over $k$ with a coarse (or good) moduli space $M$. Suppose that $M$ is isomorphic to a point, i.e., $M = Spec k$. ...
0
votes
1answer
139 views

Torsors and Central Extensions

In the setting of algebraic groups: I understand that a central extension of a group $G$ by an abelian group $A$ is a exact sequence of groups :$0\rightarrow A\rightarrow \tilde{G}\rightarrow ...
5
votes
1answer
239 views

Order of vanishing of an integer polynomial at a point

Let $f(x,y)$ be a polynomial with integer coefficients, and let $\alpha=(\alpha_1,\alpha_2)\in \mathbb{C}^2$ be a complex point. I want to show that $f$ cannot vanish at $\alpha$ to high order unless ...
2
votes
2answers
148 views

Pseudo-decision procedures for first order arithmetic

I was reading this paper http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.117.2911&rep=rep1&type=pdf in which the author describes an algorithm, based on Groebner basis, ...
0
votes
1answer
231 views

Kummer theory and ramified covers

Let $X \to Y$ be a cyclic cover of algebraic varieties, with $Y$ smooth and $X$ normal, say over the complex numbers. Let $G$ denote the Galois group and let $\chi$ be a character. By Kummer theory ...
23
votes
2answers
634 views

How slowly can a power of an ideal grow?

For a polynomial ideal $I\subset \mathbb{C}[x_1,x_2]$, let $D(I)$ be the smallest degree of any polynomial in $I$. How slowly can $D(I^n)$ grow as a function of $n$? For example, if $D(I^n)\leq ...
1
vote
2answers
183 views

meaning of $k$-rational for closed subschemes

Let $X$ be a variety over a field $k$. I know the definition of $k$-rational point: a closed point $x$ is $k$-rational if its residue field $k(x)$ is equal to $k$ (in general, $k(x)$ is only a finite ...
2
votes
1answer
286 views

About normalization

Let $$f\colon X \to Y$$ be a morphism of affine normal algebraic varieties over $\mathbb{C}$. Assume that $f$ is birational and bijective on closed points. Does normality imply that $f$ is an ...
6
votes
1answer
305 views

Is “quotient” of projective variety projective?

Suppose $X$ is a projective variety, $f\colon X\to Y$ is a finite surjective morphism onto variety $Y$, must $Y$ be a projective variety?
9
votes
1answer
413 views

Which degree does a motivic Galois representation show up in?

Consider a representation $\rho: \operatorname{Gal} (\overline{\mathbb Q} | \mathbb Q ) \to GL_n ( \overline{\mathbb Q}_\ell)$ that is a subrepresentation of $H^i(X, \overline{\mathbb Q}_\ell (j))$ ...
4
votes
1answer
165 views

Does this extension of Hodge structures split over $\mathbb{Q}$?

Let $X$ be a smooth projective curve of genus $\geq 1$ over $\mathbb{C}$, $H^\cdot=H^\cdot(X)$, and $K$ be the kernel of cup product $\cup: H^1\otimes H^1\rightarrow H^2$. Consider the extension of ...
0
votes
0answers
103 views

Hodge numbers and weight filtration

Let $X$ be a complex smooth projective variety and $D$ a divisor on $X$ with normal crossings. As usual, denote by $D(m)$ the disjoint union of all possible intersections of $m$ irreducible components ...
0
votes
1answer
144 views

When is the normal neighbourhood of the boundary of the moduli space of cuvres parametrized by exactly one branch?

Let $X$ be a compact complex manifold and $\beta \in H_2(X, \mathbb{Z}) $ a fixed homology class that is $\textit{decomposable}$. Let $$ \overline{\mathcal{M}}_{0,n}(X, \beta) $$ denote the stable ...
3
votes
1answer
233 views

Equivariant Derived Category

Can someone give me a reference for the following or an idea on why it is true? (This is taken from remark 1.5 on page 5 of http://arxiv.org/abs/0810.0794.) Suppose we have an algebraic group $G$ ...
2
votes
0answers
122 views

Projective bundle formula

Given a projective bundle $\mathbb{P}(E)\to X$, is there any reference for the projective bundle formula for Hodge cohomology ring $\oplus H^p(X,\Omega_{X/k}^q)$?
0
votes
0answers
116 views

Are fixed points of automorphisms rational?

Fix an integer $d$ and a number field $K$ containing the $d$-th roots of unity. Let $X$ be a variety over $K$ such that $Aut(X / K)$ has an element $\varphi$ of order $d$. Is it true that the fixed ...
0
votes
1answer
160 views

Grothendieck-Verdier duality for affine morphisms

Suppose $X,Y$ are varieties over $\mathbb{C}$, $Y$ is smooth and $X$ is Gorenstein ($X$ is not smooth in my case). Let $f: X \to Y$ be an affine morphism, and each fibre of $f$ has the same dimension ...
3
votes
1answer
187 views

Is the affine closure of a quasi-affine variety again a variety?

Question: Let $X$ be a quasi-affine scheme of finite type over a finite field $k$ and let $A:=\Gamma(X,\mathcal{O}_X)$. Under which conditions is it true that $A$ is a finitely generated $k$-algebra? ...
3
votes
1answer
205 views

Tate twist and comparison between Betti and de Rham cohomology

In Deligne's paper "Hodge cycles on abelian varieties" (see page 11 of http://jmilne.org/math/Documents/Deligne82.pdf) he says that the following diagram fails to commute by a factor of $(2 \pi i)^m$, ...
1
vote
1answer
124 views

Ext groups in the equivariant derived category

I apologize in advance that this question is probably too basic for MO, but I reckoned I would not get an answer on Math.Stackexchange. I am starting to learn about perverse sheaves, the ...
4
votes
0answers
159 views

Properties of schemes determined by field valued points [closed]

Are there any interesting cases (interesting here is interpreted rather loosely here) where you can show $X$ has property $P$ whenever all $X(K)$ have property $P$ where $K$ runs through all fields? ...
1
vote
0answers
105 views

Separability of a simple ring extension

Assume $A=K[x,y]\subset K[x,y][w]=B$, $K$ is a field of characteristic zero, $w$ is integral over $A$ (so $B$ is a f.g. $A$-module), but $w$ is not in the field of fractions of $A$, and $B$ is an ...
8
votes
1answer
324 views

Non-algebraic K3 surfaces in characteristic $p$

I have a very naive question. Recall that over the field of complex numbers, there exist non-algebraic K3 surfaces. Namely, smooth non-projective simply connected compact complex surfaces with ...
1
vote
1answer
153 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 ...
5
votes
0answers
147 views

Moduli of stable maps over the integers

Let $\overline{M}_{0,n}(X,\beta)$ be the moduli space of stable maps with target a smooth projective variety $X$. For which varieties $X$ and classes $\beta$ is $\overline{M}_{0,n}(X,\beta)$ well ...
1
vote
0answers
77 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
70 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
148 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
90 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
102 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
124 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
89 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
155 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
194 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 ...
4
votes
0answers
100 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
437 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
101 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$ ...
-1
votes
0answers
22 views

Hilbert Series of $\mathbb{C}^2$? [migrated]

Consider the following ideal in the polynomial ring $\mathbb{C} [x,y,z]$: \begin{equation} I = \langle z^2, yz \rangle \end{equation} One can compute the Hilbert series of the affine varieties ...
-1
votes
0answers
41 views

Real Lie groups and elliptic curves [migrated]

Let $f:A\to A'$ be a morphism of elliptic curves over the real numbers $\mathbb R$. It canonically induces a morphism $f(\mathbb R): A(\mathbb R)\to A'(\mathbb R)$ between the sets of real points, ...
5
votes
1answer
239 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
32 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
174 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$?
9
votes
1answer
306 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
192 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
39 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 ...