Two problems from the Polishchuk and Positselski book on Quadratic algebras

In the book ’Quadratic algebras’ by Polishchuk and Positselski [23] algebras with a small number of generators (n = 2, 3) are considered. For some number r of relations possible Hilbert series are listed, and those appearing as series of Koszul algebras are specified. The first case, where it was not possible to do, namely the case of three generators n = 3 and six relations r = 6 is formulated as an open problem. We give here a complete answer to this question, namely for quadratic algebras with dimA_1 = dimA_2 = 3, we list all possible Hilbert series, and find out which of them can come from Koszul algebras, and which can not. As a consequence of this classification, we found an algebra, which serves as a counterexample to another problem from the same book [23] (Chapter 7, Sec. 1, Conjecture 2), saying that Koszul algebra of finite global homological dimension d has dimA_1 > d. Namely, the 3-generated algebra A given by relations xx + yx = xz = zy = 0 is Koszul and its Koszul dual algebra A^! has Hilbert series of degree 4: HA! (t) = 1 + 3t + 3t^2 + 2t^3 + t^4, hence A has global homological dimension 4.

Spectral synthesis and topologies on ideal spaces for Banach *-algebras

This paper continues the study of spectral synthesis and the topologies τ∞ and τr on the ideal space of a Banach algebra, concentrating on the class of Banach *-algebras, and in particular on L1-group algebras. It is shown that if a group G is a finite extension of an abelian group then τr is Hausdorff on the ideal space of L1(G) if and only if L1(G) has spectral synthesis, which in turn is equivalent to G being compact. The result is applied to nilpotent groups, [FD]−-groups, and Moore groups. An example is given of a non-compact, non-abelian group G for which L1(G) has spectral synthesis. It is also shown that if G is a non-discrete group then τr is not Hausdorff on the ideal lattice of the Fourier algebra A(G).

Spectral synthesis for Banach Algebras II

This paper continues the study of spectral synthesis and the topologies tau-infinity and tau-r on the ideal space of a Banach algebra, concentrating particularly on the class of Haagerup tensor products of C*-algebras. For this class, it is shown that spectral synthesis is equivalent to the Hausdorffness of tau_infinity. Under a weak extra condition, spectral synthesis is shown to be equivalent to the Hausdorffness of tau_r.

Endomorphisms of Banach algebras of infinitely differentiable functions

In this note we study the endomorphisms of certain Banach algebras of infinitely differentiable functions on compact plane sets, associated with weight sequences M. These algebras were originally studied by Dales, Davie and McClure. In a previous paper this problem was solved in the case of the unit interval for many weights M. Here we investigate the extent to which the methods used previously apply to general compact plane sets, and introduce some new methods. In particular, we obtain many results for the case of the closed unit disc. This research was supported by EPSRC grant GR/M31132

Reconstruction of graded groupoids from graded Steinberg algebras

We show how to reconstruct a graded ample Hausdorff groupoid with topologically principal neutrally-graded component from the ring structure of its graded Steinberg algebra over any commutative integral domain with 1, together with the embedding of the canonical abelian subring of functions supported on the unit space. We deduce that diagonal-preserving ring isomorphism of Leavitt path algebras implies $C^*$-isomorphism of $C^*$-algebras for graphs $E$ and $F$ in which every cycle has an exit. This is a joint work with Joan Bosa, Roozbeh Hazrat and Aidan Sims.

Decomposable approximations and coloured isomorphisms for C*-algebras

In this thesis we introduce nuclear dimension and compare it with a stronger form of the completely positive approximation property. We show that the approximations forming this stronger characterisation of the completely positive approximation property witness finite nuclear dimension if and only if the underlying C*-algebra is approximately finite dimensional. We also extend this result to nuclear dimension at most omega. We review interactions between separably acting injective von Neumann algebras and separable nuclear C*-algebras. In particular, we discuss aspects of Connes' work and how some of his strategies have been used by C^*-algebraist to estimate the nuclear dimension of certain classes of C*-algebras. We introduce a notion of coloured isomorphisms between separable unital C*-algebras. Under these coloured isomorphisms ideal lattices, trace spaces, commutativity, nuclearity, finite nuclear dimension and weakly pure infiniteness are preserved. We show that these coloured isomorphisms induce isomorphisms on the classes of finite dimensional and commutative C*-algebras. We prove that any pair of Kirchberg algebras are 2-coloured isomorphic and any pair of separable, simple, unital, finite, nuclear and Z-stable C*-algebras with unique trace which satisfy the UCT are also 2-coloured isomorphic.

