<Emphasis Type="Italic">C</Emphasis><Superscript>1+<Emphasis Type="Italic">α</Emphasis></Superscript>-Regularity for Two-Dimensional Almost-Minimal Sets in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We give a new proof and a partial generalization of Jean Taylor’s result (Ann. Math. (2) 103(3), 489–539, 1976) that says that Almgren almost-minimal sets of dimension 2 in ℝ³ are locally C ^1+α -equivalent to minimal cones. The proof is rather elementary, but uses a local separation result proved in Ann. Fac. Sci. Toulouse 18(1), 65–246, 2009 and an extension of Reifenberg’s parameterization theorem (David et al. in Geom. Funct. Anal. 18, 1168–1235, 2008). The key idea is still that if X is the cone over an arc of small Lipschitz graph in the unit sphere, but X is not contained in a disk, we can use the graph of a harmonic function to deform X and substantially diminish its area. The local separation result is used to reduce to unions of cones over arcs of Lipschitz graphs. A good part of the proof extends to minimal sets of dimension 2 in ℝ ⁿ , but in this setting our final regularity result on E may depend on the list of minimal cones obtained as blow-up limits of E at a point.     

Quotient spaces determined by algebras of continuous functions

We prove that if X is a locally compact σ-compact space, then on its quotient, γ(X) say, determined by the algebra of all real valued bounded continuous functions on X, the quotient topology and the completely regular topology defined by this algebra are equal. It follows from this that if X is second countable locally compact, then γ(X) is second countable locally compact Hausdorff if and only if it is first countable. The interest in these results originated in [1] and [7] where the primitive ideal space of a C*-algebra was considered.     

Order-Compactifications of Totally Ordered Spaces: Revisited

Order-compactifications of totally ordered spaces were described by Blatter (J Approx Theory 13:56–65, 1975) and by Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Their results generalize a similar characterization of order-compactifications of linearly ordered spaces, obtained independently by Fedorčuk (Soviet Math Dokl 7:1011–1014, 1966; Sib Math J 10:124–132, 1969) and Kaufman (Colloq Math 17:35–39, 1967). In this note we give a simple characterization of the topology of a totally ordered space, as well as give a new simplified proof of the main results of Blatter (J Approx Theory 13:56–65, 1975) and Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Our main tool will be an order-topological modification of the Dedekind-MacNeille completion. In addition, for a zero-dimensional totally ordered space X, we determine which order-compactifications of X are Priestley order-compactifications.     

A Magnus- and Fer-Type Formula in Dendriform Algebras

We provide a refined approach to the classical Magnus (Commun. Pure Appl. Math. 7:649–673, [1954]) and Fer expansion (Bull. Classe Sci. Acad. R. Belg. 44:818–829, [1958]), unveiling a new structure by using the language of dendriform and pre-Lie algebras. The recursive formula for the logarithm of the solutions of the equations X=1+λ a ≺ X and Y=1−λ Y ≻ a in A[[λ]] is provided, where (A,≺,≻) is a dendriform algebra. Then we present the solutions to these equations as an infinite product expansion of exponentials. Both formulae involve the pre-Lie product naturally associated with the dendriform structure. Several applications are presented.      

A note on sensitivity of semigroup actions

It is well known that for a transitive dynamical system (X,f) sensitivity to initial conditions follows from the assumption that the periodic points are dense. This was done by several authors: Banks, Brooks, Cairns, Davis and Stacey (Am. Math. Mon. 99, 332–334, 1992), Silverman (Rocky Mt. J. Math. 22, 353–375, 1992) and Glasner and Weiss (Nonlinearity 6, 1067–1075, 1993). In the latter article Glasner and Weiss established a stronger result (for compact metric systems) which implies that a transitive non-minimal compact metric system (X,f) with dense set of almost periodic points is sensitive. This is true also for group actions as was proved in the book of Glasner (Ergodic Theory via Joinings, 2003). Our aim is to generalize these results in the frame of a unified approach for a wide class of topological semigroup actions including one-parameter semigroup actions on Polish spaces.     

Derived Azumaya algebras and generators for twisted derived categories

