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

**0**

votes

**0**answers

35 views

### Singular categories of quotient

Let $X$ be a variety, the singular category $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 on $X$. Is there any ...

**1**

vote

**2**answers

107 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 ...

**1**

vote

**0**answers

76 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 ...

**3**

votes

**0**answers

69 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

68 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 ...

**4**

votes

**2**answers

758 views

### When does the conormal bundle sequence split?

Let $X\subset \mathbb{P}^n$ be a smooth projective variety with ideal sheaf $I_X$. The conormal sequence is given by
$$
0\to I_X/I_X^2\to \Omega_{\mathbb{P}^n}|_X\to \Omega_{X}\to 0.
$$
For which ...

**7**

votes

**2**answers

292 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

54 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 ...

**5**

votes

**1**answer

232 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}$. ...

**0**

votes

**1**answer

115 views

### Stability conditions of coherent sheaves on abelian 3-folds

My work for now consists on understanding stability conditions of coherent sheaves on abelian 3-folds. I have the book by D. Huybrechts (the geometry of moduli spaces of sheaves), But I would like to ...

**2**

votes

**1**answer

119 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 ...

**1**

vote

**1**answer

413 views

### Minimal polynomial of symmetric endomorphism on abelian variety

Let $(A,\Theta)$ be a principally polarized abelian variety over an algebraically closed field $k$, and let $f$ be a symmetric endomorphism of $A$ (that is, $f^\dagger=f$ where $\dagger$ denotes the ...

**2**

votes

**1**answer

362 views

### Kollar Shepherd-Barron compactification of moduli spaces: a reference request.

HI, I am having some hard time finding a reference in this topic. I don't want to get right away into the Kollar's articles, because it can be a little too technical for me. Do you know a good place ...

**5**

votes

**1**answer

205 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

79 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. ...

**40**

votes

**13**answers

6k views

### How has modern algebraic geometry affected other areas of math?

I have a friend who is very biased against algebraic geometry altogether. He says it's because it's about polynomials and he hates polynomials. I try to tell him about modern algebraic geometry, ...

**1**

vote

**1**answer

149 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 ...

**6**

votes

**1**answer

197 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$ ...

**19**

votes

**2**answers

3k views

### The error in Petrovski and Landis' proof of the 16th Hilbert problem

Edit:For a recent progress on the Hilbert 16th problem see the following note. Best wishes for the authors of this paper and their final success. I thank Loic Teyssier who informed me of ...

**1**

vote

**0**answers

68 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

699 views

### A letter from J. P. Serre

Which is the letter where J. P. Serre present "Analogues Kählériens de certaines conjectures de Weil" to Weil?

**1**

vote

**1**answer

169 views

### Degeneracy locus and flatness over local Artinian ring

Let $X$ be a projective scheme flat over a local Artinian ring $A$, the residue field of $A$ is algebraically closed, and the special fiber of $X$ (under the natural morphism from $X$ to $A$) is ...

**2**

votes

**2**answers

451 views

### Hartshorne Proposition III 8.1

In the proposition mentioned in the title, Hartshorne states that for each $i\geq 0$ the higher direct image sheaf $R^if_*\mathcal F$ is exactly the sheafification of the presheaf given by
$V \mapsto ...

**3**

votes

**1**answer

539 views

### Relations between the cohomology of discrete groups and of profinite groups

Let $G$ be a discrete group and $K$ be the profinite completion of $G$. Let $C_K$ denote the category of contionuous $K$-modules and ${C_K}'$ denotes category of finite continuous $K$-modules. Now for ...

**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

98 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

219 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 ...

**6**

votes

**1**answer

512 views

### Bertini's Theorem

Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...

**2**

votes

**2**answers

209 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 ...

**6**

votes

**1**answer

179 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 ...

**14**

votes

**0**answers

1k views

### Grothendieck 's question - any update?

This question is migrated from math.stackexchange. I ask because it is still unclear to me and I did not receive an answer.
I was reading Barry Mazur's biography and come across this part:
...

**4**

votes

**1**answer

284 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 ...

**6**

votes

**1**answer

244 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

**3**answers

211 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 ...

**3**

votes

**1**answer

462 views

### A question on pull back of a nef and big divisor

In his book Higher-Dimensional Algerbraic Geometry, Debarre claimed that the pull back of a nef and big divisor under a generically finite morphism is still nef and big, but he only state the result ...

**21**

votes

**5**answers

1k views

### Verlinde's formula

"Verlinde's formula" predicts the dimension of the space of conformal blocks of a chiral CFT.
Depending on...
• which chiral CFT one considers (does one restrict to WZW models, or not?)
...

**5**

votes

**1**answer

742 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?
...

**0**

votes

**1**answer

118 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$ ...

**5**

votes

**2**answers

320 views

### Generalization of Pascal's Theorem to Higher Dimensions

Pascal's celebrated theorem in classical geometry gives a necessary and sufficient condition for the existence of a conic through six given points in the plane. Does there exists a similar statement ...

**7**

votes

**1**answer

237 views

### Torelli type theorem for sextic threefolds

I have a question to you:
In the work of Rapoport and Deligne they classify smooth complete intersections with Hodge level 1, which are the following:
Complete intersection of two quadrics in ...

**1**

vote

**1**answer

160 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 ...

**1**

vote

**0**answers

103 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 ...

**3**

votes

**1**answer

172 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 ...

**1**

vote

**1**answer

136 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.
...

**3**

votes

**1**answer

189 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

181 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 curve in $\mathbb{P}^3(\mathbb{C})$ ...

**2**

votes

**2**answers

216 views

### Closure relations between Bruhat cells on the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$.
How do we prove the closure relations between the cells, which ...

**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 ...

**0**

votes

**0**answers

67 views

### sufficient condition of complete intersection [closed]

According to Corollary 2.8 and the front part of Section 3 of this paper,
if $X:= Q_1\bigcap Q_2\bigcap Q_3\subset \mathbb{P} _{\mathbb{C}}^{4}$ be a connected and purely $1$-dimensional intersection ...

**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 ...