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

learn more… | top users | synonyms (1)

7
votes
1answer
261 views

Intuition for Picard-Lefschetz formula

I'm trying to develop some intuition for the (local) Picard-Lefschetz formula (which I'm encountering for the first time in Deligne's paper "La Conjecture de Weil, I"). To summarize the setup, we ...
3
votes
1answer
162 views

Is there a covering of Prym variety?

$\mathstrut$Hi, guys! Let $C$, $C^\prime$ be projective smooth irreducible algebraic curves over an algebraically closed field $k$ ($\mathrm{char}(k) \neq 2$), $\phi : C$ $\to$ $C^\prime$ a ...
0
votes
1answer
117 views

When stable curves can be embedded to their Jacobian?

Let $X$ be a stable curve over a complete DVR $R$ with smooth generic fiber. If $X$ has a $R$-rational point, by the universal properties of Neron models, we obtain a morphism from $f: X-X_{s}^{\rm ...
4
votes
2answers
264 views

Lifting the Hasse invariant mod $2$

Katz defines in Section 2.0 $p$-adic properties of modular schemes and modular forms the Hasse invariant as a mod $p$ modular form $A$ of weight $p-1$. In other words, it is a section of ...
1
vote
1answer
91 views

the pfaffian-adjugate and its counterparts for matrices odd size

Let $R$ be a commutative ring (zero characteristic). Take a skew-symmetric matrix $A\in Mat^{skew-sym}(n,R)$. If $n$ is even, then $det(A)=Pf^2(A)$ and there exists the "Pfaffian adjugate/adjoint" ...
0
votes
1answer
108 views

generic irreduciblity

Suppose we have a proper morphism $f:X\rightarrow Y$ and $0\in Y$. If the fiber $f^{-1}(0)$ is irreducible and reduced, is the set $\{y\in Y|f^{-1}(y) \text{ is irreducible and reduced}\}$ open?
2
votes
0answers
137 views

Description of the equalizer of $\prod _j R/I_j \rightrightarrows \prod _{i,j}R/(I_i+I_j)$

This is a crosspost of this MSE question. I have asked several questions in an attmept to get a general version of the Chinese remainder theorem without conditions on the ideals which will ...
6
votes
0answers
128 views

del Pezzo surfaces and exceptional algebras

It is well-known that $H^2(dP_n, Z)$ for a del Pezzo surface of degree $9-n$ which is $\mathbb{P}^2$ blown up at $n$ generic points, is encoded by the exceptional Lie algebra $E_n$. However, the Mori ...
5
votes
0answers
228 views

Sporadic and Exceptional

I have been reading this recent paper of J.McKay and YH. He (they've written a number of papers recently, including a fun and joking one on 42 which overflow commented on) called "Sporadic and ...
1
vote
0answers
127 views

ideals linked to an almost complete intersection

Is a grade $3$ type $3$ perfect ideal in a Noetherian ring linked to a grade $3$ almost complete intersection? I know that grade $3$ type $2$ perfect ideals are (by a work of Anne Brown).
10
votes
0answers
158 views

Detecting $k$-affinoid spaces by vanishing cohomology

The property of being an affine scheme can be tested against all quasi-coherent sheaves in the following sense: a noetherian scheme $X$ is affine iff $H^i(X,\mathcal{F}) = 0$ for all quasi-coherent ...
14
votes
0answers
318 views

History of the functor of points

Until now, I thought the functor of points approach was introduced by Grothendieck at the 1973 Buffalo seminar. However, in this note by Lawvere the author writes: "I myself had learned the ...
3
votes
0answers
154 views

Cohomology and deformations of moduli of vector bundles

I believe that the following is well-known, but I cannot find a reference in the literature... Let $X$ be a smooth variety (in our case $X = M^s(r)$ coarse moduli space of stable rank $r$ vector ...
4
votes
1answer
103 views

Pullback of $0$-cycle by generically finite rational map

Let $f:Y\dashrightarrow X$ be a generically finite (and separable) rational map of smooth projective $k$-varieties and $x,y\in U(k)$ be two rational points, where $U\subset X$ is an open subset of $X$ ...
1
vote
1answer
103 views

Looking for a good exposition - Rees Construction

Can someone point me in the direction of a good exposition of the Rees Construction in Hodge Theory? Thanks!
9
votes
0answers
98 views

Finiteness of torsion in $\mathcal{K}_2$-cohomology

Let $F$ be a number field, $C$ be a smooth projective curve over $F$ and $\mathfrak{C}$ be a proper regular model. I am interested in $\mathcal{K}_2$-cohomology, i.e., Zariski cohomology of the sheaf ...
1
vote
1answer
297 views

Reference request for Godement's “Topologie algébrique et théorie des faisceaux”

Does anybody know if an english translation of this paper exists please?
0
votes
1answer
80 views

Maximal split torus of universal chevalley group

Let $G$ be simply connected chevalley group over a field $K$. I am following the notations as in 'Lectures on Chevalley group' by Steinberg (Yale lectures). Let $H$ be the subgroup generated by ...
1
vote
0answers
83 views

Subvariety with particular codimension intersections

Suppose that I have a variety $X$, and a set of subvarieties $A_1,...,A_r$ of codimension $n$ and a set of subvarieties $B_1,...,B_s$ of codimension $m$. Is there a nice way to determine whether ...
0
votes
1answer
153 views

functoriality of hilbert scheme

suppose $f:X\rightarrow Y$ is a morphism between two schemes over scheme $S.$ Do we have the morphism between their hilbert schemes, i.e. is there a natural morphism $Hilb(X/S)\rightarrow Hilb(Y/S)$ ...
1
vote
1answer
159 views

A certain invariant of non-singular algebraic surfaces

Let $X \subset \mathbb{P}^3$ be a non-singular surface defined over $\mathbb{Q}$ of degree $d \geq 3$. It is a theorem of Colliot-Thelene (see the appendix to this paper: ...
20
votes
2answers
699 views

Describing the crystalline extension of $\mathbb{Q}_p$ by $\mathbb{Q}_p$

Let $K$ be a finite extension of $\mathbb{Q_p}$. The group $\ker H^1(G_K, \mathbb{Q}_p) \rightarrow H^1(G_K, B_{crys})$ is one-dimensional, which tells us that among all extensions of Galois modules ...
0
votes
0answers
47 views

Generators of fixed function fields under involutions

I am trying to prove something for function fields in two generators and only one involution but I don't know if it is true, if true, I would like to generalize, here it is. Let $K=k(\eta_1,\eta_2)$ ...
2
votes
0answers
100 views

Morphisms of locally ringed spaces into affine schemes

In Görtz and Wedhorn's Algebraic Geometry I, there's the following proposition: Proposition 3.4. Let $(X,\mathcal O_X)$ be a locally ringed space. If $Y$ is an affine scheme then the natural map ...
3
votes
0answers
57 views

Is the functor of PA forms known to be equivalent to the functor of PL forms for noncompact spaces?

In the following paper: Robert Hardt, Pascal Lambrechts, Victor Turchin, and Ismar Volić, Real homotopy theory of semi-algebraic sets, Algebr. Geom. Topol. 11 (2011), no. 5, 2477–2545. the authors ...
1
vote
1answer
72 views

$0/1$ programming multiple quadratic constraints

If we have an $n$-variable rank $n$-linear system it is clear we can find whether there exists a $0/1$ solution in polynomial time. If we have an $n$-variable degree $2$ system how many constraints ...
4
votes
2answers
256 views

Which curves have reflexive structure sheaf?

[This was first posted on MSE but did not get any answer. I apologize if it is not suited for MO.] Let $C$ be a curve, i.e. a purely one-dimensional scheme, embedded in a smooth projective threefold ...
16
votes
1answer
534 views

(really) basic intuition for $\mathbb A^1$-homotopy theory

Apologies in advance if this question is inappropriate for MO. I'm trying to read here and there about $\mathbb A^1$-homotopy theory in algebraic geometry. I understand some abstract machinery is ...
28
votes
2answers
393 views

If $A$ is the ring of continuous functions on a genus $g$ surface, can the genus of $X$ be seen by simple algebra in $A$?

I was describing to a friend the result that a compact Hausdorff space is determined up to homeomorphism up to by its ring of continuous functions, and he asked how one could see the genus of a ...
8
votes
1answer
209 views

Descent of sheaves under galois covering

Let $\pi: Y\rightarrow X$ be a finite Galois covering between normal projective varieties with Galois group $G$. Let $E$ be a coherent sheaf on $Y$ with a $G$-linearisation, i.e., there are ...
3
votes
1answer
136 views

can we write down the holomorphic vector fields on the compact hermitian symmetric spaces explicitly?

Can we write down the holomorphic vector fields on the compact hermitian symmetric spaces explicitly? Do you have any idea of which paper has disscussed this topic? For example, what is the ...
-1
votes
0answers
93 views

closed subschemes correspond to quasicoherent sheaves of ideals

We know that we have a correspondence between closed subscheme of a scheme X with quasi-coherent sheaves of ideals on X. I want to know is it true that if A is irreducible closed subscheme of ...
0
votes
2answers
334 views

Solving a system of equations using Gröbner basis

In Sage (or any other package) when using Gröbner basis to solve a system of equations (some of which are non-linear equations) does computing the Gröbner basis for the ideal ID generated by the ...
0
votes
2answers
152 views

Ring with Cohen-Macaulay canonical module

Let $(R,m)$ be Noetherian local ring which is an imagine of a Gorenstein ring $(S,n)$. Set $$ K_R:= Ext_S^{s-d}(R,S), $$ where $d=\dim R$, $s=\dim S$. If $K_R$ is Cohen-Macaulay (i.e. $R$ is a ...
0
votes
0answers
43 views

dimension of singular set of torsion free sheaves over a unit disc

Suppose $D\subset\mathbb C$ is a unit disc and $\mathcal F$ is a torsion free analytic coherent sheaf over $D$. Define $S(\mathcal F)=\{x\in D|\mathcal F_{x}\, is \,not\, locally\, free\}$. Is ...
1
vote
0answers
96 views

Description of the fibres of a family of morphisms

Let $k$ be an algebraically closed field. Let $S$ be a quasi-projective $k$-variety and $f : X \to S$ be a flat morphism. Suppose that the morphism $f$ factors through a finite surjective morphism $g ...
4
votes
0answers
81 views

Relations between curves if we have morphisms from a scheme to their Kummer varieties

Assume we are given two smooth projective curves $C_i$ of genus $g\geq 3$ over $\mathbb{C}$, $i=0,1$. Denote the Kummer varieties associated to the Jacobians by $K_i$. Then $K_i$ is the singular locus ...
7
votes
1answer
237 views

Ring of invariants for the regular representation

The symmetric group $S_n$ acts on $\mathbb C^n$ by permuting the coordinates. In this case the ring of invariants is generated by elementary symmetric polynomials in n-variables. Now consider the ...
0
votes
2answers
429 views

Gluing affine schemes

Let $Y$ be a scheme, and $\mathcal{A}$ be a sheaf of $\mathcal{O}_Y$-algebras. Such that $\mathcal{A}$ is quasi-coherent. For every affine open set $V$ in $Y$, we have ring morphisms ...
3
votes
1answer
176 views

Kobayashi distance function on the upper half-space

I asked this question already in mathstackexchange but got no answer, so I ask it again here. Let $\mathbb{H}_{g}$ be the Siegel upper half space, i.e., the set of complex symmetric $g\times g$ ...
9
votes
2answers
710 views

Algebraic independance of exponentials

First of all, a happy new year. Be it better than 2015, healthy, wealthy, fruitful and cross-fertilizing for you, familly and friends. In order to cope with families of solutions of evolution ...
3
votes
0answers
184 views

Colmez conjecture and endomorphism rings

It is given by the Colmez conjecture that if $A$ has a CM-type $(k, \phi)$ and $\text{End}(A) = \mathcal{O_k}$ $$\displaystyle h_{\text{fal}}(A) = \sum_{\text{irr} \hspace{1 mm}\rho: ...
3
votes
1answer
185 views

Why is dual lattice a lattice, in the context of complex tori

I have a simple linear algebra question regarding the definition of dual of a lattice; it was asked by someone else here three months ago on mathstackexchange but got no answer and few views, so ...
2
votes
0answers
173 views

Deformation of compact complex manifolds

In Kollár's book, Rational curves on Algebraic Varieties, he states the following theorem [II Theorem 1.7]. For a reltative projective flat reduced curve $C$ over an irreducibles base $S$ and a ...
5
votes
1answer
139 views

Common zero of invariants of finite groups

Let $G$ be a finite group $n = |G|$. Let $\sigma : G \rightarrow GL(n,\mathbb{C})$ be the regular representation. Hence every element of $G$ can be seen as a permutation matrix. Let ...
1
vote
1answer
147 views

Base change for non-flat coherent sheaves and affine maps

Let $A$ be a finitely generated $k$-algebra, where $k$ is a field, let $I$ be an ideal in $A$, let $M$ be a finitely generated $A/I$-module, and let $M^{\prime}$ denote $M$ considered as an ...
10
votes
1answer
538 views

What is the first cohomology $H_{fppf}^{1}(X, \alpha_{p})$?

Let $X$ be a smooth projective curve of genus $g>1$ over an algebraically closed field $k$ of characteristic $p>0$. Let $\alpha_{p}$ be the group scheme of the kernel of $F: \mathbb{G}_{a} ...
5
votes
0answers
162 views

reference request: category of crystals on a scheme is locally noetherian

I'm looking for a reference to the fact that the category of crystals on any scheme is locally noetherian. This is stated in Gaitsgory's paper "Crystals and D-modules" but he doesn't provide a ...
0
votes
1answer
146 views

Will any two linearly equivalent ample divisors on an abelian variety intersect?

Let $X$ be an abelian variety of dimension $n>2$. Let $L$ be a very ample line bundle on $X$. Is it possible to find two divisors $D_1,D_2\in |L|$ which do not intersect or intersect in codimension ...
0
votes
0answers
163 views

Explicit form of certain polynomials and intersection of curves

Let $X$ be a smooth degree $d$ hypersurface in $\mathbb{P}^3$ and $C, D$ two effective divisors on $X$ intersecting at finitely many points. Is it true that if $C$ and $D$ intersect in ''low'' number ...