We introduce a notion of derived Azumaya algebras over ring and schemes generalizing the notion of Azumaya algebras of Grothendieck (Le groupe de Brauer. I. Algèbres d’Azumaya et interprétations diverses. Dix Exposés sur la Cohomologie des Schémas, pp. 46–66, North-Holland, Amsterdam, 1968). We prove that any such algebra B on a scheme X provides a class ϕ(B) in . We prove that for X a quasi-compact and quasi-separated scheme ϕ defines a bijective correspondence, and in particular that any class in , torsion or not, can be represented by a derived Azumaya algebra on X. Our result is a consequence of a more general theorem about the existence of compact generators in twisted derived categories, with coefficients in any local system of reasonable dg-categories, generalizing the well known existence of compact generators in derived categories of quasi-coherent sheaves of Bondal and Van Den Bergh (Mosc. Math. J. 3(1):1–36, 2003). A huge part of this paper concerns the treatment of twisted derived categories, as well as the proof that the existence of compact generator locally for the fppf topology implies the existence of a global compact generator. We present explicit examples of derived Azumaya algebras that are not represented by classical Azumaya algebras, as well as applications of our main result to the localization for twisted algebraic K-theory and to the stability of saturated dg-categories by direct push-forwards along smooth and proper maps.     

Rates of Convergence of Means of Euclidean Functionals

Let L be the Euclidean functional with p-th power-weighted edges. Examples include the sum of the p-th power-weighted lengths of the edges in minimal spanning trees, traveling salesman tours, and minimal matchings. Motivated by the works of Steele, Redmond and Yukich (Ann. Appl. Probab. 4, 1057–1073, 1994, Stoch. Process. Appl. 61, 289–304, 1996) have shown that for n i.i.d. sample points {X ₁,…,X _n } from [0,1] ^d , L({X ₁,…,X _n })/n ^(d−p)/d converges a.s. to a finite constant. Here we bound the rate of convergence of EL({X ₁,…,X _n })/n ^(d−p)/d . Y. Koo supported by the BK21 project of the Department of Mathematics, Sungkyunkwan University. S. Lee supported by the BK21 project of the Department of Mathematics, Yonsei University.     

<Emphasis Type="BoldItalic">C</Emphasis>(<Emphasis Type="BoldItalic">X</Emphasis>)-objects in the Category of Semi-affine Lattices

In our previous paper (Hušek and Pulgarín, Topol Appl, doi:, 2009) we characterized the set C(X) of real-valued continuous functions on a topological space X as a real ℓ-group. The present paper weakens the situation to the level of semi-affine lattices.     

Topology of Hom complexes and test graphs for bounding chromatic number

The Hom complex of homomorphisms between two graphs was originally introduced to provide topological lower bounds on the chromatic number. In this paper we introduce new methods for understanding the topology of Hom complexes, mostly in the context of Γ-actions on graphs and posets (for some group Γ). We view the Hom(T, ⊙) and Hom(⊙, G) complexes as functors from graphs to posets, and introduce a functor (⊙)¹ from posets to graphs obtained by taking atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of Hom complexes in terms of spaces of equivariant poset maps and Γ-twisted products of spaces. When P:= F(X) is the face poset of a simplicial complex X, this provides a useful way to control the topology of Hom complexes. These constructions generalize those of the second author from [17] as well as the calculation of the homotopy groups of Hom complexes from [8].     

The Geometry of Relations

The classical way to study a finite poset (X, ≤ ) using topology is by means of the simplicial complex Δ _X of its nonempty chains. There is also an alternative approach, regarding X as a finite topological space. In this article we introduce new constructions for studying X topologically: inspired by a classical paper of Dowker (Ann Math 56:84–95, 1952), we define the simplicial complexes K _X and L _X associated to the relation ≤. In many cases these polyhedra have the same homotopy type as the order complex Δ _X . We give a complete characterization of the simplicial complexes that are the K or L-complexes of some finite poset and prove that K _X and L _X are topologically equivalent to the smaller complexes K′ _X , L′ _X induced by the relation <. More precisely, we prove that K _X (resp. L _X ) simplicially collapses to K′ _X (resp. L′ _X ). The paper concludes with a result that relates the K-complexes of two posets X, Y with closed relations R ⊂ X × Y.     

