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

**6**

votes

**2**answers

69 views

### Conceptual algebraic proof that Grassmannian is closed in Plucker embedding

I'm planning lectures for my intro algebraic geometry course, and I noted something awkward that is coming up. We're starting projective varieties soon. Of course, we'll prove that projective maps are ...

**3**

votes

**0**answers

21 views

### Locally Closed Orbits in Real Algebraic Geometry

Let $G$ be a real algebraic group, and let $X$ be a real affine $G$-variety. I am looking for conditions on $G$ and $X$ for which the $G$-orbits are known to be locally closed in the Zariski topology ...

**1**

vote

**1**answer

71 views

### deformations of vector bundles on curves

Let $X$ be a smooth algebraic curve. Suppose I have a flat family $V_y\to X$ of vector bundles on $X$ over an affine scheme $S$. Let $p=Spec(k)$ be one geometric point of $S$. If the determinant of ...

**0**

votes

**1**answer

49 views

### Is the support of two odd theta characteristics on a generic curve disjoint?

Take a canonically embedded generic curve of genus $g$ and denote it by $C \hookrightarrow \mathbb{P}^{g-1}$. There are precisely $2^{g-1} (2^g -1) $ hyperplanes in the ambient space which have ...

**0**

votes

**0**answers

28 views

### Localization on orbit type submanifolds (generalization of Atiyah-Bott-Berline-Vergne)

In equivariant cohomology, the Atiyah-Bott-Berline-Vergne localization theorem says roughly speaking that the integral of an equivariant cohomology class on the $G$-manifold $M$ has only contributions ...

**0**

votes

**0**answers

77 views

### path integral and index theorem

I actually have an integral which is used to prove Atiyah-Singer index theorem for spin complex in a path integral fashion. The integral I need to evaluate is following (in simplified form)
$\int ...

**1**

vote

**0**answers

33 views

### Connection between Strebel differentials, ribbon graphs, and Belyi maps

In this paper, a nice story is woven regarding the connection between quadratic differentials on Riemann surfaces, so-called 'ribbon graphs' drawn on those surfaces, and Belyi maps. However, I am ...

**-1**

votes

**0**answers

45 views

### An isogeny from a split algebraic torus

Suppose that there is an isogeny (in the category of commutative algebraic groups) from a split algebraic torus to a semi-abelian variety. Does it follows that this semi-abelian variety is also an ...

**2**

votes

**0**answers

48 views

### Explicit equations for conormal bundle to an affine toric variety

