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

**3**

votes

**1**answer

165 views

### Special fibre of the modular curve $X(N)$

Let $N$ be an integer $\geq 3$ and $X(N)\rightarrow \mathrm{Spec } \mathbb{Z}[1/N]$ is the projective smooth modular curve defined in Deligne-Rappoport. Is there an exemple of $N$ for which the ...

**3**

votes

**0**answers

95 views

### Equivalent definitions of the Hasse invariant

As probably many others before me, I got stuck in verifying all the nice properties of the Hasse invariant.
Let me start by recalling one definition:
Let $E\to S$ be an elliptic curve in ...

**-1**

votes

**1**answer

63 views

### Zariski open set in orthogonal grassmanian [closed]

I am confused about the following question.
Consider $\mathbb C^4$ endowed with nondegenerate symmetric bilinear form ...

**4**

votes

**0**answers

141 views

### Do I understand the Chevalley Restriction Theorem correctly? [migrated]

Let $G$ be a complex semisimple Lie group with Lie algebra $\frak g$, and let $\frak h$ be a Cartan subalgebra with Weyl group $W$. The Chevalley Restriction Theorem states that the restriction map ...

**3**

votes

**1**answer

115 views

### How to embed $S^2\mathbb{C}^2$ into $S^2S^3\mathbb{C}^2$ and get the ideal of the twisted cubic?

Let $X:=x^3$, $Y:=x^2y$, $Z:=xy^2$ and $W:=y^3$ be the 4 independent generators of $S^3\mathbb{C}^2$, and observe that the kernel of the natural epimorphism (total symmetrisation)
$$
...

**0**

votes

**0**answers

134 views

### A question about invariance of plurigenera

Choose $m$ large enough so that $mK_F$ has a non-zero global section for some fibre $F$. For any fibre $F$, we have $K_F = K_{X/D}~_{|F}$. So deformation invariance of plurigenera says that the ...

**1**

vote

**1**answer

85 views

### Existence of curve nodal at given set of points