Algebra descent spectrum of operators

We say that a Banach space X satisfies the “descent spectrum equality” (in short, DSE) whenever, for every bounded linear operator T on X, the descent spectrum of T as an operator coincides with the descent spectrum of T as an element of the algebra of all bounded linear operators on X. We prove that the DSE is fulfilled by ℓ₁, all Hilbert spaces, and all Banach spaces which are not isomorphic to any of their proper quotients (so, in particular, by the hereditarily indecomposable Banach spaces [8]), but not by ℓ _p , for 1 < p ≤ ∞ with p ≠ 2. Actually, a Banach space is not isomorphic to any of its proper quotients if and only if it is not isomorphic to any of its proper complemented subspaces and satisfies the DSE.     

Examples of associative algebras for which the <Emphasis Type="Italic">T</Emphasis>-space of central polynomials is not finitely based

In 1988 (see [7]), S. V. Okhitin proved that for any field k of characteristic zero, the T-space CP(M ₂(k)) is finitely based, and he raised the question as to whether CP(A) is finitely based for every (unitary) associative algebra A for which 0 ≠ T(A) ⊊ CP(A). V. V. Shchigolev (see [9], 2001) showed that for any field of characteristic zero, every T-space of k ₀〈X〉 is finitely based, and it follows from this that every T-space of k ₁〈X〉 is also finitely based. This more than answers Okhitin’s question (in the affirmative) for fields of characteristic zero.     

Tail and dependence behavior of levels that persist for a fixed period of time

This work emerges from a study of the extremal behavior of a daily maximum sea water levels series, {X _i } , presented in Draisma (Duration of extremes at sea. In: Parametric and semi-parametric methods in E. V. T., pp. 137–143. PhD thesis, Erasmus, University, 2001). In its approach, a new series, {Y _i }, is defined, consisting of water levels that persist for a fixed period of time. In this paper, we study the tail behavior of {Y _i } , in case {X _i } is independent and identically distributed (i.i.d.) and in case {X _i } is a max-autoregressive sequence (we will consider two different max-autoregressive processes), whose distribution function is in the Fréchet domain of attraction. We also determine Ledford and Tawn tail dependence index (Ledford and Tawn, Biometrika 83:169–187, 1996, J. R. Stat. Soc. B 59:475–499, 1997) and we analyze the asymptotic tail dependence of the random pair (Y _i , Y _i + m ), in all considered cases. According to Drees (Bernoulli 9:617–657, 2003), we obtain the limit behavior of the tail empirical quantile function associated with a random sample (Y ₁, Y ₂,...Y _n ) and hence the asymptotic normality of a class of estimators of the tail index that includes Hill estimator. Research partially supported by FCT/POCTI and POCI/FEDER.     

Simple and Nearly Simple Deep Matrix Algebras

Deep matrix algebras were originally created by Cuntz (Comm. Math. Phys. 57:173–185, 1977) and McCrimmon (2006). Further study of the associative case was done by the author in Kennedy (2004) and Kennedy (Algebr. Represent. Theory 9:525–537, 2006). In this paper, the associative algebra DM(X,\mathbbK){\mathcal{DM}}(X,{\mathbb{K}}) based on a set X over a field \mathbbK{\mathbb{K}} and various of its subalgebras are studied for the purpose of determining the structure of the associated Lie algebra \mathfrakgld(X,\mathbbK){\mathfrak{gld}}(X,{\mathbb{K}}) and its subalgebras. Several key examples of deep matrix Lie algebras are constructed. These are shown to be either simple or nearly simple depending on the cardinality of the set X. Cartan subalgebras are constructed and two of the key Lie algebras are then decomposed with respect to the adjoint action of these subalgebras. In the process, an infinite dimensional analogue to \mathfraksl₂(\mathbbK)\mathfrak{sl}_2({\mathbb{K}}) is naturally realized as a key subalgebra in deep matrix Lie algebras.     

