Tight sets and <Emphasis Type="Italic">m</Emphasis>-ovoids of generalised quadrangles

The concept of a tight set of points of a generalised quadrangle was introduced by S. E. Payne in 1987, and that of an m-ovoid of a generalised quadrangle was introduced by J. A. Thas in 1989, and we unify these two concepts by defining intriguing sets of points. We prove that every intriguing set of points in a generalised quadrangle is an m-ovoid or a tight set, and we state an intersection result concerning these objects. In the classical generalised quadrangles, we construct new m-ovoids and tight sets. In particular, we construct m-ovoids of W(3,q), q odd, for all even m; we construct (q+1)/2-ovoids of W(3,q) for q odd; and we give a lower bound on m for m-ovoids of H(4,q ²).     

Lifting monomial ideals

We show how to lift any monomial ideal J in n variables to a saturated ideal J of the same codimension in n -+ t variables. We show that I has the same graded Betti numbers as J and we show how to obtain the matrices for the resolution of I. The cohornology of l is described. Making general choices for our lifting, we show that l is the ideal of a reduced union of linear varieties with singularities that are "as small as possible" given the cohomological constraints. The case where J is Artinian is the nicest. In the case of curves we obtain stick figures for l, and in the case of points we obtain certain k-configurations which we can describe in a very precise way.     

Nonlocal vertex algebras generated by formal vertex operators

This is the first paper in a series to study vertex algebra-like objects arising from infinite-dimensional quantum groups (quantum affine algebras and Yangians). In this paper we lay the foundations for this study. For any vector space W, we study what we call quasi compatible subsets of Hom (W,W((x))) and we prove that any maximal quasi compatible subspace has a natural nonlocal (namely noncommutative) vertex algebra structure with W as a natural faithful quasi module in a certain sense, and that any quasi compatible subset generates a nonlocal vertex algebra with W as a quasi module. In particular, taking W to be a highest weight module for a quantum affine algebra we obtain a nonlocal vertex algebra with W as a quasi module. We also formulate and study a notion of quantum vertex algebra and we give general constructions of nonlocal vertex algebras, quantum vertex algebras and their modules.     

B-fredholm and spectral properties for multipliers in Banach algebras

The main purpose of this paper is to study spectral and B-Fredholm properties of a multiplierT acting on a semi-simple regular tauberian commutative Banach algebraA. We show thatT is a B-Fredholm operator if and only ifT is a semi B-Fredholm operator, and in this case we have the indexind(T)=0. Moreover we give some spectral properties for multipliers. Spectral mapping theorems for the Weyl’s and B-Weyl spectrum of a multiplier are also considered. Furthermore we show that Weyl’s theorem and generalized Weyl’s theorem hold for a multiplierT. Finally we give sufficient conditions for a multiplier to be a product of an invertible and an idempotent operators.     

A nonlinear problem for the Laplace equation with a degenerating Robin condition

We investigate the behavior of the solutions of a mixed problem for the Laplace equation in a domain Ω. On a part of the boundary ∂Ω, we consider a Neumann condition, whereas in another part, we consider a nonlinear Robin condition, which depends on a positive parameter δ in such a way that for δ = 0 it degenerates into a Neumann condition. For δ small and positive, we prove that the boundary value problem has a solution u(δ,·). We describe what happens to u(δ,·) as δ→0 by means of representation formulas in terms of real analytic maps. Then, we confine ourselves to the linear case, and we compute explicitly the power series expansion of the solution.     

Constancy of p-harmonic maps of finite q-energy into non-positively curved manifolds

We investigate p-harmonic maps, p ≥ 2, from a complete non-compact manifold into a non-positively curved target. First, we establish a uniqueness result for the p-harmonic representative in the homotopy class of a constant map. Next, we derive a Caccioppoli inequality for the energy density of a p-harmonic map and we prove a companion Liouville type theorem, provided the domain manifold supports a Sobolev–Poincaré inequality. Finally, we obtain energy estimates for a p-harmonic map converging, with a certain speed, to a given point.      

On purifiable subgroups in arbitrary abelian groups

We determine the structure of a p-pure[pure] hull of a p-purifiable [purifiable] subgroup of an arbitrary abelian group. Moreover, we prove that a subgroup A of an abelian group G is purifiable in G if and only if A is p-purifiable in G for every prime p. Using these results, we characterize the groups G for which all subgroups are purifiable in G. Furthermore, we establish several properties of purifiable subgroups.     

Equivariant–Bivariant Chern Character for Profinite Groups

