0
votes
0answers
118 views

When is a power of an indeterminate in an ideal with 2 generators?

If I have an ideal ${\frak a} \colon= (f(X,S), g(X,S))$ of height $2$ in ${\Bbb C}[X, S]$, is it easy to know what power of $S$ is contained in $\frak a$? For example, what is the minimal number $m$? ...
3
votes
2answers
189 views

Kahler differentials on cluster varieties

On affine toric varieties there is a classical theorem of Danilov which gives some combinatorial ways to describe the global sections of an appropriate sheaf of Kahler differentials as a vector space. ...
-1
votes
1answer
121 views

Algorithm to find symmetric function given specialization

I have a symmetric function f(c1,c2,c3,c4,c5) which, when c1 < c2 < c3 < c4 < c5, has the form p1(c1)+p2(c2)+p3(c3)+p4(c4)+p5(c5), where the p_i's happen to be polynomials of degree ...
1
vote
0answers
35 views

Finite window transformations--input+output (pure algebra)

This q. presents a complete approach to my previous q.: Indecomposability of image transformations ... Let $\ A\ B\ $ be finite sets of cardinality $\ > 1$.   Let $\ D:=A\times B$,   ...
2
votes
0answers
87 views

Indecomposability of image transformations (pure algebra). Open questions

W-transformations -- definitions We will consider a class called finite window transformations $\ T:C^\mathbb Z\rightarrow C^\mathbb Z\ $ defined a paragraph below; $\ \mathbb Z\ $ is the ring of ...
2
votes
1answer
338 views

Maximal size of an almost-disjoint linearly independent family in $K^{\mathbb{N}}$

Let $K$ be a field, say infinite, and denote by $L$ the $K$-vector space $K^{\mathbb{N}}$. What is the maximal cardinality of a $K$-linearly independent subset $X$ of $L$ such that any two distinct ...
0
votes
2answers
446 views

An extremal combinatorics problem over Finite Rings

Cross Posting from: http://math.stackexchange.com/questions/462016/a-combinatorics-problem-over-finite-rings Consider the set $S$ of all non-zero vectors over $\Bbb Z_{q}$ of length $r$ whose ...
2
votes
0answers
155 views

global sections of structure sheaf on the toric Calabi-Yau

Let P be a lattice polytope and lying in $ N \times {1} \subset N \times \mathbb{R}$. Let $\sigma$ be the cone over this polytope and $X_\sigma$ be the corresponding toric variety, which is an ...
10
votes
1answer
650 views

Smith Normal Form of powers of a matrix

What invariants of a matrix determine the Smith Normal Form (SNF) of all the powers of a matrix? The question makes sense over any PID $R$. If we let $M = M_n(R)$ and $G=Gl_n(R)$, then SNF is a ...
1
vote
1answer
112 views

General and translational Birkhoff lattices. Equational classes.

By  lattice  I'll mean  Birkhoff lattice. The two classical equational classes of lattices are modular lattices and distributive lattices. The old problem used to be: Is there an ...
0
votes
0answers
125 views

Two variable recurrence equation with varying coefficients

Hello, I have the following two variable recurrence equation for integers $j,k$: $f(j,k) = (k/j)f(j-1,k-1) - (3 + k/j)f(j-1,k+2)$ where $f(j,0) = (3^j - 1)/j + 3jf(j-1,2)$, $f(0,0) = 0$, $f(0,k) = ...
2
votes
2answers
365 views

Stanley-Reisner ring of a simplicial complex is a functor?

Let $K$ bea field and $[n]=\{1,\ldots,n\}$ and $K[x]=K[x_1,\ldots,x_n]$. For $\sigma=\{i_1,\ldots,i_k\}\subseteq [n]$, denote $x_\sigma=x_{i_1}\cdots x_{i_k}=\prod_{i\in\sigma}x_i\in K[x]$. Let ...
1
vote
0answers
39 views

Integral Leray Number?

