All Questions
Tagged with co.combinatorics ag.algebraic-geometry
292 questions
4
votes
0
answers
81
views
Classification of nilpotent orbits over local fields (for type ABCD via partitions )
Let $\mathfrak g$ be a simple Lie algebra over a char $0$ local field $F$ (e.g. $F=\mathbb R$ or $F=\mathbb Q_p$) with its adjoint group $G$. Let $\mathcal N \subseteq \mathfrak g$ be its nilpotent ...
- 6,622
0
votes
0
answers
54
views
Functional equations with coupled arguments and additive sructure
Let $G$ be a locally compact abelian group and let $f: G \to \mathbb{R}^+$ be a continuous function satisfying the functional equation
$$f(x + \phi(y)) + f(y + \phi(x)) = 1 + f(x+y)$$
for all $x, y \...
7
votes
1
answer
439
views
Road map and references for combinatorial Hodge theory
I'm a PhD student. I'm familiar with graduate level algebraic geometry and toric varieties.
I wanted to know a road map for getting into combinatorial Hodge theory and other prerequisites that I'll ...
- 839
2
votes
1
answer
262
views
Randomly fixing elements and transcendence degree
Given $f_1,\ldots,f_n \in \mathbb{F}_q[x_1,\ldots,x_m]$ such that $\deg(f_i) \leq d < q$. Suppose we have for some $1 \leq j \leq m$
$$ \operatorname{trdeg}_{\mathbb{F}(x_1,\ldots,x_j)}\{f_1,\ldots,...
- 341
0
votes
0
answers
53
views
A question on bounding the size of the polynomial
Suppose we are given the following n polynomials in $\bar{\mathbb{F}}_2[x_1,...,x_n]$:
$f_1 = x_1 + x_n^2$
$f_2 = x_2 + x_1^2$
$\cdot$
$\cdot$
$f_{n-3} = x_{n-3} + x_{n-4}^2$
$f_{n-2} = x_{n-2} + x_{n-...
- 341
2
votes
1
answer
216
views
When does $x^2y^2 - x^2 - y^2 + t$ represent a square for $t\in\mathbb{F}_p$ and $x,y\in S\subset\mathbb{F}_p$?
Let $f_t(x,y) : x^2y^2 - x^2 - y^2 + t$.
For $t\in\mathbb{F}_p$, let $n_t(p)$ be the least integer such that for any subset $S\subset\mathbb{F}_p$ with $|S| \ge n_t(p)$, there exist $x,y\in S$ such ...
- 7,527
1
vote
0
answers
164
views
Combinatorial question related to Hankel-type matrices
Let $\mathbb{N}$ be the set of non-negative integers. Let $n\geq 2, d$ be positive integers. I would like a lower bound on the largest integer $r$ for which the following property holds:
For any ...
- 980
3
votes
0
answers
97
views
What algebras generate polynomial count varieties as their representations spaces ? Is it preserved by the Koszul duality, Manin's endomorphisms?
Consider for example commutative polynomial algebra $C[x,y]: xy=yx$, look on $F_p$-matrices satisfying that relation - the number over $F_p$ will be given by polynomial in $p$ (classical result due to ...
- 24.9k
5
votes
0
answers
83
views
Nonnegativity of the coefficients of the commuting difference operators of Fomin, Gelfand, and Postnikov evaluated on quantum Schubert polynomials
This post is about quantum Schubert polynomials. Fomin, Gelfand, and Postnikov defined operators in the nil-Hecke ring with coefficients in $\mathbb{Z}[x,q]$ denoted by $\chi_k$ for $1\leq k\leq n$ ...
- 2,168
2
votes
0
answers
148
views
Nilpotent polynomial matrices over $F_q$ - polynomial count variety ? ( Nilpotent cone for Hitchin-Gaudin like integrable system)
Context: Number of nilpotent $n\times n $ matrices over $F_q$ is $q^{n(n-1)}$ classical result due to Ph.Hall, M.Gerstenhaber (see very nice exposition by T.Leinster at n-cat-cafe/arxiv) which have ...
- 24.9k
1
vote
0
answers
158
views
Is there a better/newer list of Kazhdan-Lusztig polynomials?
I am essentially just re-asking this question, as it's now over a decade old, and I'm hoping that more extensive lists exist. I've started looking at the papers cited in the previous question, and ...
2
votes
0
answers
164
views
Motivations/spin-offs of the Kontsevich conjecture (1997) on polynomial count varieties related to graph polynomials
"Kontsevich conjectured that the number f(G,q) of zeros over the finite field with q elements of a certain polynomial connected with the spanning trees of a graph G is polynomial function of q.&...
- 24.9k
2
votes
1
answer
169
views
Is this formula for certain structure constants of quantum Schubert polynomials known?
Quantum Schubert polynomials $\mathfrak{S}_u^q(x)$ indexed by $S_\infty$ are polynomials in the polynomial ring $\mathbb{Z}[x,q]$ in infinitely many variables that form a basis of this ring over $\...
- 2,168
0
votes
0
answers
61
views
Combinatorial counting question related to count (anti)commuting N-tuples of matrices (more generally $(X_1,...X_n): F(X_i,X_j)=0$ - only one F)
Consider some finite set $S$ (can be matrices over $F_p$), consider some symmetric relation $F(s1,s2)$ which values are True or False (for example - matrices (anti)commutate or not).
Question 1: can ...
- 24.9k
3
votes
2
answers
451
views
Guess the next polynoms in the sequence (MO vs. AI :), count anticommuting $F_p$-matrices, P. Hrubeš conjecture
Here is a sequence of polynoms - (presumably) counting N-tuples of ANTI-commuting 2x2 matrices over $F_p, p>2$. (That is just the case of 2x2 matrices, and (surprisingly) it is not so easy to see a ...
- 24.9k
2
votes
1
answer
184
views
Count N-tuples of commuting matrices over $F_q$ is given by polynomials with pattern $\sum q^{A_i(N)} P_{i}(q) $, where $P_i$ - do not depend on $N$?
Count pairs of $k \times k$ commuting matrices over finite field $F_q$ is given by certain polynomials in $q$ (which is quite rare phenomena for algebraic varieties) and have interesting generating ...
- 24.9k
0
votes
0
answers
57
views
Reference for packing property and König property
Can someone please suggest reference material to study about the packing property and König property of ideals and some examples?
- 21
1
vote
0
answers
68
views
Leibniz formula for Fulton's divided difference operators for quantum Schubert polynomials
Schubert polynomials are polynomials in the ring $\mathbb{Z}[x]$ where $x$ is an infinite set of variables indexed by the positive integers and they can be expressed in terms of "standard ...
- 2,168
2
votes
1
answer
110
views
Parabolic (double) quantum Schubert polynomials Pieri formula
I am writing calculation software for computing structure constants of equivariant quantum Schubert polynomials and I discovered that partial flag varieties corresponding to parabolic subgroups have ...
- 2,168
17
votes
0
answers
401
views
Number of $F_p$-matrices ac=ca, bd = db , ad - da = cb - bc is polynomial in p ? ("Manin matrix variety" - normal ? Cohen–Macaulay ? )
Consider four $n\times n$ matrices $a,b,c,d$ over finite field $F_q$ (or $F_p$ for simplicity), such that they satisfy three equations: $ac=ca,bd=db, ad-da=cb-bc $. Thus an affine algebraic manifold ...
- 24.9k
3
votes
0
answers
202
views
What d.o. $\sum_i f_i(z)\partial_z^i$ correspond to subalgebras $M$ in polynoms $C[x_i]$ being Langlands dual to motive of $Spec(M) \to X$?
Briefly: The question is about presenting explicit examples of the construction discussed in the recent MO question "Relation between motives and geometric Langlands" and Will Sawin's asnwer ...
- 24.9k
5
votes
0
answers
107
views
Generalized Puiseux series for diagonal reflections of the curves $y = \frac{x}{(1-ax)(1-bx)^m}$
Reflection of the curve $y = f_m(x) = \frac{x}{(1-ax)(1-bx)^m}$ through the diagonal line $y=x$ in the $xy$-plane can be regarded as local compositional inversion of the curve $y=f_m(x)$. ($x,y,a,b$ ...
- 10.5k
2
votes
1
answer
103
views
Is every Cartesian biaffine plane affine?
This question concerns the (synthetic) geometry of linear spaces.
Definition 1. A linear space is a pair $(P,\mathcal L)$ consisting of a set $P$ whose elements are called points and a family $\...
- 41.8k
0
votes
1
answer
91
views
Construct next polynomial from predecessor and resulting GCD
I have a sequence of polynomials built from an interpolation derived in a combinatorial problem. For each integer value of a parameter $n$ there is a different polynomial.
After trying to find a way ...
- 47
4
votes
0
answers
255
views
Economic equilibrium and tropical geometry
There is a famous saying in economics: When everyone pursues his or her own interests, there is an invisible hand that brings the market to equilibrium. However, this is not always the case. Here is ...
- 123
1
vote
0
answers
84
views
Number of polyhedral covers of a triangulation of $S^2$
For a given triangulation (combinatorial Type I. or Type II.) of a $2$-sphere, what is the number of unique polygonal covers with $n$ polygons where ($n$ goes from $2$ to $N$)?
Under polygonal cover, ...
- 183
3
votes
0
answers
93
views
Minimal set of geometric moves in various equivalence classes of triangulated geometries
I would like to get to know what is the minimal set of geometric changes "aka. moves" (topology preserving modifications / Pachner moves / bistellar moves) that can transform any 3-...
- 183
6
votes
1
answer
288
views
The combinatorics of the Nullstellensatz for the variety of nilpotent matrices
Let $H_n$ denote the set of $n \times n$ nilpotent matrices with complex entries. The set $H_n$ may be regarded as an algebraic variety. Indeed, consider the polynomial ring $\mathbb{C}[A_{i,j} : 1 \...
- 484
3
votes
0
answers
60
views
Points of a centrally symmetric lattice polytope
Let $P\subseteq\mathbb R^n$ be a centrally symmetric lattice polytope whose only interior lattice point is the zero vector. Is it true that $P$ is equivalent (up to ${\rm GL}(n,\mathbb Z)$ + lattice ...
- 351
3
votes
0
answers
116
views
Intersection numbers of moduli spaces and noncrossing partitions
The coefficients of the monomials $u_1^{e_1}u_2^{e_2} \ldots u_n^{e_n}$ of the partition polynomials (ParPs) $[M=M1]$ on pg. 831 of The Handbook of Mathematical Functions by Abramowitz and Stegun are ...
- 10.5k
3
votes
0
answers
233
views
A bridge between the algebraic / differential geometry of $\frak{sl}_2(\mathbb{C})$ and the Sheffer-Appell calculus and combinatorics
In "Four examples of Beilinson-Bernstein localization", Anna Romanov introduces the basis
$m_k = \frac{(-1)^k}{k!} \partial^k \delta $
on p. 9, where $\partial$ is a partial derivative and $\...
- 10.5k
1
vote
0
answers
162
views
Difficulty understanding a step in the proof of multiset version of Cauchy-Davenport Theorem
In a paper "G. Kós, L. Rónyai, Alon’s Nullstellensatz for multisets, Combinatorica, 32(5) (2012) 589-605", the authors prove a multiset version of the Cauchy-Davenport Theorem (please see ...
- 167
3
votes
0
answers
293
views
Approximate versions of Segre's Theorem
Consider projective $2$-space over a finite field of odd prime characteristic $p$. We say a set of points, $A$, in this space is an arc if any line meets it in at most two points. We say that an arc ...
- 13k
5
votes
1
answer
368
views
Six people standing on earth
Consider 6 people $p_i$, $i=1,\dots 6$, standing on a sphere $S^2$. We label the positions of these people by $p_i$ again. Suppose no pair of these points $p_i$ are antipodal. At each point $p_i$ ...
- 434
3
votes
0
answers
204
views
Cohomology rings of complex varieties and combinatorics
It is a classical fact that the cohomology ring (with complex coefficients) of a complex smooth projective manifold is a bigraded algebra satisfying (1) Poincare duality; (2) hard Lefschetz theorem; (...
- 21.8k
0
votes
0
answers
91
views
How to compute the multiplicity of a strongly convex, rational, polyhedral cone $ \sigma $?
In David Cox, John Little and Hal Schenck's book Toric Varieties page 302, Chapter 6, Section 4, Proposition 6.4.4, the authors state the following proposition. If $ \Sigma $ is a simplicial fan of ...
- 912
3
votes
0
answers
232
views
When is a wonderful compactification a toric variety?
Given a (projective) hyperplane arrangement $\mathcal{A}$ in $\mathbb{C}^n$, in which we assume the intersection of all hyperplanes is $0$, and a building set $G$, De Concini and Procesi define the ...
- 518
2
votes
0
answers
97
views
How to define the limit of an infinite sequence of Newton polytopes rigorously?
Let $A_1 \subset A_2 \subset \cdots$ and each $A_i$ is a finite set of polynomials over variables $x_1, \ldots, x_n$. For each $i$, let $N_i$ be the Newton polytope of $A_i$. Since $A_{\infty}$ has ...
- 6,201
4
votes
0
answers
259
views
Road map for learning cluster algebras
I'm a PhD student and I would like learn about cluster algebras. I'm wondering what is a good reference (i.e., has detailed explanations, examples, etc) to learn from the basic and what are some of ...
- 839
11
votes
1
answer
366
views
Why are these graphs coming from 9-dimensional alternating trilinear forms so symmetric?
Let $\phi(x,y,z)$ be an alternating trilinear form on a space $V$ over a field $K$.
Let $u \in \mathbb{P}(V)$ be a projective point over $V$, then we say that the rank of $u$ is equal to the rank of ...
- 291
1
vote
0
answers
118
views
Schur polynomial with integer values
There is a way to characterize for which $x_1,...,x_d$ a Schur polynomial, that can be defined as
$$s_\lambda(x_1,...,x_d)=\sum_{T\in SSYT(\lambda)}x_1^{t_1}...x_d^{t_d}, $$
with the sum running over ...
3
votes
0
answers
188
views
Resolutions of configuration space of the projective line where the complement is of "Tate type"
I would like to find a nice compactification $X_n$ of $F(\mathbb P^1,n)$ (considered as a scheme over $\mathbb Z$), the $n$-fold configuration space of the projective line with the property that the $...
- 7,746
3
votes
0
answers
107
views
Non-tree models of Lagrange inversion polynomials
The specific Lagrange inversion / series reversion polynomials (LIPs) I'm addressing are illustrated in OEIS A134685 with a general linear term and in Lang's pdf for A176740 with the coefficient of ...
- 10.5k
0
votes
0
answers
349
views
Relation between $3$-term Plücker relations and more than $3$-term Plücker relations
$\DeclareMathOperator\Gr{Gr}$Let $\Gr(k,n)$ be the Grassmannian variety of $k$-planes in an $n$-dimensional vector space. The coordinate algebra $\mathbb{C}[\Gr(k,n)]$ is generated by Plücker ...
- 6,201
4
votes
0
answers
258
views
A technical question about a paper by Gross-Hacking-Keel
I have a technical question on the commutativity of diagrams (2.11) and (2.12) in the paper "Birational geometry of cluster algebras" by Gross-Hacking-Keel:
For the leftmost square in (2.11),...
- 61
2
votes
0
answers
142
views
List decodability of Reed-Solomon codes beyond the Johnson bound
In a paper on a proximity test for Reed-Solomon codes the authors state an "extremely optimistical" conjecture on the list decodability of Reed-Solomon codes (over prime fields $\mathbb F_q$)...
- 81
6
votes
0
answers
314
views
Number of square-free polynomials over a finite field - a combinatorial interpretation?
Cross-posted from MSE. The question has remained unanswered for six years but I still like it!
One can show using zeta functions that the number of (monic)square-free polynomials of degree $n$ over a ...
- 7,746
1
vote
0
answers
173
views
The geometry of a commutative ring and the topology of its ideal complex
Suppose $R$ is a commutative Noetherian ring. Let $\mathcal{P}(R)$ be the poset of ideals of $R$ ordered by inclusion, and let $\Delta(R)$ be the order complex of $\mathcal{P}(R)$. $\Delta(R)$ is a ...
- 19
6
votes
0
answers
192
views
Polynomial count varieties and affine paving (e.g., determinantal varieties)
Let $X$ be a variety defined over $\mathbb{Z}$, $X_{\mathbb{F}}$ be the base change $X\times_{\mathrm{Spec}(\mathbb{Z})} \mathrm{Spec}(\mathbb{F})$. We say $X$ is of polynomial count if there is a ...
- 653
6
votes
1
answer
260
views
Vanishing linear combinations of minors
Let $V$ be the set of $k$ by $n$ matrices ($k<n$) with entries in $\mathbb{C}$, and let $\mathbb{C}[V]$ denote the set of polynomial functions on $V$. For any subset $I \subseteq [n] = \{1,2,\dotsc,...
- 185