# Tagged Questions

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

**2**

votes

**0**answers

197 views

### Canonical metric on moduli space of singular Calabi-Yau varieties

Let $\pi:X\to Y$ be a surjective holomorphic map with connected fibers
and let fibers are singular Calabi-Yau varieties (i.e. numerical dimension is zero) then is it possible to construct canonical ...

**0**

votes

**1**answer

105 views

### Spectral sequences to compute Hom's in derived category

Does anybody have a good reference that lists spectral sequences that may be used to compute Hom sets in derived categories (of coherent sheaves, say)?

**1**

vote

**0**answers

48 views

### Relation between crystalline and perverse sheaves

Take $X$ to be a smooth complex projective algebraic variety. The Riemann-Hilbert correspondence gives an equivalence of categories between the category of perverse sheaves on $X$ and the category of ...

**3**

votes

**1**answer

242 views

### Confusion regarding statement of mirror symmetry for elliptic curves

I am a little bit unsure about the mirror symmetry statement for elliptic curves; specifically, how the flipping of the Kähler and complex moduli works. Perhaps I should say at the outset, the reason ...

**1**

vote

**0**answers

39 views

### Explicit construction of a bielliptic curve

Let $C$ be a (projective smooth complex) curve such that $K_C=2(D+p)$, with $D+p$ defining a $g_7^2$; $p$ is a base point and $D$ defines a 2-to-1 map $\varphi:C\rightarrow E\subset\mathbb{P}^2$ onto ...

**2**

votes

**2**answers

139 views

### Reducibility of determinantal hypersurfaces

I have a determinantal hypersurface defined by $\det(A)=0$, with $a_{ij}$ homogeneous polynomial of fixed degree $d$ in $n$ variables. $A$ is not diagonal. How can I find out whether the hypersurface ...

**1**

vote

**0**answers

37 views

### When the tensor product of motives that are not $0$-(homotopy)-connective can be $0$-connective?

