Odd H-depth and H-separable extensions

Let C _n (A,B) be the relative Hochschild bar resolution groups of a subring B ⊆ A. The subring pair has right depth 2n if C _n+1(A,B) is isomorphic to a direct summand of a multiple of C _n (A,B) as A-B-bimodules; depth 2n + 1 if the same condition holds only as B-B-bimodules. It is then natural to ask what is defined if this same condition should hold as A-A-bimodules, the so-called H-depth 2n − 1 condition. In particular, the H-depth 1 condition coincides with A being an H-separable extension of B. In this paper the H-depth of semisimple subalgebra pairs is derived from the transpose inclusion matrix, and for QF extensions it is derived from the odd depth of the endomorphism ring extension. For general extensions characterizations of H-depth are possible using the H-equivalence generalization of Morita theory.     

Chern classes of tropical vector bundles

We introduce tropical vector bundles, morphisms and rational sections of these bundles and define the pull-back of a tropical vector bundle and of a rational section along a morphism. Most of the definitions presented here for tropical vector bundles will be contained in Torchiani, C., Line Bundles on Tropical Varieties, Diploma thesis, Technische Universität Kaiserslautern, Kaiserslautern, 2010, for the case of line bundles. Afterwards we use the bounded rational sections of a tropical vector bundle to define the Chern classes of this bundle and prove some basic properties of Chern classes. Finally we give a complete classification of all vector bundles on an elliptic curve up to isomorphisms.     

A jump operator on honest subrecursive degrees

It is well known that the structure of honest elementary degrees is a lattice with rather strong density properties. Let and denote respectively the join and the meet of the degrees and . This paper introduces a jump operator () on the honest elementary degrees and defines canonical degrees and low and high degrees analogous to the corresponding concepts for the Turing degrees. Among others, the following results about the structure of the honest elementary degrees are shown: There exist low degrees, and there exist degrees which are neither low nor high. Every degree above is the jump of some degree, moreover, for every degree above there exist degrees such that . We have and . The jump operator is of course monotonic, i.e. . We prove that every situation compatible with is realized in the structure, e.g. we have incomparable degrees such that and incomparable degrees such that etcetera. We are able to prove all these results without the traditional recursion theoretic constructions. Our proof method relies on the fact that the growth of the functions in a degree is bounded. This technique also yields a very simple proof of an old result, namely that the structure is a lattice. Received October 4, 1995     

Modification of HPTLC-plates by in situ chemical bonding with non-polar and polar organosilanes

A method has been developed for the preparation of modified silica plates for high performance thin-layer chromatography (HPTLC). Some typical organosilanes were thus allowed to react in situ with the silica of Merck HPTLC-plates. This method was found to be highly reproducible, simple and cheap. Non-polar plates were prepared and compared with commercial plates from Merck, Whatman and Macherey-Nagel. Modification with cyanodecyltrichlorosilane resulted in plates that showed good coverage, efficiency and low residual silica activity. Silica modified with a multifunctional silane has different properties in different organic solvents. It will appear to be non-polar in a polar solvent and vice versa. New advantageous separation systems are thus made feasible by the presence of cyano groups on the plate. The utility of modified thin-layer plates is demonstrated by the separation of some homologues of p-hydroxybenzoic acid esters and of some polycyclic aromatic hydrocarbons.     

Galois theory for bialgebroids, depth two and normal Hopf subalgebras

We reduce certain proofs in [16, 11, 12] to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius extension property. We prove that a proper algebra extension is a leftT-Galois extension for some right finite projective left bialgebroid over some algebraR if and only if it is a left depth two and left balanced extension. Exchanging left and right in this statement, we have a characterization of right Galois extensions for left finite projective right bialgebroids. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.

---

Sunto Riduciamo alcune prove di [16,11,12] a quasibasi di profondità due da un lato solo, un approccio minimalistico che conduce ad una caratterizzazione di estensioni di Galois per bialgebroidi proietivi finiti senza la proprietà di estensione di Frobenius. Dimostriamo che un'algebra che sia un'estensione propria è un'estensioneT-Galois sinistra per qualche bialgebroide finito proiettivo a sinistra su qualche algebraR se, e solo se, è un'estensione di profondità due a sinistra e bilanciata a sinistra. Scambiando destra e sinistra nell'enunciato, otteniamo una caratterizzazione di estensioni di Galois destre per bialgebroidi finiti proiettivi a destra. Guardando ad esempi di profondità due, otteniamo che una sottoalgebra di Hopf è normale se, e solo se, è un'estensione Hopf-Galois. Caratterizziamo le estensioni Hopf-Galois deboli finite usando un'applicazione canonica di Galois alternativa ottenendo parecchi corollari: queste sono di profondità due e la suriettività dell'applicazione di Galois implica la sua biiettività.

     

Weighted proximity search

Journal of Heuristics - Proximity search is an iterative method to solve complex mathematical programming problems. At each iteration, the objective function of the problem at hand is replaced by...     

Conical Ricci-flat nearly para-Kähler manifolds

In this paper, we classify conical Ricci-flat nearly para-Kähler manifolds having isotropic Nijenhuis tensor. More precisely, we give a bijective correspondence between this class of nearly para-Kähler manifolds and local cones $M_1 \times (a,b)$ over para-Sasaki-Einstein manifolds $(M_1,g_1,T)$ carrying a parallel 3-form with isotropic support. Moreover, we show that the cone over a para-Sasaki-Einstein five-manifold $(M_1,g_1,T)$ admits a family of parallel 3-forms with isotropic support. As an application our result yields first examples of Ricci-flat (non-flat) nearly para-Kähler structures.     

Local Rings of Embedding Codepth 3. Examples

A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding codepth 3. We give examples of algebra structures that have been conjectured not to occur.