Related papers: An algorithmic approach to the Polydegree Conjectu…

In this summary paper, we present the key ideas behind the recent proof of the $K(\pi, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable…

We describe an algorithm for determining whether two convex polytopes P and Q, embedded in a lattice, are isomorphic with respect to a lattice automorphism. We extend this to a method for determining if P and Q are equivalent, i.e. whether…

To every finite-dimensional $\mathbb C$-algebra $\Lambda$ of finite representation type we associate an affine variety. These varieties are a large generalization of the varieties defined by "$u$ variables" satisfying "$u$-equations", first…

In this paper, we showed that the adjoint polynomial of a polyhedral cone equals the multidegree polynomial of the toric ideal with multigrading, both given by the vertex rays. This fact implies a conjecture of Aluffi, to the effect that…

We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…

We study $321$-avoiding affine permutations, and prove a formula for their enumeration with respect to the inversion number by using a combinatorial approach. This is done in two different ways, both related to Viennot's theory of heaps.…

We study projective completions of affine algebraic varieties induced by filtrations on their coordinate rings. In particular, we study the effect of the 'multiplicative' property of filtrations on the corresponding completions and…

Given a finite index subfactor, we show that the {\em affine morphisms at zero level} in the affine category over the planar algebra associated to the subfactor is isomorphic to the fusion algebra of the subfactor as a *-algebra. This…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…

In this paper we introduce a class of constraint logic programs such that their termination can be proved by using affine level mappings. We show that membership to this class is decidable in polynomial time.

The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially…

We prove several combinatorial results on path algebras over discrete structures related to directed graphs. These results are motivated by Morse theory on a manifold with boundary and, more generally, by Floer theory on a configuration…

We consider commuting pairs of holomorphic endomorphisms of P^2 with disjoint sequence of iterates. The remaining case to be studied is when their degrees coincide after some number of iterations. We show in this case that they are either…

We compute explicitly the automorphism and outer automorphism group of all large-type free-of-infinity Artin groups. Our strategy involves reconstructing the associated Deligne complexes in a purely algebraic manner, i.e. in a way that is…

Let (M,w,L) be a symplectic manifold endowed with a lagrangian foliation L. Liberman and Weinstein have shown that the leaves of L are endowed with an affine structure. In this paper we provide links between the theories of affine manifolds…

A conjecture for the dimension and the character of the homogenous components of the free Jordan algebras is proposed. As a support of the conjecture, some numerical evidences are generated by a computer and some new theoretical results are…

Let K<x,y> be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not two elements in K<x,y> are equivalent under an automorphism of…

In this paper we present several formulae for computing the partial degrees of the defining polynomial of the offset curve to an irreducible affine plane curve given implicitly, and we see how these formulae particularize to the case of…

2-level polytopes naturally appear in several areas of pure and applied mathematics, including combinatorial optimization, polyhedral combinatorics, communication complexity, and statistics. In this paper, we present a study of some 2-level…

The well-known Dixmier conjecture asks if every algebra endomorphism of the first Weyl algebra over a characteristic zero field is an automorphism. We bring a hopefully easier to solve conjecture, called the $\gamma,\delta$ conjecture, and…