# Tagged Questions

**0**

votes

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

649 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

**1**answer

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

**0**answers

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

**2**answers

364 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

**0**answers

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

**0**answers

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

**0**answers

257 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

**0**answers

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

**0**answers

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

**1**answer

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

**5**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

776 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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**2**answers

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

**0**answers

343 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

**1**answer

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

**1**answer

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?

**1**

vote

**1**answer

190 views

**2**

votes

**7**answers

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

**0**answers

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

**6**answers

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

**2**answers

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

**3**answers

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 ...