Subalgebras of Orthomodular Lattices

Sachs (Can J Math 14:451–460, 1962) showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as well as by its poset of Boolean subalgebras BSub(L). The domain BSub(L) has recently found use in an approach to the foundations of quantum mechanics initiated by Butterfield and Isham (Int J Theor Phys 37(11):2669–2733, 1998, Int J Theor Phys 38(3):827–859, 1999), at least in the case where L is the orthomodular lattice of projections of a Hilbert space, or von Neumann algebra. The results here may add some additional perspective to this line of work.     

<Emphasis Type="Italic">L</Emphasis>log <Emphasis Type="Italic">L</Emphasis> Condition for Supercritical Branching Hunt Processes

In this paper we use the spine decomposition and martingale change of measure to establish a Kesten–Stigum Llog L theorem for branching Hunt processes. This result is a generalization of the results in Asmussen and Hering (Z. Wahrscheinlichkeitstheor. Verw. Geb. 36:195–212, 1976) and Hering (Branching Processes, pp. 177–217, 1978) for branching diffusions.     

Rough Sets Determined by Quasiorders

In this paper, the ordered set of rough sets determined by a quasiorder relation R is investigated. We prove that this ordered set is a complete, completely distributive lattice. We show that on this lattice can be defined three different kinds of complementation operations, and we describe its completely join-irreducible and its completely meet-irreducible elements. We also characterize the case in which this lattice is a Stone lattice. Our results generalize some results of J. Pomykała and J. A. Pomykała (Bull Pol Acad Sci, Math, 36:495–512, 1988) and M. Gehrke and E. Walker (Bull Pol Acad Sci, Math, 40:235–245, 1992) in case R is an equivalence.     

Intervals in l-groups as L-algebras

L-algebras are related to algebraic logic and quantum structures. They were introduced by the first author [J. Algebra 320 (2008)], where a self-similar closure S(X) of any L-algebra X was employed to derive a criterion for X to be representable as an interval in a lattice-ordered group. In the present paper, this criterion is improved without using the embedding. It is shown that an L-algebra is representable as an interval in a lattice-ordered group if and only if it is semiregular with a smallest element and bijective negation. Any such L-algebra gives rise to a perfect dual with respect to the inverse of the negation. This is proved by a self-dual characterization of semiregularity.     

Lattices of quotients of completely distributive lattices

In this paper, we consider the complete lattice Q(L) of all quotients of a completely distributive lattice L. We show that Q(L) is not a completely distributive lattice even for L a completely distributive algebraic lattice. Some necessary and sufficient conditions for Q(L) to be a completely distributive lattice are given. Received February 26, 2003; accepted in final form January 17, 2005.     

Distributive Lattices with a Generalized Implication: Topological Duality

In this paper we introduce the notion of generalized implication for lattices, as a binary function ⇒ that maps every pair of elements of a lattice to an ideal. We prove that a bounded lattice A is distributive if and only if there exists a generalized implication ⇒ defined in A satisfying certain conditions, and we study the class of bounded distributive lattices A endowed with a generalized implication as a common abstraction of the notions of annihilator (Mandelker, Duke Math J 37:377–386, 1970), Quasi-modal algebras (Celani, Math Bohem 126:721–736, 2001), and weakly Heyting algebras (Celani and Jansana, Math Log Q 51:219–246, 2005). We introduce the suitable notions of morphisms in order to obtain a category, as well as the corresponding notion of congruence. We develop a Priestley style topological duality for the bounded distributive lattices with a generalized implication. This duality generalizes the duality given in Celani and Jansana (Math Log Q 51:219–246, 2005) for weakly Heyting algebras and the duality given in Celani (Math Bohem 126:721–736, 2001) for Quasi-modal algebras.     

Weak Continuity of the Flow Map for the Benjamin-Ono Equation on the Line

