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

learn more… | top users | synonyms (1)

5
votes
0answers
103 views

Injective homomorphism induced by cup product in cohomology

Let $M$ be an irreducible holomorphic symplectic manifold of dimension $\geq 4$. In his paper 'A survey of Torelli and Monodromy results', Markman claims (discussion after Theorem 9.7) that the cup ...
3
votes
1answer
122 views

Graded ring of a genus 2 curve

Let $X$ be a smooth projective complex curve of genus 2 with canonical divisor $K$. $X$ of course is hyperelliptic and has an involution that I denote by $j$. There exists 3 possibilities for ...
-3
votes
1answer
177 views

Loop space of manifold [closed]

Question A: The free loop space of a manifold is also a manifold? Question B: The free loop space of an algebraic variety is also a algebraic variety ? Are these questions asked or answered anywhere ...
5
votes
0answers
128 views

Line-configuration in algebraic hypersurfaces

Suppose we are working on $\mathbb{C}^3$ (so that maybe this is more appealing to algebraic geometers) and we are given an algebraic equation $F(x,y,z)=0$ of degree $n\geq 3$ defining some smooth ...
1
vote
2answers
134 views

Canonical (tautological) section of a family of sheaves

A couple of months ago, i saw a construction, that somehow looks like the construction of the tautological section of the pullback of a vector bundle to its total space, i am trying to piece it ...
3
votes
2answers
290 views

Smooth paths on affine varieties

I have the following question which is in some way related to an application of Randell Isotopy Theorem to complex hyperplane arrangements. Let $h,k\geq1$ be integer numbers and let ...
2
votes
1answer
169 views

What does the Chern-Schwartz-MacPherson class of a singular variety look like?

Let $A_\ast$ and $F_\ast$ be the functors $\textrm{Var}_\mathbb C\to \textrm{Ab}$ of Chow groups and constructible functions, respectively, with respect to proper maps. Then the ...
0
votes
0answers
133 views

Do there exist nontrivial motivic cohomology operations preserving weights?

Suppose that for each field $F$ a linear map $X(F): H_M^{p,q}(F, \mathbb{Q}) \longrightarrow H_M^{p,q}(F,\mathbb{Q})$ is given, such that $X$ commutes with inclusions of fields and transfers for ...
1
vote
1answer
210 views

Composition of rational functions

Given a rational function $R\in\Bbb R(x_1,\dots,x_n)$ with multilinear numerator and denominator, is there always a rational function $G\in\Bbb R(x)$ such that $G\circ R\in\Bbb R[x_1,\dots,x_n]$, ...
2
votes
0answers
39 views

A weaker version of Randell Isotopy Theorem

I am studying a problem in hyperplane arrangement theory related to the homotopy type of the complement manifold of a certain class of hyperplane arrangements. In a well celebrated paper Richard ...
0
votes
1answer
82 views

Criterion for transverse boundary intersection of one-parameter family in $\overline M_{g,n}(X,\beta)$

Suppose we have a projective, nonsingular, convex variety $X$, $\beta \in H_2(X,\mathbb{Z})$ and a family $$ \begin{array}{ccc} \mathcal{C}& \to & X \cr \downarrow& & & \cr B ...
1
vote
1answer
140 views

Chow groups of locally trivial affine fibrations

Let $X$ be an algebraic variety over an algebraically closed field $k$ of characteristic $0$. A locally trivial $\mathbf{A}^n$-fibration is a morphism $\pi \colon Y \to X$ such that $\pi^{-1}(U)\cong ...
14
votes
1answer
697 views

Do I know what “coherent sheaf” means if I know what it means on locally Noetherian schemes?

I've been trying to convince myself that "coherent sheaf" is a natural definition. One way I might be satisfied is the following: for modules over a Noetherian ring $A$, coherent and finitely ...
0
votes
2answers
123 views

Example of a covariant derivative on a non-projective bundle

I was looking for a simple example of a covariant derivative on a bundle, where the bundle is not projective. If necessary, the example could be from complex or noncommutative geometry, but I would ...
1
vote
1answer
169 views

Singular homology of the zero loci of polynomials

I am very sorry but apparently I am really weak in cohomology flavored questions. I try to reformulate my problem in a very simple and hopefully clear way. This question is related with a problem in ...
4
votes
1answer
102 views

Lindel's theorem for semisimple simply connected G

Let $k$ be a field. $G/k$ be a simply connected semisimple algebraic group. Let $X/k$ be a smooth affine $k$-scheme. Question: Is every principal $G$ bundle on $X\times {\mathbb A}^1$ a pull back ...
0
votes
0answers
65 views