Let $L \subset \mathbb{Z}^n$ be a lattice and let $X_L$ be the closed toric subvariety of $\mathbb{C}^n$ cut out by the lattice ideal $I_L = \{x^{l_+} - x^{l_-} \,| \, l_+, l_- \in \mathbb{N}^n \text{ ...

**1**

vote

**0**answers

63 views

### preservation of localness among certain Krull domains

The following question essentially appeared (http://math.stackexchange.com/questions/931801/preservation-of-localness-among-certain-krull-domains) on math.SE a while ago, but nobody has done anything ...

**3**

votes

**1**answer

110 views

### Containment of two varieties with a lot of intersection

Given a projective variety $X\subset \mathbb P^n$ and a curve $C\subset \mathbb P^n$, when can I conclude that $C\subset X$, from the fact that $C$ and $X$ have 'many' points in common. I.e., is there ...

**2**

votes

**1**answer

196 views

### Can the Grothendieck ring of varities over a field $k$ be defined for non separated schemes?

The Grothendieck ring of varieties over a field $k$ is the abelian group generated by isomorphim classes $[X]$ of separated, reduced $k$-schemes $X$ of finite type with the relation
$[X]=[Y] + ...

**0**

votes

**0**answers

140 views

### Decomposition of symmetric homogeneous polynomials

Can every symmetric polynomial of degree $r$ in $d$ variables that has no constant term be written as a sum of the $r$th powers of linear polynomials in $d$ variables and a homogeneous polynomial of ...

**-1**

votes

**0**answers

61 views

### Isogeny of abelian varieties over general fields [on hold]

We know that given an abelian variety $X$ over an algebraically closed field $K$ of characteristic $0$ and any integer $n$ the induced map $[n]:X \to X$ is an isogeny. As far as I understand this ...

**1**

vote

**0**answers

61 views

### On the universal property of certain representable functors and rational sections

Let $P_1,P_2$ be two Hilbert polynomials of subschemes in $\mathbb{P}^n$. Denote by $H_{P_1,P_2}$ the corresponding flag Hilbert scheme (parametrizing pairs $(X\subset Y)$ where $X$ has Hilbert ...

**8**

votes

**0**answers

107 views

### Different notions of convergence of complex subvarieties

Let $X$ be a smooth complex algebraic variety (or, better, complex analytic manifold). Let $\{C_i\}$ be a sequence of compact algebraic subvarieties (resp. analytic reduced subspaces) which converges ...

**1**

vote

**1**answer

111 views

### An application of the Grauert's upper semi-continuity theorem

Let $X$ be a smooth projective variety, $A$ a complete discrete valuation ring, $Y=\mbox{Spec} A$ and $f:X \to Y$ a smooth, projective, surjective morphism. Denote by $y$ the closed point of $Y$. Let ...

**5**

votes

**0**answers

192 views

### Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end:
Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ...

**-4**

votes

**0**answers

89 views

### On the Picard group of a product of projective varieties [on hold]

Let $K$ be a field of characteristic zero, $X$ a smooth projective curve on $K$ and $Y$ a Fano variety over $K$. Consider the natural projection morphism $\mbox{pr}_1$ (resp. $\mbox{pr}_2$) from $X ...

**6**

votes

**1**answer

173 views

### Groups and pregeometries

Definition.
For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say
that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...

**9**

votes

**1**answer

386 views

### Is it easy to prove that $\sum_n |X(\mathbb{F}_{q^n})| t^n$ is rational?

Background: Let $X$ be an algebraic variety over a finite field $\mathbb{F}_q$. One of the successes of Etale cohomology - previously achieved by Dwork- was proving the rationality of the Zeta ...

**0**

votes

**0**answers

116 views

### When is there a polynomial transformation? [on hold]

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...

**1**

vote

**0**answers

173 views

### Are these two “FUNCTORS” adjoint?

I am considering the following correspondence:
Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...

**2**

votes

**0**answers

106 views

### If the direct image of f preserves coherent sheaves on notherian schemes,how to show f is proper?

The other direction is well known
I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove.I am also wondering whether ...

**1**

vote

**1**answer

179 views

### Blow-ups and cohomology

I'm trying to understand how to compute the Chow ring of a blow-up.
Let $W\subset \mathbb P^4$ be a smooth surface and let $X$ be the blow-up of $\mathbb P^4$ along $W$ with exceptional divisor $E$. ...

**7**

votes

**1**answer

218 views

### What are the exact holomorphic Lagrangians in complex 2-space?

In an exact symplectic manifold, i.e. where the symplectic form can be written $\omega = d \lambda$, it's natural to look for exact Lagrangians, i.e. $L$ on which $\lambda_L = df$. One reason is ...

**4**

votes

**0**answers

154 views

### Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple.
Pro-reductive groups make sense over any scheme.
Is there an extension of the theory ...

**3**

votes

**1**answer

112 views

### Categorical characterization of closed imbeddings

Let $f\colon X\to Y$ be a morphism of schemes.
Let $F_X$ and $F_Y$ be the contravariant functors from the category $Sch$ of schemes to the category of sets defined via the Yoneda construction, i.e. ...

**3**

votes

**0**answers

87 views

### Universal covering space of a Zariski open subset of projective space

Let $U$ be a Zariski open subset of $\mathbb P^n_{\mathbb C}$. Assume $U$ is the complement of some divisors.
Have the possible universal covering spaces of $U$ been classified?
Do we know when the ...

**1**

vote

**0**answers

104 views

### Is there such thing as the Gorensteinification of a one-dimensional local ring?

That is, given $A$ local, reduced and one-dimensional, is there a finite extension $A\to B$ where $B$ is Gorenstein?

**4**

votes

**1**answer

227 views

### The space of varieties between two given varieties

Let $\mathbf{P} = \mathbf{P}^n(k)$ be the $n$-dimensional projective space over a field $k$, let $A, B$ be projective varieties in $\mathbf{P}$ such that $A \subset B$. Now define
$V(A,B)$ to be the ...

**3**

votes

**0**answers

180 views

### Reference request: Beilinson-Bernstein for finite-dimensional reps and category O

I think I’ve once been told that under the Beilinson-Bernstein correspondence, finite-dimensional representations of a semisimple Lie algebra $\mathfrak{g}$ correspond to (twisted) D-modules on $G/B$ ...

**1**

vote

**0**answers

118 views

### which sections of elliptic curves are conjugate?

Suppose you have a relative elliptic curves $f : E\rightarrow S$ (say $S$ is connected). Then suppose you have two sections $g,g' : S\rightarrow E$, corresponding to two sections $g_*,g'_*$ to the map ...

**4**

votes

**1**answer

131 views

### Pulling back quasi-coherent sheaves from a quotient stack

In a problem I am trying to solve, the following situation occurs. $X$ is a smooth variety and $G$ is a reductive group acting transitively on $X$. We have the stack $X/G$ and a morphism $\pi : X \to ...

**0**

votes

**0**answers

59 views

### stability notion of nets of quadrics

A net of quadrics in $\mathbb{P}^n$ is a plane in $\mathbb{P}^N$, where $N=\frac{n(n+3)}{2}$. So the space of net of quadrics is the Grassmannian $Gr(3,N+1)$. The group $SL_{n+1}(\mathbb{C})$ acts on ...

**2**

votes

**0**answers

102 views

### infinite dimensional germs of schemes and tangent spaces

(The question of the type "how to define?")
Let $(R,\mathfrak{m})$ be a local ring over a field $k$ of zero characteristic. Consider the matrices over this ring, $Mat(m,R)$. I think of $Mat(m,R)$ as ...

**7**

votes

**1**answer

267 views

### Does there exist a Fano variety with torsion in $H^3$?

Let $X$ be a (smooth) Fano variety over $\mathbb{C}$. If $\dim(X)=3$, inspection of the Iskovskikh-Mori-Mukai lists seems to indicate that $H^3(X,\mathbb{Z})$ is torsion free. Is there a theoretical ...

**0**

votes

**1**answer

128 views

### Hasse principle and twists of $\mathbb{P}^n$ [closed]

Let $X$ be a twist of the $n$-th projective space, seen as a $K$-variety for some number field $K$. For $n = 1$, the Hasse principle holds for $X$.
My question is: for which $n >1$ does the ...

**1**

vote

**0**answers

82 views

### The meaning of induced sheaf $\mathscr F_y$ in Hartshorne's Corollary III.9.4

I do not quite understand Corollary III.9.4 on page 255 of Hartshorne's Algebraic geometry.
I quote the corollary here before I post my questions:
Let $f:\, X \to Y$ be a separated morphism of ...

**2**

votes

**1**answer

141 views

### curve through a point avoiding an hypersurface, II

Inspired by this question:
Suppose given an algebraic curve $C \subset \mathbb{A}^2$, and a point $x \in C$. Can you find another (closed) curve $D \subset \mathbb{A}^2$ such that $C \cap D = x$?
...

**0**

votes

**0**answers

65 views

### A question about dimension of fibers for a flat morphism

Let $f: X → Y$ be a morphism of schemes which is locally of finite type. Define the relative
dimension of $f$ at $x$, denoted by $\text{dim}_x f$ to be the dimension of the topological space ...

**0**

votes

**1**answer

93 views

### curve through a point avoiding an hypersurface

Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset.
Let $x\in H$, Is it possible to find an curve ...

**3**

votes

**1**answer

97 views

### A question on klt pairs

Let $D$ be a $\mathbb{Q}$-divisor in a smooth variety $X$. In Lazarsfeld book "Positivity in Algebraic Geometry 2" I found Proposition 9.5.13 saying that if for any $x\in D$ we have $mult_xD < 1$ ...

**1**

vote

**3**answers

233 views

### are K3 surfaces complete intersections in their polarization?

I cannot seem to find stated the following fact, which is surely well known to experts.
Let (S,L) be a polarized K3 surface. Then $M = L^{\otimes 3}$ is very ample and we can consider the embedding ...

**4**

votes

**1**answer

79 views

### odd degree $0$-cycles and rational points on a quadric hypersurface

Is it true that a smooth quadric hypersurface has a rational point if and only if it has an odd degree $0$-cycle?
I think this is true. If so, can someone give a (geometric) proof?

**0**

votes

**0**answers

77 views

### General and generic forms in a vector space

Suppose $V$ is a vector space on $\mathbb{C}$. What is the definition of general linear form $h\in V $ and generic form $g\in V$?

**1**

vote

**0**answers

71 views

### Blowing up along birational equivalent subvarieties

Let $X$ be an algebraic variety (not necessarily projective) over $\mathbb{C}$, and $V_1,V_2\subset X$ two projective subvarieties of $X$, with $\textrm{codim}(V_1)=\textrm{codim}(V_2)=2$. Suppose ...

**1**

vote

**1**answer

102 views

### The locus of rational/elliptic curves on a special surface in $\mathbb{P}^3$

Let $P$ and $Q$ be two general polynomials of the same degree $d>5$. Consider the surface $S: z^2=P(x)Q(y)$ in $\mathbb{P}^3$ (after homogenization by the variable $w$). One can show that these ...

**5**

votes

**2**answers

260 views

### Singular points of algebraic varieties and parametrization by Puiseux series

Let $V\subset \mathbb{R}^n$ (or $\mathbb{C}^n$ if that makes anything easier) be an algebraic variety and $p\in V$ a possibly singular point. Let $U\subset V$ be a sufficiently small neighborhood of ...

**2**

votes

**0**answers

77 views

### Is the cotangent complexes of groupoids bounded above by degree $1$?

Let $\mathcal{X}$ be a stack given by a groupoid $X_1\rightrightarrows X_0$, where $X_0$ and $X_1$ are smooth $k$-varieties. Let $\mathbb{L}_{\mathcal{X}/k}$ be the cotangent complex of ...