# Tagged Questions

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

**0**

votes

**0**answers

14 views

### On the Picard group of a product of projective varieties

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 ...

**2**

votes

**0**answers

27 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 ...

**6**

votes

**0**answers

141 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

74 views

### When is there a polynomial transformation?

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

141 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

66 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

158 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

181 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

145 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

97 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. ...

**2**

votes

**0**answers

82 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

99 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

218 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

174 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

108 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

126 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

57 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

101 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

252 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

126 views

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

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

81 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

134 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

90 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

92 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

229 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

78 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

68 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 ...

**0**

votes

**0**answers

98 views

### How to convert the formulas in definition of period numbers into their continued fraction expansion, and what will the transformation will be [closed]

As we know,there is an interpretation or correspondence of/between continued fraction expansion of numbers in/and algebraic geometry
how to convert the formulas in definition of period(for reference ...

**5**

votes

**2**answers

255 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 ...

**-4**

votes

**0**answers

109 views

### how to show a curve embeds into its Jacobian [closed]

Recently I have been reading Milne's note on Jacobian of curves, and he showed that the curve C embeds into its Jacobian. But his arguments actually depend on the a commutative diagram and it's not ...

**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 ...

**3**

votes

**1**answer

224 views

### Decomposition vs filtration vs stratification

Are there accepted/standard definitions of "decomposition", "filtration", and "stratification" of a topological space (or of a manifold, or of an algebraic variety) $X$?
I tend to understand ...

**3**

votes

**1**answer

99 views

### Embedded resolution of curves on smooth varieties

As far as I understand, embedded resolution of singularities means the following: given a variety $X$ over an algebraically closed field, and a closed subvariety $Y$, there exists a birational map ...

**5**

votes

**2**answers

178 views

### Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms.
Here I am wondering if there is a philosophical explanation about why the supersingular locus ...

**1**

vote

**1**answer

86 views

### Multiplicity of a variety along a subvariety

Let $X\subset\mathbb{P}^n$ be an hypersurface given by the vanishing of a polynomial $F\in k[x_0,...,x_n]_d$. Let $Y\subset X$ be a subvariety. Then $X$ has multiplicity $m$ along $Y$ if all the ...

**-5**

votes

**0**answers

112 views

### Computing the Length of a finite length module [closed]

How we can compute the length (length of a coposition series ) of the Artinian local ring $R=K[x,y]/(x^3,y^3)$?
Does the following chain is a saturated chain of ideals of $K[x,y]$?
...

**0**

votes

**1**answer

149 views

### Degree of an affine variety

The definition of degree is given for projective varieties, is there a definition also for affine varieties? If an affine variety has dimension $k$, is it possible to find at least an upper and a ...

**0**

votes

**0**answers

73 views

### Is the Nisnevich topology quasi compact?

We only consider schemes that are smooth and separated over a field $K$. Let $\{X_i\longrightarrow X\}_{i\in I}$ be a Nisnevich covering of a scheme $X$ (all $X_i$ and $X$ are smooth and separated). ...

**1**

vote

**2**answers

105 views

### Jacobian of a curve and field extension

Let $K$ be a field of characteristic zero and $X_K$ a smooth projective curve on $K$. Denote by $\bar{K}$ the algebraic closure of $K$ and $X_{\bar{K}}$ the base change of $X_K$ to $\bar{K}$. Under ...

**3**

votes

**0**answers

111 views

### Flat Connections on the Cotangent Complex

I'm trying to find a reference which defines and discusses some properties of connections and flat connections on the cotangent complex in a homotopical setting. That is to say, a connection or flat ...

**7**

votes

**1**answer

261 views

### Rational distance from vertices of an equilateral triangle

A colleague in my department posed the following question...
Let $A=(0,0)$, $B=(1,0)$, and $C=(1/2,\sqrt{3}/2)$. Then $\Delta ABC$ is an equilateral triangle with sides of length 1. Let ...

**3**

votes

**2**answers

109 views

### Injectivity under flat base change of the Picard group on smooth projective curves

Let $K$ be a field of characteristic $0$, $X_K$ a smooth projective curve over $K$. Denote by $\bar{K}$ the algebraic closure of $K$. The base change morphism $X_{\bar{K}} \to X_K$, induces via the ...

**6**

votes

**1**answer

265 views

### $\ell$-adic monodromy theorems (over $\mathbb{C}$)

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)
Notation
$H$ denotes étale cohomology.
Let ...

**2**

votes

**2**answers

170 views

### Openness of finite index subgroups of $\mathrm{GL}_n(\prod O_v)$

Let $K$ be a global field and set $O := \prod_{v\nmid \infty} O_v$ where $v$ runs over the finite places of $K$. Equip $\mathrm{GL}_n(O) = \prod_v \mathrm{GL}_n(O_v)$ with the product of the $v$-adic ...

**0**

votes

**2**answers

224 views

### Sheaf isomorphism $\mathcal{F}\rightarrow f_{\ast}f^{\ast}(\mathcal{F})$?

Let $f:X\rightarrow Y$ be a morphism of schemes and let $\mathcal{F}$ be a sheaf on $Y$. Then there is a natural map $$\Psi:\mathcal{F} \rightarrow f_{\ast}f^{\ast}(\mathcal{F})$$ and localizing ...

**4**

votes

**0**answers

102 views

### Algebraic fundamental group without regularity at infinity

Suppose $X$ is a smooth (connected) variety over $\mathbb{C}$. Let $\mathscr{C}$ be the category of finite rank vector bundles on $X$ equipped with an integrable connection, and let $\mathscr{C}'$ be ...

**39**

votes

**2**answers

1k views

### What are reasons to believe that e is not a period?

I hope this rather soft question is suitable for MO, otherwise please migrate it to MSE.
In their paper defining periods [1], Kontsevich and Zagier without further comment state that $e$ is ...