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

learn more… | top users | synonyms (1)

0
votes
0answers
40 views

Fundamental group of connected sum for non-orientable manifolds

For orientable manifolds, $\pi_1(M\#N)=\pi_1(M)*\pi_1(N)$, fundamental group of connected sum is free product of fundamental groups. As far as I understand, for non-orientable manifolds connected sum ...
1
vote
0answers
72 views

Is a quasi-coherent sheaf of ideals with free stalks of rank 1 a Cartier divisor?

Let $X$ be a scheme and let $\mathscr{I} \subset \mathscr{O}_X$ be a quasi-coherent sheaf of ideals. Suppose that for each $x \in X$, the stalk $\mathscr{I}_x$ is generated by an element $f_x \in ...
3
votes
1answer
83 views

The generic fiber pullback for $p$-divisible groups in characteristic $p$

Let $R$ be a discrete valuation ring with the field of fractions $K$ and the residue characteristic $p$. If $K$ is of characteristic $0$, then a celebrated theorem of Tate says that the pullback ...
0
votes
0answers
72 views

Codim r strata in a scheme

My question is what is the definition of codimension r strata for a scheme $X$, with NCD $D$. I heard the term in a lecture but I could not find it nowhere.
2
votes
1answer
140 views

Splitting varieties of two Galois cohomology symbols

One characteristic property of the so called norm varieties defined by Rost, is that they split pure symbols of Galois cohomology groups $H^n(k,\mu_p)$, meaning: For some $\alpha \in H^n(k,\mu_p)$ ...
3
votes
1answer
196 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
1answer
100 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
0answers
101 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
0answers
125 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
0answers
134 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 ...
5
votes
0answers
500 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
2answers
183 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
0answers
83 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
0answers
103 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
0answers
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
1answer
132 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
1answer
348 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}$. ...
7
votes
1answer
219 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
0answers
84 views

Help with the proof of Max Noether's Residue Theorem [closed]

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
1answer
161 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 ...
8
votes
2answers
308 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
0answers
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
1answer
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
1answer
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
2answers
211 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
3answers
218 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
1answer
292 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
1answer
137 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
1answer
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
1answer
251 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
1answer
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
1answer
193 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
0answers
266 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
1answer
147 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
0answers
123 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
1answer
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
1answer
198 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
1answer
181 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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
757 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
1answer
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
1answer
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
0answers
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
2answers
265 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
1answer
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
1answer
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
2answers
243 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 ...