User jonathan fine - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T11:23:08Z http://mathoverflow.net/feeds/user/4128 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74798/polytopes-with-few-vertices/125753#125753 Answer by Jonathan Fine for Polytopes with few vertices. Jonathan Fine 2013-03-27T18:23:02Z 2013-03-27T18:23:02Z <p>I've got some information about a lower bound.</p> <p>We know how many binary codes there are of length 5 on n words - <a href="http://oeis.org/A034190" rel="nofollow">http://oeis.org/A034190</a>. Each corresponds to a subset of the vertices of a cube and thus a convex polytope. For length 5 with 16 words we get 169112, and a total of 1,226,525 up to symmetry.</p> <p>I've computed the flag vectors for all such polytopes in dimension 5 - <a href="http://arxiv.org/abs/1011.4269" rel="nofollow">http://arxiv.org/abs/1011.4269</a>. Including polars I get 688,298 flag vectors. (I did this for a good reason.)</p> <p>From this calculation I can conclude that in dimension 5 with up to 32 vertices there are at least 344,149 such polytopes that are combinatorially distinct.</p> http://mathoverflow.net/questions/81123/what-is-known-about-the-locus-of-zero-divisors-in-the-group-ring-of-a-non-abelia What is known about the locus of zero-divisors in the group ring of a (non-abelian) finite group? Jonathan Fine 2011-11-16T21:12:48Z 2011-11-16T21:12:48Z <p>Let $G$ be a finite group and $\mathbb{C}G$ its group ring. Left multiplication by $\alpha\in \mathbb{C}G$ is a linear map $\alpha:\mathbb{C}G \to \mathbb{C}G$, and so $\alpha$ has a left determinant $\det(\alpha)$. If $\alpha\beta = 0$ for some non-zero $\beta$ (i.e. $\alpha$ is a left zero-divisor in $\mathbb{C}G$) then $\det(\alpha)=0$. The converse is also true.</p> <p>For $G$ abelian $\det(\alpha)$ is zero just in case $\alpha$ lies on a coordinate hyperplane associated with the character idempotents. (This is an easy consequence of <a href="http://planetmath.org/encyclopedia/OrthogonalIdempotentsOfTheGroupRing.html" rel="nofollow">this PlanetMath page</a>.) </p> <p>What is known about the locus $\det(\alpha)= 0$ in $\mathbb{C}G$ when $G$ is finite but not abelian? Are there any similar statements?</p> http://mathoverflow.net/questions/979/algorithm-for-finding-the-volume-of-a-convex-polytope/15932#15932 Answer by Jonathan Fine for Algorithm for finding the volume of a convex polytope Jonathan Fine 2010-02-20T21:25:07Z 2010-02-20T21:25:07Z <p>Matthias Beck and Dennis Pixton used almost 17 GigaHertz years to compute the value of the 10-dimensional Birkhoff polytope. Read about it, and find the answer, <a href="http://www.math.binghamton.edu/dennis/Birkhoff/" rel="nofollow">here</a>.</p> <p>If you can get the same result quicker, I'm sure they'd be delighted to know how you did it.</p> http://mathoverflow.net/questions/15087/computing-fundamental-groups-and-singular-cohomology-of-projective-varieties/15931#15931 Answer by Jonathan Fine for Computing fundamental groups and singular cohomology of projective varieties Jonathan Fine 2010-02-20T21:13:26Z 2010-02-20T21:13:26Z <p>Here's an interesting special case. If X is a simple convex polytope then the Betti numbers h(X) of the associated toric variety can be computed from the face vector f(X). In fact, h(X) = Cf(X) where C is a matrix of binomial coefficients. This is closely related to Peter McMullen's shelling argument for proving the Dehn-Sommerville equations.</p> <p>Here's another special case. For certain general convex polytopes the Betti numbers are <em>not</em> a linear function of the flag vector. This was done using explicit calculations (using Macaulay as I recall) by Mark McConnell. However, the middle perversity intersection homology (mpih) Betti numbers of the associated toric variety <em>are</em> a linear function of the flag vector.</p> <p>The ring structure on the homology of the toric variety associated with a simple polytope is closely associated with the volume of the polytope, as it varies when the facets are moved in and out.</p> <p>Finally, if the variety is defined over say the rationals then one can reduce mod p and start counting points, and then apply the Weil conjectures to determine the Betti numbers. In fact, this is a quick way to determine the Betti numbers of a smooth toric variety.</p> http://mathoverflow.net/questions/81123/what-is-known-about-the-locus-of-zero-divisors-in-the-group-ring-of-a-non-abelia Comment by Jonathan Fine Jonathan Fine 2011-11-17T21:11:13Z 2011-11-17T21:11:13Z Formanek and Sibley (Proc AMS 112 (3)) and Mansfield (Proc AMS 116 (4)) are articles to the effect that the group determinant of a finite group determines the group. The first paper gives the complete factorization of the group determinant, along the lines in Angelo's comment. All useful information. My interest is more in the geometry of the zero locus of the group determinant than in the algebra of the equation defining it.