# Tagged Questions

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

**2**

votes

**2**answers

616 views

### About Abhyankar's conjecture

I just came to this conjecture (proved by M.Raynaud and D.Harbater in 1994) last weekend, in Fresnel and v.d.Put's book Rigid Geometry and Its Applications. It claims that all quasi $p$-group $G$ ...

**3**

votes

**2**answers

109 views

### Infinitesimal deformations of a fibration

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties over an algebraically closed field with connected fibers.
Assume that both $Y$ and the general fiber of $f$ admit a non-trivial ...

**0**

votes

**0**answers

16 views

### Analytic Chern clases

I have two questions on Chern classes, following Huybrechts' Complex Geometry.
Are the analytic Chern forms just the elementary symmetric polynomials of the eigenvalues of the curvature?
I googled ...

**12**

votes

**1**answer

274 views

### Geometric generic fibre

This is a pretty elementary question about schemes, but it came up in the course of research, so let's try it here rather than MSE.
Question 1: Are the fibres of a family of complex varieties ...

**0**

votes

**0**answers

53 views

### higher direct images of relative canonical sheaf plus a fractional divisor

For a map $f: Y \rightarrow X$ branched over simple normal crossing divisor $B=\sum_iB_i$, do we know of similar local freeness property for higher direct image of relative canonical sheaf plus a ...

**4**

votes

**1**answer

238 views

+150

### Quadrics and Moduli Spaces

It is well known that $\overline{M}_{0,5}$, the moduli space of $5$-pointed rational curves, can be realized as the blow-up of $\mathbb{P}^2$ in four general points. Therefore, we may interpret ...

**5**

votes

**1**answer

145 views

+50

### Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...

**14**

votes

**2**answers

317 views

### Equivalence of “Weyl Algebra” and “Crystalline” definitions of rings of differential operators between modules?

Let $B$ be a commutative $A$-algebra, and let $M$, $N$ be two $B$-modules. We can talk about the set of $A$-linear module homomorphisms $M \to N$, i.e. the set $\text{Hom}_A(M, N)$. Differential ...

**-5**

votes

**0**answers

33 views

### profit and loss related aptitude qustion? [on hold]

A sold a watch to B at a gain of 5% and B sold it to C at a gain of 4%. If C paid Rs. 1902 for it, the price paid by A is?

**7**

votes

**2**answers

385 views

### What is descent data (of higher categories), conceptually?

First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a ...

**18**

votes

**3**answers

528 views

### Variety acquiring rational point over any quadratic extension

Does there exist a variety $X$ over $\mathbb{Q}$ (or a number field) such that it has no rational points over $\mathbb{Q}$ but acquires points over any quadratic extension $\mathbb{Q}(\sqrt{d})$?
If ...

**-3**

votes

**0**answers

78 views

### Non-flat $R \subseteq S$, which is integral, separable, $R$ is a noetherian (not integrally closed) integral domain

On ramification theory in noetherian rings,
of Auslander and Buchsbaum say:
"Chapter 4 is devoted to showing that under various conditions if $S$ is unramified over $R$, then $S$ is $R$-projective. ...

**3**

votes

**2**answers

306 views

### commutative algebra, diagonal morphism

can anyone help me with the following statement (it is part of a bigger proof where it is not explained).
Let $B$ be a finite type commutative $A$-algebra (where $A$ is a commutative ring), and ...

**1**

vote

**0**answers

102 views

### Riemann-Roch formula for nodal curves

Let $X$ be an irreducible, reduced, projective curve over an algebraically closed field, with at worst nodes as singularities. Let $\mathcal{F}$ be a trivial vector bundle on $X$ of rank $r$. Consider ...

**0**

votes

**0**answers

83 views

### Two questions about sections of ruled surfaces

The following questions maybe elementary, but I can't find them in the literature.
Assume now everything I will write is defined over some algebraically closed field. Let $S$ be a (geometrically) ...

**-2**

votes

**0**answers

46 views

### Distance between point and plane [on hold]

So according to this, the signed distance between a point will be the dot product of the plane's normal vector (does it have to be a unit vector?) and the point-in-plane minus the point vector.
I ...

**0**

votes

**1**answer

122 views

### Change of grading used in the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring” by Eero Hyry

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I do not understand the following part in Lemma 1.1. here.
Let ...

**3**

votes

**1**answer

177 views

### Linear projection from a point and local complete intersection

Let $p:=[0,0,...,0,1] \in \mathbb{P}^n$ the point whose all the coordinates are zero except for the $n$-th. This defines a linear projection map $\phi:\mathbb{P}^n-p \to \mathbb{P}^{n-1}$, given by ...

**5**