Connected Hopf algebras of finite Gelfand-Kirillov dimension

Following the seminal work of Zhuang, connected Hopf algebras of finite GK-dimension over algebraically closed fields of characteristic zero have been the subject of several recent papers. This thesis is concerned with continuing this line of research and promoting connected Hopf algebras as a natural, intricate and interesting class of algebras. We begin by discussing the theory of connected Hopf algebras which are either commutative or cocommutative, and then proceed to review the modern theory of arbitrary connected Hopf algebras of finite GK-dimension initiated by Zhuang. We next focus on the (left) coideal subalgebras of connected Hopf algebras of finite GK-dimension. They are shown to be deformations of commutative polynomial algebras. A number of homological properties follow immediately from this fact. Further properties are described, examples are considered and invariants are constructed. A connected Hopf algebra is said to be "primitively thick" if the difference between its GK-dimension and the vector-space dimension of its primitive space is precisely one . Building on the results of Wang, Zhang and Zhuang,, we describe a method of constructing such a Hopf algebra, and as a result obtain a host of new examples of such objects. Moreover, we prove that such a Hopf algebra can never be isomorphic to the enveloping algebra of a semisimple Lie algebra, nor can a semisimple Lie algebra appear as its primitive space. It has been asked in the literature whether connected Hopf algebras of finite GK-dimension are always isomorphic as algebras to enveloping algebras of Lie algebras. We provide a negative answer to this question by constructing a counterexample of GK-dimension 5. Substantial progress was made in determining the order of the antipode of a finite dimensional pointed Hopf algebra by Taft and Wilson in the 1970s. Our final main result is to show that the proof of their result can be generalised to give an analogous result for arbitrary pointed Hopf algebras.

Reunitising hundredths: prototypic and nonprototypic representations

This paper reports on a study in which 29 Year 6 students (selected from the top 30% of 176 Year 6 students) were individually interviewed to explore their ability to reunitise hundredths as tenths (Behr, Harel, Post & Lesh, 1992) when represented by prototypic (PRO) and nonprototypic (NPRO) models. The results showed that 55.2% of the students were able to unitise both models and that reunitising was more successful with the PRO model. The interviews revealed that many of these students had incomplete, fragmented or non-existent structural knowledge of the reunitising process and often relied on syntactic clues to complete the tasks. The implication for teaching is that instruction should not be limited to PRO representations of the part/whole notion of fraction and that the basic structures (equal parts, link between name and number of equal parts) of the part/whole notion needs to be revisited often.

Fractions, reunitisation and the number-line representation

Centre for Mathematics and Science Education, QUT, Brisbane, Australia This paper reports on a study in which Years 6 and 10 students were individually interviewed to determine their ability to unitise and reunitise number lines used to represent mixed numbers and improper fractions. Only 16.7% of the students (all Year 6) were successful on all three tasks and, in general, Year 6 students outperformed Year 8 students. The interviews revealed that the remaining students had incomplete, fragmented or non-existent structural knowledge of mixed numbers and improper fractions, and were unable to unitise or reunitise number lines. The implication for teaching is that instruction should focus on providing students with a variety of fraction representations in order to develop rich and flexible schema for all fraction types (mixed numbers, and proper and improper fractions).

Lie group symmetry analysis for granular media stress equations

The Airy stress function, although frequently employed in classical linear elasticity, does not receive similar usage for granular media problems. For plane strain quasi-static deformations of a cohesionless Coulomb–Mohr granular solid, a single nonlinear partial differential equation is formulated for the Airy stress function by combining the equilibrium equations with the yield condition. This has certain advantages from the usual approach, in which two stress invariants and a stress angle are introduced, and a system of two partial differential equations is needed to describe the flow. In the present study, the symmetry analysis of differential equations is utilised for our single partial differential equation, and by computing an optimal system of one-dimensional Lie algebras, a complete set of group-invariant solutions is derived. By this it is meant that any group-invariant solution of the governing partial differential equation (provided it can be derived via the classical symmetries method) may be obtained as a member of this set by a suitable group transformation. For general values of the parameters (angle of internal friction and gravity g) it is found there are three distinct classes of solutions which correspond to granular flows considered previously in the literature. For the two limiting cases of high angle of internal friction and zero gravity, the governing partial differential equation admit larger families of Lie point symmetries, and from these symmetries, further solutions are derived, many of which are new. Furthermore, the majority of these solutions are exact, which is rare for granular flow, especially in the case of gravity driven flows.