In this paper we show that the flow map of the Benjamin-Ono equation on the line is weakly continuous in L ²(?), using “local smoothing” estimates. L ²(?) is believed to be a borderline space for the local well-posedness theory of this equation. In the periodic case, Molinet (Math. Ann. 337, 353–383, 2007) has recently proved that the flow map of the Benjamin-Ono equation is not weakly continuous in $L^{2}(\mathbb{T})In this paper we show that the flow map of the Benjamin-Ono equation on the line is weakly continuous in L ²(ℝ), using “local smoothing” estimates. L ²(ℝ) is believed to be a borderline space for the local well-posedness theory of this equation. In the periodic case, Molinet (Math. Ann. 337, 353–383, 2007) has recently proved that the flow map of the Benjamin-Ono equation is not weakly continuous in L²(\mathbbT)L^{2}(\mathbb{T}). Our results are in line with previous work on the cubic nonlinear Schr?dinger equation, where Goubet and Molinet (Nonlinear Anal. 71, 317–320, 2009) showed weak continuity in L ²(ℝ) and Molinet (Am. J. Math. 130, 635–683, 2008) showed lack of weak continuity in L²(\mathbbT)L^{2}(\mathbb{T}).     

The M3[D] construction and n-modularity

In 1968, Schmidt introduced the M ₃[D] construction, an extension of the five-element modular nondistributive lattice M ₃ by a bounded distributive lattice D, defined as the lattice of all triples satisfying . The lattice M ₃[D] is a modular congruence-preserving extension of D.? In this paper, we investigate this construction for an arbitrary lattice L. For every n > 0, we exhibit an identity such that is modularity and is properly weaker than . Let M _n denote the variety defined by , the variety of n-modular lattices. If L is n-modular, then M ₃[L] is a lattice, in fact, a congruence-preserving extension of L; we also prove that, in this case, Id M ₃[L] M ₃[Id L]. ? We provide an example of a lattice L such that M ₃[L] is not a lattice. This example also provides a negative solution to a problem of Quackenbush: Is the tensor product of two lattices A and B with zero always a lattice. We complement this result by generalizing the M ₃[L] construction to an M ₄[L] construction. This yields, in particular, a bounded modular lattice L such that M ₄ L is not a lattice, thus providing a negative solution to Quackenbush’s problem in the variety M of modular lattices.? Finally, we sharpen a result of Dilworth: Every finite distributive lattice can be represented as the congruence lattice of a finite 3-modular lattice. We do this by verifying that a construction of Gr?tzer, Lakser, and Schmidt yields a 3-modular lattice. Received May 26, 1998; accepted in final form October 7, 1998.     

Compactifications and algebraic completions of limit groups

This paper considers the existence of nondiscrete embeddings Γ ↦ G, where Γ is an abstract limit group and G is topological group. Namely, it is shown that a locally compact group G that admits a nondiscrete nonabelian free subgroup F admits a nondiscrete copy of every nonabelian limit group L. In some cases, for instance if the F is of rank 2 and its closure in G is compact or semisimple algebraic, or if L is a surface group (as considered in [6]), L can be chosen with the same closure as F.     

A direct approach to the weighted admissibility of observation operators for bounded analytic semigroups

In this note we adopt the approach in Bonnit et al. (Czechoslov. Math. J. 60(2):527–539, 2010) to give a direct proof of some recent results in Haak and Le Merdy (Houst. J. Math., 2005) and Haak and Kunstmann (SIAM J. Control Optim. 45:2094–2118, 2007) which characterizes the L ^p -admissibility of type α depending on p of unbounded observation operators for bounded analytic semigroups.     

Exponential Attractors for Lattice Dynamical Systems in Weighted Spaces

The aim of this paper is to investigate the existence of exponential attractors for lattice reaction-diffusion systems in weighted spaces l_s²l_{\sigma}^{2} and for partly dissipative lattice reaction-diffusion systems in weighted spaces l_m²×l_m²l_{\mu}^{2}\times l_{\mu}^{2}, respectively. In contrast to the previous work by Abdallah in J. Math. Anal. Appl. 339, 217–224 (2008) and Commun. Pure Appl. Anal. 8, 803–818 (2009), we get the existence of exponential attractors for lattice dynamical systems in the weak topology spaces.     

Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices

