Related papers: Local Gr\"obner fan: polyhedral and computational …
We study the set of circuits of a homogeneous ideal and that of its truncations, and introduce the notion of generic circuits set. We show how this is a well-defined invariant that can be used, in the case of initial ideals with respect to…
For arbitrary connected reductive group G we consider the motivic integral over the arc space of an arbitrary Q-Gorenstein horospherical G-variety associated with a colored fan and prove a formula for the stringy E-function of a…
We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159).…
We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be…
Let $(R,\mathfrak{m})$ be a complete local ring, and $G={\rm gr}_{\mathfrak{m}}(R)$ be its associated graded ring. We introduce a homogenization technique which allows to relate $G$ to the special fiber and $R$ to the generic fiber of a…
Given a dissimilarity map $\delta$ on finite set $X$, the set of ultrametrics (equidistant tree metrics) which are $l^\infty$-nearest to $\delta$ is a tropical polytope. We give an internal description of this tropical polytope which we use…
In the first part of this article, we consider a Groebner basis of the differential ideal {x_1^2} with respect to "the" weighted lexicographical monomial order and show that its computation is related with an identity involving the…
The paper deals with periodic homogenization of nonlocal symmetric convolution type operators in $L^2(\mathbb R^d)$, whose kernel is the product of a density that belongs to the domain of attraction of an $\alpha$-stable law and a rapidly…
We prove a version of Gabriel's theorem for locally finite-dimensional representations of infinite quivers. Specifically, we show that if $\Omega$ is any connected quiver, the category of locally finite-dimensional representations of…
In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…
In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…
For a finite Coxeter group W and a Coxeter element c of W, the c-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of W. Its maximal cones are naturally indexed by the c-sortable elements of W. The main result of…
For any lattice congruence of the weak order on permutations, N. Reading proved that gluing together the cones of the braid fan that belong to the same congruence class defines a complete fan, called a quotient fan, and V. Pilaud and F.…
Insa and Pauer presented a basic theory of Groebner basis for differential operators with coefficients in a commutative ring in 1998, and a criterion was proposed to determine if a set of differential operators is a Groebner basis. In this…
In a previous paper we introduced the notion of a {\it real semigroup} (RS) as an axiomatic framework to study diagonal quadratic forms with arbitrary entries over (commutative, unitary) semi-real rings. Two important classes of RSs were…
We study upper bounds, approximations, and limits for functions of motivic exponential class, uniformly in non-Archimedean local fields whose characteristic is $0$ or sufficiently large. Our results together form a flexible framework for…
In a previous work, we stated the conjecture that any semiring homomorphism between the Boolean function semirings on 1-dimensional tropical fans has the property called geometric. In this paper, we show that the conjecture is true. As an…
We show how tropical varieties of ideals I over a field K with non-trivial valuation can be traced back to tropical varieties of ideals in R[[t]][x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we…
This paper aims at bridging existing theories in numerical and analytical homogenization. For this purpose the multiscale method of M{\aa}lqvist and Peterseim [Math. Comp. 2014], which is based on orthogonal subspace decomposition, is…
Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this…