BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to uMPS(2,2,5)
In this paper, we show how to compute using Fitting ideals the nonfree locus of the moduli space of arrangements of a rank 3 simple matroid, i.e., the subset of all points of the moduli space which parametrize nonfree arrangements. Our approach relies on the so-called Ziegler restriction and Yoshinaga's freeness criterion for multiarrangements. We use these computations to verify Terao's freeness conjecture for rank 3 central arrangements with up to 14 hyperplanes in any characteristic.
This short paper presents saturation-based algorithms for homogenization and elimination. This algorithm can compute elimination ideals by using syzygies and ideal membership test, hence it works with any} monomial order, in particular without the use of block-elimination orders. The used saturation is a translation of the geometric fact that the projective closure of an affine scheme has no components in the hyperplane at infinity.
Symmetries are a key concept to connect mathematical elegance with physical insight. We consider measurement assemblages in quantum mechanics and show how their symmetry can be described by means of the so-called discrete bundles. It turns out that many measurement assemblages used in quantum information theory as well as for studying the foundations of quantum mechanics are entirely determined by symmetry; moreover, starting from a certain symmetry group, novel types of measurement sets can be constructed. The insight gained from symmetry allows us to easily determine whether the measurements in the set are incompatible under noisy conditions, i.e., whether they can be regarded as genuinely distinct ones. In addition, symmetry enables us to identify finite sets of measurements having a high sensitivity to reveal the quantumness of distributed quantum states.
The ideal transform of a graded module M is known to compute the module of twisted global sections of the sheafification of M over a relative projective space. We introduce a second description motivated by the relative BGG-correspondence. However, our approach avoids the full BGG-correspondence by replacing the Tate resolution with the computationally more efficient purely linear saturation and the Castelnuovo-Mumford regularity with the often enough much smaller linear regularity. This paper provides elementary, constructive, and unified proofs that these two descriptions compute the (truncated) modules of twisted global sections. The main argument relies on an established characterization of Gabriel monads.
We prove an analogon of the the fundamental homomorphism theorem for certain classes of exact and essentially surjective functors of Abelian categories Q:A→B. It states that Q is up to equivalence the Serre quotient A→A/kerQ, even in cases when the latter does not admit a section functor. For several classes of schemes X, including projective and toric varieties, this characterization applies to the sheafification functor from a certain category A of finitely presented graded modules to the category B=CohX of coherent sheaves on X. This gives a direct proof that CohX is a Serre quotient of A.
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our approach relies on describing general Serre quotient categories in a constructive way which leads to an efficient computer implementation.
In this paper we define Gabriel monads as the idempotent monads associated to exact reflective localizations in Abelian categories and characterize them by a simple set of properties. The coimage of a Gabriel monad is a Serre quotient category. The Gabriel monad induces an equivalence between its coimage and its image, the localizing subcategory of local objects.
To develop a constructive description of Ext in categories of coherent sheaves over certain schemes, we establish a binatural isomorphism between the Ext-groups in Serre quotient categories A/C and a direct limit of Ext-groups in the ambient Abelian category A. For Ext1 the isomorphism follows if the thick subcategory C⊂A is localizing. For the higher extension groups we need further assumptions on C. With these categories in mind we cannot assume A/C to have enough projectives or injectives and therefore use Yoneda's description of Ext.
A Weyl arrangement is the arrangement defined by the root system of a finite Weyl group. When a set of positive roots is an ideal in the root poset, we call the corresponding arrangement an ideal subarrangement. Our main theorem asserts that any ideal subarrangement is a free arrangement and that its exponents are given by the dual partition of the height distribution, which was conjectured by Sommers-Tymoczko. In particular, when an ideal subarrangement is equal to the entire Weyl arrangement, our main theorem yields the celebrated formula by Shapiro, Steinberg, Kostant, and Macdonald. Our proof of the main theorem heavily depends on the theory of free arrangements and thus greatly differs from the earlier proofs of the formula.
We extend a result of Napp Avelli, van der Put, and Rocha with a system-theoretic interpretation to the noncommutative case: Let P be a f.g. projective module over a two-sided Noetherian domain. If P admits a subdirect product structure of the form P = M x_T L over a factor module T of grade at least 2 then the torsion-free factor of M (resp. L) is projective.
Using the classification of finite Weyl groupoids we prove that crystallographic arrangements, a large subclass of the class of simplicial arrangements which was recently defined, are hereditarily inductively free. In particular, all crystallographic reflection arrangements are hereditarily inductively free, among them the arrangement of type E8. With little extra work we prove that also all Coxeter arrangements are inductively free.
In this work we announce the Maple package conley to compute connection and C-connection matrices. conley is based on our abstract homological algebra package homalg. We emphasize that the notion of braids is irrelevant for the definition and for the computation of such matrices. We introduce the notion of triangles that suffices to state the definition of (C)-connection matrices. The notion of octahedra, which is equivalent to that of braids is also introduced.
The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent package homalg. It is designed to extend any computer algebra software implementing the arithmetics of a computable ring R, as soon as the latter contains algorithms to solve inhomogeneous linear equations with coefficients in R. Beside explaining how this suffices, the paper describes the nature of the extensions provided by homalg.
The aim of this article is to proof a necessary and sufficient condition for the existence of a Cartan connection on a principal bundle. After collecting the essentially well known facts to fix the terminology, soldering forms and geometrizable principal bundles are defined to finally prove the existence criterion.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.