votes

**2**answers

716 views

### Idea of using etale site

I have just read an article which mentions that, when Grothendieck considered using etale morphism, he did borrow the idea from Riemann that multivalued function on an open subset of complex plane ...

**2**

votes

**1**answer

310 views

### Higher genus Gromov-Witten potential

Is it known if the higher genus (gravitational) Gromov-Witten potential is split in a classical and quantum part like the genus 0 Gromov-Witten potential? If so, Could someone give a reference?

**5**

votes

**0**answers

161 views

### Log smooth models for abelian varieties

Let $K$ be a field which is complete for a discrete valuation. Assume that the residue field has characteristic $p > 0$. Let $A$ be an abelian variety over $K$ having the property that (for some ...

**0**

votes

**1**answer

149 views

### Is the Gysin morphism equivariant?

Let $X$ be a smooth, projective complex variety and $j \colon D \hookrightarrow X$ a smooth divisor. Then we have a Gysin morphism in singular cohomology
$$
j_\ast \colon H^{\bullet}(D) \to ...

**1**

vote

**1**answer

164 views

### Pull-back of reflexive sheaves

Let $X$ be a noetherian, projective scheme, $\mathcal{F}$ be a reflexive sheaf on $X$ pure of dimension $\dim(X)$ and $Y \subset X$ be a closed subscheme of $X$. Is it possible that the pull-back of ...

**0**

votes

**1**answer

179 views

### The injection of direct image sheaf

Let $f:X \longrightarrow Y$ be a smooth holomorphic fibration between K\"ahler manifolds and $L$ be a holomorphic line bundle on $X$. Let $m$ be a positive integer. We denote by ...

**-1**

votes

**1**answer

101 views

### Bijection between dominant rational maps and morphisms of function fields?

Let $X$ and $Y$ be two integral schemes of finite type over a field $k$. Consider the function fields $K(X)$ and $K(Y)$.
Do we have a bijection between:
(a) Dominant rational maps $X \rightarrow Y$
...

**-1**

votes

**0**answers

93 views

### picard group of a cyclic cover

I want to find any result about the picard group of a ramified double cover of a projective plane.
Isn't there any general result about this case unlike ruled surface?
Can you recommend any good ...

**2**

votes

**1**answer

244 views

### global sections of structure sheaf on the toric Calabi-Yau

Let P be a lattice polytope and lying in $ N \times {1} \subset N \times \mathbb{R}$. Let $\sigma$ be the cone over this polytope and $X_\sigma$ be the corresponding toric variety, which is an ...

**0**

votes

**1**answer

176 views

### Equidimensionality of stalks of $\operatorname{Proj} S$ when $S$ is equidimensional.

I would like to know a reference of the following statement (or counter example).
Let $S$ be a (commutative) Noetherian standard graded ring over a local ring, i.e., $S = S_0[S_1]$, where $S_0$ is ...

**0**

votes

**1**answer

151 views

### Extending a section of a coherent sheaf and homomorphism

Let $X=\mathrm{Spec}(A)$ be an affine integral scheme of finite type over $\mathbb{C}$ and $\phi:\mathcal{F} \to \mathcal{G}$ be a surjective morphism of coherent sheaves on $X$. Let $f \in A$, ...

**2**

votes

**0**answers

87 views

### Twisting by a multiplicative Character in Katz, Perversity and Exponential sums

Let $C(x_1,\ldots,x_n)$ be a nonsigular cubic form with integral coefficients.
In his Proof that $C$ fulfills the Hasse-Principle, if $n\geq 9$, Hooley used the following estimate that was provided ...

**0**

votes

**1**answer

132 views

### Model over DVR for smooth projective curves

Let $C$ be a smooth, projective, geometrically irreducible curve of genus at least $2$ over a complete discrete valued field $F$ of characteristic zero (not necessarily algebraically closed). Let $R$ ...

**1**

vote

**0**answers

74 views

### $n$-recollements and perverse t-structures

A recent preprint on arXiv brought my attention on the notion of $n$-recollement (def. 2) a generalization of the notion of recollement among three abelian or triangulated categories behaving like a ...

**2**

votes

**0**answers

54 views

### TTF triples are recollements

The notion of recollement
$$
\mathcal{A}'
\stackrel{\overset{i^*}{\longleftarrow}}{\stackrel{\overset{i_*}{\longrightarrow}}{\underset{i^!}{\longleftarrow}}}
...

**1**

vote

**0**answers

53 views

### Beauville's Integrable System with singular spectral curves

Let us consider Beauville's Integrable System. So, we live on $\mathbb{P}^1$. There is the moduli space of matrices $M_r(d)/\mathrm{PGL}(r)$ with polynomial entries of degree less than or equal $d$. ...

**1**

vote

**0**answers

74 views

### All relations among degree n monomials in n variables

In the course of my work, I have run into the problem of finding exactly all relations among degree $n$ monomials in $k[x_1,\dotsc,x_n]$, with specific interest in the case $n=3$ (e.g. $x_1^2 x_2 ...

**0**

votes

**0**answers

54 views

### Proof of formula for dimension of moduli of stable vector bundles on smooth curves [migrated]

Let $C$ be a smooth curve of genus $g \ge 2$ over an algebraically closed field of positive characteristic. If I understand correctly, the dimension of the moduli space of vector bundles on $C$ of ...

**0**

votes

**0**answers

121 views

### Independent Generic Curves in the Projective Plane

I'm trying to read a paper by Masayoshi Nagata
(available here)
where he gives a counter-example to Hilbert's fourteenth prolem
and I've run into some trouble understanding the terminology he's using.
...

**2**

votes

**2**answers

202 views

### Vanishing of higher direct image of a morphism with generic fiber $\Bbb{P}^1$

The following question was asked on math.stackexchange.com with no reply for the past week or so. Let $f : X \to Y$ be a morphism of smooth (integral) varieties over $\Bbb{C}$ with generic fiber equal ...

**16**

votes

**1**answer

835 views

### New(?) reciprocity law

Consider three functions $f, g$ and $h$ on a smooth curve $X$ over $\mathbb{C}$.
I have found the following equality:
$$\sum (res(f\frac{dg}{g})\frac{dh}{h}-res(f\frac{dh}{h})\frac{dg}{g})=0.$$
Here ...

**0**

votes

**0**answers

101 views

### residue formula for connections on curves

Let $X$ be a smooth, projective curve over a field $k$ (characteristic zero is enough for me) and $E$ a line bundle on $X$. Assume that $E$ is equipped with an integrable logarithmic connection ...

**0**

votes

**1**answer

186 views

### Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...

**0**

votes

**0**answers

101 views

### Transversal intersection in the moving lemma

Let $X$ be a smooth projective variety over an algebraically closed field and let $A,B$ be closed irreducible subvarieties of $X$. Chow's moving lemma which is proved in the book by Eisenbud and ...

**1**

vote

**1**answer

119 views

### The canonical bundle of an infinitesimal deformation

Let $X_0$ be a smooth projective variety over the complex numbers and let $X$ be an infinitesimal deformation of $X_0$ over the ring of dual numbers.
If the canonical bundle of $X_0$ is ample (resp. ...

**2**

votes

**1**answer

126 views

### isogeny clases of CM abelian varieties

Let $A$ be an abelian variety defined over $\overline{\mathbb{Q}}$ and with complex multiplication by a CM field $K$. Looking at the action of $K$ on $H^0(A, \Omega^1_A)$ one gets a CM type of $K$, ...

**0**

votes

**1**answer

160 views

### Degree of the negative part of a divisor

Let $K$ be an algebraically closed field (or $\overline{\mathbb{C}(z)}$ for a more precise condition). And let $P \in K[x,y]$ be an irreducible polynomial of degree $m$ with respect to $x$ and degree ...

**0**

votes

**1**answer

139 views

### Smooth morphism to homogeneous spaces and fibers

Let $f:X \to Y$ be a smooth morphism between projective varieties. Suppose $Y$ is a homogeneous space. Under what additional condition on $f$, can we conclude that every fibers of $f$ are isomorphic?

**0**

votes

**1**answer

110 views

### Picard group of a quotient of a group by its maximal parabolic subgroup

Let $G$ be a connected, linear, semi-simple algebraic group over an algebraically closed field of characteristic zero and $P$ be the maximal parabolic subgroup. We know that the quotient $Z=G/P$ is a ...

**1**

vote

**0**answers

98 views

### Artin's criterion for étale, quasi-separated algebraic spaces

it is known from Knutson's work that an algebraic space which is separated and étale over a scheme is a scheme. Let $S$ be a locally noetherian scheme. I am looking for a reference giving an Artin's ...

**5**

votes

**1**answer

665 views

### Recent ideas in Macaulayfication?

Kawasaki has shown that a quasi-projective variety over a field has a Macaulayfication. His construction does not preserve the Cohen-Macaulay locus of the original variety, only a finite set of ...

**0**

votes

**0**answers

64 views

### Functor of order $n$ in Mumford's abelian variety

Let $T$ be a contravariant functor on the category of complete varieties into the Category $\underline{\mathrm{Ab}}$ of abelian groups. Let $X_0,\ldots,X_n$ be any system of complete varieties, ...