# Tagged Questions

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

**2**

votes

**0**answers

132 views

+50

### Castelnuovo-Mumford regularity in multigraded case

Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded ...

**2**

votes

**0**answers

36 views

### Rational curves in projective spaces

Let $X\subset(\mathbb{P}^{N})^n$ be the variety defined as follows: $(p_1,...,p_n)\in (\mathbb{P}^{N})^n$ such that there exists a rational curve $C$ of degree $d$ with $p_1,...,p_n\in C$.
Is there a ...

**2**

votes

**0**answers

149 views

### On Abelian Galois Covering

Consider a complete quadrangle $\Delta$ in $\mathbb{CP}^2$ (i.e. the union of the six
lines through points $P_1$, $P_2$, $P_3$ and $P_4$ in general position). Let $f: Y := \hat{\mathbb{CP}^2}(P_1, ...

**-1**

votes

**0**answers

11 views

### embedding dimension of normal surface singularity

$0\in X$ : a normal surface singularity.
$C_1, C_2$ : hypersurface sections of $0\in X$ and $C_1 \cdot C_2=2$.
$\stackrel{(1)}{\Longrightarrow}$ $C_i$ is a reduced curve singularity of multiplicity ...

**8**

votes

**0**answers

124 views

### The sum of squared logarithms conjecture

I'm searching for the first proof (or counterexample to) the following conjecture.
(The sum of squared logarithms conjecture)
For all natural numbers $n$ and positive numbers $x_1,x_2, \ldots , x_n, ...

**2**

votes

**0**answers

42 views

### Generalized Hurwitz Spaces

In this question all the varieties are over $\mathbb{C}$. Classic Hurwitz spaces $\mathcal{H}_{g,r}$ are moduli spaces of simple branched coverings $f \colon X \to \mathbb{P}^1$ of degree $d$, where ...

**0**

votes

**0**answers

49 views

### canonical divisors of a resolution of a normal surface singularity

Let $(0\in X)$ be the germ of a normal surface singularity and let $f: Y \to X$ be the minimal resolution.
Questions>
(1) How can I define a map $f_*\mathcal{O}_Y(K_Y)\hookrightarrow ...

**3**

votes

**1**answer

184 views

### What are the indecomposable classes on a del-Pezzo surface?

Let $X_k$ be $\mathbb{P}^2$ blown up at $k$ points (where $k$ is $0$ to $8$).
Let $\beta \in H_2(X_k, \mathbb{Z}) $ be a homology class given by
$$ \beta := n L + m_1 E_1 + \ldots + m_k E_k $$
...

**2**

votes

**0**answers

86 views

### Are genus zero Gromov Witten Invariants on Del-Pezzo surfaces enumerative?

Let $X_k$ be $\mathbb{P}^2$ blown up at $k$ points (where $k$ is $0$ to
$8$). Let $\beta \in H_2(X_k, \mathbb{Z})$ be the homology class given by
$$ \beta := n L + m_1 E_1 + \ldots + m_k E_k $$
...

**1**

vote

**0**answers

67 views

### Hyperplane sections of algebraic groups

Let $P_i$ denote the $i-th$ vertex in the Dynkin diagramm of an algebraic group. It symbolizes a parabolic subgroup of $G$ corresponding to the other vertices, meaning $G/P_i$ is a smooth, projective, ...

**1**

vote

**1**answer

327 views

### Aysmptotic comparison of L^2 sections versus generating sections

Let $s_1,\ldots, s_k$ be linearly independent global holomorphic sections of a holomorphic line bundle $E$ over a compact algebraic manifold $X$, with volume form $\Omega$.
For $m$ large, let ...

**0**

votes

**0**answers

114 views

### Soft Question: Relationships Between Moduli Space and Objects They Parametrize

Apologies in advance if this question is not suitable for MO. My friend and I were wondering recently what, if any, are the relationships between the geometric properties of a moduli space and the ...

**0**

votes

**0**answers

32 views

### Singularities of the product of a $(\mathbb{C}^*)$-surface with $\mathbb{C}$

Recall that any normal $\mathbb{C}^*$-surface is Cohen-Macaulay
and there exists normal $\mathbb{C}^*$-surfaces whose
singularities are not rational.
Does anyone know an example of a normal ...

**0**

votes

**0**answers

41 views

### Schubert Polynomials for Complex Projective Space

The Borel picture of the cohomology ring of a flag variety gives a description as a coset space, without identifying any representatives for the classes. Lascaux and Sch\"utzenberger gave specific ...

**2**

votes

**2**answers

117 views

### Obstruction to get a galois invariant cycle

Let $X$ be a smooth projective variety over a finite field $k$, $G=Gal(\bar{k}/k)$ and $\Gamma\in CH^i(\bar{X})$ such that:
$cl(\Gamma) \in H_{et}^{2i}(\bar{X},\mathbb{Z}_l(i))^G$ and
$\exists$ ...

**1**

vote

**0**answers

68 views

### On the compactification of moduli space of vector bundles

Let $X$ be an irreducible, nodal curve over an algebraically closed field of genus at least $2$. Denote by $U(r,d)$ (resp. $U^0(r,d)$) the moduli space of torsion-free (resp. locally free) sheaves of ...

**12**

votes

**3**answers

415 views

### Existence of a ring with specified residue fields

Given a finite set of fields $k_1, \ldots, k_n$, is there a (commutative with $1$) ring $R$ with (maximal) ideals $m_i$ such that $R/m_i \cong k_i$?
To prevent things from being too easy, I ...

**59**

votes

**5**answers

6k views

### how does one understand GRR? (Grothendieck Riemann Roch)

I tried to answer an earlier question as to uses of GRR, just from my reading, although i do not understand GRR. Today i tried to understand the possible idea behind GRR. After editing my answer ...

**0**

votes

**0**answers

97 views

### compute standard basis in local rings

Let$>'$ be the order in $k[t,x_1,\cdots,x_n]$ as follows:
Each semigroup order > on monomial in the $x_i$ extends to a semigroup order >' on monomial in $t,x_1,\cdots,x_n$ in the following way. We ...

**3**

votes

**0**answers

87 views

### Reference for Grothendieck's duality and Cousin, Dualizing and Residual complexes

I am a graduate student currently reading Hartshorne's Residues and Duality. In order to reach the construction of the right adjoint $f^!$ of $Rf_*$ for some special types of maps of locally ...

**-5**

votes

**0**answers

49 views

### Genus formula for a curve in a $2$-dimensional complex torus? [migrated]

For a curve $C$ in a $2$-dimensional complex torus $T$, is there any formula to compute the genus of $C$? Say, in terms of self-intersection number?
For a curve in $\mathbb{P}^2$ or a K3 surface, ...

**7**

votes

**2**answers

297 views

### Trigonal loci in Teichmueller spaces

Since my previous question
Hyperelliptic loci in Teichmueller spaces
resulted in two quick and helpful replies, let me ask another question in a similar vein:
A smooth compact complex curve is ...

**3**

votes

**0**answers

244 views

### What's the name of this branched covering?

I've come across a double cover of $\mathbb P_1(\mathbb C)$, ramified at $[1:1]$ and $[-1:1]$ in homogeneous coordinates, given as the quotient by the natural $\mathbb Z/2\mathbb Z$-action generated ...

**2**

votes

**1**answer

146 views

### On the number of irreducible components of an exceptional divisor

Let $X$ be a complex, affine variety and $Z\subseteq X$ a closed subset of $X$ (i.e. a closed, reduced subscheme). Let $E$ be the exceptional divisor of the blow-up $\pi:\tilde X\to X$ of $X$ with ...

**3**

votes

**0**answers

98 views

### Does there exist a continuous surjection? [on hold]

Let $C$ be an irreducible projective cubic in $\mathbb{P}_2$ with a singular point $p$. So consider $f: \mathbb{P}_1 \to C$ defined as follows. Identify $\mathbb{P}_1$ with the set of lines in ...

**3**

votes

**1**answer

188 views

### When a smooth algebra is regular?

Let $A \subseteq B$ be noetherian integral domains, $A$ regular (=every localization at maximal ideal is a regular local ring) and $B$ is a smooth $A$-algebra. For the definition of a smooth algebra, ...

**3**

votes

**0**answers

118 views

### Varieties acted upon faithfully by an abelian variety

Let $X$ be a smooth projective variety over the complex numbers. Suppose that some positive-dimensional abelian variety $A$ acts faithfully on $X$.
Examples of such varieties $X$ are provided by ...

**1**

vote

**1**answer

116 views

### Can a rigid CY threefold have infinitely many automorphisms

Let $X$ be a rigid Calabi-Yau threefold. Does $X$ have only finitely many automorphisms?
N.B. A smooth projective threefold $X$ over $\mathbb C$ is a rigid Calabi-Yau variety if $h^i(X,\mathcal O_X) ...

**2**

votes

**0**answers

59 views

### Fiber Bundle with a perfect bilinear map

Let $\pi:X\rightarrow Y$ a double cover of Riemann surfaces, and consider a $SL_n-$bundle $E$ with a perfect $\mathcal O_Y-$bilinear pairing $$\psi:\pi_*E\times\pi_*E\rightarrow\pi_*\mathcal O_X$$
...

**7**

votes

**0**answers

71 views

### Equation of the curve corresponding to a polarization of an abelian surface

Let $\mathbb{C}^2/\Lambda$ be a polarized abelian surface. I think it is well-known how to write down the equation of the divisor corresponding to the polarization, in terms of theta functions etc. ...

**3**

votes

**3**answers

227 views

### Difference between Gieseker semistable and slope semistable

Let $X$ be a projective reduced (not necessarily irreducible) curve over an algebraically closed field and $\mathcal{F}$ be a pure coherent sheaf on $X$. Is it true that $\mathcal{F}$ is Gieseker ...

**6**

votes

**2**answers

165 views

### Singularities of Pfaffian hypersurfaces

Let $X\subset\mathbb{P}^4$ be an hypersurface of degree six given by the Pfaffian of a $6\times 6$ matrix $M$ whose entries are quadratic forms in the homogeneous coordinates of $\mathbb{P}^4$. I am ...

**4**

votes

**2**answers

178 views

### Secant varieties of curves in $\mathbb{P}^4$

My question is motivated by the following simple observations. By a standard dimensions count in $\mathbb{P}^4$ there should not exist neither an hypersurface of degree $3$ with multiplicity $2$ in ...

**6**

votes

**0**answers

297 views

### Brauer group elements associated to conic bundles

Let $X$ be a non-singular projective variety over a field $k$ (perhaps not of characteristic $2$), and let $\pi:Y\to X$ be a conic bundle over $X$ i.e. a proper morphism all of whose fibres are ...

**3**

votes

**1**answer

113 views

### Enriques classification of algebraic surfaces in characteristic zero

I am searching for a reference about the classification of algebraic surfaces over an arbitrary algebraically closed field of characteristic zero. In the 1949 book "le superficie algebriche" by ...

**0**

votes

**1**answer

163 views

### irreducibility of general fiber

I would like to get a reference of the following fact.
Let $A\subseteq B$ be affine domains over an algebraically closed field of characteristic zero. If $Q(A)$ is algebraically closed in $Q(B)$, ...

**7**

votes

**1**answer

160 views

### Is every proper regular relative algebraic space curve over a Dedekind domain projective?

This question is in some sense a follow up to a related question Is a normal proper relative curve over a DVR projective?
Let $R$ be a Dedekind domain, let $S := \mathrm{Spec}(R)$, and let $X ...

**3**

votes

**2**answers

180 views

### Do discrete valuation rings correspond to local rings of points in fibre?

Given projective curves $C$ and $C'$ and a surjective morphism $\varphi\colon C\to C'$, such that $Q\in C'$ is a smooth point and its fibre $\varphi^{-1}(Q)$ consists of smooth points.
Then ...

**3**

votes

**1**answer

104 views

### Decomposition of hyperbolic surfaces near cusps into annuli

Let $C=\mathbb{H}/\Gamma$ be a hyperbolic surface and $c$ a cusp of this sruface. In the paper "Billiards and Teichmüller curves on Hilbert modular surfaces" by C. McMullen, it is claimed that near ...

**8**

votes

**1**answer

474 views

### Pros and cons of Stacks Project as a reference compared with EGA/SGA

I would like to know pros and cons of Stacks Project compared with EGA and SGA and whether it serves as a nice alternative to them. Since I haven't read both of these texts, my attempt to compare the ...

**8**

votes

**11**answers

2k views

### Textbook for undergraduate course in geometry

I've been assigned to teach our undergraduate course in geometry next semester. This course originally was intended for future high-school teachers and focused on axiomatic, Euclid-style geometry ...

**8**

votes

**6**answers

1k views

### blowing curves down

If I blow up $\mathbb{P}^2$ in $2$ points I get $3$ exceptional divisors - two are disjoint and one intersects both of them. What object do I get if I blow down this intersecting curve? It's a minimal ...

**3**

votes

**1**answer

322 views

### Why care about Fourier-Mukai partners?

Two (smooth, projective, complex?) varieties are called Fourier-Mukai partners if they have equivalent derived categories of coherent sheaves. On the other hand, my general impression is that cool ...

**0**

votes

**1**answer

161 views

### Is g( ) rational if it looks that way on a large rational subset?

Let $F$ be any infinite field, $U\subset F^n$ be an open, dense (in Zariski topology) subset,
$x_1,x_2,…,x_n$ be an algebraic independent system of variables over $F$ , $f,f_1,f_2,…,f_n \in ...

**3**

votes

**2**answers

154 views

### Examples of toric threefolds

I am looking for examples of smooth projective toric threefolds $\mathbb P_\Delta$ such that the rational polytope $\Delta$ has only pentagonal faces and hexagonal faces.
I quickly searched for ...

**0**

votes

**1**answer

299 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

**2**answers

202 views

### étale cohomology via Cech cocycles for a quasi-projective scheme

I am looking for the explicit reference to the fact that for a quasi-projective scheme a class in the étale cohomology of a sheaf of a certain degree can by computed using Cech cocycles.

**3**

votes

**0**answers

240 views

### is there a moduli of stable infinity categories?

I know there exists a groupoid-valued prestack parameterizing (connected) triangulated dg-categories (ie the points of this moduli are not objects of a fixed dg-category, but rather dg-categories ...

**9**

votes

**1**answer

326 views

### K3 surface as an anticanonical section

Let $S$ be a projective K3 surface. Then is there always a smooth projective 3-fold $V$ that has $S$ as its anticanonical section?

**0**

votes

**0**answers

38 views

### Is a toric blow-up in codimension 2 a real toric blow-up?

Let $X, Y$ be toric projective algebraic varieties over $\mathbb{C}$. Suppose that $X$ and $Y$ are $\mathbb{Q}$-factorial and smooth in codimension two (e.g. they have terminal singularities).
Let ...