All Questions
8,188 questions with no upvoted or accepted answers
11
votes
0
answers
614
views
Is the formal neighborhood of the diagonal a generalization of the Jet bundle?
Let $f: X \to S$ be a morphism of locally ringed spaces and $\triangle: X \to X \times_S X$ the corresponding diagonal morphism with kernel sheaf $\mathcal{I} = \ker \triangle^{\flat}$.
Definition: ...
- 111
11
votes
0
answers
398
views
What is Koszul dual of a curve?
Let $X$ be a curve embedded into a projective space $\mathbb P$ such that
it is cut out (scheme-theoretically or ideal-theoretically) by quadrics.
What is known about the Koszul dual of the ...
- 5,186
11
votes
0
answers
242
views
Coefficients of universal Schubert polynomials
Let $e_i^j$ be the elementary symmetric polynomial in $x_1,x_2,\ldots,x_j$. Then the ordinary Schubert polynomial has an expansion of the form
$$S_u(x)=\sum_{i_1,i_2,\ldots,i_n}{a^{i_1,i_2,\ldots,i_n}...
- 2,168
11
votes
0
answers
173
views
Hyperelliptic curves over $\mathbb{Q}$ with a $\mu_p^2$ subgroup in their Jacobian
Given a prime number $p>2$, I'm looking for a smooth projective hyperelliptic curve $C$ defined over $\mathbb{Q}$ whose Jacobian $J(C)$ has a subgroup isomorphic to $\mu_p^2$ as a $Gal(\overline{\...
- 111
11
votes
0
answers
491
views
Can an abelian variety/Q have no non-trivial points over Q_sol?
Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable
extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial?
This follows from the conjecture that the maximal (pro-)solvable ...
- 11.3k
11
votes
0
answers
630
views
Inversion, Koszul duality, combinatorics and geometry
According to this MO answer Koszul duality is related to operations on generating series;
1) multiplicative inversion for quadratic algebras,
2) compositional inversion for quadratic operads,
3) ...
11
votes
0
answers
2k
views
Total spaces of tangent/cotangent bundles in a course where all varieties are quasi-projective
$\def\PP{\mathbb{P}}$In a course where all varieties are quasi-projective (as in Shafarevich Volume I), I am trying to figure out whether I can justify talking about the total spaces of the tangent ...
- 156k
11
votes
0
answers
264
views
What is the lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?
I want to know about low-weight Galois representations in $H^i(\overline{\mathcal M}_{g,n}, \overline{\mathbb Q}_\ell)$ that aren't cyclotomic. This should be equivalent to finding $p,q$ such that $H^{...
- 149k
11
votes
0
answers
723
views
Degeneration of etale Hochschild--Serre exact sequence
Let $k$ be a field, $X$ a smooth $K$-variety and $\ell$ a prime not dividing the characteristic of $K$.
Then one can make sense of continuous $\ell$-adic etale cohomology (in the sense of Jannsen), ...
- 37k
11
votes
0
answers
351
views
Purity for abelian schemes up to $p$-isogenies
Let $S$ be a noetherian excellent regular scheme and $U\subset S$ an everywhere dense open of codimension $\geq 2$. For some fibered categories of geometric objects, it makes sense to ask whether the ...
- 1,606
11
votes
0
answers
807
views
Torelli-like theorem for K3 surfaces on terms of its étale cohomology
Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology?
For example: If $K\ne \mathbb{C} $ and $X\rightarrow \...
11
votes
0
answers
684
views
Big tangent bundle
Let $X$ be a nonsingular complex algebraic variety whose tangent bundle is $T_X$. I use Lazarsfeld's book for the definition of a big vector bundle. A line bundle $L$ is big if it has Itaka dimension ...
- 121
11
votes
0
answers
632
views
An elementary linear algebra problem
Let $K$ be a field, and let $E$ be the algebra of $n\times n$ matrices over $K$. Let $V_0$ and $V_1$ be the (left) $E$-modules of matrices of size $n\times n_0$ and $n\times n_1$. Let $W \subseteq V_0$...
- 4,015
11
votes
0
answers
518
views
Atiyah-Bott from Beauville-Laszlo
This is a question about the cohomology groups of the stack of vector bundles (with fixed discrete invariants) on an algebraic curve. Explicit formulas for these cohomology groups are known, and they ...
- 1,180
11
votes
0
answers
324
views
Subrings of invariants in divided power algebras
I am wondering to what extent the functors "ring of invariants under a group action $G$"
and "divided power envelope with respect to a $G$-stable ideal" commute.
To be precise, let $R$ be a ...
- 1,609
11
votes
0
answers
1k
views
Degree of a Variety
Let $X$ be an algebraic variety and assume that there exists an $n\in\mathbb{N}$ and a closed immersion $\phi: X \hookrightarrow \mathbb{P}^n$. Now, is it a known and/or meaningful notion to define ...
- 4,902
11
votes
0
answers
383
views
What are the endomorphisms of Drinfeld's "special formal O_D-modules"?
Let $F$ be a nonarchimedean local field, and let $D/F$ be the central division algebra of invariant $1/d$. Let $k$ be the algebraic closure of the residue field of $F$ and let $\pi$ be a uniformizer.
...
- 4,487
11
votes
0
answers
1k
views
Do the Standard Conjectures imply parts of the "Weil II" Riemann Hypothesis?
It is known that Grothendieck's Standard Conjectures on algebraic cycles imply the Riemann Hypothesis of the original Weil Conjectures. However, do they also say something about the version of the ...
- 1,764
11
votes
0
answers
528
views
Adeles of Holomorphic Functions
In number theory, an adele is a restricted product of elements of the completion at each prime. For function fields, we take (a kind of) product of the completion at each point, and at non-singular ...
- 15.4k
11
votes
0
answers
561
views
How to get a Dehn-twist presentation of a periodic map of a Riemann surface?
Let $f:S\to S$ be a given periodic map of order $n$, and $(m_i,\lambda_i, \sigma_i)$ be the valency of the multiple point $p_i$ of $f$ ( $i=1,\cdots,r$ ).
A classical result says such $f$ is ...
- 471
11
votes
0
answers
2k
views
What are "fractional motives"?
Kirti Joshi's musings mention "fractional motives". Do you know what are they good for and what the current state of constructions is for them?
Edit: Further cases of "fractional motives" as ...
- 10.8k
11
votes
0
answers
878
views
Who proved the exactness of Amitsur's complex ?
A foundational result in Grothendieck's descent theory and in his étale cohomology is the exactness of Amitsur's complex. More precisely, suppose we have an $A$-algebra
$A\to B$; then there is a ...
- 47.5k
11
votes
2
answers
2k
views
Asymptotic comparison of $L^2$ sections versus generating sections
Let $s_1,\ldots, s_k$ be linearly independent global holomorphic sections of a holomorphic line bundle $E$ over a compact algebraic manifold $X$, with volume form $\Omega$.
For $m$ large, let $\{e_1,\...
user2529
10
votes
0
answers
190
views
Is every UFD a filtered colimit of Noetherian UFDs?
I'm wondering how one could prove or disprove that any non-Noetherian UFD is a filtered colimit of Noetherian UFDs. This would allow for some absolute Noetherian approximation to be applied for ...
- 804
10
votes
0
answers
274
views
Looking for counterexamples: Are maximal tori in the automorphism groups of smooth complex quasiprojective varieties conjugate?
Let $X$ be a smooth quasiprojective variety over $\mathbb{C}$. It has a group of (algebraic) automorphisms $
\DeclareMathOperator{\Aut}{Aut}
\Aut(X)$.
Define a torus in $\Aut(X)$ to be a faithful ...
- 1,141
10
votes
0
answers
447
views
History behind Serre's conditions $\mathrm{S}_k$ and $\mathrm{R}_k$ for a commutative Noetherian ring
This is a repost. So far, I've received no answers on HSM Stack Exchange; maybe I do in MO.
In 033Q we find defined what some sources call “Serre's conditions $\mathrm{S}_k$ and $\mathrm{R}_k$” (for a ...
10
votes
0
answers
2k
views
Roadmap for p-adic Hodge theory
I'd like to be able to start studying p-adic Hodge theory and hope that by posing this question, I can be better prepared to work towards it. I ask for a roadmap because I understand that I have a lot ...
- 544
10
votes
0
answers
369
views
Is every finite group the automorphism group of a smooth projective curve?
$\DeclareMathOperator\Aut{Aut}$Let $G$ be a finite group and let $k$ be a field with algebraic closure $K$. Is there a smooth projective curve $C$ defined over $k$ such that $\Aut_k(C)=\Aut_K(C)$ is ...
- 7,722
10
votes
0
answers
833
views
Elementary aspects of The Fargues-Fontaine curve
To any pair $(E,F)$, where $E$ is a local field and $F$ is a perfectoid field, one can associate a curve $X^{\text{FF}}_{E,F}$, the so-called Fargues-Fontaine curve, which is unique up to Frobenius ...
- 989
10
votes
0
answers
230
views
Lefschetz for topoi
The Lefschetz fixed-point theorem is a nice theorem in topology which counts the number of fixed points (counted with multiplicities) of a continuous map $f\colon X\to X$ using the traces of the ...
- 714
10
votes
0
answers
482
views
What is the precise definition of "Hypergeometric motives over $\mathbb{Q}$"?
The question is as in the title, but here is some background:
Section 4 of this paper by Beukers, Cohen and Mellit is called "Hypergeometric motive over $\mathbb{Q}$" but no actual (pure) ...
- 10.5k
10
votes
0
answers
361
views
How to model (affine) schemes with a large sketch?
Guitart states in "Toute theorie est algebrique et topologique" as Proposition 17 that the category $\mathbf{Sch}$ of schemes is the category of models of a large mixed sketch. Presumably, ...
- 63.1k
10
votes
0
answers
1k
views
The "unification" of geometry via topos theory?
This question is somehow motivated by The unification of Mathematics via Topos Theory and Synthetic vs. classical differential geometry. Sorry if this is a naïve question.
There has been quite a lot ...
- 1,094
10
votes
0
answers
327
views
Integrality of primary genus $0$ Gromov-Witten invariants of a Fano manifold
Suppose $(X,\omega)$ is a positively monotone compact symplectic manifold, i.e., after a positive scaling of the symplectic form, we have $c_1(T_X) = [\omega]$ in de Rham cohomology ($T_X$ has well-...
- 1,761
10
votes
0
answers
295
views
Quotients by algebraic group actions at the level of the Grothendieck ring
$\DeclareMathOperator\SGro{SGro}\DeclareMathOperator\Gro{Gro}\DeclareMathOperator\GL{GL}$For an algebraically closed field $K$, the Grothendieck semiring of $K$ consists of, say, quasi-projective $K$-...
- 63.9k
10
votes
0
answers
379
views
Does the tropicalization of a curve remember the curve's automorphism group?
For a tropical curve $Z$, let us call $Z_0$ this curve with its 1-valent points removed.
(Def [5] of Joyner-Ksir-Grant Melles) Let the automorphism group of a tropical curve $Z$ be a map $g: Z \to Z$ ...
- 3,539
10
votes
0
answers
342
views
Hodge structure and rational coefficients
Suppose $X$ is a complex projective variety with a model $X_\mathbb{Q}$ defined over the rational numbers. Then there is a rational de Rham lattice $H^k_{dR}(X_\mathbb{Q}, \mathbb{Q})\subset H^k(X, \...
- 7,962
10
votes
0
answers
960
views
intuition about perverse sheaves
firstly, I would know if my very basic intuition on perverse sheaves is correct .
secondly, I would have some clarification in what perverse sheaves behaves better than regular sheaves .
my intuition ...
- 546
10
votes
0
answers
479
views
How do I produce a basis of cohomology?
Suppose I am discussing a smooth projective variety over an algebraically closed field with my friend on the phone and I want to make a statement about its $l$-adic cohomology (integral or rational). ...
user158636
10
votes
0
answers
438
views
Boundary of Siegel modular variety
The moduli space of curves has a compactification whose boundary can be understood as the product of moduli spaces of curves of lower genus. Therefore (perhaps naively) one might hope that there ...
- 4,418
10
votes
0
answers
474
views
Is $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p$ coherent?
The question is as in the title:
Is the ring $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p = \mathbb{Z}_p \otimes_{\mathbb{Z}_{(p)}} \mathbb{Z}_p$ coherent?
As shown in the related question, the ...
- 3,784
10
votes
0
answers
393
views
Grothendieck categories and their morphisms
I am not an algebraic geometer in the first place, and I am mainly familiar with topology and category theory. Recently I am studying Grothendieck categories and I am struggling with getting ...
- 9,111
10
votes
0
answers
575
views
How general are Gröbner degenerations?
While working with flat degenerations of flag varieties and Schubert varieties I've noticed that among the numerous known constructions there doesn't seem to be a single one that doesn't turn out to ...
- 3,513
10
votes
0
answers
217
views
Subvarieties with isomorphic complements
Let $X$ be a smooth irreducible projective variety over $\mathbb C$, $Y_1, Y_2$ are two closed smooth subvarieties. Assume $X-Y_1 \cong X-Y_2$, what do $Y_1$ and $Y_2$ have in common (at least ...
- 6,622
10
votes
0
answers
193
views
Holomorphic versus algebraic $\mathbb C^*$-actions
I believe that the following is true:
Statement. A holomorphic $\mathbb C^*$-action on a complex projective manifold is algebraic if and only if it has a fixed point.
Where can I find a proof of ...
- 14.3k
10
votes
0
answers
187
views
Derived equivalences preserved by blow-ups
Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$. Assume that $X$ and $Y$ are derived equivalent. Let $\pi : \tilde{X} \longrightarrow X$ be a blow-up of $X$ along a smooth center. Can ...
- 7,300
10
votes
0
answers
604
views
Adjoint for Spv, the Space of Valuations
The contravariant functor $\text{Spec} : \text{Rng} \rightarrow \text{RngSp}$ from rings to locally ringed spaces, sending a ring to its spectrum, and the contravariant functor $\text{Glob} : \text{...
user30211
10
votes
0
answers
379
views
Hyperkähler structure on the moduli space of tetrahedra?
Consider a moduli space of geodesic tetrahedra in the hyperbolic space $\mathbb{H}^3.$ In the Klein's model the hyperbolic space can be presented as the interior of a unit ball
$$
\mathbb{H}^3=\{(x_1,...
- 4,316
10
votes
0
answers
405
views
Hilbert schemes of points on toric surfaces
Let $\mathrm{S}$ be a smooth toric surface. The Hilbert scheme of $n$ points $\mathrm{Hilb}^n(\mathrm{S})$ inherits a torus action, but need not admit the structure of a toric variety itself. For ...
- 2,808
10
votes
0
answers
436
views
Commuting matrix variety $[A,B]=0$ - can one geometrically explain divisibility of $F_ q$ point count by high powers of $q$?
$\DeclareMathOperator\Comm{Comm}\DeclareMathOperator\Id{Id}$Consider the variety $\Comm$ of commuting matrices $[A,B]=0$ over some field $K$. It is much studied, and interesting for various reasons.
...
- 24.9k