# Tagged Questions

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

**7**

votes

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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