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

learn more… | top users | synonyms (1)

2
votes
2answers
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
2answers
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
3answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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, ...