For $t$ being the homotopy $t$-structure for Voevodsky effective motivic complexes
when $M\otimes N\in DM_{eff}^{t\le -1}$ ensures that either $M$ or $N$ belongs to $DM_{eff}^{t\le -1}$ (so, we use ...

**7**

votes

**3**answers

771 views

### Are there examples of Fano manifolds such that Tian's alpha invariant satisfies $\alpha_G(X)=\frac{n}{n+1}$ but without a Kähler-Einstein metric?

The alpha invariant $\alpha(X)$ of a Fano manifold $X$ of dimension $n$ is defined as the infimum of log canonical thresholds of (effective) $\mathbb{Q}$-divisors $D\sim_{\mathbb{Q}}-K_X$. Similarly, ...

**1**

vote

**1**answer

58 views

### Hyperplane generic to a given arrangement

At the moment, I am reading the paper "on the connectivity of the realization spaces of line arrangements" of Nazir and Yoshinaga.
I would like to extend their Lemma 3.2 to higher dimension. However, ...

**1**

vote

**1**answer

401 views

### Equidimensionality of stalks of $\operatorname{Proj} S$ when $S$ is equidimensional.

I would like to know a reference of the following statement (or counter example).
Let $S$ be a (commutative) Noetherian standard graded ring over a local ring, i.e., $S = S_0[S_1]$, where $S_0$ is ...

**3**

votes

**0**answers

94 views

### Fourier Mukai transform for non-quasi coherent sheaves

Let $A$ be an abelian variety and $\hat A$ be the dual abelian variety. If $P$ is the (normalized) Poincare line bundle, then Mukai defines $R\hat S:D(A)\to D (\hat A)$ via $R\hat S(?)=Rp_{\hat A,*}(...

**2**

votes

**3**answers

351 views

### Krull-dimension of local domain

Let $(R,{\frak m}_R)$ be a local domain (not necessarily Noetherian). That is, $R$ is integral and ${\frak m}_R$ is the unique maximal ideal of $R$. Suppose that ${\frak m}_R$ is finitely generated.
...

**0**

votes

**0**answers

104 views

### An ideal and its annihilator

Let $I$ be an arbitrary ideal of commutative ring $R$ with identity.
If $ann (I)=AB$, where $A$ and $B$ are comaximal, how can we fine two ideal $I_1$ and $I_2$ with $I=I_1+I_2$ such that $I_1$ ...

**1**

vote

**1**answer

187 views

### Proj of some graded algebra

I was computing some GIT quotients and came up with the following question: to compute $\mathrm{Proj}(\mathbb C [f_1,f_2,f_3,f_4,f_5,f_6]/I)$ where $f_i$'s are homogeneous polynomials of same degree ...

**2**

votes

**1**answer

306 views

### maximal ideals of polynomial ring

For a maximal ideal $n$ of a polynomial ring $ R [x] $ over a commutative ring $R$ with identity, are there conditions under which $m [x]\subset n$, for some maximal ideal $m$ of $R$?
Note: $m [x] $...

**5**

votes

**0**answers

84 views

### Meaning of the support property in the definition of Bridgeland stability condition

Let $(Z,\mathcal{P})$ be a Bridgeland stability condition on a triangulated category $\mathcal{C}$. It is said to satisfy the support property if there exists a norm on $K(\mathcal{C})\otimes_\mathbb{...

**8**

votes

**1**answer

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

**2**

votes

**0**answers

116 views

### Inverse limit of Noetherian rings

Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...

**3**

votes

**1**answer

156 views

### Tensor and symmetric invariants of Symmetric group

For the action of $S_n$ on $\mathbb C^n$ the elementary symmetric polynomials generate the ring of polynomial invariants. What are the generators for the action of $S_n$ on $\mathbb C^n \otimes \...

**-3**

votes

**0**answers

146 views

### What is geometry? [on hold]

I wish to know what geometers and other mathematicians consider geometry.
Wikipedia defines geometry as "concerned with questions of shape, size, relative position of figures, and the properties of ...

**6**

votes

**0**answers

410 views

+100

### Counting limit cycles via curvature in Riemannian geometry

In this post we would like to give a possible new approach to the second part of the Hilbert 16th problem
First we give a short introduction:
A quadratic system is a polynomial vector field on ...

**6**

votes

**0**answers

217 views

### Description of connecting maps of Derived functors

Let $C$ be an abelian category with enough injectives and $F$ be a left exact additive functor. Consider the short exact sequence $0 \to A' \to A \to A ''\to 0$. Therefore, we have connecting maps $\...

**-5**

votes

**0**answers

65 views

### A property of minimal prime ideals [on hold]

Let $R$ be a commutative ring with $1$, and let $p$ be a minimal prime ideal of $R$. If $p\subseteq I_1+ I_2$, where $I_1$ and $I_2$ are two ideals of $R$, can we deduce that $p\subseteq I_1 $ or $...

**2**

votes

**1**answer

173 views

### No cuspidal character sheaves on GL(n)

We need a reference for the fact that there are no cuspidal character sheaves on $GL_n$ unless $n=1$.
See page 11 of http://www.kurims.kyoto-u.ac.jp/~arakawa/Henderson_mgsctalk2.pdf.

**3**

votes

**1**answer

155 views

### Resolution of the ideal of the Abel-Jacobi image of a curve?

Let $C$ be a complex curve of genus $g\ge 2$ and let $a\colon C\to J(C)$ be the Abel-Jacobi map. Is there a finite resolution of the ideal $\mathcal I_{a(C)}$ whose terms are sums line bundles of the ...

**0**

votes

**1**answer

378 views

### Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...

**3**

votes

**1**answer

225 views

### What's $H^*(X - \{x_1,\ldots,x_n\},\mathcal{O})$, when $X$ is a projective smooth surface?

Let $X$ be a smooth projective surface over a field $k$. Is there a way to compute $H^1(X - \{x\},\mathcal{O}_{X-\{x\}})$ in terms of similar invariants for $X$? Actually I'd like to remove even ...

**2**

votes

**0**answers

89 views

### Reference quest: variety of lines and variety of planes

Let $X\subset \mathbb P_{\mathbb C}^n$ be a smooth projective variety, $F(X)\subset G(2,n+1)$ its Fano variety of lines and $$I_F=\left\{([l],[l'])\in F(X)\times F(X), l\cap l'\neq \emptyset\right\}$$ ...

**2**

votes

**1**answer

305 views

### Dimension of a commutative ring

Let $R$ be a commutative ring with identity having finite Krull dimension (denoted $\dim$). Let $Nil(R)$ be the set of all nilpotent elements in $R$, and let $J(R)$ the intersection of all maximal ...

**9**

votes

**0**answers

387 views

### Why should Algebraic Geometers and Representation Theorists care about Geometric Complexity Theory?

Geometric Complexity Theory has demonstrated that Complexity Theorists should care about Algebraic Geometry and Representation Theory, but, why should Algebraic Geometers and Representation Theorists ...

**10**

votes

**1**answer

268 views

### Polylogarithm sheaves

In many different places, I could find the notion on ''(poly)logarithm sheaves''. As is indicated in the name of it, I guess that it should have something to do with (poly)logarithm function: $\mathrm{...

**3**

votes

**0**answers

167 views

### Representability of the Weil restriction reference and proof

Proposition 2 of 7.6 of Néron Models [BLR] provides a sufficient condition for the representability of a Weil restriction $R_{S'/S}(X')$. The theorem is attributed to Grothendieck.
Is there an ...

**4**

votes

**1**answer

256 views

### Geometric and arithmetic Frobenius

I read in Serre's "Lectures on $N_X(p)$" that when $X$ is a scheme defined over $\mathbb{F}_q$ (a finite field), the geometric Frobenius $F: X \mapsto X$ is defined by fixing every element of the ...

**5**

votes

**1**answer

186 views

### Question on period map, Gauss-Manin connection and complex coordinates of $\mathcal{H}^1(k)$

Let $\mathcal{L}_g$ be the space of abelian differentials on Riemann surfaces of genus $g\ge 2$ and $\mathcal{TH}_g:=\mathcal{L}_g/Diff_0^+(S_g)$ be the Teichmuller space of abelian differentials on ...

**15**

votes

**3**answers

941 views

### DG categories in algebraic geometry - guide to the literature?

Although my experience with DG categories is pretty basic I find them to be a very neat tool for organizing (co-)homological techniques in algebraic geometry. For someone who has algebro-geometric ...

**0**

votes

**0**answers

132 views

### Stalks of the sheaf

Let $X$ be a scheme. For $m < \infty$, given the surjection ${\cal O}_X^{\oplus m} \twoheadrightarrow {\cal F}$ between sheaves on $X$, where ${\cal O}_X$ is the structural sheaf of $X$. Choose a ...

**4**

votes

**0**answers

93 views

### Cohomology of Mumford line bundle on abelian variety

Let $X$ be an abelian variety over a field $k$, and let $L$ be a line bundle on $X$. I would like to calculate the cohomology of the Mumford line bundle $$\Lambda(L)=m^*L\otimes p_1^*L^{-1}\otimes p_2^...

**3**

votes

**0**answers

69 views

### Approximating formal surfaces by analytic surfaces

Let $C$ be a smooth projective curve contained in a smooth projective $3$-fold (everything defined over $\mathbb C$). Let $\widehat X$ be the formal completion of $X$ along $C$ and suppose there ...

**3**

votes

**1**answer

156 views

### A very general complex torus is simple

Let us parametrize the set of lattices inside $\mathbb{C}^g$ with the open dense subset $U = \text{GL}_{2g}(\mathbb{R})$ of $\mathbb{R}^{4g^2}$. Does there exist a countable family $(Z_n)_{n \in \...

**14**

votes

**2**answers

353 views

### Can you use Chevalley‒Warning to prove existence of a solution?

Recall the Chevalley‒Warning theorem:
Theorem. Let $f_1, \ldots, f_r \in \mathbb F_q[x_1,\ldots,x_n]$ be polynomials of degrees $d_1, \ldots, d_r$. If
$$d_1 + \ldots + d_r < n,$$
then the ...

**5**

votes

**1**answer

209 views

### Constructing groups of Type E7 with certain Tits Index

In a new survey on $E_8$, namely
Skip Garibaldi - E8 the most exceptional group
, the author gives an example (Example 8.4., page 15) on how to construct a group of type E8 with a prescribed Tits-...

**2**

votes

**1**answer

295 views

### Irreducible variety

I asked a similar question at MSE, as the question seemed quite basic to me, but did not get any hint in 24 hours, except for one upvote for the question itself. I still think I am stuck with some ...

**2**

votes

**1**answer

166 views

### Scheme of Higgs reductions

I'm reading the Bruzzo and Graña Otero's paper Semistable and Numerically Effective Principal (Higgs) Bundles; here: $X$ is a smooth, complex, projective variety; $G$ is a connected, complex, ...

**4**

votes

**1**answer

278 views

### How to tell if it's a Moishezon morphism

Suppose that $f \colon X\rightarrow S$ is a proper morphism of reduced and irreducible complex spaces and $f$ is a smooth deformation in the sense of Kodaira and Spencer. If we know each fiber $X_s$, ...

**4**

votes

**2**answers

193 views

### Invariant theory for parabolics

Let $G$ be a connected reductive group over $\mathbb{C}$ of (reductive) rank $\ell$. Let $P$ be a parabolic of $G$ and let $P=LN$ denote the Levi decomposition. Let $\mathfrak{g}, \mathfrak{p}, \...

**2**

votes

**1**answer

67 views

### Inclusion of incidence correspondences

Let $X\subset \mathbb P_k^n$ be a smooth quadric ($n\geq 4$). The variety of lines $F(X)$ of $X$ has dimension $2n-5$ and the incidence correspondence $$I_F=\left\{([l],[l'])\in F(X)\times F(X), l\cap ...

**0**

votes

**1**answer

65 views

### Reference request: Existence of plurisubharmonic potential for positive (1,1)-current on Stein (affine) manifold

I am looking for a reference for the following fact, which I believe should be true.
Let $X$ be a Stein manifold (or smooth affine variety over $\mathbb{C}$).
If $\omega$ is a positive closed $(1,...

**3**

votes

**0**answers

93 views

### Does anyone have Delzell's Thesis on Bad Points of Forms?

Since a number of papers (e.g. this one) treating denominators in Hilbert's 17th problem point to E.G. Strauss's unpublished letter to G. Kriesel or to Chapter 5 of Delzell's Thesis, which contains an ...

**8**

votes

**1**answer

381 views

### Topological fundamental group of a variety

I have an explicit question.
I have a complex projective variety defined by $2\times 2$ minors of a matrix. The entries are polynomials from a weighted projective space. In fact, it's a singular 3-...

**26**

votes

**1**answer

682 views

### Useful, non-trivial general theorems about morphisms of schemes

I apologize in advance as this is not a research level question but rather one which could benefit from expert attention but is potentially useful mainly to novice mathematicians.
I'm trying to ...