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

learn more… | top users | synonyms (1)

0
votes
0answers
65 views

Lefschetz hyperplane theorem for Neron-Severi

Suppose that $X$ is a smooth projective variety of dimension at least $3$, and that $D$ is a smooth ample divisor. I am wondering to about the status of the Lefschetz hyperplane theorem for the map ...
1
vote
1answer
147 views

On Q-Cartier Divisors

I have my question on Q-Cartier Weil divisor. People say $D$ is Q-Cartier divisor if $nD$ is Cartier for some $n \geq 1$. Especially for $n > 1$, I have never seen the `rigorous' definition of ...
1
vote
0answers
201 views

An example of threefold

Its description is a little bit complicated but it would be great if anyone can give an example. I tried to construct it as a toric variety (See the previous question) but did not succeed. I am ...
5
votes
1answer
167 views

Evaluation maps for moduli of stable maps

Let $\overline{M}_{0,n}(\mathbb{P}^N,d)$ be the moduli space of stable maps of degree $d$ from curves of genus zero with $n$-marked points to $\mathbb{P}^N$. Consider the product of the evaluation ...
2
votes
0answers
55 views

completion of non-finitely generated ideal

Let consider $A=k[x_{1},x_{2}...]$, the polynomial ring with countably many indeterminates. Then we can consider the completion ...
0
votes
1answer
90 views

Existence of a special Kahler structure on the contangent bundle

It is known that the total space of the cotangent bundle $T^{\ast}M\to M$ of any manifold $M$ can be equipped with a Kahler structure. My question is, it is known when $T^{\ast}M$ admits a Special ...
5
votes
0answers
69 views

Real Zeros - tail estimate

Given a random polynomial with Gaussian coefficients, the Kac-Rice formula tells us what the expected number of real zeros is (for more on this, see the excellent paper of Edelman and Kostlan in the ...
-1
votes
0answers
27 views

Whats the name of a cylinder with 3 parabolic equilateral points? [closed]

If we start with a normal cylinder and pinch in 3 sides so that the top-down view looks like a curved, three-pointed equilateral star, what is the name of this shape and what's it's function look like ...
4
votes
0answers
143 views

When do we have $D_{\text{perf}}(\text{Qcoh}(X))\simeq D_{\text{perf}}(X)$?

Let $(X,\mathcal{O}_X)$ be a scheme (or more generally a ringed space). We know that in general the derived category of complexes of quasi-coherent modules $D(\text{Qcoh}(X))$ is not equivalent to the ...
2
votes
0answers
76 views

Residual scheme to local complete intersection schemes in the projective space

Let $A$ be an integral Noetherian $\mathbb{C}$-algebra. Denote by $\mathbb{P}^3_A:=\mathbb{P}^3_{\mathbb{C}} \times_{\mathbb{C}} \mathrm{Spec}(A)$. Let $X,Y$ be closed local complete intersection ...
3
votes
0answers
85 views

$\mathbb{Q}$-factoriality of singularities

I would like to understand if a certain variety is $\mathbb{Q}$-factorial (i.e., if every Weil divisor $D$ has a multiple $mD$ that is Cartier). This property can be deduced by a local picture around ...
0
votes
0answers
178 views

Advantages of intersection theory on stacks [closed]

Suppose we have an algebraic stack that happens to be a scheme. Do we gain anything by doing intersection theory on it as stack instead of as a scheme? Do we have a finer understanding of some ...
2
votes
1answer
105 views

complement of an open immersion

Let $A\subseteq B$ be normal affine doamins over a field $k$ with same field of fractions. If the induced morphism of schemes $i^*:Spec\ B \rightarrow Spec\ A$ is an open immersion, how to prove that ...
0
votes
0answers
61 views

Is this quasi-coherent sheaf a subsheaf of $\ker f$?

Let $f: \mathcal{F}\to \mathcal{G}$ be a morphism of quasi-coherent sheaves over a scheme $X$. Let also $T_U$ be a submodule of $\ker f_U$ with $|T_U|\leq \kappa$ for each open subset $U$ of $X$ ...
1
vote
0answers
60 views

Counting models in first order logics without existencial quantifiers

My question is about the posibility of to construct a parameter space of models in a first order theory, finitely presented, with out existencial quantifiers (parameter space in the sense of ...
2
votes
0answers
88 views

Blow-up of the diagonal

Let $\Delta$ be the small diagonal in $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^1$, and let $X$ be the blow-up of $\mathbb{P}^1\times \mathbb{P}^1\times \mathbb{P}^1$ along $\Delta$ with ...
0
votes
0answers
37 views

Riemann-Hurwitz and ramification divisors for maps to nodal curves

I have the following situation: I have flat, Cohen-Macaulay families $S, C \to B$ of relative dimension 1 over a smooth base $B$, and a finite, faithfully flat morphism $f : S \to C$ of $B$-varieties. ...
4
votes
0answers
97 views

$\mathcal{M}_{g,n}$ a scheme for $n \gg 0$? [duplicate]

I think that for $n \geq 3$, the Deligne-Mumford moduli stack $\mathcal{M}_{0,n}$ is a scheme. Is it more generally true that for every $g$, the Deligne-Mumford moduli stack $\mathcal{M}_{g,n}$ is a ...
0
votes
1answer
258 views

Number of elements in a fiber

Let $A\subseteq B$ be normal affine domains over an algebraically closed field of characteristic 0. If it is given that the corresponding morphism of schemes Spec $B\rightarrow$ Spec $A$ is ...
2
votes
1answer
93 views

An alternative definition of pseudo-coherent complex

Let $(X,\mathcal{O}_X)$ be a scheme or a general ringed space. First recall that a complex of $\mathcal{O}_X)$-modules $\mathcal{E}^{\bullet}$ is called strictly perfect if $\mathcal{E}^{\bullet}$ is ...
3
votes
1answer
198 views

On equations defining space curves

I am reading a text by Prof. Szpiro Tata lectures on equations defining space curves. In the proof of Proposition $1.2$ on page $12$ he gives explicit description of the defining equations of a local ...
4
votes
1answer
157 views

Twists of projective automorphisms

Let $X$ be a projective variety over a perfect field $k$. Recall that a twist of $X$ is a variety $Y$ over $k$ such that $$X_{\bar k} \cong Y_{\bar k}.$$ The twists of $X$ are classified by the Galois ...
5
votes
1answer
226 views

notion of $\mathrm{Gal}(\overline{\mathbb{Q}}_p / \mathbb{Q}_p)$ representation with complex multiplication

In usual Hodge theory, there is the notion of Hodge structure $H$ with complex multiplication, that can be defined in several ways, i.e. asking that there exists a CM number field $E$ such that $\dim ...
35
votes
1answer
1k views

Did Bourbaki write a text on algebraic geometry?

Certainly Bourbaki never wrote an introduction to algebraic geometry: we would have heard about it, right?
5
votes
1answer
318 views

Is $\mathcal M _{g,n}$ anabelian?

Are the moduli spaces $\mathcal M _{g,n}$ expected to be anabelian? Is there anything known in that direction? Thank you very much for your help in any case!
0
votes
0answers
99 views

Cohen-Macaulay fibers

Let $Y$ be a set of points in $\mathbb{P}^n$. Then we can write a resolution $$0\rightarrow P_n \rightarrow \cdots \rightarrow P_0\rightarrow \mathcal{O}_Y$$ where each ...
4
votes
1answer
103 views

Is the upper boundary of a Schubert variety Cartier?

On $G/B$, the divisor $\bigcup_\alpha X_{r_\alpha}$ is Cartier (where $X_w := \overline{B_- w B}/B$, and $\alpha$ varies over simple roots), not least because $G/B$ is smooth. Is the same true for ...
1
vote
1answer
105 views

Relative tangent space to proper morphism and irreducibility of fibers

Let $f:X \to Y$ be a proper surjective morphism of reduced connected noetherian schemes. Assume $Y$ is irreducible. Let $y \in Y$ be a closed point. Denote by $X_y$ the fiber over $y$ to the morphism ...
1
vote
1answer
131 views

Symplectic reduction: from indefinite signature to Riemannian signature

Let $(M,g,\omega)$ be a $d$-dimensional manifold equipped with a metric $g$ of signature $(t,s)$, $d = t+s$, and a symplectic form $\omega$. Let us assume that a Lie group $G\subset Isometries(M,g)$ ...
8
votes
1answer
274 views
+50

Morgan Shalen compactification of $\mathbb C^2$

I'm reading the Otal's survey on the compactification of Morgan Shalen. (available here) He claims in an example (page 8) that the compactification of $\mathbb C^2$ is $S^4$, which sounds completely ...
4
votes
1answer
184 views

When do two non-degenerate quadratic forms give rise to isomorphic Lie algebras?

Let $V$ be a vector space over some number field $k$. (I'm fine with $\mathbb{Q}$.) Let $\phi \colon V \to k$ be a non-degenerate quadratic form. Associated with $\phi$ is the orthogonal group ...
2
votes
1answer
169 views

An example of toric threefold

I am looking for an example of projective toric threefold $X = \mathbb P_\Delta$ that comes from a rational polytope $\Delta$, where $\Delta$ is a triangular bipyramid (click the word for its image). ...
3
votes
1answer
90 views

Existence of Factor rings of UFDs which are UFDs

Suppose that $X=Spec(A)$ is an affine variety over an algebraically closed field $k$ which is normal and such that $Cl(X)=0$. I am interested in hypersurfaces of $X$ which again satisfy this ...
0
votes
1answer
81 views

Samuel multiplicity

Let $X$ be the hyper-surface defined by $$f:=\sum_{i=1}^k x_i^n=0$$ in $\mathbb{C}^k$. Let $Y$ be the non-reduced sub-scheme of $X$ defined by the ideal $$I=(x_1^{n-1},\dots , x_k^{n-1}) $$ What is ...
2
votes
0answers
140 views

Bruhat Tits buiding to visualize closed points of affine flag varieties?

In his survey "affine springer fibers and affine Deligne-Lusztig varieties", Goertz gives us a tutorial session on how to use Bruhat Tits buildings to visualize subsets of affine Grassmannians or of ...
2
votes
0answers
168 views

How to prove two manifolds are not birational?

Given a family of compact complex manifold $\mathcal{X} \rightarrow B$, what are the standard techniques to prove two distinct fibers $\mathcal{X}_a$ and $\mathcal{X}_b$ are not birational?
2
votes
0answers
88 views

What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?

It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor ...
2
votes
1answer
132 views

When is the pullback in Chow groups defined?

This is the first time I ask a question on Mathoverflow, so I apologize in advance if it is not suitable/a duplicate/otherwise inappropriated. I am thinking about Voevodsky's category of motives and ...
7
votes
0answers
170 views

Degeneration of wildly ramified local monodromy representations - near or far from Deligne?

Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...
5
votes
1answer
337 views

Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?

Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?
2
votes
1answer
145 views

Is a locally free sheaf projective in the category of $\mathcal{O}_X$-modules when $X$ is an affine scheme?

Let $X$ be an affine scheme and $\mathcal{E}$ a finitely generated locally free sheaf on $X$. It is obvious that $\mathcal{E}$ is a projective object in the category Qcoh$(X)$ since we can pass to ...
6
votes
0answers
133 views

Reference or explanation: Cup products, deformations of complex structure and Mirror Symmetry

In section 0.3. of their paper "Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields," Barannikov and Kontsevich discuss the fact that Kontsevich's formality morphism (from his paper ...
1
vote
1answer
133 views

polynomials with similar maxima-minima

Assume $p$ and $q$ are n-variate degree d, homogeneous polynomials. Define $ |p|_{\infty}= \max_{x \in S^{n-1}} |p(x)|$ $D(p)=\{ x \in S^{n-1} : p(x)= |p|_{\infty} \}$ $E(p)=\{x \in S^{n-1} : p(x)= ...
5
votes
2answers
324 views

Obstruction and rational points on curves

Is etale-Brauer the only obstruction to the existence of rational points on projective plane curves over number fields?
6
votes
2answers
392 views

How to compute class number of a torus

Let $T$ be an algebraic torus over a number field $K$. Following notations in Ono's The Arithmetic of Tori, ...
1
vote
1answer
141 views

motive of the general linear group

Let $k$ be a perfect field. Let $GL_n$ be the general linear group over $k$. Does anybody know a reference for the computation of the motive $$ M(GL_n) $$ in Voevodsky's category $DM(k)$?
4
votes
0answers
141 views

Map of the Klein quartic from $CP^2$ to $R^3$

The Klein quartic $\mathcal{X}$ is cut out of $\mathbb{C}P^2$ by the homogeneous equation $$x^3 y + y^3 z + z^3 x = 0.$$ It has 168 orientation preserving automorphisms and includes several copies of ...
3
votes
0answers
108 views

going down theorem

Typical maps that satisfy "going down theorem" are flat morphisms and integral extensions of normal rings that are integral. Let $Spec(B)\rightarrow Spec(A)$ be a finite type morphism of k-noetherian ...
4
votes
1answer
244 views

Singular models of K3 surfaces

Let us work over a ground field of characteristic zero. As is well-known, a K3 surface is a smooth projective geometrically integral surface $X$ whose canonical class $\omega_X$ is trivial and for ...
3
votes
1answer
252 views

Mixed Hodge structure and cup product

I'm looking for a reference for the answer to the following questions. Let $X$ be an algebraic variety over C. When is the cup product a morphism of Mixed Hodge structures? Does $X$ have to be ...