I am reading this (https://webusers.imj-prg.fr/~claire.voisin/Articlesweb/Univcodim2invent.pdf) paper of Voisin, but I am having some trouble with the proof of Sublemma 2.8 (it might be something very ...

**3**

votes

**1**answer

137 views

### Schubert varieties and Young diagrams

In his book Young Tableaux, Fulton asserts, in Exercise 9.4.18 on p. 152, that the Schubert variety $\Omega_{\lambda}$ is defined by the conditions $\text{dim}(V \cap F_{n+i- \lambda_{i}}) \geq i$ for ...

**4**

votes

**0**answers

157 views

### positivity of semicanonical basis

Given a quiver $Q$, there is an algebra isomorphism from $U\frak{n}$ to $\mathcal{M}\subset \sum_{v}\text{Const}(\Lambda_v)^{G_v}$ by Lusztig's construction.
Fro each $Z\in \text{Irr}(\Lambda_v)$. ...

**4**

votes

**1**answer

95 views

### The volume around a singular isolated root when equalities are loosened

Suppose I have a system of polynomial equations in $n$ real variables $f_i(x_1,\ldots,x_n)=0$, $i=1,\ldots,m$, such that $0$ is an isolated solution. Now I replace each of the equations with a ...

**4**

votes

**0**answers

170 views

### Kähler quotients of affine varieties and GIT

Let $X\subseteq \Bbb C^n$ be a smooth affine variety and $G=K_{\Bbb C}$ a complex reductive group acting linearly on $\Bbb C^n$ preserving $X$ (where $K$ is a maximal compact subgroup of $G$). Suppose ...

**3**

votes

**1**answer

127 views

### Uniqueness of smooth compactification upto a smooth morphism

By a $k$-variety, we will mean a separated scheme of finte type over a field $k$. Let $k$ be of characteristic 0. Given a smooth quasi-projective $k$-variety $X$, there is a projective $k$-variety ...

**5**

votes

**1**answer

169 views

### Spin structures on schemes

This is a very naive question, but I have been wondering about the role of spin geometry and spinor structures in the context of algebraic geometry. I know the definition of spin structures and ...

**1**

vote

**0**answers

97 views

### Monodromy of Geometric Variation of Hodge Structures over punctured disc

We know that the monodromy action $T$ is a morphism of limiting MHS on cohomology of nearby fiber $H^n(X_{\infty})$ derived from the Geometric variation of hodge structure $\pi: \mathcal{X}\rightarrow ...

**5**

votes

**0**answers

96 views

### Is this method of finding a “dual curve” correct?

I have a very limited exposure to projective geometry, but I'm having fun exploring the concept of duality. In particular I'd like to know if this naive method of finding a "dual" curve to a given ...

**11**

votes

**0**answers

163 views

### Canonical scheme structure on the singular locus of a variety

I first asked this question on Math StackExchange but no answers were given.
Let $X$ be subvariety of affine space $\mathbb{A}_{k}^n$, where $k$ is a field, and suppose $X$ is given by equations
...

**3**

votes

**0**answers

97 views

### Number of free summands of finite local extensions

Suppose that $(R, m) \subseteq (S,n)$ is a finite extension of normal local domains that is:
etale on the punctured spectrum
not flat / etale at the origin
and such that the residue fields $R/m = ...

**3**

votes

**0**answers

105 views

### Zeros of Hilbert series of affine toric varieties

Consider a convex rational polyhedral cone $C\subset\mathbb R^m$ with vertex at the origin. Let $X$ be the corresponding affine toric variety, i.e. $\mathbb C[X]=\mathbb C[\mathbb Z^m\cap C^\circ]$. ...

**1**

vote

**0**answers

76 views

### A generalization of scrolls

As far as I can see, scrolls are constructed by means of rational curves. Is it possible a generalization with algebraic varieties of arbitrary dimension?

**5**

votes

**1**answer

133 views

### Reference for affine Grassmanian

Could someone please provide a precise reference in the literature where the following well-known fact is proved. Also if someone could write out the proof that would be great.
...

**1**

vote

**1**answer

107 views

### A necessary condition for existence of Ricci flat metric on pair (X,D)

Let $X$ be a complex compact manifold with simple normal crossing divisor $D$. Is the condition $K_X +D = 0$ necessary for the existence of Ricci-flat metric?

**7**

votes

**2**answers

403 views

### Reference for Manin's idea on algebraic geometry over the symmetric monoidal model category of Motives

Reference for Y. Manin's idea of "algebraic geometry over the symmetric monoidal model category of motives."
Has been sugested to me that this was made in a Manin's letter. There is an escaned copy?
...

**0**

votes

**0**answers

51 views

### Codimension one holomorphic distribution on $\mathbb{P}^{3}$

Let $\mathcal{G}$ be a codimension one holomorphic distribution on $\mathbb{P}^{3}$, such that its singular set $S(\mathcal{G})$ has only isolated singularities.
Question 1: What can I say about the ...

**30**

votes

**1**answer

818 views

### Roadmap to Geometric Representation Theory (leading to Langlands)?

I believe there has been at least one question similar to this one and yet I still think this particular question deserves to have a thread of its own.
I'm becoming increasingly fascinated by stuff ...

**-1**

votes

**0**answers

94 views

### Is $(\mathbb R^d/\mathbb Z^d,+)$, $d>2$, isomorphic to some group of an algebraic surface? [migrated]

It is a well-known fact that for points of a cubic curve over $\mathbb{RP}^2$ we can define a group $(G_{\mathbb{RP}^2},+)$ using Cayley–Bacharach theorem.
See Wiki: The group law.
Another fact ...

**0**

votes

**1**answer

101 views

### Projective resolutions of torsion modules [closed]

Let $l$ be a prime number, $n\in \mathbb{Z}$. Is it true that any finitely generated $\mathbb{Z}/l^n\mathbb{Z}$-module has a finite (left) resolution by free finitely generated ...

**3**

votes

**0**answers

190 views

### Matsushita theorem on framed variety (X,D)

I have a question about fibrations on Irreducible log holomorphic symplectic manifolds. Lets give some introduction
Motivation; A holomorphic symplectic manifold (HSM) is a $2n$-dimensional compact ...

**6**

votes

**0**answers

99 views

### Total transform of an effective Cartier divisor in blow-up

Suppose $X$ is a scheme (assume it is Noetherian if necessary) and $p$ is a closed point whose sheaf of ideals is of finite type, then the blow up of $X$ along $p$, $\text{Bl}_p X$, exists and could ...

**6**

votes

**0**answers

246 views

### Geometric interpretation of minimal number of generators of a module

Let $X \subset \mathbb{C}^n$ be an irreducible affine algebraic curve with coordinate ring $$\mathbb{C}[X] = \mathbb{C}[z_1, \ldots, z_n] / (f_1, \ldots, f_m ) $$ with each $f_i \in \mathbb{Z}[z_1, ...

**3**

votes

**0**answers

172 views

### Canonical metric on moduli space of singular Calabi-Yau varieties

Let $\pi:X\to Y$ be a surjective holomorphic map with connected fibers
and let fibers are singular Calabi-Yau varieties (i.e. numerical dimension is zero) then is it possible to construct canonical ...

**5**

votes

**1**answer

114 views

### Is locally freeness of a sheaf (of fixed rank) around a divisor detectable from a first order neighbourhood?

Assume you have a smooth projective variety $X$ over the complex numbers, a smooth prime divisor $D$ on it, and a torsion free coherent sheaf $E$ on $X$ of rank $r>0$. Let ...

**13**

votes

**1**answer

534 views

### Resolution of singularities in étale cohomology

The lack of a suitable resolution of singularities comes up often in work on étale cohomology from the 1960s and 70s, And I think even the latest version of Milne's lecture notes says "It is likely ...

**3**

votes

**0**answers

121 views

### First sheaf cohomology $H^1(\mathscr{O}_D, \mathbb{D})=0$

Given a finite divisor$$D=p_1+\dots +p_m -q_1 -\dots -q_n$$on the unit disk $\mathbb{D}$, does it necessarily follow that the first sheaf cohomology group equals zero, i.e.$$H^1(\mathscr{O}_D, ...

**12**

votes

**5**answers

1k views

### How much do I need to learn algebraic geometry to understand arithmetics over number fields

I am at the stage of learning. Mostly, I am attracted by algebraic number theory. Roughly speaking, I am interested in the rational points of algebraic varieties. I am little bit afraid to start to ...

**4**

votes

**1**answer

216 views

### Structure sheaf of affine variety consists of noetherian rings (again)

Let $X\subseteq \mathbb{A}^n$ be an affine variety.
The local ring of $X$ at $p\in X$, given by $\mathcal{O}_{X,p}=\{f\in k(X):f \text{ regular at } p\}$ is noetherian because it is a localization of ...

**4**

votes

**1**answer

161 views

### Embed a bordered Riemann surface into punctured Riemann surfaces?

Let $U$ be a bordered Riemann surface of genus $g$ with $n -1$ punctures and one hole (i.e., the border has one connected component). For any punctured Riemann surface $\Sigma$ of genus $g$ with $n$ ...

**9**

votes

**0**answers

139 views

### Can we just use effective descent morphisms (pure morphisms) as covers?

There are a number of notions of "cover" for a scheme: etale, faithfully flat, fpqc, fppf, Zariski, Nisnevich, etc. Most of these have a nice property, which is that a cover of that type satisfies ...

**6**

votes

**0**answers

77 views

### Center Picard group non-commutative algebra

I am wondering if there is a way to describe the center of the Picard group of a non-commutative algebra.
Namely, let $A$ be a finitely generated algebra over a field $k$. Denote by ...

**4**

votes

**0**answers

62 views

### Nonabelian Hodge structure for noncompact curves and Hodge structure on the fundamental group

Nonabelian Hodge theory, introduced by C. Simpson and others, may be interpreted as a description of the (real) Hodge structure on the fundamental group (say, of a compact curve) in terms of some ...

**5**

votes

**1**answer

127 views

### Is the analytification functor part of a geometric morphism of topoi?

Let $Sh(\mathsf{\mathbb{C}-fAlg}^{op})$ be the topos of zariski sheaves on finitely genertaed $\mathbb{C}$-algebras.
A complex analytic space for our purpose is a locally ringed space locally ...

**7**

votes

**0**answers

272 views

### Errata in EGA, collected

There is an extensive list of EGA's errata on the books themselves, but my question is whether new errata, that is those found by various mathematicians after the publication, are collected somewhere.
...

**3**

votes

**0**answers

78 views

### Irreducibility and flat morphism

Let $Y$ be a quasi projective $k$-variety ($k=\bar k$) and $X\rightarrow Y$ a flat morphism with proper (over $k$) integral $d$-dimensional ($d>0$) fibers over closed points. Can $X$ be reducible?

**8**

votes

**1**answer

234 views

### Finite morphism from a smooth projective curve.

Let $k$ be an algebraically closed field and $C$ be a smooth projective curve over $k$. Let $p$ be a prime number. Does there exists a finite morphism $f : C \to \mathbb{P}^1$ such that the degree of ...

**5**

votes

**1**answer

190 views

### A question regarding lines on a cubic surface

Let $X$ be a smooth cubic surface in $\mathbb{P}^3$. It is a classical theorem of Cayley and Salmon that $X$ contains exactly 27 lines over an algebraically closed field.
In 2002, Heath-Brown proved ...

**4**

votes

**1**answer

198 views

### Intuition behind the definition of finite correspondences

Finite correspondences were introduced by Suslin-Voevodsky (if I am not wrong) to define motivic complexes that compute motivic cohomology. Let $X$ and be smooth separated schemes of finite type over ...

**4**

votes

**1**answer

260 views

### Shafarevich conjecture for abelian varieties

In the paper "Arakelov's theorem for abelian varieties" Faltings proves the Shafarevich conjecture for abelian varieties.
The statement is the following:
Let B be smooth projective a curve, S a ...

**1**

vote

**0**answers

74 views

### Reference request: Structure of $H^1({{\mathbf{Q}}_{q}},{{{{E}}_{{p}^{\infty}}}})$

I need reference on the structure of ${H}^{1}({{\mathbf{Q}}_{q}},{{E}_{{{p}^{\infty}}}})$, in particular when:
(1.) $q=p$
and/or
(2.) $E$ has multiplicative reduction at $q$.
Here, $E$ is an ...

**4**

votes

**1**answer

180 views

### When may “summand of” be dropped from the definition of perfect dg module?

Let $\mathcal{A}$ be a small dg category. In Section 1 of Lunts-Orlov http://arxiv.org/pdf/0908.4187v5.pdf, $Perf(\mathcal{A})$ is defined to be the full DG subcategory of ...

**1**

vote

**0**answers

84 views

### Orders of zeros of section of sheaf

We have a semistable family (fibers has normal crossings and they are reduced, multp 1) $f: X \rightarrow Y,$ of complex curves over a smooth curve $Y.$ The family is smooth over the set ...

**3**

votes

**1**answer

107 views

### Do equivariant morphisms induce representable maps of quotient stacks?

Let $f: X \to Y$ be a $G$-equivariant map between schemes $X$, $Y$ with action of a flat group scheme $G$. Then why is the induced map of algebraic stacks $[X/G] \to [Y/G]$ representable?