Degree of permutation of hypercube

Given $S_0\cup S_1=T_0\cup T_1=\{0,1\}^n$, $S_0\cap S_1=T_0\cap T_1=\emptyset$, with $|S_i|=|T_i|$ for both $i\in\{0,1\}$, what is degree of transformation that simultaneously maps $S_i$ to $T_i$ for ...
1
vote
0answers
92 views

On the local Euler obstruction for singular varieties

Let $X$ be a complex algebraic variety (not necessarily irreducible, nor reduced). Then the local Euler obstruction is a group isomorphism $$\textrm{Eu}: Z_\ast X\to F_\ast X,$$ where $Z_\ast X$ is ...
1
vote
0answers
119 views

Are two line bundles with the same ramification type necessarily isomorphic?

I have no motivation for the following problem, I am just curious if it is true or not. Here it is: If $l_1$ and $l_2$ are two complete $g^r_d$'s on a smooth curve $C$ such that the vanishing ...
2
votes
0answers
126 views

When is the Hom-scheme connected?

Suppose that $A$ and $B$ are two algebras finite over a field $K$ (which may be assumed to be separably closed, if that helps), then we know that the functor ...
9
votes
2answers
286 views

Infinitesimal deformations of the formal group of $\mathbb{G}_m$

For a commutative ring $R$, consider the formal group $\widehat{\mathbb{G}}_m$ over $R$ that is the completion of $\mathbb{G}_{m, R}$ along its identity section (naively, $\widehat{\mathbb{G}}_m$ is ...
3
votes
1answer
186 views

Quasicoherent sheaves on superschemes

I am interested in learning about super algebraic geometry (some objects I am studying seem to be naturally superstacks, at least in some sense). What would be the best reference for the subject? I am ...
0
votes
1answer
285 views

cup-length of the first Chern class of complex grassmannian

Let $G_2(\mathbb{C}^{n+1})$ be the complex grassmannian. Then the cohomology ring $H^*(G_2(\mathbb{C}^{n+1});\mathbb{C})=\mathbb{C}[c_1,c_2]/(f_n,f_{n+1})$, where ...
1
vote
0answers
69 views

Proximal point avoids a subvariety

I have a seemingly easy problem about the proximal point in a variety of a general point in the ambient space, which I don't have a proof: Let $X \subset \mathbb{C}^N$ be the affine cone over some ...
4
votes
0answers
184 views

Example of a genus-1 degree-7 plane curve

I am wondering if anyone knows how to construct an explicit example of an irreducible plane curve of degree 7 with 14 double points. Such a curve would have genus 1. One can show that for a general ...
8
votes
3answers
465 views

Degree necessary of a polynomial?

Given $-1<a<b<0$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[a,b]$ at every $x\in[b^2,a^2]$ and $f(0)=0$. What is minimum degree that is needed and maximum degree that ...
3
votes
1answer
223 views

Are essentially smooth schemes noetherian?

Let $k$ be a field. I am unable to find a precise definition of essentially smooth $k$ schemes, but I will stick to this definition below, since this is exactly what I need: Definition: A $k$-scheme ...
1
vote
1answer
167 views

a problem about ideals of polynomial rings

Let $\{f_n\}_{n=1}^\infty\in \mathbb{C}[x,y]$ be a sequence of polynomials given by the following expressions $$ f_n(x,y)=\sum_{i=0}^{[\dfrac{n}{2}]}(-1)^{n-i}{{n-i}\choose i}x^{n-2i}y^i. $$ Let ...
5
votes
1answer
221 views

Dimension of the span of all partial derivatives of a given symmetric polynomial $f$ and the polynomial $E(f)$

I need some help on the problem below. Let $d\geq 4$ and $f$ a symmetric polynomial, homogeneous of degree $d$, in $n$ variables $x_1,\dots,x_n$, with real coefficients. We set $$ ...
3
votes
0answers
276 views

How is $ \sum_{x \in X(\mathbb{F}_q)} \dots $ a generalization of cardinality?

This quarter Maxim Kontsevich is offering a course on exponential integral. There is not much in the way of notes, but is one page with mysterious comments. Let $X$ be an algebraic variety over ...
12
votes
1answer
260 views

Do line bundles descend to coarse moduli spaces of Artin stacks with finite inertia?

According to the Keel-Mori theorem if $\mathcal{X}$ is a separated Artin stack of finite type over a scheme S with finite inertia, then it admits a coarse moduli space $X$ (which is an algebraic ...
0
votes
0answers
124 views

If the quotient of an algebraic space $X$ by a finite group is a scheme, is $X$ a scheme?

If the quotient of an algebraic space $X$ by a finite group $G$ is a scheme, is $X$ already a scheme? Here $G$ is just a finite group, but I'd like to know the answer when $X$ is defined over ...
7
votes
1answer
252 views

A geometric construction of the complex projective plane?

The paper Kötter's synthetic geometry of algebraic curves, (N. Fraser, Proceedings of the Edinburgh Mathematical Society 7, 46–61, 1888) opens with a sketch of what appears to be a synthetic ...
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$, ...
3
votes
0answers
163 views

Generators for fake projective planes groups

Is there a reference for generators of fundamental groups of (some) fake projective planes in terms of matrices in $SU(2,1)$?
11
votes
0answers
567 views

Meaningful review of Moriwaki's “Arakelov Geometry”

I have been asked to write a mathscinet review for Atsushi Moriwaki's Arakelov Geometry book: http://www.ams.org/bookstore-getitem/item=mmono-244 I could do the review the standard way in a day or ...
2
votes
1answer
270 views

A generalization of miracle flatness theorem

I wonder if the miracle flatness theorem Generalizing miracle flatness (Matsumura 23.1) via finite Tor-dimension still works if the rings involved are not local (and the dimension condition is ...
4
votes
1answer
816 views

Why we study Geometric invariant theory?

I am trying to learn Geometric invariant theory like it was introduced by Mumford. But I do not have a strong motivation and so I want to know the reason of studying Geometric invariant theory. I just ...
1
vote
0answers
116 views

Characterizations of regular holonomic D-modules

I'm looking for references for the various characterizations of regular holonomic D-modules, in particular proofs of their equivalence. For instance, some characterizations I've seen (in the analytic ...
1
vote
1answer
165 views

Dimension of Ext modules [closed]

Let $(R,m)$ be a noetherian local ring, and $M$ and $N$ be two finitely generated $R$-module. Then is it true that $\dim \text{Ext}^k(M,N)\leq \dim M-k$? If not does the reversed inequality hold?
2
votes
1answer
170 views

Second cohomology groups of Nakajima quiver varieties

Let $X=M(v,w)$ be a Nakajima quiver variety for a quiver $Q$. Can one calculate the second singular cohomology groups $H^2(X,\mathbb Z)$ or $H^2(X,\mathbb C)$ explicitly, and if not, are there some ...
3
votes
1answer
380 views

Algebraicity of the stack of coherent sheaves

I am trying to understand the proof of Theorem 4.6.2.1 in the book on algebraic stacks by Laumon and Moret-Bailly. The setting is this: $S$ is a Noetherian scheme, $f\colon X \rightarrow S$ is a ...
9
votes
1answer
281 views

Higher Fano varieties and Tsen's theorem

The rational connectivity of (complex) Fano manifolds ($c_1(T_X) > 0$) is one of the major, and surely most memorable achievements of Mori's bend-and-break method. To this day, despite intensive ...
1
vote
1answer
220 views

symplectic reduction for pair $(M,D)$

Let $M$ be a symplectic manifold with divisor $D$. Then how can we define symplectic reduction for pair $(M,D)$?
8
votes
1answer
416 views

What is an excellent algebraic space?

What does it mean to say that an algebraic space $S$ is excellent? One knows that excellence of a Noetherian ring is not a property that is etale local (that is, excellence cannot be checked over an ...
1
vote
1answer
87 views

Induced topology on site + Reconstructing global sections of a scheme (Orlov)

Let $(C,T,O)$ be a ringed site. Let $X$ be a presheaf on C. We get an induced ringed site $(C/X,T_X,O_X)$. C/X is the over category wrt the presheaf X. The topology $T_X$ is the biggest topology ...
2
votes
0answers
125 views

Do we have the following “devissage commutative diagram” in K-theory?

Let $X$ be a non-reduced Noetherian scheme. We define $K^0(X)$ to be the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ to be the Grothendieck group of the derived category ...
12
votes
1answer
243 views

Why are unramified maps not required to be locally of finite presentation?

I have read and heard several times that it is “important” that unramified maps are not required to be locally of finite presentation, but only locally of finite type. Apart from this issue with ...
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 ...
2
votes
2answers
226 views

Could we extend any line bundle on the smooth part of a singular curve to a line bundle on the whole curve?

Let $X$ be a singular curve over an algebraic closed field $k$ with characteristic zero. Let $Z$ be the closed subset of singular points on $X$ and $U=X-Z$ be the smooth part, which is an open subset ...