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

learn more… | top users | synonyms (1)

12
votes
1answer
441 views

Which nice/deep elaborations on the (operators <-> sheaves) / (endomorphisms <-> objects) theme are there?

A linear operator $T:V\to V$ on a (say) vector space over a field $k$ is just a $k[T]$-module, and may be viewed as the sheaf $\mathscr F_T$ over $\mathbb A^1_k$, with fibre over $\lambda\in k$ equal ...
1
vote
0answers
81 views

irreducibility of varieties defined by square roots equatiosn

I have the following collection of equations in matrix form: \begin{equation} \sqrt{\pi_{ij}\pi_{ik}\pi_{jl}\pi_{kl}}+ \sqrt{\pi_{ik}\pi_{il}\pi_{jk}\pi_{jl}}+\sqrt{\pi_{il}\pi_{ij}\pi_{kl}\pi_{jk}} ...
3
votes
0answers
68 views

$H^{1}(C, N_{C/X}(-m)) = 0$, for $C$ a irreducible curve on $X$ through $m$ general points

I was reading A. de Jong and J. Starr's paper "Low degree complete intersections are rationally simply connected", which can be found at http://www.math.stonybrook.edu/~jstarr/papers/nk1006g.pdf, and ...
4
votes
1answer
171 views

Infinitesimal deformations of fake projective planes (or ball quotients)

This question is related to the answer I gave to this MO question. What I'm asking is probably well-known to the experts in the field, and I apologize in advance if this turns out to be trivial. By ...
6
votes
1answer
398 views

Analytic Chern classes

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 ...
4
votes
2answers
316 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
75 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 ...
1
vote
0answers
116 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 ...
7
votes
2answers
480 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 ...
6
votes
2answers
868 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$ ...
21
votes
2answers
429 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 ...
0
votes
0answers
94 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) ...
14
votes
1answer
386 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
1answer
154 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 ...
5
votes
0answers
186 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 ...
2
votes
0answers
100 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 ...
2
votes
0answers
60 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
82 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 ...
1
vote
0answers
61 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
78 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 ...
5
votes
2answers
731 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 ...
0
votes
1answer
144 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$ ...
0
votes
0answers
103 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
0answers
111 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 ...
2
votes
2answers
242 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 ...
1
vote
1answer
129 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
141 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
153 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?
1
vote
0answers
108 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 ...
0
votes
1answer
117 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 ...
0
votes
0answers
70 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, ...
0
votes
0answers
124 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. ...
0
votes
0answers
156 views

Different proof's of Marten's theorem

I am referring to Marten's theorem on the dimension of $W_d^r $ as in ACGH p. 192 . It seems to me that an even shorter proof can be given using Hopf's Theorem that if $\nu : A \otimes B \to C $ is ...
1
vote
0answers
182 views

What is deforming this non-complete intersection like?

Let $R = \mathbf{C}[x,y,u,v]$ be the coordinate ring of $\mathbf{C}^4$. Let $I$ be the ideal generated by $u$ and $v$, let $J$ be the ideal generated by $u$ and $y$. What are the flat deformations of ...
2
votes
0answers
180 views

Can estimate upper bound of $|p_{i}|$ or $|q_{i}|?$

when I Find the diophantine-equation rational points $$2y^2=x^6-x^2+2$$ I using Faltings's theorem showed that there are only finitely many solutions,if we assmue that ...
0
votes
0answers
77 views

A question about Segre class

Suppose $C$ is a cone over $X$.(i.e.$C=\operatorname{Spec}S$, where $S$ is a sheaf of $O_X$ algebras.) The Segre class $s(C)$of $C$ is the class in $A_*(X)$ defined by ...
0
votes
0answers
79 views

How can I keep the roots of f(x)^n+g(x)^m far away from the roots of f and g?

More specifically, suppose for example I have $h(x)=\sum_{i=1}^k (x-i)^{d_i}$. Can I get any handle on the roots of $h(x)$? Can I somehow guarantee that the roots of $h(x)$ are not arbitrarily close ...
6
votes
1answer
173 views

Decidability of an Algebraic System in Real Numbers

Is there an algorithm to decide whether an algebraic system \begin{gathered} {f_1}({x_1}, \ldots ,{x_n}) = 0 \hfill \\ \vdots \hfill \\ {f_m}({x_1}, \ldots ,{x_n}) = 0 \hfill \\ ...
0
votes
0answers
142 views

Conditions for splitting of short exact sequence?

Are there conditions under which the short exact sequence $$0\rightarrow E (K)/mE (K)\rightarrow H^1_{Sel}(K,E_m)\rightarrow \Sha(E|K)_m\rightarrow 0$$ splits? I assume $K $ to be a number field and ...
14
votes
4answers
782 views

Number of $\mathbb F_p$ points constant mod $p$?

I have some affine varieties $X$ defined over $\mathbb Z$, and associated integers $c(X)$, with the property that $\# X_{\mathbb Z/p} \equiv c(X) \bmod p$ for all $p$. (In particular $c(X)$ is usually ...
1
vote
0answers
101 views

References for modular curves over finite fields [closed]

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...
0
votes
1answer
112 views

rationality of residues of differentials

Let $C$ be a smooth curve over a field $k$, $\overline{C}$ the smooth compactification and $S=\overline{C} \setminus C$. We think of $S$ as a reduced divisor defined over $k$. Take the sheaf of ...
2
votes
2answers
231 views

Theta characteristics of genus$\geq3$ curve

Let $C$ be a smooth curve of genus$\geq3$ over $\mathbb{C}$, so there are $2^{g-1}(2^g-1)$ odd theta characteristics and $2^{g-1}(2^g+1)$ even theta characteristics. Do we know how many of them has ...
4
votes
2answers
330 views

Specialisation of rigid varieties

Recall that a variety $X$ over a field $k$ is called rigid if $H^1(X, T_X) = 0$. I am interested in understanding this property under specialisation. Let $R$ be a discrete valuation ring and let ...
8
votes
1answer
401 views

Deformations of Ext rings

Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...
1
vote
1answer
144 views

Morphisms contracting a family of curves

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties. Let $S\subseteq X$ be a surface admitting a morphism $g:S\rightarrow C$ to a curve $C$ such that any fiber of $g$ is a curve. ...
1
vote
0answers
87 views

Looking for examples of holomorphic maps to $\mathbb{P}^1$ with certain property

I would like to know any example of nonconstant holomorphic map $f:X\to\mathbb{P}^1$ such that $K_X\cong f^*\mathcal{O}(2n)$ for some positive integer $n$, where $K_X$ is the canonical bundle of $X$. ...
3
votes
1answer
132 views

CM abelian varieties over the rationals

Let $K$ be a number field and let $A$ be an abelian variety of dimension $g$ over $K$. Let $L$ be a CM field and suppose that $[L:{\bf Q}]=2g$. Suppose that there exists an embedding ...
0
votes
0answers
42 views

Calculating the distinguished varieties of intersection product

In Fulton's Intersection theory Example 6.1.2,one considers two divisors on $\mathbf{P}^2$ given by $D_1=A+2B,D_2=2A+B$, where $A,B$ are lines meeting at a point. Let $X=D_1\times ...
0
votes
1answer
131 views

Sections of proper, flat morphism

Let $f:X \to Y$ be a proper, flat morphism of projective scheme and $Y$ is an irreducible, non-singular surface. Assume further that there exists a Zariski open subset $U$ of $Y$ whose complement is ...