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

**0**

votes

**0**answers

76 views

### The difference between Hilbert Scheme and Chow Scheme

I am confused by Hilbert Scheme and Chow Scheme. Whenever you have a point in hilbert scheme, take its fiber in the universal family and take its fumdamental class, we get a point in Chow Scheme; and ...

**4**

votes

**0**answers

76 views

### Grothendieck's paper on principal bundles, reduction to a torus step

In Grothendieck's paper "Sur la Classification des Fibres Holomorphes sur la Sphere de Riemann", there is a step I don't understand in section 4, where he proves reduction to a torus. He states (lemma ...

**0**

votes

**0**answers

156 views

### relation between algebraic geometry and complex geometry

As a complex manifold $\mathbb{P}^n$ is locally the euclidean space $\mathbb{C}^n$, as a projective variety it is locally $\mathbb{C}^n$ with the Zariski topology, as a scheme it is locally ...

**1**

vote

**0**answers

67 views

### Equivariant form of Nagata's compactification theorem?

Given a finite group $G$ acting on an algebraic variety $X$ (let's say over $\mathbb C$, if that helps), is there always a proper variety $\bar X$ with a $G$ action such that $X \to \bar X$ is a ...

**2**

votes

**1**answer

118 views

### Does the nearby cycle functor commute with the Verdier duality?

I would be interested to know the answer to the above question for the constructible bounded derived category on complex analytic or complex algebraic manifolds (or some other context). A reference ...

**0**

votes

**1**answer

33 views

### expressing in terms of sum of (double) schubert polynomial

It is well known that Schubert polynomials form a basis for the polynomial ring $\mathbb{Z}[x_1,x_2,x_3,...]$.
I am interested in knowing how to express a particular polynomial into sum of Schubert ...

**0**

votes

**0**answers

36 views

### Brunn-Minkowski Inequality : A Partucular Example of a 2 dimensional set

I had this question on Mathematics StackExchange unanswered for a month or so. Hence, it came here which it seems is a more natural place.
I have an inequality - $(R_{C+D})^{2} \geqslant (R_{C})^{2} ...

**2**

votes

**1**answer

195 views

### K theory long exact sequence

(1) Suppose that $Z\subset X$ is a closed embedding, $U = X\setminus Z$ is the complement. If relevant, suppose that both $X, Z$ are smooth and even (if relevant) that the normal bundle of $Z\subset ...

**2**

votes

**0**answers

54 views

### Reference on the classification of (low rank) Gorenstein rings over $\mathbb{C}$

I am interested in the question of the classification of (low rank) Gorenstein rings over $\mathbb{C}$. The socle of a local algebra is the annihilator of its maximal ideal. A commutative local ring ...

**2**

votes

**0**answers

85 views

### Integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of varieties of general type is a rational numbers?

It is known that the integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of Calabi-Yau varieties is a rational numbers.
My question is on moduli space of varieties of ...

**2**

votes

**0**answers

61 views

### Information and intuition packed in the Chern character for coherent sheaves

even after quite some time learning it, I still get somehow puzzled by the Chern character. Let me recall some stuff to get notation and setting.
Let us consider a smooth projective algebraic variety ...

**17**

votes

**2**answers

293 views

### Deep/precise relationship between two approaches to FLT for polynomials, $n = 3$

David Speyer commented the following here.
I saw Brian Conrad give an excellent one hour talk to undergraduates where he proved that there do not exist nonconstant, relatively prime, polynomials ...

**2**

votes

**0**answers

63 views

### Name for the variety of preimages of a finite morphism

If $f:X\to Y$ is a finite morphism of degree $d$ between two varieties, you get a closed subset of the symmetric product $X^{(d)}$ (or perhaps rather the Hilbert scheme $X^{[d]}$), defined as the ...

**0**

votes

**0**answers

70 views

### Euler Characteristic of simple sheaves

Let $X$ be a projective curve over a field $K$ (any characteristic). Let $\mathcal{F}$ be a coherent simple sheaf
(In the sense, that $\mathcal{F}$ doesn't have non-trivial subsheaves). What is the ...

**1**

vote

**0**answers

56 views

### Pull back of a semistable vector bundle to a product is semistable?

Let $X$ be a smooth projective surface over $\mathbb{C}$. Let $L$ be an ample line bundle on $X$. Let $F$ be a $\mu_L$ semistable rank 2 vector bundle on $X$ (semistability in the sense of ...

**1**

vote

**0**answers

57 views

### Cubic, divisor of rational function $x/z$? [on hold]

Let $k$ be a field, and let $a \neq 0$, $1 \in k$. Let $C = V(y^2z - x(x-z)(x - az))$. What is the divisor of the rational function $\psi([x, y, z]) = x/z \in k(C)$?

**0**

votes

**0**answers

82 views

### $C = V(x^3 - xz^2 - y^2z)$, linear equivalence [on hold]

Let $C = V(x^3 - xz^2 - y^2z) \subset \mathbb{P}^2(\mathbb{C})$. Let $p_0 = [0, 1, 0]$, $p_1 = [0, 0, 1]$, $p_2 = [1, 0, 1]$, $p_3 = [-1, 0, 1]$. I have two questions.
Is $2p_0$ linearly equivalent ...

**1**

vote

**0**answers

112 views

### Local cohomology commuting with fiber

Let $A$ be a nice commutative ring (say, $A=k[t_1,\ldots , t_n]$, ring of polynomials over an algebraically closed field $k$).
Let $M$ be an $A[x]$-module, which is finitely generated as an ...

**7**

votes

**1**answer

137 views

### $p$-torsion of an abelian variety of $p$-rank $0$

Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...

**4**

votes

**0**answers

125 views

### How to compute the first etale cohomology of a constructible torsion-free sheaf?

I am interested in the following example!
Let $k$ be a field, let $X_0$ be the scheme $\mathrm{Spec}R$ with $R_0=k[x,y]/(xy)$, let $R$ be the strict Hensilian localalisation of $R_0$ at the origin ...

**17**

votes

**1**answer

501 views

### Examples of Noetherian overkill

I have read in many places that the noetherian hypothesis is often overkill - both in commutative algebra and in ($\overset?=$) algebraic geometry. In particular, I've read that coherence and finite ...

**0**

votes

**0**answers

94 views

### The limit of parametrized algebraic variety

Consider the following situation. Take our field to be complex number $\mathbb{C}$, and the polynomial ring $\mathbb{C}[x_1,x_2,\dots,x_n]$. Suppose one has an ideal $I \subset ...

**3**

votes

**1**answer

83 views

### Is there a unique line bundle in the Kummer surface which pulls back to a totally symmetric line bundle?

Let $X=Jac(C)$ be an abelian surface over $\mathbb{C}$, the Jacobian of a genus 2 curve. Let $L$ be a symmetric line bundle. Let $Y$ be the Kummer surface, quotient of $X$ by the action of involution. ...

**0**

votes

**0**answers

63 views

### Pair (X,D) model of Iitaka fibration

Let $(X,D)$ be a pair with simple normal crossing divisor $D$, then is there any Iitaka fibration on pair $(X,D)$?

**11**

votes

**2**answers

420 views

### No nonconstant coprime polynomials $a(t)$, $b(t)$, $c(t) \in \mathbb{C}[t]$ where $a(t)^3 + b(t)^3 = c(t)^3$

See David Speyer's answer here.
I saw Brian Conrad give an excellent one hour talk to undergraduates where he proved that there do not exist nonconstant, relatively prime, polynomials $a(t)$, ...

**1**

vote

**1**answer

60 views

### Generalization of a Result about degree bounds of invariant rings

A theorem of Knop states that if $G$ is semisimple and connected acting on a vector space $V$ over a field $K$ of characteristic 0, then the degree of the Hilbert series of $K[V]^G$ is less than or ...

**0**

votes

**0**answers

90 views

### How to compute the arithmetic genus of a nonreduced curve?

Let $X$ be a nonreduced curve over an algebraically closed field $k$. Suppose that the reduced scheme $X^{\rm red}$ associated to $X$ is a smooth projective curve with genus $g$, and $J \subset O_{X}$ ...

**2**

votes

**0**answers

40 views

### Brill noether varieties of a family of curves

Let $p:\mathcal{C}\longrightarrow X$ be a family of smooth curves parametrized by a scheme $X$ and assume that $p$ admits a section. We have the Brill Noether varieties $\mathcal{G}^r_d(p)$ and ...

**-8**

votes

**0**answers

50 views

### connectedness in Euclidean Space [on hold]

f:[0,1] to R is a map defined by f(x)=sin(1/x),for x is not zero and
f(0)=0.X={(a,f(a))|a is in [0,1]}.prove that,X is a connected subset of
R^2 where the metric is usual euclidean metric on R^2.

**-6**

votes

**0**answers

65 views

### Continuity of Real line [on hold]

f:R to R such that f attains every value exactly twice i.e. for all a in
R, {x in R|f(x)=a} is either empty or doubleton set.prove that,f is
discontinuous at infinitely many points .

**12**

votes

**0**answers

182 views

### Koszul complex for non-Koszul algebras

Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal ...

**3**

votes

**0**answers

58 views

### Fibers of torus equivariant moment maps

Given a closed (possibly singular) projective variety $V$ with a symplectic structure and a torus action, there is a moment map
$\mu: V \rightarrow Lie(T)^*$. Note that the dimension of $T$ could be ...

**7**

votes

**1**answer

193 views

### Frucht's type theorem for Riemann surface

Frucht's theorem is a theorem in algebraic graph theory conjectured by Dénes Kőnig in 1936 and proved by Robert Frucht in 1939. It states that every finite group is the group of symmetries of a finite ...

**6**

votes

**1**answer

136 views

### Sections of the conormal bundle

Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$.
Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and ...

**7**

votes

**2**answers

348 views

### Definition of étale (etc) for non-representable morphisms of algebraic stacks?

I've stumbled upon the statement that the morphism $\pi$ from a root stack of the form $\sqrt[r]{\mathscr{L}/\mathscr{Y}}$ (i.e. the "generic" version, not the one concentrated along a divisor) to its ...

**0**

votes

**0**answers

84 views

### Are there unconditional results for boundedness of finitely many rational points on $f(x,y)=n$ for all $n$?

Major rewrite due to comments.
Let $f(x,y) \in \mathbb{Q}[x,y]$ and $f$ depends on both $x,y$.
Q1 Is it possible the number of rational solutions to $f(x,y)=n$
to be uniformly bounded for all ...

**2**

votes

**1**answer

239 views

### Application of sheaves theory in ring theory

Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?

**6**

votes

**1**answer

214 views

### Pullback along Frobenius morphism

Let $X$ be a scheme over a finite field $\mathbb{F}_q$ and let $F : X \to X$ be the absolute Frobenius morphism. If $\mathcal{L}$ is an invertible $\mathcal{O}_X$-module, then there is a natural ...

**5**

votes

**0**answers

83 views

### $\mathcal{M}(\mathcal{D}_X)$ and $\mathcal{M}^r(\mathcal{D}_X)$ have natural tensor category structures?

Write $\mathcal{M}^\ell(\mathcal{D}_{X/S}) = \mathcal{M}(\mathcal{D}_{X/S})$ for the category of left $\mathcal{D}$-modules over $X$ and $\mathcal{M}^r(\mathcal{D}_{X/S})$ for the category of right ...

**-1**

votes

**0**answers

49 views

### eliminate of indeterminancy of meromorphic map?

Suppose $X\dashrightarrow Y$ is a meromophic map. Can we eliminate the indeterminancy by blow ups? I know, when both $X,Y$ are projective, it is true. What about if they are not?

**4**

votes

**0**answers

88 views

### classification of homogenous complex manifolds

Suppose $X$ is a complex manifold (doesn't assume it's Kahler), and it's holomorhpic automorphism group is transitive. My question is that is there any classification of those manifolds ?

**8**

votes

**0**answers

178 views

### Arithmetic zeta function and local zeta functions

For the arithmetic zeta function of (say) a nonsingular projective variety $X$, one has the following Euler product
\begin{equation}
\zeta_X(s) = \prod_{p\ \mbox{prime}}\zeta_{X\vert\mathbb{F}_p}(s),
...

**3**

votes

**2**answers

170 views

### How do we get the quotient $Ext^1(N,M)/Hom(N,M)$?

If $0\longrightarrow M\longrightarrow E\longrightarrow N\longrightarrow 0$ is a short exact sequence of torsion free coherent sheaves on a surface. Here $M$ is a line bundle, $E$ a vector bundle of ...

**4**

votes

**1**answer

125 views

### $l$-dependence of the group of homologically zero cycles

Consider the class map $$cl:CH^i(X)\to H^{2i}_{cont}(X,\mathbb{Z}_l(i))$$ where the RHS is the continuous etale cohomology(defined by Jannsen in his paper "Continuous etale cohomology"). In this paper ...

**6**

votes

**1**answer

233 views

### What is the exact statement about uniform boundedness of rational points on curves of genus greater than one? Singular points can be unbounded

According to several sources, it is conjectured (or at least believed)
that the rational points of curves over the rationals of genus $g > 1$
are uniformly bounded by $g$. E.g. here p. 1.
Assuming ...

**-1**

votes

**0**answers

72 views

### Number of unimodular and singular matrices of particular type

Consider matrices of type
$$K_{r,n}=\begin{bmatrix}
a_{11} &a_{12} &\dots &a_{1n}\\
a_{21} &a_{22} &\dots &a_{2n}\\
\vdots &\vdots &\ddots &\vdots\\
a_{r1} ...

**6**

votes

**1**answer

182 views

### Under what conditions is the induced map of etale fundamental groups surjective?

Let $f:X \to Y$ be a morphism of schemes. I am interested in sufficient conditions on $f$ which would ensure that the induced map $\pi_1^{et}(X) \to \pi_1^{et}(Y)$ of etale fundamental groups is ...

**5**

votes

**1**answer

144 views

### Pushforward of line bundle under “toric isogeny”

Let $(X,T)$ be a smooth complex toric variety of dimension $d$ with torus $T$ and toric boundary $D=X\setminus T$. Let $\phi : X\to X$ be a finite endomorphism of $X$ such that the restriction
...

**5**

votes

**0**answers

89 views

### Gysin exact sequence for a singular subvariety

Let $k$ be an algebraically closed field (I'm interested in a characteristic $p>0$ specific example) and let $X$ be a (smooth if needed) algebraic variety.
Let $Y \subset X$ be a (possibly) ...

**4**

votes

**2**answers

352 views

### A systematic canonical construction of the Hodge star operator

I'm struggling to make sense of the Hodge star as a global canonical object. Here are my struggles so far and some questions:
Let $M$ be a finitely generated projective $R$-module (hence locally free ...