# Tagged Questions

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

**14**

votes

**3**answers

431 views

### Which mapping class group representations come from algebraic geometry?

Let $\Gamma_g$ be the mapping class group of a closed oriented surface $\Sigma$ of genus $g$. There is a natural surjection $t \colon \Gamma_g \to \mathrm{Sp}(2g,\mathbf Z)$ which sends a mapping ...

**24**

votes

**4**answers

2k views

### Recent, elementary results in algebraic geometry

Next semester I will be teaching an introductory algebraic geometry class for a smallish group of undergrads. In the last couple weeks, I hope that each student will give a one-hour presentation. ...

**4**

votes

**2**answers

230 views

### What is the Explicit Relationship between Coadjoint Orbits and Flag Manifolds?

Given a complex semi-simple Lie group $G$, it acts smoothly on the dual $\frak{g}^*$ of its Lie algebra $\frak{g}$ by the coadjoint action. The orbits of that action are called coadjoint orbits.
A ...

**7**

votes

**1**answer

144 views

### a formula about conic bundles

Let $\pi:Z\to S$ be a conic bundle over a smooth complex surface $S$. I'd like to know how to prove that $-\pi_{*}K_{Z}^{2}=4K_{S}+\Delta$, where $\Delta$ denotes the locus in $S$ over which the ...

**0**

votes

**1**answer

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

**1**

vote

**0**answers

34 views

### Request for reference about bound on zeroes of the Laguerre polynomials

Consider the sequence of polynomials given as, $p^{a}_k (x) = (1 - a \frac{d}{dx})^k x^n $ for some parameter $a>0$ and $k$ being a positive integer. For any positive integer $d$ it seems to be ...

**3**

votes

**1**answer

103 views

### “Unramified” extension of DVRs and permanence of excellence

Recall that a discrete valuation ring $R$ is excellent if the extension $\widehat{K}/K$ is separable, where $\widehat{R}$ is the completion of $R$ (with respect to the maximal ideal), $K = ...

**6**

votes

**3**answers

481 views

### Is this formally étale morphism of schemes an isomorphism?

In the last days I came to consider the following question which I'd be happy to see answered by the affirmative:
if $f:X\to S$ is a morphism of schemes which is formally étale, quasicompact,
...

**37**

votes

**5**answers

3k views

### Why higher category theory?

