TW-domains and Strong Mori domains

In this paper we are mainly concerned with TW-domains, i.e., domains in which the w- and t-operations coincide. Precisely, we investigate possible connections with related well-known classes. We characterize the TW-property in terms of divisoriality for Mori domains and Noetherian domains. Specifically, we prove that a Mori domain R is a TW-domain if and only if R_M is a divisorial domain for each t-maximal ideal M of R. It turns out that a Mori domain which is a TW-domain is a Strong Mori domain. The last section examines the transfer of the “TW-domain” and “Strong Mori” properties to pullbacks, in order to provide some original examples.     

Lindelöf spaces which are Menger, Hurewicz, Alster, productive, or D

We discuss relationships in Lindelöf spaces among the properties “Menger”, “Hurewicz”, “Alster”, “productive”, and “D”.     

Almost disjoint large subsets of semigroups

There are several notions of largeness in a semigroup S that originated in topological dynamics. Among these are thick, central, syndetic and piecewise syndetic. Of these, central sets are especially interesting because they are partition regular and are guaranteed to contain substantial combinatorial structure. It is known that in (N,+) any central set may be partitioned into infinitely many pairwise disjoint central sets. We extend this result to a large class of semigroups (including (N,+)) by showing that if S is a semigroup in this class which has cardinality κ then any central set can be partitioned into κ many pairwise disjoint central sets. We also show that for this same class of semigroups, if there exists a collection of μ almost disjoint subsets of any member S, then any central subset of S contains a collection of μ almost disjoint central sets. The same statement applies if “central” is replaced by “thick”; and in the case that the semigroup is left cancellative, “central” may be replaced by “piecewise syndetic”. The situation with respect to syndetic sets is much more restrictive. For example, there does not exist an uncountable collection of almost disjoint syndetic subsets of N. We investigate the extent to which syndetic sets can be split into disjoint syndetic sets.     

Some recollections on early work with Jan Pelant

In this note we consider three questions which can be traced to our early collaboration with Jan “Honza” Pelant. We present them from the contemporary perspective, in some cases extending our earlier work. The questions relate to Ramsey theory, uniform spaces and tournaments.     

Exchange lemmas 1: Deng's lemma

Deng's lemma gives estimates on the behavior of solutions of ordinary differential equations in the neighborhood of a partially hyperbolic equilibrium. We prove a generalization in which “partially hyperbolic equilibrium” is replaced by “normally hyperbolic invariant manifold.”     

Supertropical algebra

We develop the algebraic polynomial theory for “supertropical algebra,” as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of “ghost elements,” which also play the key role in our structure theory. Here, we work somewhat more generally over an ordered monoid, and develop a theory which contains the analogs of several basic theorems of classical commutative algebra. This structure enables one to develop a Zariski-type algebraic geometric approach to tropical geometry, viewing tropical varieties as sets of roots of (supertropical) polynomials, leading to an analog of the Hilbert Nullstellensatz.Particular attention is paid to factorization of polynomials. In one indeterminate, any polynomial can be factored into linear and quadratic factors, and although unique factorization may fail, there is a “preferred” factorization that is explained both geometrically and algebraically. The failure of unique factorization in several indeterminates is explained by geometric phenomena described in the paper.     

Bézout rings with almost stable range 1

Elementary divisor domains were defined by Kaplansky [I. Kaplansky, Elementary divisors and modules, Trans. Amer. Math. Soc. 66 (1949) 464-491] and generalized to rings with zero-divisors by Gillman and Henriksen [L. Gillman, M. Henriksen, Some remarks about elementary divisor rings, Trans. Amer. Math. Soc. 82 (1956) 362-365]. In [M.D. Larsen, W.J. Lewis, T.S. Shores, Elementary divisor rings and finitely presented modules, Trans. Amer. Math. Soc. 187 (1) (1974) 231-248], it was also proved that if a Hermite ring satisfies (N), then it is an elementary divisor ring. The aim of this article is to generalize this result (as well as others) to a much wider class of rings. Our main result is that Bézout rings whose proper homomorphic images all have stable range 1 (in particular, neat rings) are elementary divisor rings.     

Unitarily achievable zero patterns and traces of words in A and A

Our primary objective is to identify a natural and substantial problem about unitary similarity on arbitrary complex matrices: which 0-patterns may be achieved for any given n-by-n complex matrix via some unitary similarity of it. To this end, certain restrictions on “achievable” 0-patterns are mentioned, both positional and, more important, on the maximum number of achievable 0’s. Prior results fitting this general question are mentioned, as well as the “first” unresolved pattern (for 3-by-3 matrices!). In the process a recent question is answered.A closely related additional objective is to mention the best known bound for the maximum length of words necessary for the application of Specht’s theorem about which pairs of complex matrices are unitarily similar, which seems not widely known to matrix theorists. In the process, we mention the number of words necessary for small size matrices.     

On the dynamic programming principle for uniformly nondegenerate stochastic differential games in domains

We prove the dynamic programming principle for uniformly nondegenerate stochastic differential games in the framework of time-homogeneous diffusion processes considered up to the first exit time from a domain. The zeroth-order “coefficient” and the “free” term are only assumed to be measurable. In contrast with previous results established for constant stopping times we allow arbitrary stopping times and randomized ones as well. The main assumption, which will be removed in a subsequent article, is that there exists a sufficiently regular solution of the Isaacs equation.     

Intermediary rings in normal pairs

We establish in this paper a result that gives the number of intermediary rings between R and S where (R,S) is a normal pair of rings. This result answers in particular a question which was left open in [A. Jaballah, Finiteness of the set of intermediary rings in a normal pair, Saintama Math. J. 17 (1999) 59-61]. Further applications are also given.     

