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

**1**

vote

**0**answers

41 views

### Torsors in the analytic topology versus torsors in the etale topology

Let $S= \mathbb A^1_{\mathbb C}$ be the affine line, and let $G$ be a smooth connected reductive group over $S$, e.g., $G = \mathbb G_m, \mathrm{SL}_n$ or $SO_n$.
Is every analytic $G$-torsor over ...

**0**

votes

**1**answer

95 views

### cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$.
Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...

**1**

vote

**0**answers

98 views

### Algebraic conditions for limit cycles

Let $\chi^{n}$ be the vector space of all polynomial vector fields on $\mathbb{R}^{2}$ with degree at most $n$. An algebraic map $\phi:\chi^{n}\to \mathbb{R}[x,y]$ is a linear combination ...

**2**

votes

**0**answers

114 views

### When is the intersection number well-defined?

According to 1.34 of Birational Geometry of Algebraic Varieties(J.Kollár, S.Mori),
there are at least 4 ways(classical approach, cohomological approach, general intersection theory and topological ...

**0**

votes

**0**answers

129 views

### Triangulated category of singularities of quotient

Let $X$ be a variety, the triangulated category of singularities $D_{sg}^b(X)$ is obtained by taking the quotient of $D^b(X)$ by the category of perfect complexes. Suppose there is a group $G$ acting ...

**3**

votes

**0**answers

456 views

### What is the analogue of a Lefschetz Thimble for Morse-Bott critical components (sets of non-isolated critical points)?

Small pre-face: I did an applied math PhD in the UK, but the problem I ended up studying has important ramifications in pure math, specifically to do with the Gauss-Manin connection in the presence of ...

**2**

votes

**2**answers

173 views

### sanity check about a morphism from a stack to its coarse moduli space

Let $Y(3)$ be the fine moduli space (say, over $\mathbb{C}$) representing elliptic curves equipped with a full level 3 structure. Abstractly, there are 24 such structures for any elliptic curve, but ...

**3**

votes

**0**answers

80 views

### Dimension of certain polynomial spaces

Let $(\omega_1, \eta_1） \dots (\omega_n, \eta_n)$ be $n$ pairs of complex numbers where $\omega_i \ne \omega_j$ for all $1 \leq i \ne j \leq n$. We define the following polynomial space
$$
Z_n^d(\eta, ...

**4**

votes

**0**answers

98 views

### $H^2(S, f_* \mathbb{G}_m)$ in the fppf versus etale topology for proper $f$

Let $f\colon X \rightarrow S$ be a proper morphism of schemes. Is the cohomology group $H^2(S, f_* \mathbb{G}_m)$ the same regardless of whether it is computed in the etale or the fppf topology? And ...

**1**

vote

**0**answers

70 views

### wedge product deformation space Calabi-Yau fourfold

I know that the Lie bracket for $(1,1)$ vector field corresponds to the obstruction map in deformation theory. I was wondering if the wedge product of the deformation vector with itself has any ...

**2**

votes

**1**answer

129 views

### Lifting one parameter subgroups of algebraic groups

Let $G$ be a linear algebraic group over an algebraically closed field $\mathbb C$ of characteristic zero and $U$ its unipotent radical, then $H:=G/U$ is a reductive group. Assume that I have a one ...

**6**

votes

**1**answer

303 views

### homotopy fixed points and fixed points

Let $X$ a smooth projective scheme over a field $k$. And let $THH(X)$ denotes the topological Hochschild homology of $X$. Recall that the spectra $THH(X)$ admits an action of the of circle $S^{1}$. ...

**6**

votes

**1**answer

215 views

### what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent ...

**-2**

votes

**0**answers

81 views

### Help with the proof of Max Noether's Residue Theorem [on hold]

I'm having problems understanding one part of the proof of the Residue Theorem, on chapter 8 of Fulton's book Algebraic Curves, page 98, section 8.1. ...

**1**

vote

**1**answer

156 views

### Futaki invariant on $X=Bl_p(\mathbb CP^2)$ for different line bundles

Let $X$ be a projective variaty which blow up at a point $p$ , i.e, $X=Bl_p(\mathbb CP^2)$, then for the Line bundle $L=-K_X$, we have for Futaki invariant $Fut_L\neq 0$, I want to see, what about ...

**7**

votes

**2**answers

303 views

### Blow-ups of $\mathbb{P}^{n-3}$ and $(\mathbb{P}^1)^{n-3}$

Let us consider the points
$$p_1=[1:0:...:0],p_2 = [0:1:...:0],...,p_{n-2} =[0:...:0:1],\\
p_{n-1}=[1:1:...:1]\in\mathbb{P}^{n-3}$$
and the blow-up $X = Bl_{p_1,...,p_{n-1}}\mathbb{P}^{n-3}$.
...

**1**

vote

**0**answers

70 views

### How would you call a variety that is locally a complete intersection up to defect c?

Let $X$ be an equidimensional variety of dimension $n$ over a field that can be covered by open subvarieties of certain intersections of $N-n$ hypersurfaces in $P^N$ (for a large enough $N$; we ...

**0**

votes

**1**answer

100 views

### Connected curve

Assume we have a normal,connected quasi projective scheme $Y:=X\backslash D$ where $X$ is a quasi projective scheme over field $k$, not necessarily char zero and also $D$ is a simple divisor, not ...

**5**

votes

**1**answer

224 views

### Is there a Riemann existence theorem for orbifolds?

For smooth algebraic varieties $X$ over $\mathbb{C}$, the Riemann existence theorem establishes an equivalence of categories between the category of finite etale covers of $X$ and finite unramified ...

**2**

votes

**2**answers

210 views

### Real algebraic solution

Suppose a system of polynomial equations with rational coefficients has a real solution. Does necessarily there exists a real solution with algebraic coordinates? What about the simplest case of one ...

**3**

votes

**3**answers

215 views

### Injective map between two schemes

Assuem we have a finite surjective map between two irreducible, separated schemes, $f:X \rightarrow Y$, and for a dense open $U \subset Y$ and for any $y \in U$, $|X_y| =1$, then can we say $f$ is ...

**4**

votes

**1**answer

290 views

### Results about moduli of surfaces

There are early successes of the moduli theory
- the construction and compactification of the moduli spaces of curves $\overline{\mathcal{M}}_g$ .
I want to study about the moduli of algebraic ...

**3**

votes

**1**answer

136 views

### Pathological behavior of Lie algebra under a map of abelian schemes

I am trying to understand Example 7.5/9 from the book "Neron models". There one has a discrete valuation ring $R'$ that is the localization of $\mathbb{Z}[\zeta_p]$ at $p$, so that the absolute ...

**0**

votes

**1**answer

119 views

### On understanding Orlov's LG B model

I try to read Orlov's papers on Landau-Ginzburg model, but I am quite puzzled，there are several questions：
1 the method of truncation is used frequently，(that is: using a bounded above complex $Q$ ...

**6**

votes

**1**answer

250 views

### abelian $\ell$-adic representations in $\widehat{SL(2,Z)}$

In Grothendieck's Esquisse he claims that the action of
$$\text{Gal}(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\widehat{SL(2,Z)})$$
obtained from the homotopy exact sequence of the étale ...

**3**

votes

**1**answer

176 views

### Coherent cohomology of an abelian scheme and base change

Let $f\colon A \rightarrow S$ be an abelian scheme of dimension $d$. I would like a reference or an argument for the fact that $R^1f_* \mathcal{O}_A$ is locally free of dimension $d$ and that its ...

**3**

votes

**1**answer

192 views

### cycle class as Chern class

Let $X$ be a smooth projective complex variety and $Z \subset X$ a codimension $p$ closed algebraic subvariety. Then one can define the class of $Z$ in singular cohomology
$[Z] \in H^{2p}(X, ...

**10**

votes

**0**answers

264 views

### Is every projective space curve a set-theoretic intersection of two surfaces? What is known about this question?

I am sorry if this question has been already asked, couldn't find anything similar myself. I have recently recalled this long standing open problem of whether every irreducible curve in ...

**1**

vote

**1**answer

137 views

### intuitive interpretation of analytic spread

I am studying analytic spreads from Bruns-Herzog's book. The definition is clear but calculation of the analytic spread of an ideal is hard for me in practice. I wonder if it is hard for you too.
...

**4**

votes

**0**answers

122 views

### An extension of group schemes admitting Neron models

Let $R$ be a discrete valuation ring, $K$ its field of fractions, and
$$ 0 \rightarrow G_K' \rightarrow G_K \rightarrow G_K'' \rightarrow 0$$
a short exact sequence of smooth $K$-group schemes of ...

**2**

votes

**1**answer

77 views

### On transforming pair of bivariate polynomials to pair of univariate polynomials by applying polynomial map

We know that a polynomial map $f(x,y), g(x,y)$ is polynomial automorphism if there exists polynomials $p(x,y)$ and $q(x,y)$ such that $f(p,q)$=x and $g(p,q)=y$. Jacobian conjecture tries to ...

**7**

votes

**1**answer

197 views

### p-adic Stein spaces

The higher cohomology of coherent sheaves vanish on Stein spaces (both complex and p-adic). In the case when the space ($X$) is a curve and we're working in the complex world, this shows that all ...

**6**

votes

**1**answer

180 views

### Weil height of an Abelian Variety with everywhere (potentially) good reduction

Background: Suppose that $E$ is an elliptic curve over $\mathbb{Q}$ with everywhere (potentially) good reduction. there are many ways to define the height of $E$, and I will be concerned with the ...

**1**

vote

**1**answer

163 views

### Vector fields whose divergence are proper maps

Let $X$ be a polynomial vector field of degree $2$ on $\mathbb{R}^{2}$. Does there exist a nonvanishing smooth function $g$ such that $Div(gX)$ is a proper map?Or at least the zero locus of ...

**2**

votes

**0**answers

103 views

### Surjectivity of multiplication maps with respect to pullback

Given a morphism $f: Y \to X$ and a globally generated line bundle $\mathcal L$ on $X$ such that $H^0(X,\mathcal L) \otimes H^0(X,\mathcal L) \to H^0(X,\mathcal L \otimes \mathcal L)$ is surjective.
...

**1**

vote

**0**answers

100 views

### Ext and cup products and subvarieties

I am trying to understand Remark 11.3 in Huybrechts's amazing book on derived categories (FM transforms in AG).
He starts with smooth projective varieties $j\colon Y \subset X$ and aims to describe ...

**1**

vote

**0**answers

104 views

### Criterion for normality of a schematic image

Consider a projective flat morphism
$$
f\colon X\to Y
$$
between normal varieties. Let's say over the complex numbers. The geometric fibers of $f$ are all irreducible.
I would like a criterion to ...

**5**

votes

**1**answer

752 views

### textbooks on modern algebraic geometry for 21st-century starters

As for learners in algebraic geometry in 21st century, is there a textbook, lecture note or anything like that to introduce algebraic geometry utilizing the language of derived categories and stacks?
...

**6**

votes

**1**answer

199 views

### The cohomology of an $S_{3}$ cover of an elliptic curve ramified in one point

Let $E/\mathbb{C}$ be an elliptic curve. Let $C \to E$ be a Galois cover with group $G = S_{3}$ (symmetric group on $3$ elements), ramified in one point. (To clarify: there is a unique point in $E$ ...

**2**

votes

**1**answer

223 views

### A perfect domain that is not integrally closed?

Does there exist an integral domain $R$ of characteristic $p > 0$ that is perfect (i.e., $x \mapsto x^p$ is bijective on $R$) but not integrally closed in its field of fractions?

**2**

votes

**0**answers

58 views

### Topological/numerical constraints for the existence of more than one pencil

A famous theorem of Castelnuovo and de Franchis tells us that for $S$ a smooth projective complex algebraic surface that for $b \geq 2$, pencils $f : S \to B$ of genus $b :=g(B)$ are in bijective ...

**8**

votes

**2**answers

263 views

### Fano variety of lines on the Segre and the Grassmannian

Does every $\mathbb{P}^{19}\subset \mathbb{P}(\mathbb{C}^5\otimes\mathbb{C}^5)$
intersect the Segre variety of rank one matrices in at least a $\mathbb{P}^1$?
A naive dimension count suggests this is ...

**4**

votes

**1**answer

226 views

### Geometrically connected components of an algebraic group

Suppose that $G$ is an algebraic group over a field $k$. Let $G^o$be the connected component of the identity. Since $G^0$ contains a $k$-rational point (the identity) therefore it is geometrically ...

**1**

vote

**1**answer

106 views

### what are the possible approximations for ideals

(Fix some local ring $(R,\mathfrak{m})$ over a field of zero characteristic.)
Suppose an ideal $J$ is defined by some complicated formula/procedure. And there is no hope of computing it/or writing ...

**2**

votes

**2**answers

242 views

### Push-forward of a quasi-coherent graded algebra under a proper map

Let $f\colon X \rightarrow Y$ be a proper morphism with $Y$ Noetherian (and even affine, if you wish), and let $\mathscr{A} = \bigoplus_{n \ge 0} \mathscr{A}_n$ be a quasi-coherent graded ...

**1**

vote

**1**answer

123 views

### Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...

**0**

votes

**1**answer

144 views

### Codimension in zero and positive characteristic

Let $F_0,\ldots,F_m\in\mathbb{Z}[x_0,\ldots,x_n]$ be polynomials with integer coefficients and let $p$ be a prime integer. Consider the two ideals: $$I_0:=(F_0,\ldots,F_m)\subset ...

**5**

votes

**0**answers

184 views

### Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...

**2**

votes

**2**answers

186 views

### Equations for points to lie on a rational normal curve

$\def\PP{\mathbb{P}}$Let $z_1$, $z_2$, ..., $z_n$ be points in $\PP^{k-1}$. I am interested in equations for when the $z_i$ lie on a rational normal curve (or degeneration thereof.)
Specifically, ...

**1**

vote

**0**answers

109 views

### Geometric (or intuitive) interpretation of Almost Gorenstein and Cohen-Macaulay rings

This question is related to This one: Darius Math in his good answer added that Cohen-Macaulay ring's singularities is nice. So I'd like to complete that question and ask:
Let R be a local ...