This is a soft question.
I am an undergrad and is currently seriously considering the field of math I am going into in grad school. (perhaps a little bit late, but it's better late then never.) I ...

**2**

votes

**1**answer

124 views

### DL-problem on abelian variety

Let $A$ be an abelian variety over $\mathbb{F_q}$ with dimension $n$. Let $q$ be a constant.
Is there polynomial algorithm of finding discrete logarithm in $A$?
UPD: really I don't undestend: can we ...

**8**

votes

**4**answers

345 views

### Is there a non-abelian version of the Torelli map?

Let $C$ be a connected compact oriented real surface of genus $g$, let $G$ be a connected compact Lie group and let $G_\mathbb{C}$ be the complexification of $G$. One considers the moduli space $M ...

**10**

votes

**2**answers

449 views

### Faltings height in short exact sequences

Let $K$ be a number field and $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ a short exact sequence of abelian varieties over $K$. Let $h(A)$ denote the logarithmic Faltings height ...

**4**

votes

**2**answers

243 views

### Is a “central” extension of $\mathbb{Z}/m\mathbb{Z}$ by $\mathrm{GL}_n$ necessarily split?

Let $m \ge 1$ be an integer, let $k$ be a field of characteristic $0$, and let
$$
1 \rightarrow \mathrm{GL}_n \rightarrow E \rightarrow \mathbb{Z}/m\mathbb{Z} \rightarrow 1
$$
be an extension of ...

**2**

votes

**0**answers

99 views

### Definition of Givental $J$-function of cotangent bundle of flag variety

I would like to know the definition of Givental $J$-function of cotangent bundle of flag variety. To state my question more precisely, let us briefly recall the definition of the Givental $J$-function ...

**14**

votes

**1**answer

361 views

### Special fiber of $X(p)$ in characteristic $p$

Let $p \geq 5$ be a prime. Let $Y(p)$ be the fine moduli space representing elliptic curves + basis of the $p$-torsion over $\mathbb{Q}_p$ and let $Y_1(p)$ be the fine moduli space representing ...

**2**

votes

**0**answers

111 views

### Abelian covers of compact Kahler manifolds

Let $X$ be a compact Kahler manifold and $A\subset H_1(X,\mathbb{Z})$ be a subgroup.
Corresponding to $A$ there is an abelian covering $X_A \to X$ with $Deck(X_A)=H_1(X,\mathbb{Z})/A$. For example if ...

**3**

votes

**1**answer

146 views

### Canonical divisor for conic bundles

Is there a general formula for the canonical divisor $K_X$ of a smooth conic bundle $X$?
Motivation: for smooth hypersurfaces of degree $d$ in $\mathbb{P}^n$, $K_X = \mathcal{O}_X(d-n-1)$. But ...

**11**

votes

**0**answers

359 views

### Chiral categories versus braided monoidal categories

Let $X$ be a curve over $\mathbf{C}$. As I understand from the 2008 Talbot notes, a chiral category on $X$ consists of a crystal of categories on the Ran space $\mathrm{Ran}(X)$ (see these notes of ...

**4**

votes

**1**answer

113 views

### Counting Boolean Normal Matrices of size $2n \times 2n$

Fix $n$ a natural number. Consider the set of all $2n \times 2n$ matrices with entries from {0,1}. This is clearly a finite set. I would like to count the number of such normal matrices for fixed ...

**7**

votes

**0**answers

162 views

### Reconciling the affine grassmannian and the based loop group

I'm trying to reconcile the differences between the (algebraic) based loop group and the affine grassmannian. I once believed that I understood the relationship, but I just read a paper which has ...

**2**

votes

**0**answers

192 views

### Why care about Fourier-Mukai partners?

Two (smooth, projective, complex?) varieties are called Fourier-Mukai partners if they have equivalent derived categories of coherent sheaves. On the other hand, my general impression is that cool ...

**3**

votes

**2**answers

232 views

### How can one determine if a singularity is simple?

Let $f(z_1,z_2,\dots ,z_n)$ be an analytic function in $\mathbb{C}[[z_1,z_2,\dots ,z_n]]$ whose leading term defines an isolated singularity at the origin.
If we have the following types of ...

**1**

vote

**0**answers

128 views

### Marten's proof of torelli theorem

I am trying to read the proof of torelli theorem by Henrik H.Martens "A new proof of torelli's theorem" Annals of mathematics vol78 no. 1 .The proof seems to me like using mysterious combination of 3 ...

**2**

votes

**1**answer

306 views

### Kodaira dimension of co-adjoint orbit

Let $G$ be a compact Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $\mathcal O_a$ be a coadjoint orbit. Then every co-adjoint orbit is Kähler manifold and also ...

**0**

votes

**0**answers

34 views

### Real centrally-symmetric plane algebraic curves

I am looking for a reference regarding the topology of real centrally-symmetric plane algebraic curves. By this I mean the curves defined by
$$
P(x,y)=0,
$$
where $P$ is a degree $m$ polynomial, ...

**2**

votes

**0**answers

63 views

### Is a parametric subvariety singular?

Suppose I have a parametric subvariety $V^k$ of $A^{2n}$ (so, given by $2n$ polynomials in in $k$ variables). The question is: how does one tell whether $V^n$ intersects itself? In the $k=1$ case, ...

**0**

votes

**1**answer

254 views

### Coherent sheaves on Proj

Roughly speaking , the question is : when a f.g. graded module induces a trivial coherent sheave on Proj ? More precisely, let S be a (complex) graded polynomial algebra, where the variables have ...

**27**

votes

**1**answer

776 views

### Why is there no Brauer scheme?

Let $X$ be a proper scheme over a base field $k$ (one could consider more general settings, but I am primarly interested in a "geometric" situation with $k$ being algebraically closed).
Then the ...

**6**

votes

**2**answers

350 views

### Isotrivial fibrations over $\mathbb P^1$

First of all I want to say that algebraic geometry is not "my field of research" so I apologize if the notation is not standard.
$S$ is a smooth complex projective surface with a fibration $f$ over ...

**2**

votes

**0**answers

101 views

### Hodge numbers of l-adic sheaves?

Assume first that $C$ is a curve, say over $\mathbb{Q}$ and $(E, \nabla)$ is a vector bundle with a flat connection. Assume further that $(E, \nabla)$ has regular singularities at $S=\overline{C}-C$. ...

**1**

vote

**0**answers

154 views

### Dropping the closed requirement from the symplectic manifold definition?

A symplectic manifold is a pair $(M,\omega)$, where $\omega$ is a non-degenerate closed two-form. When $M$ is compact, Hodge decomposition implies that such manifolds have non-zero second ...

**6**

votes

**0**answers

222 views

### Global sections for a locally free sheaf over curves

Let $B$ be a complete algbraic curve of genus $g$, and $\mathcal{E}$ be a semi-stable locally free sheaf of rank $r$ over $B$. Assume that the slope of $\mathcal{E}$ is $\mu(\mathcal E):=\frac{\deg ...

**9**

votes

**3**answers

240 views

### Locus of complete curves on $\mathcal M_g$

Is the union of the complete curves on $\mathcal M_g$ Zariski dense? ($g \gg 0$)
I know it is hard to find higher-dimensional complete subvarieties of $\mathcal M_g$, but a quasiprojective variety ...

**1**

vote

**1**answer

139 views

### Divisibility of divisors in some tori and lattices

Let $E$ and $E'$ be two general elliptic curves. We consider the $2$-dimensional torus $A:=\frac{E\times E'}{(u\times u')\left((\mathbb{Z}/2\mathbb{Z})^2\right)}$, where ...

**0**

votes

**0**answers

45 views

### Is any integral log structure be a colimit of a direct system of fine log structures?

Consider log structure on a (Noetherian) scheme with \'etale topology in the sense of Fontaine-Illusie. I.e. a log structure on a scheme $X$ is an etale sheaf $M$ with a morphism of monoid ...

**2**

votes

**1**answer

252 views

### Kummer Coverings

Let $L_1$, $\cdots$, $L_k$ be homogenous linear forms in three variables $z_0$, $z_1$, $z_2$ defining $k$ lines in $\mathbb{P}_{2}$. Consider the abelian extension $K
((L_2/L_1)^{1/n}, \cdots, ...

**2**

votes

**0**answers

90 views

### Generators of the algebra of invariant polynomials on a Lie algebra and the root-space decomposition

Let $G$ be a connected, simply-connected complex semisimple group with Lie algebra $\mathfrak{g}$. Fix a pair $T\subseteq B\subseteq G$ of a maximal torus and Borel subgroup, and let $\mathfrak{t}$ ...

**5**

votes

**1**answer

271 views

### Is there a simple proof that Milnor $K_2$ of a number field is torsion?

This is a theorem of Garland. I had a look at the original paper which looks pretty complicated. I was wondering if the proof has been simplified over the years or if a different approach is nowadays ...

**3**

votes

**1**answer

194 views

### Fano varieties of cubic threefolds

Let $X$ be a smooth cubic threefold over $\mathbb{C}$. Let $F(X)$ denote the Fano variety of lines in $X$, which is a smooth surface of general type.
Is this class of surfaces distingushed ...

**3**

votes

**1**answer

247 views

### Question on effective Mordell conjecture

Suppose $F(x,y,z)$ is a homogeneous polynomial over $\mathbb{Q}$, where $C:F(x,y,z)=0$ is a curve of genus $g\geq 2$.
Question: Faltings proved that $C$ has finite many rational points. Suppose that ...

**2**

votes

**1**answer

97 views

### Resolving nodes of a quintic CY 3-fold

Let's consider the following quintic 3-fold $X$:
\begin{equation}
\{(x_i) \in \mathbb{P}^4 \ | \ x_1f(x)-x_2g(x)=0\}
\end{equation}
for generic homogeneous polynomials $f(x),g(x)$ of degree four. It ...

**3**

votes

**1**answer

140 views

### Is the fundamental group of an open arithmetic Riemann surface contained in $\Gamma(2)$

Let $X$ be a non-compact Riemann surface with universal covering $\mathbb H$ and suppose that the fundamental group of $X$ is an arithmetic subgroup of $\mathrm{Aut}(\mathbb H) = ...

**2**

votes

**0**answers

54 views

### Finite extension of K(x) with extra structure: definable over field of invariants?

Let $K$ be an algebraically closed field, and let $\sigma$ be an automorphism on $K$. Set $k=K^\sigma$. Consider the rational function field $K(x)$ and extend $\sigma$ to $K(x)$ by $\sigma(x)=x$, ...

**5**

votes

**0**answers

199 views

### Any counterexamples known for the Generalized Tate conjecture?

One can state the generalized Tate conjecture over arbitrary finitely generated fields; to this end one should just define Galois representation to be effective if the eignevalues of the actions of ...

**6**

votes

**3**answers

414 views

### $j$-invariants of elliptic curves over finite fields

Let $K$ be a finite field, and $\overline{K}$ its algebraic closure. It is well known that two curves are isomorphic over $\overline{K}$ if and only if they have the same $j$-invariant. If two such ...

**6**

votes

**1**answer

139 views

### Lattice model for Affine Grassmannians of non type A

There is a Lattice model for affine Grassmannians of type A, due to Lusztig. It describes affine Grassmannians of type A as the moduli space of certain subspaces in an infinite-dimensional ...

**2**

votes

**0**answers

74 views

### Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces

Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...

**8**

votes

**2**answers

419 views

### Finite etale atlas for Deligne-Mumford stacks

Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$.
Does there exist a finite etale morphism $Y\to X$ with $Y$ a scheme?
What if $X$ is an algebraic space ...

**26**

votes

**0**answers

608 views

### Does every smooth, projective morphism to $\mathbb{C}P^1$ admit a section?

Possibly this has already been asked, but it came up again in this question of Daniel Litt. Does every smooth, projective morphism $f:Y\to \mathbb{C}P^1$ admit a section, i.e., a morphism ...

**0**

votes

**0**answers

100 views

### Is holomorphic 2-form on Moduli of Higgs bundle in Biswas' paper is non-degenerate

In Biswas' paper, Geometry of moduli of Higgs bundles, he defined a holomorphic 2-form on moduli of stable Higgs bundles, using Kodaira-Spencer map and Petersson-Weil metric.
I want to know whether ...