All Questions
105 questions from the last 30 days
47
votes
10
answers
6k
views
Algebraic theorems with no known algebraic proofs
What are some good examples of algebraic theorems that have no known algebraic proofs?
A few I know concern classifications of (not necessarily associative) division algebras over $\mathbb{R}$: the ...
14
votes
4
answers
2k
views
The ten most fundamental topics in geometric group theory
What are the ten most fundamental topics in geometric group theory?
This is a pedagogical question prompted by the fact that I am teaching geometric group theory to undergraduates. They are expected ...
5
votes
4
answers
1k
views
Stable points in GIT: geometric picture
Is there a geometric picture justifying why "stable points" in GIT (Geometric Invariant Theory) are actually called "stable"? Stable, with respect to which effect? (Here, I have ...
- 619
6
votes
1
answer
655
views
Is decomposability of polynomials over a field an undecidable problem?
By a decomposition of a polynomial $F(x)$ over a field $K$ we mean writing $F(x)$ as
$$
F(x)=G(H(x)) \quad(G(x), H(x) \in K[x]),
$$
which is nontrivial if $\operatorname{deg} G(x)>1$ and $\...
- 310
8
votes
1
answer
860
views
What is the smallest and "best" 27 lines configuration? And what is its symmetry group?
I was this past year working with a bright high-schooler on algebraic geometry following Reid's book Undergraduate Algebraic Geometry, and we got all the way to proving that there is at least one line ...
- 35.5k
14
votes
1
answer
565
views
What is the "schematic" point of view for regular polyhedra?
Last week, I read Wikipedia's article on Alexander Grothendieck. It lists his twelve greatest contributions to mathematics as accounted for in Grothendieck's own Récoltes et Semailles. The final item ...
9
votes
1
answer
402
views
Conceptual understanding of the Néron–Severi group
I'm trying to understand the importance of the Néron–Severi group $\operatorname{NS}(X)$ when $X$ is, say a complex manifold. My background is in the analytic side so I'm much more familiar with line ...
- 137
3
votes
2
answers
366
views
Rational divisors on Calabi–Yau threefolds
Following the construction of [2], consider the full subcategory $\mathcal{D}_0 \subset D^\flat(\operatorname{Coh} \omega_{\mathbb{P}^1})$ consisting of complexes whose cohomology objects are ...
- 317
5
votes
1
answer
240
views
Galois action on Borovoi's algebraic fundamental group
In Borovoi's paper Abelian Galois cohomology of reductive groups, the algebraic fundamental group of a connected reductive group $G$ over a field $K$ of characteristic zero is defined as
$$\pi_1(G, T):...
- 53
3
votes
1
answer
316
views
Which abelian varieties over a local field can be globalized?
As the title says, if $\mathcal{A}$ is an abelian variety over $\mathbb{Q}_p$, is there a criterion as to if I should expect there to exist $A$ over $\mathbb{Q}$ such that
$$\mathcal{A}\cong A\times_{\...
- 4,418
5
votes
1
answer
263
views
Central isogeny, Shimura varieties and exceptional cases
For a simple complex Lie algebra $\mathfrak g$, its weight lattice is not equal to the root lattice (i.e. the center of its simply connected form is a non-trivial finite group) iff $\mathfrak g$ is of ...
- 6,622
1
vote
1
answer
418
views
Uses of the Mukai vector
Let $X$ be say a smooth projective variety. For $\mathcal{E}^\bullet \in D^b(X)$ the so-called Mukai vector is defined as $$v(\mathcal{E}^\bullet) = \operatorname{ch}(\mathcal{E}^\bullet)\sqrt{\...
- 137
6
votes
1
answer
282
views
effective descent of coherent sheaves
I am new to stacks and algebraic spaces. I have the following question:
Let $X$ be a scheme and $G$ be a group scheme action on $X$. Then $X/G$ exists as an algebraic space. Let $\pi: X \to X/G$ be ...
- 613
6
votes
1
answer
159
views
Obstruction theory for specializing perfect complexes?
I'm considering a problem around the moduli of perfect complexes.
Let's consider a $X$ smooth proper over Spec($R$), $R$ is a DVR, $char=0$, equipped with a perfect complex $\mathcal F$ on $X_{K(R)}$.
...
- 71
5
votes
1
answer
301
views
Operations on filtered / graded vector spaces via $\mathbb{A}^1 / \mathbb{G}_m$
A well known fact (e.g. Moulinos - The geometry of filtrations) is that one can describe the category of filtered vector spaces as $\operatorname{FilVect} \simeq \operatorname{QCoh}(\mathbb{A}^1/\...
- 834
2
votes
3
answers
182
views
Stabilizers of the action of Levi on abelianization of nilpotent radical
$\DeclareMathOperator\Lie{Lie}$Let $G$ be a simple connected reductive group over $\mathbb C$. Consider a parabolic subgroup $P=MU$ of $G$, where $M$ is a Levi of $P$ and $U$ is the unipotent radical ...
- 6,622
5
votes
1
answer
268
views
$\ell$-adic analogue of Kedlaya–Mochizuki
There is a well-known analogy between holonomic $\mathcal{D}$-modules on complex algebraic varieties and $\ell$-adic perverse sheaves on varieties over finite fields. Many theorems in one setting have ...
- 771
2
votes
1
answer
185
views
Number of rational points of a quotient of connected linear algebraic groups
Let $H$ be a closed connected subgroup of a connected linear algebraic group $G$ over an algebraically closed field of characteristic $p>0$, and let $\sigma=\sigma_q$ be the standard Frobenius ...
- 23
3
votes
1
answer
367
views
Variants of Grothendieck section conjecture
Let $X$ be a smooth projective variety defined over a field $k$. We fix the following notations : $\overline{k}$ denotes the algebraic closure of the field $k$, $X_{\overline{k}}$ denotes the variety $...
- 443
5
votes
1
answer
236
views
Explicit Jacquet-Langlands correspondence for real reductive groups
Let $G$ be a connected reductive group over $\mathbb R$. Let $G'$ over $\mathbb R$ be an inner form of $G$ with ${}^LG={}^LG'$. By local Langlands correspondence over $\mathbb R$, if a $L$-packet of $...
- 6,622
4
votes
1
answer
245
views
Group action on affine variety induces faithful action on tangent space
I have a queestion about the proof of Lemma 2.2 from the paper arxiv 1105.3739:
Let $G$ be a group acting faithfully on an irreducible affine variety $X=\operatorname{Spec}(A)$ over $k= \Bbb C$. ...
- 6,048
4
votes
1
answer
183
views
About the reduction type of the Kodaira symbol of elliptic curves defined over p-adic local fields
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $E$ be an elliptic curve defined over $K$. Tate's algorithm can be used to compute the Kodaira symbol of the reduction type of $E$.
However, I ...
- 77
3
votes
1
answer
202
views
Square root of relative Kähler differentials and families of curves
Let $f: X \to S$ be a smooth morphism of schemes of relative dimension $1$. Then $K=\Omega^1_{X/S}$ is a line bundle on $X$. I am interested in the following question:
When does $\Omega_{X/S}$ have a ...
- 6,622
4
votes
1
answer
188
views
Projective automorphisms of a plane cubic curves
Let $E$ be a smooth cubic curve in $\mathbb{P}^2$ over an algebraically closed field $k$.
What is the group of the projective transformations preserving $E$ ?
In characteristic $0$ the answer is known ...
- 486
3
votes
1
answer
215
views
Geodesic flows and Killing fields
How well-known is the following result:
Let $(M,g)$ be a closed Riemannian manifold and define $D:C^\infty(M,Sym^mT^*M)\to C^\infty(M,Sym^{m+1}T^*M)$, $D\alpha:=\mathbb S(\nabla\alpha)$ where $Sym^m$ ...
2
votes
1
answer
270
views
Jacobian fibration of elliptic fibration: basic relations between Enriques invariants
Let $f: X \to B$ be an elliptic fibration, so proper map from smooth surface $X$ onto smooth conn. curve over alg closed base field $k$ with connected fibers such that almost all fibers are elliptic ...
- 6,048
3
votes
1
answer
133
views
Is a simply connected locally 2-connected complex a union of spheres and planes?
Let $X$ be a (potentially infinite) 2-dimensional simplicial complex. Then each link at a vertex $x\in X$ is a graph.
Question. If $X$ is simply connected and each link is 2-connected (in the sense ...
- 13.6k
3
votes
1
answer
151
views
Locally nilpotent derivations and triangularizability
If $ k $ is a field of characteristic zero and $ \delta \in T_{\mathbb{A}^{n}_{k}/k} $, then $ \delta $ is triangular if $ \delta = \sum_{i=2}^{n} f_{i}(x_{1},\dots,x_{i-1}) \frac{\partial}{\partial ...
- 912
2
votes
1
answer
156
views
$\mathbb{C}^*$-action on moduli space of Higgs bundles
Let $M_{r,d}$ be the moduli space of semistable Higgs bundles of rank $r$ and degree $d$ over a compact Riemann surface. Over $M_{r,d}$ we have a $\mathbb{C}^*$-action $$t \cdot (E,\phi)=(E, t \phi). $...
- 1,061
3
votes
1
answer
143
views
Whitney stratifications of hypersurfaces
Suppose that $X$ is a Whitney stratified algebraic variety with strata $\{S_i\}.$
Suppose that $Z$ is a hypersurface of $X$ which transversely intersects all strata of $X$, i.e. $S_i \cap Z$ is a ...
- 55
3
votes
1
answer
160
views
How to check whether a triangulated subcategory is admissible?
Let $\mathcal{T}' \subseteq \mathcal{T}$ be a full triangulated subcategory. Recall, $\mathcal{T}'$ is called $\textit{right admissible}$ if the inclusion $\mathcal{T}' \hookrightarrow \mathcal{T}$ ...
- 127
3
votes
1
answer
225
views
Finite generativity of algebra with valuation
Let $C$ be a commutative finitely generated algebra with no zero divisors. If necessary, we can assume it to be graded and a unique factorization domain. Let $a\in C$ be a prime element.
Let's also ...
1
vote
1
answer
158
views
Comparison of special metrics on Riemann surfaces with the hyperbolic one
Let $X$ be a complex algebraic curve, or equivalently a compact Riemann surface, of genus $a\ge2$. Denote $\omega_1, \dots , \omega_a$ a basis of holomorphic differentials, and consider the Riemaniann ...
- 31
2
votes
1
answer
201
views
Section 3 of Atiyah's "On analytic surfaces with double points" — some questions
I have some questions about section 3 of Atiyah's "On analytic surfaces with double points," a short 9 page paper. Section 3 is all dedicated to proving lemma 4.
Near the end of section 3, ...
- 129
4
votes
2
answers
165
views
Connectedness of degeneracy loci
Let $E, F$ be vector bundles of ranks $e, f$ on a smooth variety $X$ of dimension $n$.
Let $\varphi : E \to F$ be a morphism and let $k$ be such that $n > (e-k)(f-k)$.
Fulton-Lazarsfeld's theorem ...
- 331
1
vote
1
answer
137
views
About dimensions of quotients of quasi projective varieties
This question is related to this one. If I have an locally closed, quasi projective scheme $X$ contained in an affine space, and a linearly reductive group $G$ acting freely on $X$, are there examples ...
- 558
4
votes
0
answers
267
views
Is a pro-algebraic group over $\mathbb{Q}_p$ with Galois action the inverse limit of Galois-equivariant quotients?
Let $\mathcal{G}$ be a pro-algebraic group over $\mathbb{Q}_p$ with a continuous action of $G_K$ for a field $K$ (if $\mathcal{G}$ were an abelian unipotent group, this is precisely a $p$-adic Galois ...
- 15.4k
2
votes
1
answer
135
views
Properness of quotient map
I am new to algebraic spaces and stacks. My question is the following:
Let $X$ be a scheme and $G$ be a group scheme action on $X$. Let $[X/G]$ be the quotient stack. Then when the natural map $\pi: ...
- 613
3
votes
1
answer
138
views
Can the coefficients of a Taylor series be expressed as rational functions for an affine variety?
Let $k$ be an algebraically closed field and $V \subseteq k^n$ an affine variety corresponding to a prime ideal $P \subseteq k[t_1, \dots, t_n]$. For $x\in V$ let $O_x = \{p/q \mid p,q\in k[t_1, \dots,...
- 696
1
vote
0
answers
267
views
Are there connections between Calabi-Yau manifolds and number theory?
I am interested in understanding whether there are any significant connections between Calabi-Yau manifolds and number theory. Calabi-Yau manifolds are central objects in algebraic geometry and string ...
4
votes
0
answers
240
views
What do we do when $G$ doesn't have a Shimura variety?
Let $G$ be a reductive group. If one can associate to $G$ a Shimura datum $(G,X)$, then the étale cohomology of the associated Shimura variety $\operatorname{Sh}(G,X)$ is a strong tool for the ...
- 57
3
votes
1
answer
160
views
Geometry and topology of Fuchsian character varieties
Consider the hyperbolic space, $\mathbb H^2$. A Fuchsian group is a discrete subgroup of $\text{PSL}(2,\mathbb R)$. We can generate tessellations, especially $\{p,q\} \;\text{tesellations}$ of $\...
- 357
4
votes
0
answers
171
views
Intuition on geometry of sections
Premise: I have asked the same question on math.stackexchange about a week ago, without receiving answer. Therefore I've decided to ask it also here. If this violates the rules, I apologize and I'll ...
5
votes
0
answers
181
views
Deformations of cotangent bundles
Let $M$ be a smooth variety of even dimension over $\mathbb C$. I am interested in necessary or sufficient conditions such that $X$ is a deformation of a family of cotangent bundles.
In other words, ...
- 6,622
0
votes
0
answers
151
views
Compactification of the Jacobian of singular curves via parabolic modules
I would like to better understand a certain compactification of the Jacobian variety of a singular algebraic plane curve as described in Cook's Ph.D. 1993 thesis Local and Global Aspects
of the Module ...
- 1
3
votes
0
answers
147
views
Tate conjecture for singular varieties in terms of intersection homology
In his book “Mixed motives and algebraic K-theory”, Jannsen generalizes the Tate conjecture to a potentially singular projective variety $X$ over a finitely generated field. The statement is the same ...
- 658
1
vote
0
answers
182
views
"Reflex field" for $\mathbb H/\Gamma$ for $\Gamma$ non-congruence
Suppose $\Gamma$ is a non-congruence arithmetic subgroup of $PGL_2(\mathbb Z)$, and $\mathbb H$ is the upper half plane of $\mathbb C$. Then by Belyi's theorem we know $\mathbb H/\Gamma$ is an ...
- 785
2
votes
0
answers
165
views
Definition for "almost simple" linear algebraic groups
Proposition 2.18 from "Elementary abelian $p$-subgroups of algebraic groups" by R. Griess. used the term "simply connected almost simple linear algebraic group $G$" without ...
- 217
-5
votes
0
answers
126
views
Is a quiver variety a moduli stack of quiver representations?
As the title, I was just wondering is a quiver variety a moduli stack of quiver representations? I am familiar with quiver varieties but not that familiar with moduli stacks, so I was just wondering ...
- 133
5
votes
0
answers
126
views
+50
Dimension of the intersection of the commuting variety with a particular subspace
Let $\mathcal C$ denote the commuting variety of pairs of matrices in $M_n(\mathbb{C})$, defined as:
$$
\mathcal C = \{ (A, B) \in M_n(\mathbb{C})^2 \mid [A, B] = 0 \}.
$$
It is well known that $\...
- 269