# Tagged Questions

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

**-2**

votes

**0**answers

132 views

### Picard Group Can Contain rational curve? [migrated]

X is a smooth projective curve with genus>2
My Question is, Pic(X) can contain rational curve(P^1) or not

**3**

votes

**1**answer

298 views

### What are the automorphisms of $BG$?

Setup: Let's work in the category of schemes over $\mathbb C$. Let $G$ be a finite group. Let $BG=[pt/G]$ be the classifying stack of principal $G$ bundles. This is a fiberd category over the big ...

**4**

votes

**2**answers

256 views

### Find all possible rational values of a parametric quartic such that it is reducible

Description: Given the following parametric quartic polynomial
$y^4 - 28 z y^3 - 14 (656 - 328 z + 83 z^2) y^2 +
4 z (-20464 + 10232 z + 3409 z^2) y +
91 (62208 - 62208 z + 41504 z^2 - 12976 z^3 ...

**4**

votes

**1**answer

200 views

### Reference request for division algebras, over $\mathbb{Q}_{p}((t))$

I was looking for a possible reference that would answer the following question,
Let $\mathbb{Q}_{p}$ be the $p$-adic numbers and $\mathbb{Q}_{p}((t))$ be the field of Laurent polynomials over ...

**0**

votes

**0**answers

142 views

### What is the co-kernel of the morphism of vector bundles?

Let $X$ be a surface, and $i:C\subset X$ be a smooth curve. Let $A$ be a line bundle on $C$, and $E$ be a vector bundle of rank $r$ on $X$.
Suppose there is a surjection: $E\longrightarrow ...

**0**

votes

**1**answer

130 views

### Need help on explanations of moduli space (of genus 1 curves) [closed]

Sorry about this question which is not on a research level. But I am very confused about this "first" example of coarse moduli space of genus 1 curves.
The moduli space I talk about here is the ...

**3**

votes

**2**answers

316 views

### Is a normal proper relative curve over a DVR projective?

Let $X$ be a connected normal scheme equipped with a proper flat morphism $f\colon X \rightarrow \mathrm{Spec }(R)$ with $R$ a discrete valuation ring and such that the fibers of $f$ are curves (i.e., ...

**2**

votes

**3**answers

313 views

### Integral transform on noncommutative spaces

In their paper "Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry" the authors show that for perfect stacks $X$ and $Y$ over $k$, and their $k$-linear $\infty$-categories of ...

**-2**

votes

**0**answers

19 views

### The number of conditions on D that $mult_x(D)=k$ [migrated]

Let $X$ be a smooth projective variety of dimension $n$ and $H$ an ample divisor on $X$.
I want to know the number of conditions on $D\in |mH|$ that $x$ be a point of multiplicity$=k$ on $D$. The ...

**0**

votes

**1**answer

106 views

### Is the round up of ample Q-divisor ample?

Let $X$ be a smooth projective variety and $A$ an ample $\mathbb{Q}$-divisor on $X$.
Is the round up $\ulcorner A\urcorner$ of $A$ ample?
I think it's true. But I do not know how to arrange an ...

**3**

votes

**0**answers

67 views

### Intersection numbers on blow ups of toric varieties

Suppose we have a smooth, complete toric varietiy $X_{\Sigma}$ of dimension $n$. Let $\sigma_k \in \Sigma(k)$ a smooth $k$-dimensional cone in $\Sigma$ and suppose we make the toric blow up at the ...

**2**

votes

**1**answer

106 views

### Iterated blow-ups above a point

Let $X = \mathbb A^2$. Say we blow up the origin $(0,0)$, and then blow up the intersection of $(x=0)$ with the exceptional divisor. The resulting space is the blow-up of $\mathbb A^2$ along what ...

**2**

votes

**1**answer

215 views

### Cohomology of a local system and Deligne's weight filtration

Let $X$ be a stratified variety, and let $i:S\hookrightarrow X$ be the inclusion of a stratum. Let $F := H^k(i^!\operatorname{IC}_X)$. This is a local system on $S$ whose fiber at a point is ...

**1**

vote

**1**answer

94 views

### Pushforward of locally free sheaves under open immersion

Let $X$ be a connected projective noetherian scheme over $\mathbb{C}$, with every irreducible component of the same dimension. Let $\dim X=n \ge 2$ and $p$ be a closed point on $X$. Denote by $U$ the ...

**3**

votes

**1**answer

113 views

### An integral domain of dimension one with a non-trivial infinite intersection of prime ideals

In a (necessarily non-Noetherian) integral domain $A$ of (Krull) dimension $1$, is it possible that there is an infinite collection of prime ideals $\mathfrak{p}_i$ such that $\cap_i \mathfrak{p}_i ...

**1**

vote

**2**answers

184 views

### Cohen-Macaulayness of the direct image of the canonical sheaf

Let $Y$ be a normal projective variety and let $f:X\to Y$ be a desingularization. Define $\mathcal K_X=f_*\omega_X$, the Grauert--Riemenschneider canonical sheaf of $X$. It is independent of the ...

**2**

votes

**1**answer

180 views

### What is the applications of the dg-enhancements of derived categories of sheaves

Let $X$ be a scheme and let $D^b_{\text{coh}}(X)$ be the derived category of complexes of sheaves with bounded, coherent cohomologies.
We know that the category $D^b_{\text{coh}}(X)$ has some ...

**10**

votes

**0**answers

123 views

### Hyperelliptic curves over $\mathbb{Q}$ with a $\mu_p^2$ subgroup in their Jacobian

Given a prime number $p>2$, I'm looking for a smooth projective hyperelliptic curve $C$ defined over $\mathbb{Q}$ whose Jacobian $J(C)$ has a subgroup isomorphic to $\mu_p^2$ as a ...

**3**

votes

**1**answer

116 views

### Linear projection from a point and local complete intersection

Let $p:=[0,0,...,0,1] \in \mathbb{P}^n$ the point whose all the coordinates are zero except for the $n$-th. This defines a linear projection map $\phi:\mathbb{P}^n-p \to \mathbb{P}^{n-1}$, given by ...

**16**

votes

**0**answers

224 views

### Nonabelian topological fundamental group of a conjugate variety

Let $X$ be a pointed algebraic variety over the field of complex numbers $\mathbb{C}$.
Let $\pi_1^{\rm top}(X)$ and $\pi_1^{\mathrm{\acute{e}t}}(X)$ denote the topological and the étale fundamental ...

**1**

vote

**1**answer

135 views

### Metric, torsion free connections on principal bundles

I hope this is not too elementary, but I have asked this question at the math.stack site, but I have obtained no answers.
Let $F(M)$ be the frame bundle of a $n$-dimensional differentiable manifold ...

**1**

vote

**0**answers

125 views

### higher direct images of O(E)

I hope this is well known, I just could not work it out myself.
Say I have a variety X (smooth and projective over C is my usual setup) with a smooth subvariety Z. Let f: BL_Z(X) --> X be the blowup ...

**2**

votes

**0**answers

89 views

### Lifting of Commuting Maps of Vector Bundles

Assume that we have a vector bundle $\mathcal{F}$ over $\mathbb{P}^d(\mathbb{C})$ that is generated by global sections. Let $\pi \colon \mathcal{O}^n \to \mathcal{F}$ be the associated map that is ...

**0**

votes

**0**answers

91 views

### Connected vs Irreducible Subvarieties

I am asking if there is any particular criterion for a connected component of given variety to be irreducible (you can assume suitable conditions on the variety, in fact I am studying sub-varieties of ...

**3**

votes

**0**answers

105 views

### Writing down gerbes explicitly over the projective line

Let $X = [\mathbb P^1/(\mathbb Z/2\mathbb Z)]$, where we take the trivial action of $\mathbb Z/2\mathbb Z$ on $\mathbb P^1$. Is this DM stack over $\mathbb C$ a gerbe over $\mathbb P^1$? Is it the ...

**0**

votes

**0**answers

76 views

### Rationality of intersection of algebraic groups

Suppose that $G$ (defined over $\mathbb{Q}$) and $H$ (defined over $\mathbb{R}$) are two algebraic subgroups of a larger algebraic group defined over $\mathbb{Q}$. Assume that $G(\mathbb{R})$ and ...

**2**

votes

**2**answers

253 views

### Is every algebraic $K3$ surface a quartic surface? [closed]

Algebraic $K3$ surface means the $K3$ surface admits an ample line bundle. So the question is equivalent to asking whether every algebraic $K3$ surface can be embedded in $\mathbb{P}^3$.

**1**

vote

**1**answer

219 views

### Locus where morphism is étale is open on target

Let $f : X \to Y$ be a morphism of schemes. Assume that $f$ is finite, flat and locally of finite presentation. Then I can prove that the set $$U:= \{ y\in Y : X_y \to y \hspace{1mm} \text{is ...

**0**

votes

**0**answers

149 views

### Flatness and intersection of fibers

Let $f:X \to Y$ be a flat, proper, surjective morphism between noetherian schemes. Assume $Y$ is irreducible and smooth over $\mathbb{C}$. Suppose that $X$ is the union of two schemes $X_1$ and $X_2$ ...

**0**

votes

**1**answer

125 views

### Finiteness of geometric valuations

I feel the following fact has been used in many argument in algebraic geometry, but I was not be able to prove it or find the precise reference:
Let $X$ be a $\mathbb{Q}$-factorial variety with log ...

**0**

votes

**0**answers

116 views

### Is it a correct description of the bounded above derived category of coherent sheaves?

Let $X$ be a (Noetherian) scheme. Let $D^{-}_{\text{coh}}(X)$ be the derived category of complexes of $\mathcal{O}_X$-modules with bounded above and coherent cohomologies.
Do we have the following ...

**5**

votes

**2**answers

376 views

### When is the category of small (pre)sheaves a(n elementary) topos?

When $C$ is essentially small, the presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is the free cocompletion of $C$. The presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is also a topos.
When $C$ is ...

**5**

votes

**1**answer

120 views

### Singular/Smooth locus of Schubert variety of the affine grassmannian

Let $G$ be a connected, simply connected, semisimple, complex linear algebraic group with maximal torus $T$ and affine Grassmannian $\mathcal Gr$. It is well known that $\mathcal Gr$ admits a Bruhat ...

**1**

vote

**1**answer

143 views

### Dieudonné modules -reference request

I need a reference to start learning about Dieudonn\'e modules, and their application to the arithmetic of abelian varieities. I know that this is a copy of Reference for Dieudonné modules, ...

**0**

votes

**0**answers

52 views

### How can I calculate the global log canonical threshold?

Let $X$ be a normal variety and let $D$ be a $\mathbb{Q}$-divisor. The log canonical threshold of a pair $(X,D)$ is
$lct(X,D)=sup\{c|(X,cD)$ is log canonical$\}$.
If $X$ is $\mathbb{Q}$-Fano ...

**2**

votes

**0**answers

117 views

### Irreducibility of a general fibre

Let $A\subseteq B$ be an inclusion of affine domains over an algebraically closed field $k$ of characteristic $0$. Can someone give me a reference for the following fact?
If $A$ is algebraically ...

**2**

votes

**0**answers

47 views

### Hyperellptic curve defined by a set of rational points

If we fix a field $\mathbb{F}$ of positive characteristic, and a a genus $g$ , how many rational points are enough to build a unique hyperelliptic curve of genus $g$ over $\mathbb{F}$?.
The thing is ...

**5**

votes

**1**answer

164 views

### Constructing normal crossing varieties

Let $X_i$ be a smooth projective variety with a smooth divisor $D_i$ for $i=1,2$.
Suppose that $D_1$ is isomorphic to $D_2$. Then does it make sense to construct a normal crossing variety $X=X_1 ...

**0**

votes

**0**answers

35 views

### How to prove Butler's inequality for the maximal slope of the kernel bundle?

In Butler' paper "Normal generation of vector bundles over a curve" (J.d.g.,1994). Proposition 1.4 said that
$$prop^+(M_E)\leq \max\left\{-2,\frac{-prop^+(E)}{prop^+(E)-g}\right\}$$
where $E$ is a ...

**3**

votes

**1**answer

104 views

### Classification of Hopf-Galois Extensions as Torsors

Faithfully flat Hopf-Galois extensions of rings: $A\to B$, with $H$ coacting on $B$ such that $B\otimes_AB\simeq B\otimes H$, are often thought of as being accessible substitutes for $G$-torsors in ...

**1**

vote

**0**answers

99 views

### When does an algebraic space that is a torsor over a scheme have to be a scheme?

In Group actions on stacks and applications (Section 4 of part A), M.Romagny gives a definition of $G$-torsor over a scheme $S$ in which the total space need not be a scheme, just an algebraic space. ...

**5**

votes

**1**answer

193 views

### Representability of morphism of stacks

A morphism of Artin stacks $f:X\to Y$ over $\mathbb Q$ is representable by algebraic spaces if and only if its geometric fibres are algebraic spaces. I would like to know if one can use this to prove ...

**0**

votes

**0**answers

79 views

### Can anyone comment on uniformizing parameters and uniformizing coordinates?

Let $V$ be an algebraic variety ($\dim V = r$) over an algebraically closed field $k$, $U \subseteq V$ an open subset (in Zariski topology), and W a prime divisor of V, that is, the closed subvariety ...

**1**

vote

**1**answer

95 views

### How local is the exponent in the definition of a function with analytic/algebraic singularities?

In Demailly's Analytic Methods in Algebraic Geometry (available on his web page), the definition of a (plurisubharmonic) "function with analytic singularities" is a (plurisubharmonic) function $ u: ...

**2**

votes

**0**answers

220 views

### Functor of points of a tensor triangulated category

Is there is a functor of points approach to tensor triangulated categories parallel to Balmer's theory of prime spectra?
Given a tensor triangulated category $\mathcal{T}$ an $R$-point can be ...

**24**

votes

**2**answers

715 views

### Interplay between Loop Quantum Gravity and Mathematics

It is known that there are many interesting connections between String Theory and modern Mathematics, with a rich feedback going on in both directions: there have been advances in mathematics thanks ...

**0**

votes

**1**answer

118 views

### homological invariant of the “universal elliptic curve” over the punctured $j$-line

My question considers the curve $E$ over the affine $j$-line $S$ given by
$$Y^2 - (j-1728)XY = X^3 - 36(j-1728)^3X - (j-1728)^5$$
This curve has the property that it's $j$-invariant is $j$ (see ...

**11**

votes

**1**answer

183 views

### Relative Picard functor for the Zariski topology

I'm trying to understand better the relative Picard functor, as defined, for example, in Kleiman's article.
Let $X \to S$ be a smooth projective morphism of schemes whose geometric fibres are ...

**5**

votes

**1**answer

144 views

### Coherent sheaves on $\mathbb C^2$ and commuting matrices

Let $V$ be an $n$-dimensional complex vector space. The stack $Coh^n(\mathbb C^2)$ of coherent sheaves on $\mathbb C^2$ supported on $n$ points (not necessarily distinct) is equivalent to the stack ...

**8**

votes

**1**answer

301 views

### Must we know $MU^*(X)$ in order to compute $Ell^*(X)$?

Let $Ell^*(X)$ be the elliptic cohomology theory (associated to a given elliptic curve $E$) of a nice space $X$.
Recall the Landweber-Ravenel-Stong construction:
$MU^*(X) \otimes_{MU^*} R \simeq ...