Tagged Questions

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

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 ...
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 ...
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 ...
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 ...
115 views

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