The Leray number of a finite simplicial complex $K$ relative to a field $\Bbbk$ is defined to be the least $d\geq 0$ such that $\widetilde H^n(C,\Bbbk)=0$ for all $n\geq d$ and all induced ...
8
votes
0answers
102 views

Diameter of simplicial complex mirrored in property of Stanley-Reisner ring?

Consider a pure finite abstract simplicial complex $\Delta$. Define its diameter as the maximal distance between any two facets, i.e., between any two faces of maximal dimension $d-1$. The distance ...
5
votes
0answers
258 views

Tensor rank of anti-symmetric tensor

Let $V$ be a vector space of dimension $n$. Let us consider $V^{\otimes n}=V\otimes V \ldots \otimes V$. This vector space contains one dimentional vector space $\wedge^n V$. My question is does it ...
1
vote
0answers
58 views

Factorization of Gegenbauer polynomials

For each natural number $n$ there is a Gegenbauer polynomial of degree n, depending on a spectral parameter $\lambda$. They fulfill many recurrent relations. The question is how to recognize their ...
3
votes
0answers
152 views

A non-matroidal notion of dependence on a set of ideals

Assume we are given a set of ideals $I_1, \dots, I_s$ in a commutative polynomial ring. Let's define a subset indexed by $A\subseteq [s] = \{ 1,2,\dots, s\}$ as dependent if there exists an $a\in A$ ...
4
votes
1answer
239 views

To compute minors of Jacobian of symmetric polynomials

For any $n$ tuple $f_1,f_2,\dots,f_n$ in the polynomial ring $\mathbb{C}[x_1,x_2,\dots,x_n]$ one has Jacobian, expressed by the $(n \times n)$-determinants: $$ ...
10
votes
5answers
553 views

Is complete homogeneous symmetric polynomials, an irreducibile element in Polynomial ring?