For the action of a locally compact and totally disconnected group G on a pair of locally compact spaces X and Y we construct, by sheaf theoretic means, a new equivariant and bivariant cohomology theory. If we take for the first space Y an universal proper G-action then we obtain for the second space its delocalized equivariant homology. This is in exact formal analogy to the definition of equivariant K-homology by Baum, Connes, Higson starting from the bivariant equivariant Kasparov KK-theory. Under certain basic finiteness conditions on the first space Y we conjecture the existence of a Chern character from the equivariant Kasparov KK-theory of Y and X into our cohomology theory made two-periodic which becomes an isomorphism upon tensoring the KK-theory with the complex numbers. This conjecture is proved for profinite groups G. An essential role in our construction is played by a bivariant version of Segal localization which we establish for KK-theory.     

The evolution dam problem for a compressible fluid with nonlinear Darcy's law and Dirichlet boundary condition

In this paper, we consider the evolution dam problem (P) related to a compressible fluid flow governed by a generalized nonlinear Darcy's law with Dirichlet boundary conditions on some part of the boundary. We establish existence of a solution for this problem. We choose a convenient regularized problem (P_?) for which we prove the existence and uniqueness of solution using the comparison Lemma 2.1 and the Schauder fixed‐point theorem. Then, we pass to the limit, when ? goes to 0, to get a solution for our problem. Moreover, we will see another approach for the incompressible case where we pass to the limit in (P), when α goes to 0, to get a solution.     

A unified theory for homotopy principles for multimaps

In this article, we present a definition of d-essential and d–L-essential maps in completely regular topological spaces and we establish a homotopy property for both d-essential and d–L-essential maps. Also using the notion of extendability, we present new continuation theorems.     

k-Balanced games and capacities

In this paper, we present a generalization of the concept of balanced game for finite games. Balanced games are those having a nonempty core, and this core is usually considered as the solution of the game. Based on the concept of k-additivity, we define the so-called k-balanced games and the corresponding generalization of core, the k-additive core, whose elements are not directly imputations but k-additive games. We show that any game is k-balanced for a suitable choice of k, so that the corresponding k-additive core is not empty. For the games in the k-additive core, we propose a sharing procedure to get an imputation and a representative value for the expectations of the players based on the pessimistic criterion. Moreover, we look for necessary and sufficient conditions for a game to be k-balanced. For the general case, it is shown that any game is either balanced or 2-balanced. Finally, we treat the special case of capacities.     

Special subgroups of regular semigroups

Extending the notions of inverse transversal and associate subgroup, we consider a regular semigroup S with the property that there exists a subsemigroup T which contains, for each x∈S, a unique y such that both xy and yx are idempotent. Such a subsemigroup is necessarily a group which we call a special subgroup. Here, we investigate regular semigroups with this property. In particular, we determine when the subset of perfect elements is a subsemigroup and describe its structure in naturally arising situations.     

Nonhomogeneous Neumann problem for the Poisson equation in domains with an external cusp

In this work we analyze the existence and regularity of the solution of a nonhomogeneous Neumann problem for the Poisson equation in a plane domain Ω with an external cusp. In order to prove that there exists a unique solution in H¹(Ω) using the Lax–Milgram theorem we need to apply a trace theorem. Since Ω is not a Lipschitz domain, the standard trace theorem for H¹(Ω) does not apply, in fact the restriction of H¹(Ω) functions is not necessarily in L²(∂Ω). So, we introduce a trace theorem by using weighted Sobolev norms in Ω. Under appropriate assumptions we prove that the solution of our problem is in H²(Ω) and we obtain an a priori estimate for the second derivatives of the solution.     

Homological dimensions and semidualizing complexes

For finite modules over a local ring and complexes with finitely generated homology, we consider several homological invariants sharing some basic properties with projective dimension. In the second section, we introduce the notion of a semidualizing complex, which is a generalization of both a dualizing complex and a suitable module. Our goal is to establish some common properties of such complexes and the homological dimension with respect to them. Basic properties are investigated in Sec. 2.1. In Sec. 2.2, we study the structure of the set of semidualizing complexes over a local ring, which is closely related to the conjecture of Avramov-Foxby on the transitivity of the G-dimension. In particular, we prove that, for a pair of semidualizing complexes X ₁ and X ₂ such that G _X2, we have X ₂ ≃ X ₁ ⊗ _R ^L RHom _R (X ₁, X ₂). Specializing to the case of semidualizing modules over Artinian rings, we obtain a number of quantitative results for the rings possessing a configuration of semidualizing modules of special form. For the rings with m ³=0, this condition reduces to the existence of a nontrivial semidualizing module, and we prove a number of structural results in this case. In the third section, we consider the class of modules that contains the modules of finite CI-dimension and enjoys some nice additional properties, in particular, good behavior in short exact sequences. In the fourth section, we introduce a new homological invariant, CM-dimension, which provides a characterization for Cohen-Macaulay rings in precisely the same way as projective dimension does for regular rings, CI-dimension for locally complete intersections, and G-dimension for Gorenstein rings. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 30, Algebra, 2005.     

