**14.295 ag.algebraic-geometry questions.**

I was reading this blog by Evan Chen about complex multiplication. He's discussing Sato-Tate Conjecture. We can have elliptic curve $E/\mathbb{Q}$ and solve it over finite fields.
\begin{eqnarray*}
...

Let $C$ be a smooth, projective curve (can assume to be rational) and $X:=C \times C$. Denote by $p:X \to C$ one of the two natural projections. Let $E$ be a vector bundle on $X$. Is it true that,
$$...

Since the multiplication of $n$ consecutive integers is divided by $n!$, then $(n!)^n|(n^2)!$ with $n$ is a positive integer.
Are there any formula of the function $y=f(x)$ that shows the largest ...

Let $k$ be an algebraically closed field, $C$ a smooth complete $k$- curve, $K = k(C)$, $J$ its Jacobian variety, and $f : C \to J$ the morphism induced by some rational point of $C$.
Then does $f$ ...

The equation
$$\displaystyle y^2 = f(x_1, x_2, x_3)$$
with $f$ a non-singular quartic form in three variables defines a del Pezzo surface of degree 2. I am interested in the similar construction
$$\...

Suppose $X$ is a variety with mild singularities (say terminal singularities), and $W$ is a center of some exceptional divisor over $X$ (i.e. there is a variety $Y$ with birational morphism $f: Y \to ...

Recall that an object $a$ in a symmetric monoidal category $(\mathcal{C}, \otimes, e)$
is dualizable if there exists an object $b$ and morphisms $\varepsilon\colon b \otimes a \to e$
and $\eta\colon e ...

Let $k$ be an algebraically closed field.
By a finitely generated subfield of $k$ I mean a subfield $k_0\subset k$ that is finitely generated over the prime subfield of $k$ (that is, over $\mathbb Q$ ...

Let $M(n) \sim \mathbb{A}^{n^2}$ be the space of $n$-by-$n$ matrices, seen as an affine space over a field $K$, and endowed with the usual matrix multiplication. Let $V$ and $W$ be subvarieties of $M(...

Let $X$ be a compact complex analytic manifold, $D\subset X$ an irreducible smooth divisor, given as zeroes of a global meromorphic function $f\in {\mathfrak M} (X)$. Are there enough other ...

I have a theoretical question about comparing two objects that I have recently come across.
For concreteness, let us work over the category $C$ of schemes over $k$. Let $G$ be an algebraic group over ...

I'm hoping someone can give me some tips to help speed up computation on the following problem:
Suppose I have a map $G=(g_1/f,\dots,g_m/f):\mathbb{A}^n\setminus{V(f)}\to \mathbb{A}^m$. I'm ...

In Looijenga's work below, if I understand correctly, it shows that
Statement 1: At an algebraic variety, the moduli space of SU($N$) flat
connections on a 2-torus $T^2$ is given by the space of ...

Let $(M,g)$ be an irreducible compact and simply connected Ricci-flat Riemannian four-manifold. My first questions are as follows:
A) Is there a classification of the possible homeomorphism types of ...

What is the automorphisms group of the weighted projective space $\mathbb{P}(a_{0},...,a_{n})$ ?
Consider the simplest case of a weighted projective plane, take for instance $\mathbb{P}(2,3,4)$; any ...

In their 2001 paper defining periods, Kontsevich and Zagier (pdf) without further comment state that $e$ is conjecturally not a period while many other numbers showing up naturally (conjecturally) are....

Let $f$ be some homogenous polynomial of degree $d>2$.
Let $X = \operatorname{Proj} (k[x,y,z]/(f))$ where $k$ is algebraically closed field of characteristic $p >0$.
Now let $R$ be a $k$-...

A commutative Bezout ring with $1$ is a ring in which every finitely generated ideal is principal. Is there any charactrization for indecomposable semi local Bezout ring?
For example , for a ...

Let $R$ be a DVR with uniformizer $\pi$, fraction field $K$ and residue field $k$. Let $X/K$ be a Severi-Brauer variety and $\mathscr X/R$ a smooth, projective model of it. Is it true that $\mathscr ...

Let $p:\mathbb{G}_m\to \operatorname{Spec} k$ be the structure map, and let $T$ be an algebraic $k$-torus viewed as an étale sheaf over $k$. Why is the cokernel of the canonical map $T\to p_*p^*T$ ...

Let $X \subset \mathbb{P}^n$ and $Y \subset \mathbb{P}^m$ be smooth, projective subvarieties, $F$ and $G$ coherent, torsion-free, sheaves on $X$ and $Y$ with Hilbert polynomials $P_{F}$ and $P_G$, ...

I have been looking for references on sheaves that take value in the category of Boolean rings (e.g. about cohomology, etc). Would someone be able to give me some?
Or are they interesting at all? ...

Let $A_{1},A_{2}$ be discrete valuation rings whose fraction fields are isomorphic. Let $A_{i}^{\mathrm{sh}}$ be the strict henselization of $A_{i}$, and let $K_{i}$ be the fraction field of $A_{i}^{\...

Let $k$ be an algebraically closed field, it is well known that $\mathbb P^1$ is simply connected, but how about smooth projective surfaces $X$ with a smooth morphism to $\Bbb P^1$?
Except the case $...

Let $X$ be a compact complex protective surface that admits a nontirvial algebraic $\mathbb C^*$-action. It seems to me, that the ample cone of $X$ is polyhedral with finite number of faces. I wonder ...

Set : $$ \mathcal{H} ( \mathbb{P}^n ) = \{ \ \text{Smooth projective subvarieties of } \mathbb{P}^n \ \} $$
I would like to know if there exists a projective variety $ H ( \mathbb{P}^n ) $ whose ...

Let $\mathbb{C}\mathbb{P}^1$ be embedded linearly to $\mathbb{C}\mathbb{P}^n$ with $n>1$. (Such an embedding is given in coordinates by $[x:y]\mapsto [x:y:0:\dots: 0]$.)
Is it true that for any ...

My question requires a little introduction:
$\textbf{Atiyah-Bott's solution:}$ In the paper "The Yang mills equation of Riemann surfaces" Atiyah-Bott has computed the cohomology of moduli vector ...

Let $G$ be a linear algebraic group -- be it a Lie group or a group of Lie type. Let $V$, $W$ be subvarieties of $G$. Of course, $V\cap W$ is also a variety (not necessarily irreducible) and $V\cdot W^...

Given a smooth quasi-projective variety $X$ over $\mathbb{C}$ and bounded complexes of vector bundles $(P,d)$ and $(P',d')$ with compactly supported cohomology. It is well-known that such complexes ...

Matsumoto proved in his PhD thesis that if $F$ is a field then $$K_2(F)=(F^*\otimes F^*)/(x\otimes (1-x)).$$
The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks ...

Let $X$ be a smooth complex analytic manifold. Let $Z\subset X$ be a smooth compact analytic submanifold. Let $\hat Z$ be the formal neighborhood of $Z$. Let $U$ be an open neighborhood of $Z$.
Is ...

There are approaches to real analysis that use an axiomatization of nilpotent infinitesimals to enable rigorous synthetic reasoning about infinitesimals, which is arguably closer to the reasoning ...

Are there any mathematical explanations for the following surprising facts?
$$\int_{Gr(2,8)} c_{\text{top}}(TX(-2)) = 6556 = \frac{1}{2} \deg(E_7/P(\alpha_7)) + 1,$$
and
$$\int_{Gr(2,6)} c_{\text{top}}...

If $X$ is an object in an arbitrary category, there is a natural definition of a subobject of $X$ as a monomorphism into $X$ (or really an equivalence class of monomorphisms). If $X$ is a scheme, ...

Let $F$ be a square-free (as a polynomial) ternary cubic form over $\mathbb{C}$, and let $H_F$ be its Hessian determinant... which is also a ternary cbic form. If $F$ splits over $\mathbb{C}$, so that ...

Suppose $R\subset K=K_0\supset K_1\supset K_2\supset...\supset K_{n-1}\supset K_n=\{0\}$ are all vector spaces with $\dim R\cap K_i=r_i$ where $r_i$ are some fixed numbers. Suppose $O\subset Gr(r_0,\...

Let $X$ be a smooth complex analytic manifold. Let $Z\subset X$ be a smooth compact analytic submanifold. Let $A$ be a holomorphic vector bundle over $X$. Assume that
$$H^i(Z, A|_Z)=0 \mbox{ for any } ...

Let $X$ be a normal, projective surface (or more generally a variety) over $\mathbb{C}$ (i.e., $X$ is irreducible). Fix a polarisation on $X$. I am looking for examples of rank one, degree zero (...

Let $R$ be a Noetherian ring. For a finitely generated $R$-module $M$, let $tr_R(M):=Im(\tau_M)$, where $\tau_M:M\otimes Hom(M,R)\to R$ is the map defined as $\tau_M(m\otimes f)=f(m)$.
Let $I$ be a ...

Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}_X$ module?

The Pontryagin square, maps $x \in H^2({B}^2\mathbb{Z}_2,\mathbb{Z}_2)$ to $ \mathcal{P}(x) \in H^4({B}^2\mathbb{Z}_2,\mathbb{Z}_4)$. Precisely,
$$
\mathcal{P}(x)= x \cup x+ x \cup_1 2 Sq^1 x.
$$
...

Let $\pi:X \to \mbox{Spec}(\mathbb{C}[t]/(t^2))$ be a smooth, projective morphism and $L$ be an invertible sheaf on $X$. Denote by $L_0$ the restriction of $L$ to the closed fiber, say $X_0$ of $\pi$. ...

Let $X$ be a projective variety over $\mathbb{C}$. If $L$ is an ample line bundle, then $h_L$ denotes the Hilbert polynomial.
Is it true that, if $L$ and $L'$ are ample line bundles which are ...

Define the cross-ratio of four real or complex numbers as follows:
$$[a,b,c,d] = \frac{(a-c)(b-d)}{(a-d)(b-c)}.$$
Then its logarithm has the same symmetries as the curvature tensor:
$$\log[a,b,c,d] = -...

In an interview with Deligne on the Simons Foundation website, I heard Robert MacPherson say that at the time Deligne's papers on Hodge theory were being published, the results seemed absolutely ...

As the question title asks for, how do others visualize local complete intersection morphisms? My experiment in asking people in real life didn't pan out, so I'm consulting the MO algebraic geometry ...

Let $R$ be complete (or, more generally, Henselian) discrete valuation ring with fraction field $K$. Let $G$ be a reductive $R$-group scheme. Is $G$ a parahoric in the sense of Bruhat-Tits? If so, ...

Let $X$ be a smooth, projective variety and $F$ a coherent sheaf on $X$. Let $\{U_i\}_{i \in I}$ be an open affine covering of $X$ and $\{f_{ij}\}_{i<j}$ with $f_{ij} \in \Gamma(U_{ij},F)$ ...

It is a famous consequence of Tsen's theorem that a smooth curve over an algebraically closed field has trivial Brauer group. But what about curves over non algebraically closed fields?
Let us fix a ...

- ac.commutative-algebra
- reference-request
- nt.number-theory
- complex-geometry
- arithmetic-geometry
- at.algebraic-topology
- algebraic-curves
- dg.differential-geometry
- algebraic-groups
- rt.representation-theory
- moduli-spaces
- abelian-varieties
- birational-geometry
- ct.category-theory
- elliptic-curves
- etale-cohomology
- schemes
- deformation-theory
- vector-bundles
- algebraic-surfaces
- cv.complex-variables
- sheaf-theory
- cohomology
- motives
- stacks