On Projecting Symmetries by Unbranched Regular Coverings of Riemann Surfaces

A symmetry of a Riemann surface X of genus g is an antiholomorphic involution σ of X. It is a classical result of Harnack that the set of fixed points of σ consists of k closed Jordan curves, called ovals, for some k, 0 ≤ k ≤ g + 1; when k = g or k = g+1 we say, following Natanzon [8], that σ is an (M – 1)- or an M-symmetry, respectively. Given a Riemann surface X with an M-symmetry, a Riemann surface Y and a regular covering p: X → Y, we prove that Y admits either an M- or an (M – 1)-symmetry and whenever p is unbranched we describe the groups of covering transformations of p. In the case that X is hyperelliptic we calculate as well the number of unbranched regular coverings p: X → Y in which X has an M-symmetry. The first two authors are supported by MTM2005-01637, the third by SAB2005-0049.     

Deducing the multidimensional Szemerédi theorem from an infinitary removal lemma

We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T ₁, T ₂, …, T _d : ℤ ↷ (X, ∑, μ) ([6]), and so, via the Furstenberg correspondence principle introduced in [5], a new proof of the multi-dimensional Szemerédi Theorem. We bypass the careful manipulation of certain towers of factors of a probability-preserving system that underlies the Furstenberg-Katznelson analysis, instead modifying an approach recently developed in [1] to pass to a large extension of our original system in which this analysis greatly simplifies. The proof is then completed using an adaptation of arguments developed by Tao in [13] for his study of an infinitary analog of the hypergraph removal lemma. In a sense, this addresses the difficulty, highlighted by Tao, of establishing a direct connection between his infinitary, probabilistic approach to the hypergraph removal lemma and the infinitary, ergodic-theoretic approach to Szemerédi’s Theorem set in motion by Furstenberg [5].     

On maximal actions and <Emphasis Type="Italic">w</Emphasis>-maximal actions of finite hypergroups

Sunder and Wildberger (J. Algebr. Comb. 18, 135–151, 2003) introduced the notion of actions of finite hypergroups, and studied maximal irreducible actions and *-actions. One of the main results of Sunder and Wildberger states that if a finite hypergroup K admits an irreducible action which is both a maximal action and a *-action, then K arises from an association scheme. In this paper we will first show that an irreducible maximal action must be a *-action, and hence improve Sunder and Wildberger’s result (Theorem 2.9). Another important type of actions is the so-called w-maximal actions. For a w-maximal action π:K→Aff (X), we will prove that π is faithful and |X|≥|K|, and |K| is the best possible lower bound of |X|. We will also discuss the strong connectivity of the digraphs induced by a w-maximal action.     

Inverse Conductivity Problem on Riemann Surfaces

An electrical potential U on a bordered Riemann surface X with conductivity function σ>0 satisfies equation d(σ d ^c U)=0. The problem of effective reconstruction of σ from electrical currents measurements (Dirichlet-to-Neumann mapping) on the boundary: U| _bX ↦ σ d ^c U| _bX is studied. We extend to the case of Riemann surfaces the reconstruction scheme given, firstly, by R. Novikov (Funkc. Anal. Ego Priloz. 22:11–22, 2008) for simply connected X. We apply for this new kernels for on the affine algebraic Riemann surfaces constructed in Henkin (, 2008).      

A Φ-Entropy Contraction Inequality for Gaussian Vectors

A beautiful result of Sarmanov (Dokl. Akad. Nauk SSSR 121(1), 52–55, 1958) says that for a Gaussian vector (X,Y), \operatorname Var(\mathbb E[f(Y)|X]) ￡ r²\operatorname Var(f(Y))\operatorname {Var}(\mathbb {E}[f(Y)|X])\le \rho^{2}\operatorname {Var}(f(Y)) for all measurable functions f, where ρ is the (linear) correlation coefficient between X and Y. We generalize this result to a general Φ-entropy (a nonlinear version of his result) by means of a previous result of D. Chafai based on Bakry–Emery’s Γ ₂-technique and tensorization.