Let $S=\mathbb{C}[x_1,x_2,\dots,x_n]$ be a polynomial ring. Let $n \geq 3$. Let $h_a$ denotes the complete homogeneous symmetric polynomial of degree $a$. $$ h_a=\text{ sum of all monomials of degree ...
4
votes
1answer
185 views

Reference request on Leray numbers

The Leray number $L_{\Bbbk}(K)$ (relative to a field $\Bbbk$) of a simplicial complex $K$ is the least $d\geq 0$ such that $\widetilde H_n(C,\Bbbk)=0$ for all $n\geq d$ and all induced subcomplexes ...
2
votes
1answer
231 views

What does the d-slice of a weighted polynomial algebra look like?

This question comes from the explicit construction of a smooth projective model of a hyperelliptic curve. Nevertheless it is fully elementary and, to me, more interesting than hyperelliptic curves. ...
8
votes
1answer
530 views

Vanishing constant term in powers of a Laurent polynomial

This is motivated by idle curiosity. I recently learned a result of Duistermaat and Van Der Kallen in "Constant terms of powers of a Laurent polynomial" which says that: If the constant term of ...
5
votes
1answer
436 views

Where does the definition of “Tower of Algebras” come from?

A tower of algebras is a sequence of algebras $$A_0 \hookrightarrow A_1 \hookrightarrow \cdots \hookrightarrow A_n \hookrightarrow \cdots$$ with embeddings $A_n \otimes A_m \hookrightarrow A_{n+m}$ ...
10
votes
1answer
741 views

Discrete version of Nullstellensatz?

Hi. I was reading the paper "On the foundations of combinatorial theory (VI): The idea of a generating function" by Doubilet, Rota and Stanley, and there is a relation treated which is very ...
3
votes
1answer
297 views

Number of simplicial polytopes with a given f-vector

Plenty of very nice literature is available on the characterization of f-vectors of simplicial complexes of diverse sorts (results by Billera, Bjoerner, Kalai, Stanley, among others). I mention, as an ...
1
vote
2answers
172 views

Counting hyperplane cuts vs. projections. Combinatorial identity

I have checked the following combinatorial identity for several cases and it seems to work. I would like to know if this is known or if there is a counter-example. Note, i is a given constant. ...
3
votes
1answer
777 views

Polya's theory of counting and commutative algebra

Hi. Do you know if there exist algebraic studies of the ring of the power series which emerge when using the theory of Polya for enumeration of sets with certain symmetries? For instance if some ...
12
votes
1answer
731 views

Succesful applications of algebra in combinatorics

Hi. This may be a very general question. Are there any examples of problems in combinatorics which were open, but which found a solution when stated in algebraic terms? If yes, could somebody ...
7
votes
1answer
2k views

Number of graphs with a given number of nodes, edges and triangles

Hi. Does anyone know if it is possible to enumerate the set of labeled/unlabeled graphs (loopless, undirected, only one edge between pairs of nodes) having a given number of nodes, edges and ...
1
vote
0answers
120 views

Bases of Ideals With no Monomials

Let $K$ be an algebraically closed field and $K[\underline{x}]$ its ring of polynomials in $n$ variables $x_1,\cdots, x_n$. Let $J\leq K[\underline{x}]$ be an ideal such that there are no monomials in ...
9
votes
3answers
662 views

Reference for combinatorics of cell decomposition of the Hilbert scheme of points in the plane

It is known from either Morse theory or Bialynicki-Birula decomposition that the fixed points of a ${\mathbb{C}}^*$ action on a smooth algebraic variety over $\mathbb{C}$ determine a cell ...
8
votes
2answers
540 views

Geometric motivation for the Stanley-Reisner correspondence

The Stanley-Reisner ring of an abstract simplicial complex $\Delta$ on the vertex set $\{1,...,n\}$ is the $k$-algebra $$ k[X_1,...,X_n]/I_\Delta $$ where $I_\Delta$ is the ideal generated by the ...
4
votes
0answers
344 views

Monomial-type ideals in polynomial rings

Let $R=k[x_1,x_2,...,x_n]$ be the polynomial ring in $n$ indeterminates over a field $k$. A monomial in $R$ is an element which is product (with repetitions allowed) of the indeterminates. Monomial ...
6
votes
1answer
277 views

Orbits in commutative groups.

Let A be finite commutative group say $(Z_m)^h$. I will say that $S \subset A$ is an orbit if exist group $H$ which acts on A such that $S$ is an orbit of $H$. Can one give a simple characterization ...
1
vote
1answer
319 views

Need an example of finitely generated graded algebra such that each its graded subspace has infinite dimension.

More accurately, let $\displaystyle A=\sum_{i=0}^{\infty}A_i$ be a finitely generated graded algebra over say $\mathbb{Q}$ but $\dim A_i=\infty$ for each $i.$ Is it possible?
2
votes
7answers
1k views

How to tell if two random polynomials are identical

Let t be a positive real number. Let P(x) and Q(x) be two random polynomials with integer coefficients. If P(t) = Q(t), then what is the probability that P(x) is not identical to Q(x)? Will it make a ...
12
votes
0answers
418 views

A commutative monoid associated with a finite abelian group

Let $M$ be a finite abelian group, and denote by $e_m$, for $m \in M$, the canonical basis of $\mathbb{Z}^M$. For $m, n \in M$ define elements $v_{m,n} \in \mathbb{Z}^M/\langle e_0\rangle$ as $$ ...
4
votes
6answers
547 views

Number of A Subset of Monomials

I need to count the number of monomials of degree $n$ in $k$ variables, $x_1,\ldots ,x_k$, that contain at least one variable with a power of 1. The monomials need not include all the variables. ...
8
votes
2answers
201 views

Flipping Hilbert series of semigroup rings

I'll first give intuition, and then give a precise statement. For $|z|<1$, we have $\sum_{i \geq 0} z^i = 1/(1-z)$. For $|z|>1$, we have $\sum_{i<0} (-1) z^i=1/(1-z)$. Thus, the two ...
5
votes
3answers
519 views

Is there a software package that does Schubert Calculus computations?

Is there a good software package for doing computations in the cohomology ring of Grassmannians? Things like, I can write down a polynomial in, in fact, special Schubert classes, but it's one where ...