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

learn more… | top users | synonyms (1)

3
votes
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
5answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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?