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

**0**

votes

**0**answers

90 views

### Is Mumford's statement about the representability of some functor wrong?

I am having trouble proving a result in Mumfords book 'Lectures on Curves on an Algebraic surface.
It is a statement about the representability of some functor. It is stated on page 108 and says the ...

**0**

votes

**0**answers

40 views

### Definition of J-function of cotangent bundle of flag variety [on hold]

Usually, the definition of the Givental $J$-function of the K\"ahler variety $X$ is given in the following way. Let $T_0=1,T_1, \cdots, T_m$ be the basis of the cohomology group $H^*(X,\mathbb{Z})$, ...

**0**

votes

**1**answer

65 views

### Hilbert scheme of a closed subscheme

Let $X$ be a complex algebraic variety. Its Hilbert scheme represents the functor $G$ from schemes to sets given by $$G(S)=\{Z\subset X\times S|\, Z \mbox{ is a closed subscheme, flat and proper over ...

**8**

votes

**1**answer

543 views

### Is there a higher Grothendieck ring?

Fix a field $k$. The Grothendieck ring $K_0(\mathrm{Var}_k)$ of varieties over $k$ is defined as the quotient of the free abelian group on isomorphism classes of algebraic varieties by the scissor ...

**1**

vote

**1**answer

80 views

### Does projective duality preserve arithmetic-Cohen-Macaulay-ness?

Let $V$ be a vector space over $\mathbb{C}$.
Suppose $X\subset \mathbb{P} V$ is an algebraic variety, and consider its projective dual variety $X^\vee \subset \mathbb{P} V^*$. If the coordinate ring ...

**3**

votes

**0**answers

61 views

### Non-hyperelliptic families of curves with trivial Ceresa class (or Gross-Schoen class)

Suppose X/K is a curve over a field K, which we want to think of as non-algebraically closed, and let x be a point of X(K). The Ceresa cycle is defined as follows; you can embed X in Jac(X) by sending ...

**1**

vote

**0**answers

72 views

### Does the canonical morphism commute with the inverse image functor?

I am trying to prove the representability of the Quotient functor.
I have the following problem.
Let $\phi \colon T \to S$ be a morphism of noetherian schemes and let $F$ be a coherent sheaf on ...

**0**

votes

**0**answers

80 views

### Examples of etale group schemes [on hold]

What are important examples of etale group schemes over some field $F$, apart from finite group schemes?

**0**

votes

**1**answer

53 views

### Dimension of a similarity class

Let $K$ be an algebraically closed field with characteristic $0$. I consider the Jordan decomposition of a NILPOTENT matrix: $A=diag(J_{r_1},\cdots,J_{r_s})\in M_n(K)$ where $J_k$ is the nilpotent ...

**1**

vote

**0**answers

75 views

### What is known about the Brauer group of an arithmetic surface?

Let $X$ be an arithmetic surface over $\mathbb{Z}$, that is we have $\pi: X\rightarrow Spec(\mathbb{Z})$, $X$ is integral, two-dimensional and regular and $\pi$ is projective and flat.
What is known ...

**2**

votes

**1**answer

90 views

### Degree of a smooth curve in an abelian variety

Let $A$ be an abelian variety, $g$ be a positive integer and $\mathcal{L}$ be an ample line bundle on $A$.
Question : Is there a real $r>0$ such that, for all smooth curve $C$ of genus $g$ in ...

**1**

vote

**0**answers

83 views

### Deformations of holomorphic/algebraic vector bundles over $\mathbb{P}^3$

I would like to know what can be said about (global) deformations of holomorphic/algebraic rank two vector bundles on $\mathbb{P}^3$. I am particularly interested in the case of topologically trivial ...

**1**

vote

**1**answer

97 views

### Hilbert scheme of an infinitesimal neighborhood of a subvariety

Let $X$ be a complex algebraic variety. Let $C\subset X$ be a compact (reduced) subvariety. Let $C^{(n)}$ denote the $n$th infinitesimal neighborhood of $C$ inside $X$. Let $Hilb(X)$ denote the ...

**2**

votes

**2**answers

100 views

### Automorphism group of a smooth quadric $Q\subset\mathbb{P}^4$

Let $Q$ be the smooth quadric threefold in $\mathbb{P}^4_{\mathbb{C}}$ defined by the equation
$x_0x_4+x_1x_3+x_2^2=0$.
Is it true that the automorphism group of $Q$ is $SO(Q;\mathbb{C})$ which is ...

**0**

votes

**1**answer

169 views

### First chern class of fibers of compact Kaehler algebraic variety

Let $M$ be an compact Kähler algebraic variety and suppose $K_M$ is semi-ample. Consider the holomorphic map $\pi:X\to \Sigma \subset \mathbb CP^N$ with $Kod(M)=dim_\mathbb C\Sigma$ (here $Kod$ means ...

**3**

votes

**0**answers

82 views

### Bound for the height of equations defining the singular locus of a variety

Fix positive integers $m, n, d$.
In what follows, the height of an algebraic number will mean the absolute multiplicative height.
Let $V \subset \bar{\mathbb{Q}}^n$ be an affine algebraic variety ...

**1**

vote

**0**answers

84 views

### Families of curves with “almost-general” moduli

The Brill-Noether theorem says that, if $\rho(d, g, r) := (r + 1)d - rg - r(r + 1) \geq 0$, then there exists a unique component of the Hilbert scheme of curves of degree $d$ and genus $g$ in ...

**0**

votes

**1**answer

97 views

### Open subset of the moduli space of stable sheaves on a noetherian scheme

This is my question:
Given a projective noetherian scheme $X$, the structural sheaf $\mathcal{O}_X$ is a coherent sheaf, so every locally free sheaf is coherent. This means that the family of stable ...

**2**

votes

**0**answers

144 views

### Bott's Formula for Grassmannians

Bott's Formula gives the dimension of the cohomology $H^{q}(\mathbb{P}^{n}, \Omega_{\mathbb{P}^{n}}^{p}(k))$ of the $k$-twisted sheaf of $p$-differential forms on the projective space ...

**5**

votes

**0**answers

109 views

### Applications of anabelian geometry to Galois representations?

One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and ...

**0**

votes

**1**answer

89 views

### Dimension of binary motives of a quadric

Let $Q$ be a anisotropic quadric of dimension $d$ over $k$.
We work in the category of effective Chow-Motives over $k$.
Let $T$ be the Tate-Motive.
For a motive $M$ we write $M(l)$ for its $l$-th ...

**2**

votes

**0**answers

93 views

### Can the commuting condition in Jordan-Chevalley decomposition be replaced with this global criterion?

Let $G$ be a reductive linear algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra.
The Jordan-Chevalley ...

**1**

vote

**0**answers

66 views

### Symmetric spaces which are compact modulo the unipotent radical are compact

Is the following true?
Let $X = G/H$ be a symmetric space of a reductive group over a p-adic field $F$.
Let $X^0$ be an open orbit w.r.t. the action of the minimal parabolic $B$ of $G$.
Let $U$ be ...

**0**

votes

**0**answers

83 views

### Parahoric group schemes over curves

Let $X$ be a smooth projective curve over $\mathbb{C}$ and Let $G$
be a complex reductive group. By a parahoric group scheme $\mathcal{G}$
over $X$, I mean a smooth group scheme over $X$ whose ...

**4**

votes

**2**answers

391 views

### Why considering schemes over discrete valuation rings?

For many times, I find people working on schemes over DVRs, and prove theorems on such setting. For example, my latest experience is the "semi-stable reduction theorem" by Kempf, Knudsen, Mumford and ...

**0**

votes

**0**answers

93 views

### First Description of how to Remove Radicals from Equations

Who first described the technique of removing radicals as indicated in the answers to questions Tools for Removing Radicals from Equations and Rewrite sum of radicals equation as polynomial equation ? ...

**2**

votes

**1**answer

227 views

### FIltrations on a vector bundle on a curve

Let $X$ be a smooth connected projective curve of genus $g$ over an algebraically closed field.
Let $E$ be a vector bundle on $X$ of rank $n$.
Is it true that there exists a constand $N(g,n)$ such ...

**1**

vote

**1**answer

63 views

### Global centralizers in Jordan-Chevalley decomposition in bad characteristic

Let $G$ be an affine algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra. Given $X\in\mathfrak{g}$, it has ...

**2**

votes

**0**answers

96 views

### On the cohomology of Kontsevich graph complex

Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...

**1**

vote

**0**answers

216 views

### A question on partial fraction decompositions

This question concerns a mapping from the poles of a rational function to its partial fraction decomposition coefficients. We assume that the rational function is the inverse of a polynomial of degree ...

**0**

votes

**0**answers

46 views

### Change of relative base

If $k$ is a commutative ring, $A$ a $k$-algebra and $\phi: k \rightarrow k'$ is a morphism of rings then how (/under what conditions) can the relative homology functors $Ext_{A/k}(-,-)$ and ...

**0**

votes

**1**answer

169 views

### Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)

We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor.
And now we only consider the case that $C_0$ is irreducible as in ...

**8**

votes

**1**answer

270 views

### Tate-Shafarevich groups over finitely generated fields

Let $G$ be an algebraic group over a number field $k$. One defines the Tate-Shafarevich set of $G$ to be
$$Ш(k,G) = \ker\left(H^1(k,G) \to \prod_{v} H^1(k_v,G)\right),$$
where the product is over all ...

**-1**

votes

**0**answers

54 views

### action of structure group on pullback of torsors [closed]

Let $Y \to X$ ($Y,X$ varieties over some field $K$ of characteristic 0) be a $G$-torsor ($G$ some linear $K$-group) and let $W \to X$ be a morphism. A well known fact is that $Y \times_X W \to W$ is ...

**3**

votes

**0**answers

134 views

### Uniruled degenerations of abelian varieties

Suppose I have a smooth projective variety $X$ over $\mathbb{C}$ with $K_X$ semiample, and consider the fiber space $f:X\to Y$ given by $|\ell K_X|$, for some $\ell>0$ large, where $Y$ is a normal ...

**1**

vote

**1**answer

151 views

### variation of (polarized) Hodge structure

Suppose $\mathbb{V}$ is the underlining local system of a variation of (polarized) rational Hodge structure over base $B$. This local system corresponds to the monodromy representation
...

**9**

votes

**0**answers

193 views

### Other examples of the algebro-geometric Ran space

First off, sorry if this seems vague.
Let's recall some definition. Let $X$ be a curve over a field $k$ and $G$ an algebraic group, then the space $Ran_G(X)$ as defined by Lurie in his Tamagawa ...

**6**

votes

**2**answers

338 views

### Quasi-affineness of the base of a $\mathbb{G}_a$-torsor

Let $\mathbb{G}_a$ be the additive group over an algebraically closed field $k$ of any characteristic. Let $X \to Y$ be a $\mathbb{G}_a$-torsor of $k$-schemes (of finite type - in case that is ...

**0**

votes

**0**answers

104 views

### Can ramification be “seen” at smooth subcurves?

This is a follow-up question to this. Though it's a differnt question, therefore I decided to open a new question so that we don't lose track. I hope that's okay.
Let $f: X \to Y$ be a finite, ...

**3**

votes

**1**answer

167 views

### Preimage of smooth curves under morphism of smooth varieties

Let $f: X \to Y$ be a finite, surjective morphism of smooth, projective, irreducible varieties over $\mathbb{C}$ and let $y \in Y$.
Can I find a smooth curve $C \subseteq Y$ with $y \in C$ such ...

**0**

votes

**1**answer

90 views

### rational sections of logarithmic differentials on a curve

Let $C$ be a smooth projective curve over a field $k$ of characteristic zero and $S$ a reduced divisor on $C$ (so just a collection of points). Consider the sheaf of logarithmic differentials ...

**-1**

votes

**0**answers

42 views

### Morphism of curves with special ramification

Let $\varphi: C_1 \to C_2$ be a finite morphism of integral, projective curves over a field of characteristic $0$. Let $n_i: \tilde{C_i} \to C_i$ be the normalization and let $\tilde{\varphi}: ...

**2**

votes

**1**answer

176 views

### vector bundles on $\mathbb{C}[x,y,z]/(x y - z^k)$

Let $A = \mathbb{C}[x,y,z]/(x y - z^k)$. In fact $A$ is the ring of $\mu_k$ invariants: $A = \mathbb{C}[u,v]^{\mu_k}$ where $g \in \mu_k$ acts by $g(u,v) = (g u, g^{-1} v)$.
This allows one to ...

**0**

votes

**0**answers

58 views

### Determinant of an action and characters

In the paper of Ramanathan "Stable Principal Bundles on a Compact Riemann Surface", I read: ...where $\mu$ is the determinant of the (adjoint) action of $P$ on ...

**2**

votes

**2**answers

215 views

### Specialisations of flag varieties

Recall that a flag variety over a field $k$ is a smooth projective variety over $k$, which is a homogeneous space for some linear algebraic group.
My question concerns specialisations of flag ...

**-2**

votes

**0**answers

60 views

### Natural candidates for 'hyperplanes' in biprojective spaces [closed]

Consider $\mathbb{P}^n(k) \times \mathbb{P}^m(k)$ where $k$ is some finite field extension of $\mathbb{Q}$. What are the natural 'hyperplanes' in such a space? In straight projective spaces, thati s ...

**2**

votes

**0**answers

77 views

### Non-reducedness of schemes and projective morphisms(revisited)

This is a continuation of a question asked by me previously with some added hypothesis. Let $X, Y$ be irreducible projective schemes over $\mathbb{C}$, $W \subset X \times Y$ a closed irreducible ...

**2**

votes

**0**answers

52 views

### Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature.
To be more clear let me explain the example I have in mind.
Let ...

**1**

vote

**1**answer

74 views

### Nonreducedness of schemes and projective morphisms

Let $X, Y$ be irreducible projective schemes over $\mathbb{C}$, $W \subset X \times Y$ a closed irreducible subscheme. Suppose that the natural projection map $pr_2:W \to Y$ is surjective on the ...

**1**

vote

**0**answers

67 views

### The minimum genus of a family of degree $12$ algebraic curves which comes from the resultant of two quartic polynomials

Let $f(t)$ be a rational normal cubic curve in $\mathbb{P}^3$ (it is not contained in any plane) and also we assume that this cubic curve passes through two points $(0,0,0)$ and $(1,0,0)$. By an easy ...