Three models for the homotopy theory of homotopy theories

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a “homotopy theory of homotopy theories”. In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with the respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk’s complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.     

Stabilization of linear systems by rotation

We introduce the concept of “stabilization by rotation” for deterministic linear systems with negative trace. This concept encompasses the well-known concept of “vibrational stabilization” introduced by Meerkov in the 1970s and is a deterministic version of ‘stabilization by noise’ for stochastic systems as introduced by Arnold and coworkers in the 1980s. It is shown that a linear system with negative trace can be stabilized by adding a skew-symmetric matrix, multiplied by a suitable scalar so-called “gain function” (possibly a constant) which is sufficiently large. To overcome the problem of what is “sufficiently large”, we also present a servo mechanism which tunes the gain function by learning from the trajectory until finally the trajectory tends to zero. This approach allows to show that one of Meerkov's assumptions for vibrational stabilization is superfluous. Moreover, while Meerkov as well as Arnold and coworkers assume that a stabilizing periodic function or the noise has sufficiently large frequency and amplitude, we also provide a servo mechanism to determine this function dynamically in a deterministic setup.     

Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians

The classic Cayley identity states that

det(∂)(detX)^s=s(s+1)?(s+n−1)(detX)^s−1$\det (\partial ){(\det X)}^s=s(s+1)?(s+n-1){(\det X)}^{s-1}$

where X=(_xij)$X=(x_{ij})$ is an n×n$n\times n$ matrix of indeterminates and ∂=(∂/∂_xij)$\partial =(\partial /\partial x_{ij})$ is the corresponding matrix of partial derivatives. In this paper we present straightforward algebraic/combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs employ Grassmann algebra (= exterior algebra) and Grassmann–Berezin integration. Among the new identities proven here are a pair of “diagonal-parametrized” Cayley identities, a pair of “Laplacian-parametrized” Cayley identities, and the “product-parametrized” and “border-parametrized” rectangular Cayley identities.     

Joint distribution of run statistics in partially exchangeable processes

Let {X_i}_i≥1 be an infinite sequence of recurrent partially exchangeable random variables with two possible outcomes as either “1” (success) or “0” (failure). In this paper we obtain the joint distribution of success and failure run statistics in {X_i}_i≥1. The results can be used to obtain the joint distribution of runs in ordinary Markov chains, exchangeable and independent sequences.     

Stringy Chern classes of singular varieties

Motivic integration [M. Kontsevich, Motivic integration, Lecture at Orsay, 1995] and MacPherson's transformation [R. MacPherson, Chern classes for singular varieties, Ann. of Math. 100 (1974) 423-432] are combined in this paper to construct a theory of “stringy” Chern classes for singular varieties. These classes enjoy strong birational invariance properties, and their definition encodes data coming from resolution of singularities. The singularities allowed in the theory are those typical of the minimal model program; examples are given by quotients of manifolds by finite groups. For the latter an explicit formula is proven, assuming that the canonical line bundle of the manifold descends to the quotient. This gives an expression of the stringy Chern class of the quotient in terms of Chern-Schwartz-MacPherson classes of the fixed-point set data.     

THE REGULARITY DEGREE AND EPIMORPHISMS IN THE CATEGORY OF COMMUTATIVE RINGS

Elements of the universal (von Neumann) regular ring T(R) of a commutative semiprime ring R can be expressed as a sum of products of elements of R and quasi-inverses of elements of R. The maximum number of terms required is called the regularity degree, an invariant for R measuring how R sits in T(R). It is bounded below by 1 plus the Krull dimension of R. For rings with finitely many primes and integral extensions of noetherian rings of dimension 1, this number is precisely the regularity degree.

For each n ≥ 1, one can find a ring of regularity degree n + 1. This shows that an infinite product of epimorphisms in the category of commutative rings need not be an epimorphism.

Finite upper bounds for the regularity degree are found for noetherian rings R of finite dimension using the Wiegand dimension theory for Patch R. These bounds apply to integral extensions of such rings as well.     

Orthogonality of Jack polynomials in superspace

Jack polynomials in superspace, orthogonal with respect to a “combinatorial” scalar product, are constructed. They are shown to coincide with the Jack polynomials in superspace, orthogonal with respect to an “analytical” scalar product, introduced in [P. Desrosiers, L. Lapointe, P. Mathieu, Jack polynomials in superspace, Comm. Math. Phys. 242 (2003) 331-360] as eigenfunctions of a supersymmetric quantum mechanical many-body problem. The results of this article rely on generalizing (to include an extra parameter) the theory of classical symmetric functions in superspace developed recently in [P. Desrosiers, L. Lapointe, P. Mathieu, Classical symmetric functions in superspace, J. Algebraic Combin. 24 (2006) 209-238].     

Local rings of minimal length

This paper deals with local rings R possessing an m-canonical ideal ω, R⊆ω. In particular those rings such that the length l_R(ω/R) is as short as possible are studied. The same notion for one-dimensional local Cohen-Macaulay rings was introduced and studied with the name of Almost Gorenstein. Some necessary conditions, that become also sufficient under additional hypotheses, are given and examples are provided also in the non-Noetherian case. The case when the maximal ideal of R is stable is also studied.     

Semidefinite programming and sums of hermitian squares of noncommutative polynomials

An algorithm for finding sums of hermitian squares decompositions for polynomials in noncommuting variables is presented. The algorithm is based on the “Newton chip method”, a noncommutative analog of the classical Newton polytope method, and semidefinite programming.     

Lindelöf spaces which are indestructible, productive, or D

We discuss relationships in Lindelöf spaces among the properties “indestructible”, “productive”, “D”, and related properties.