Related papers: A freeness criterion for complexes with derived ac…

In this paper we review the derivation of implicit equations for non-degenerate quadric patches in rational Bezier triangular form. These are the case of Steiner surfaces of degree two. We derive the bilinear forms for such quadrics in a…

Let $G$ be a connected Lie group of rank one. In this paper the existence of free actions of group $G$ on spheres, real projective spaces and lens spaces has been studied. Most of the results have been obtained for finitistic spaces with…

Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how…

Building on the work of K. Chiba (J. Algebra 263 (2003), 75-87), we present sufficient conditions for the completion of a division ring with respect to the metric defined by a discrete valuation function to contain a free field, i.e. the…

A celebrated conjecture of Auslander and Reiten claims that a finitely generated module $M$ that has no extensions with $M\oplus \Lambda$ over an Artin algebra $\Lambda$ must be projective. This conjecture is widely open in general, even…

The complex analytic methods have found a wide range of applications in the study of multiplicity-free representations. This article discusses, in particular, its applications to the question of restricting highest weight modules with…

We give a new, construction-free proof of the associativity of tensor product for modules for rational vertex operator algebras under certain convergence conditions.

Given a suitable Noetherian scheme, we classify tensor $t$-structures on the bounded derived category of coherent sheaves and its variants with prescribed support. Furthermore, we show that the existence of such $t$-structures restricting…

Baer's Criterion of injectivity implies that injectivity of a module is a factorization property w.r.t. a single monomorphism. Using the notion of a cotorsion pair, we study generalizations and dualizations of factorization properties in…

We present a non-commutative version of the cycle lemma of Dvoretsky and Motzkin that applies to free groups and use this result to solve a number of problems involving cyclic reduction in the free group. We also describe an application to…

We study the dual complexes of boundary divisors in log resolutions of compactifications of algebraic varieties and show that the homotopy types of these complexes are independent of all choices. Inspired by recent developments in…

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…

We prove a generalized Dade's Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient…

Necessary optimality conditions in Lagrangian form and the sequential minimization framework are extended to mixed-integer nonlinear optimization, without any convexity assumptions. Building upon a recently developed notion of local…

The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…

Rough set theory, a mathematical tool to deal with inexact or uncertain knowledge in information systems, has originally described the indiscernibility of elements by equivalence relations. Covering rough sets are a natural extension of…

We show how locally smooth actions of compact Lie groups on a manifold $X$ can be used to obtain new upper bounds for the topological complexity $\TC(X)$, in the sense of Farber. We also obtain new bounds for the topological complexity of…

In this work, we propose a global model selection criterion to estimate the graph of conditional dependencies of a random vector based on a finite sample. By global criterion, we mean optimizing a function over the entire set of possible…

We consider a notion of bi-freeness for systems of non-commutative random variables with two faces, one of left variables and another of right variables. This includes bi-free convolution operations, bi-free cumulants and the bi-free…

We present an alternative approach to the theory of free Gibbs states with convex potentials. Instead of solving SDE's, we combine PDE techniques with a notion of asymptotic approximability by trace polynomials for a sequence of functions…