On the invertibility and bounded extension of C 0 -semigroups

A well-known necessary and sufficient condition for the operator A to be the infinitesimal generator of a strongly continuous (C ₀ -) group is that both A and -A generate a C ₀ -semigroup. This seems to imply that one has to check the conditions in the Hille-Yosida Theorem for both A and -A . In this paper we show that this is not necessary. Given that A generates a C ₀ -semigroup we prove that a (weak) growth bound on the resolvent on a left half plane is sufficient to guarantee that A generates a group. This extends the recent result found by Liu, see [6]. Furthermore, we study when a generator of a bounded C ₀ -semigroup is the generator of a bounded group. The condition that we obtain is the same as found by Van Casteren in [2, 3], but we present a direct proof.     

Boundary integral solution of the two-dimensional heat equation

Here we consider initial boundary value problems for the heat equation by using the heat potential representation for the solution. Depending on the choice of the representation we are led to a solution of the various boundary integral equations. We discuss the solvability of these equations in anisotropic Sobolev spaces. It turns out that the double-layer heat potential D and its spatial adjoint D′ have smoothing properties similar to the single-layer heat operator. This yields compactness of the operators D and D′. In addition, for any constant c ≠ 0, cI + D′ and cI + D′ are isomorphisms. Based on the coercivity of the single-layer heat operator and the above compactness we establish the coerciveness of the hypersingular heat operator. Moreover, we show an equivalence between the weak solution and the various boundary integral solutions. As a further application we describe a coupling procedure for an exterior initial boundary value problem for the non-homogeneous heat equation.     

Rotation number for non-autonomous linear Hamiltonian systems II: The Floquet coefficient

This paper is the second of a two-part series in which we review the properties of the rotation number for a random family of linear non-autonomous Hamiltonian systems. In Part I, we defined the rotation number for such a family and discussed its basic properties. Here we define and study a complex quantity - the Floquet coefficient w - for such a family. The rotation number is the imaginary part of w. We derive a basic trace formula satisfied by w, and give applications to Atkinson-type spectral problems. In particular we use w to discuss the convergence properties of the Weyl M-functions, the Kotani theory, and the gap-labelling phenomenon for these problems.     

Separation of the Monotone NC Hierarchy

, for the monotone depth of functions in monotone-P. As a result we achieve the separation of the following classes. 1. monotone-NC ≠ monotone-P. 2. For every i≥1, monotone-≠ monotone-. 3. More generally: For any integer function D(n), up to (for some ε>0), we give an explicit example of a monotone Boolean function, that can be computed by polynomial size monotone Boolean circuits of depth D(n), but that cannot be computed by any (fan-in 2) monotone Boolean circuits of depth less than Const·D(n) (for some constant Const). Only a separation of monotone- from monotone- was previously known. Our argument is more general: we define a new class of communication complexity search problems, referred to below as DART games, and we prove a tight lower bound for the communication complexity of every member of this class. As a result we get lower bounds for the monotone depth of many functions. In particular, we get the following bounds: 1.  For st-connectivity, we get a tight lower bound of . That is, we get a new proof for Karchmer–Wigderson's theorem, as an immediate corollary of our general result. 2.  For the k-clique function, with , we get a tight lower bound of Ω(k log n). This lower bound was previously known for k≤ log n [1]. For larger k, however, only a bound of Ω(k) was previously known. Received: December 19, 1997     

Uniqueness and stable determination in the inverse Robin transmission problem with one electrostatic measurement

In this paper, we consider the inverse Robin transmission problem with one electrostatic measurement. We prove a uniqueness result for the simultaneous determination of the Robin parameter p, the conductivity k, and the subdomain D, when D is a ball. When D and k are fixed, we prove a uniqueness result and a directional Lipschitz stability estimate for the Robin parameter p. When p and k are fixed, we give an upper bound to the subdomain D. For the reconstruction purposes of the Robin parameter p, we set the inverse problem under an optimization form for a Kohn–Vogelius cost functional. We prove the existence and the stability of the optimization problem. Finally, we show some numerical experiments that agree with the theoretical considerations. Copyright © 2013 John Wiley & Sons, Ltd.     

The dualizing spectrum of a topological group

To a topological group G, we assign a naive G-spectrum , called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that detects Poincaré duality in the sense that BG is a Poincaré duality space if and only if is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behaves multiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm map which is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of fini the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space. We also include a new proof of Browder's theorem that every finite H-space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and when G admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H. In an appendix, we identify the homotopy type of for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Received July 14, 1999 / Revised May 17, 2000 / Published online February 5, 2001