Let be a {0, 1}-homomorphism of a finite distributive lattice D into the congruence lattice Con L of a rectangular (whence finite, planar, and semimodular) lattice L. We prove that L is a filter of an appropriate rectangular lattice K such that ConK is isomorphic with D and is represented by the restriction map from Con K to Con L. The particular case where is an embedding was proved by E.T. Schmidt. Our result implies that each {0, 1}-lattice homomorphism between two finite distributive lattices can be represented by the restriction of congruences of an appropriate rectangular lattice to a rectangular filter.     

Restricted Enveloping Algebras with Minimal Lie Derived Length

Let L be a non-abelian restricted Lie algebra over a field of characteristic p > 0 and let u(L) denote its restricted enveloping algebra. In Siciliano (Publ Math (Debr) 68:503–513, 2006) it was proved that if u(L) is Lie solvable then the Lie derived length of u(L) is at least ⌈log₂(p + 1)⌉. In the present paper we characterize the restricted enveloping algebras whose Lie derived length coincides with this lower bound.     

Congruence lattices of function lattices

Thefunction lattice L ^P is the lattice of all isotone maps from a posetP into a latticeL.D. Duffus, B. Jónsson, and I. Rival proved in 1978 that for afinite poset P, the congruence lattice ofL ^P is a direct power of the congruence lattice ofL; the exponent is |P|.This result fails for infiniteP. However, utilizing a generalization of theL ^P construction, theL[D] construction (the extension ofL byD, whereD is a bounded distributive lattice), the second author proved in 1979 that ConL[D] is isomorphic to (ConL) [ConD] for afinite lattice L.In this paper we prove that the isomorphism ConL[D](ConL)[ConD] holds for a latticeL and a bounded distributive latticeD iff either ConL orD is finite.The research of the first author was supported by the NSERC of Canada.The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.     

Nonvanishing of Hecke L-Functions for CM Fields and Ranks of Abelian Varieties

In this paper we prove a nonvanishing theorem for central values of L-functions associated to a large class of algebraic Hecke characters of CM number fields. A key ingredient in the proof is an asymptotic formula for the average of these central values. We combine the nonvanishing theorem with work of Tian and Zhang [TiZ] to deduce that infinitely many of the CM abelian varieties associated to these Hecke characters have Mordell–Weil rank zero. Included among these abelian varieties are higher-dimensional analogues of the elliptic \mathbb Q{{\mathbb Q}} -curves A(D) of B. Gross [Gr].     

On special values of certain Dirichlet L-functions

Let r _k (n) denote the number of ways n can be expressed as a sum of k squares. Recently, S. Cooper (Ramanujan J. 6:469–490, [2002]), conjectured a formula for r ₉(t), t≡5 (mod 8), r ₁₁(t), t≡7 (mod 8), where t is a square-free positive integer. In this note we observe that these conjectures follow from the works of Lomadze (Akad. Nauk Gruz. Tr. Tbil. Mat. Inst. Razmadze 17:281–314, [1949]; Acta Arith. 68(3):245–253, [1994]). Further we express r ₉(t), r ₁₁(t) in terms of certain special values of Dirichlet L-functions. Combining these two results we get expressions for these special values of Dirichlet L-functions involving Jacobi symbols.      

Lower Semimodular Types of Lattices: Frankl's Conjecture Holds for Lower Quasi-Semimodular Lattices

We introduce a measure of how far a lattice L is from being lower semimodular. We call it the lower semimodular type of L. A lattice has lower semimodular type zero if and only if it is lower semimodular. In this paper we discuss properties of the measure and we show that Frankl's conjecture holds for lower quasi-semimodular lattices: if a lattice L is lower quasi-semimodular then there is a join-irreducible element x in L such that the size of the principal filter generated by x is at most (|L|− 1) /2. Revised: July 2, 1997     

Lattices of Subalgebras of Leibniz Algebras

I describe the lattice ?(L) of subalgebras of a one-generator Leibniz algebra L. Using this, I show that, apart from one special case, a lattice isomorphism φ: ?(L) → ?(L′) between Leibniz algebras L, L′ maps the Leibniz kernel Leib(L) of L to Leib(L′).