Related papers: Local Gr\"obner fan: polyhedral and computational …
The paper is a contribution to intuitionistic reverse mathematics. We introduce a formal system called Basic Intuitionistic Mathematics BIM, and then search for statements that are, over BIM, equivalent to Brouwer's Fan Theorem or to its…
This article discusses a way for uniquely setting up the valuations for the minimal generators of the maximal ideal of a one dimensional complete reduced and irreducible local algebra over an algebraically closed field, when treated as a…
We study the category of KM fans - a "stacky" generalization of the category of fans considered in toric geometry - and its various realization functors to "geometric" categories. The "purest" such realization takes the form of a functor…
The theta--fan F_theta is the quotient space obtained by identifying the non--isolated points of the product theta \times (omega+1) with a single point \infty. (Here, theta has the discrete topology and omega+1 has the order topology.) We…
We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…
The dual graph $\Gamma(h)$ of a regular triangulation $\Sigma(h)$ carries a natural metric structure. The minimum spanning trees of $\Gamma(h)$ recently proved to be conclusive for detecting significant data signal in the context of…
We give a combinatorial model for the exchange graph and g-vector fan associated to any acyclic exchange matrix B of affine type. More specifically, we construct a reflection framework for B in the sense of [N. Reading and D. E. Speyer,…
Kato and Usui developed a theory of partial compactifications for quotients of period domains D by arithmetic groups {\Gamma}, in an attempt to generalize the toroidal compactifications of Ash-Mumford-Rapoport-Tai to non-classical cases.…
In 2011, the second author conjectured that every line graph $G$ satisfies $\chi(G)\le \max\{\omega(G),\frac{5\Delta(G)+8}{6}\}$. This conjecture is best possible, as shown by replacing each edge in a 5-cycle by $k$ parallel edges, and…
We present algorithms for computing the reduced Gr\"{o}bner basis of the vanishing ideal of a finite set of points in a frame of ideal interpolation. Ideal interpolation is defined by a linear projector whose kernel is a polynomial ideal.…
In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in…
We show that the Schr\"odinger operator associated with a physical system over a local field can be approximated in a very strong sense by finite Schr\"odinger operators. Some striking numerical results are included at the end of the…
Let $(S, \mathfrak n) $ be a regular local ring and let $I \subseteq \mathfrak n^2 $ be a perfect ideal of $S. $ Sharp upper bounds on the minimal number of generators of $I$ are known in terms of the Hilbert function of $R=S/I. $ Starting…
Nakajima's graded quiver varieties naturally appear in the study of bases of cluster algebras. One particular family of these varieties, namely the bipartite determinantal varieties, can be defined for any bipartite quiver and gives a vast…
In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…
The invertibility of integral linear operators is a major problem of both theoretical and practical importance. In this paper we investigate the relation between an operator invertibility and the rank of its integral kernel to develop a…
Let $I$ be an ideal of the polynomial ring $A[x]=A[x_1,...,x_n]$ over the commutative, noetherian ring $A$. Geometrically $I$ defines a family of affine schemes over $\Spec(A)$: For $\p\in\Spec(A)$, the fibre over $\p$ is the closed…
We study canonical bases of a subalgebra ${\bf A}={\mathbb K}[\![f_1,\dots,f_s]\!]\subseteq {\mathbb K}[\![x_1,\dots,x_n]\!]$ over a field ${\mathbb K}$, and we associate with ${\bf A}$ a fan called the canonical fan of $\bf A$. This…
The homogeneity degree of a topological space $X$ is the number of orbits of the action of the homeomorphism group of $X$ on $X$. We initiate a study of dendroids of small homogeneity degree, beginning with fans. We classify all smooth fans…
The GIT chamber decomposition arising from a subtorus action on a quasiprojective toric variety is a polyhedral complex. Denote by Sigma the fan that is the cone over the polyhedral complex. In this paper we show that the toric variety…