Automated proof for formal indistinguishability and its applications

Bana et al. proposed the relation formal indistinguishability (FIR), i.e. an equivalence between two terms built from an abstract algebra. Later Ene et al. extended it to cover active adversaries and random oracles. This notion enables a framework to verify computational indistinguishability while still offering the simplicity and formality of symbolic methods. We are in the process of making an automated tool for checking FIR between two terms. First, we extend the work by Ene et al. further, by covering ordered sorts and simplifying the way to cope with random oracles. Second, we investigate the possibility of combining algebras together, since it makes the tool scalable and able to cover a wide class of cryptographic schemes. Specially, we show that the combined algebra is still computationally sound, as long as each algebra is sound. Third, we design some proving strategies and implement the tool. Basically, the strategies allow us to find a sequence of intermediate terms, which are formally indistinguishable, between two given terms. FIR between the two given terms is then guaranteed by the transitivity of FIR. Finally, we show applications of the work, e.g. on key exchanges and encryption schemes. In the future, the tool should be extended easily to cover many schemes. This work continues previous research of ours on use of compilers to aid in automated proofs for key exchange.

Approximate solution of u'=-A2u using a relation between exp(-tA2) and exp(itA)

Let A be a positive definite operator in a Hilbert space and consider the initial value problem for u(t) = -A(2)u. Using a representation of the semigroup exp(-A(2)t) in terms of the group exp(iAt) we express u in terms of the solution of the standard heat equation w(t) = W-yy, with initial values v solving the initial value problem for v(y) = iAv. This representation is used to construct a method for approximating u in terms of approximations of v. In the case that A is a 2(nd) order elliptic operator the method is combined with finite elements in the spatial variable and then reduces the solution of the 4(th) order equation for u to that of the 2(nd) order equation for v, followed by the solution of the heat equation in one space variable.

Geometrical interpretation of Inönü-Wigner contractions

The Inönü-Wigner contractions which interrelate the Lie algebras of the isometry groups of metric spaces are discussed with reference to deformations of the absolutes of the spaces. A general formula is derived for the Lie algebra commutation relations of the isometry group for anyN-dimensional metric space. These ideas are illustrated by a discussion of important particular cases, which interrelate the four-dimensional de Sitter, Poincaré, and Galilean groups.

Luonnollisten lukujen joukon määriteltävyys funktioalgebroissa

Let X be a topological space and K the real algebra of the reals, the complex numbers, the quaternions, or the octonions. The functions form X to K form an algebra T(X,K) with pointwise addition and multiplication. We study first-order definability of the constant function set N' corresponding to the set of the naturals in certain subalgebras of T(X,K). In the vocabulary the symbols Constant, +, *, 0', and 1' are used, where Constant denotes the predicate defining the constants, and 0' and 1' denote the constant functions with values 0 and 1 respectively. The most important result is the following. Let X be a topological space, K the real algebra of the reals, the compelex numbers, the quaternions, or the octonions, and R a subalgebra of the algebra of all functions from X to K containing all constants. Then N' is definable in , if at least one of the following conditions is true. (1) The algebra R is a subalgebra of the algebra of all continuous functions containing a piecewise open mapping from X to K. (2) The space X is sigma-compact, and R is a subalgebra of the algebra of all continuous functions containing a function whose range contains a nonempty open set of K. (3) The algebra K is the set of reals or the complex numbers, and R contains a piecewise open mapping from X to K and does not contain an everywhere unbounded function. (4) The algebra R contains a piecewise open mapping from X to the set of the reals and function whose range contains a nonempty open subset of K. Furthermore R does not contain an everywhere unbounded function.