Homology of jet groups

In this paper, we give a Grobner-Shirshov basis of quantum group of type ℂ3 by using the Ringel-Hall algebra approach. For this, first we compute all skew-commutator relations between the isoclasses of indecomposable reprersentations of Ringel-Hall algebras of type ℂ3 by using an “inductive” method. Precisely, we do not use the traditional way of computing the skew-commutative relations, that is first compute all Hall polynomials then compute the corresponding skew-commutator relations; contrarily, we compute the “easier” skew-commutator relations which corresponding to those exact sequences with middile term indecomposable or the split exact sequences first, then “inductive” others from these “easier” ones and this in turn gives Hall polynomials as a byproduct. Then we prove that the set of these relations is closed under composition. So they constitutes a minimal Grobner-Shirshov basis of the positive part of quantum group of type ℂ3. Dually, we get a Grobner-Shirshov basis of the negative part of quantum group of type C3. And finally we give a Grobner-Shirshov basis for the whole quantum group of type ℂ3.

A linear control system with an almost periodic matrix of coefficients and control in the form of the feedback linear in phase variables is considered. It is assumed that the feedback coefficient is almost periodic and its frequency module, i. e. the smallest additive group of real numbers, including all the Fourier exponents of this coefficient, is contained in the frequency module of the coefficient matrix. The system under consideration is studied in the case of a triangular average value of the matrix of coefficients. For the described class of systems, the control problem of the asynchronous spectrum with a target set of frequencies is solved. This task is to construct such a control from an admissible set that the system closed by this control has almost periodic solutions, a set of the Fourier exponents of which contains a predetermined subset, and the intersection of the solution frequency modules and the coefficient matrix is trivial. The necessary and sufficient conditions for the solvability of this problem are obtained.

We consider a linear control system with an almost periodic matrix of the coefficients. The control has the form of feedback that is linear on the phase variables. It is assumed that the feedback coefficient is almost periodic and its frequency modulus, i. e. the smallest additive group of real numbers, including all the Fourier exponents of this coefficient, is contained in the frequency modulus of the coefficient matrix. The following problem is formulated: choose a control from an admissible set for which the system closed by this control has almost periodic solutions with the frequency spectrum (a set of Fourier exponents) containing a predetermined subset, and the intersection of the frequency modules of solution and the coefficient matrix is trivial. The problem is called as the control problem of the spectrum of irregular oscillations (asynchronous spectrum) with the target set of frequencies. At present, this problem has been studied only in a very special case, when the average value of the almost periodic coefficients matrix of the system is zero. In the case of nontrivial averaging, the question remains open. In the paper, a sufficient condition is obtained under which the control problem of the asynchronous spectrum of linear almost periodic systems with diagonal averaging of the coefficient matrix has no solution.

The most fundamental locally compact abelian groups are the following: R. the additive group of real numbers; Z, the additive group of integers; and 11’, the multiplicative group of complex numbers of absolute value I. The group 1I’ is isomorphic, as a topological group, to R/Z; this is the significance of the mapping x 1-1e2(see also the discussion on the algebra F1(‘JI’) in Section 1.1).

This is a report on our work during the last few years on extending the Bieri-Neumann-Strebel-Renz theory of “geometric invariants” of groups to a theory of group actions on non-positively curved (= CAT(0)) spaces. With the exception of Theorem 8, which is proved here, and the related material in §5.3, proofs of all our theorems can be found in our papers [BG I ] (controlled connectivity and openness results), [BG II ] (the geometric invariants) and [BG III ] ( SL 2 actions on the hyperbolic plane). An earlier expository paper [BG 98] is also relevant. The geometric invariants we recall the “geometric” or “Σ-” invariants of groups developed during the 1980's by Bieri, Neumann, Strebel and Renz (abbrev. BNSR); see [BNS 87], [BR 88], [Re 88]. We set things out in a way which leads directly to generalizations which were not anticipated in the original literature. Let G be a group of type F n , n ≥ 1. Let X be a contractible G -CW complex which is either (a) free with cocompact n -skeleton, or (b) properly discontinuous and cocompact. Case (a) exists by the definition of F n ; Case (b) is often useful but can only exist when G has finite virtual cohomological dimension. Controlled connectivity Let χ : G → ℝ be a non-zero character, i.e., a homomorphism to the additive group of real numbers. Reinterpret ℝ as the group of translations, Transl, of the Euclidean line, and thus reinterpret χ as an action of G on by translations.

The Fourier transform is typically seen as closely related to the additive group of real numbers, its characters and its Haar measure. In this paper, we propose an alternative viewpoint; the Fourier transform can be uniquely characterized by an intertwining relation with dilations and by having a Gaussian as an eigenfunction. This broadens the perspective to an entire family of Fourier-like transforms that are uniquely identified by the same dilation-related property and by having Gaussian-like functions as eigenfunctions. We show that these transforms share many properties with the Fourier transform, particularly unitarity, periodicity and eigenvalues. We also establish short-time analogues of these transforms and show a reconstruction property and an orthogonality relation for the short-time transforms.

Let D be an integral domain with identity and let K denote the quotient field of D. If P is a prime ideal of D denote by $P[[X]]$ that prime ideal of $D[[X]]$ consisting of all those formal power series each of whose coefficients belongs to P. In this paper the following question is considered: When is ${(D[[X]])_{P[[X]]}}$ a valuation ring? Our main theorem states that if ${(D[[X]])_{P[[X]]}}$ is a valuation ring, then ${D_P}$ must be a rank one discrete valuation ring. Moreover, we show that if ${D_P}$ is a rank one discrete valuation ring and if $PD[[X]] = P[[X]]$, then ${(D[[X]])_{P[[X]]}}$ is a valuation ring. We also give an example to show that ${(D[[X]])_{P[[X]]}}$ need not be a valuation ring when ${D_P}$ is rank one discrete.

Let A be a unital C*-algebra, n ∈ N ∪ {∞}. It is proved that the isomorphism is isometric for some suitable distances. As an application, the author has the split exact sequence with iA contractive (and isometric if n = ∞) under certain condition of A.

A linear control system with a periodic matrix of coefficients and program control is considered. The matrix under control is constant, rectangular (the number of columns does not exceed the number of rows) and its rank is not maximum, i. e. less than the number of columns. It is assumed that the control is periodic, and the module of its frequencies, i. e. the smallest additive group of real numbers, including all Fourier exponents of this control, is contained in the frequency module of the coefficient matrix. The following task is posed: to construct such a control from an admissible set that switches the system to asynchronous mode, i. e. the system must have periodic solutions such that the intersection of the frequency moduli of the solution and the coefficient matrix is trivial. The problem posed is called the problem of synthesis of asynchronous mode. The solution to the formulated problem significantly depends on the structure of the average value of the coefficient matrix. In particular, its solution is known for systems with zero average. In addition, solvability conditions were obtained in the case when the matrix under control has zero rows, the averaging of the coefficient matrix is reduced to the form with upper left diagonal block and with zero remaining blocks. In this paper we consider a more general case with a nontrivial left lower block. Assuming an incomplete column rank of the matrix function composed from the rows of oscillation path of the coefficient matrix, we construct the control explicitly. This control switches the system to asynchronous mode.

The purpose of this paper is to give a necessary and sufficient condition in order that the S limit set of a point consists of exactly one periodic orbit which is both S-Lyapunov stable and S-asymptotically stable. The general reference for most terms used in this paper is [2]. In this paper we assume (X, T, r) is a transformation group. X will always be assumed to be a uniform space where the Hausdorff topology in X is induced by the uniformity. T will be assumed to be generative, that is, T is isomorphic to Rm X I X C where R is the additive group of real numbers, I is the additive group of integers, m and n are nonnegative integers, and C is a compact abelian group [4]. S will denote a closed replete semigroup in T. The S-limit set of yEX, Sy, is defined bySv = n te,s Cl (ytS) [1 ]. DEFINITION 1. The orbit of a point yEX is said to be uniformly S-Lyapunov stable with respect to BCX provided that for each index a of X there is an index ,3 of X such that if weEBnyt'13 for some t' E T then wt Eyt'ta for all t E S.

The P-DNP Problem for Infinite Abelian Groups

We use a simplicial product version of Quillen’s Theorem A to prove classical Waldhausen Additivity of \(wS_\bullet \), which says that the “subobject” and “quotient” functors of cofiber sequences induce a weak equivalence \(wS_\bullet {\mathcal {E}}({\mathcal {A}},{\mathcal {C}},{\mathcal {B}}) \rightarrow wS_\bullet {\mathcal {A}}\times wS_\bullet {\mathcal {B}}\). A consequence is Additivity for the Waldhausen K-theory spectrum of the associated split exact sequence, namely a stable equivalence of spectra \({\mathbf {K}}({\mathcal {A}}) \vee {\mathbf {K}}({\mathcal {B}}) \rightarrow {\mathbf {K}}({\mathcal {E}}({\mathcal {A}},{\mathcal {C}},{\mathcal {B}}))\). This paper is dedicated to transferring these proofs to the quasicategorical setting and developing Waldhausen quasicategories and their sequences. We also give sufficient conditions for a split exact sequence to be equivalent to a standard one. These conditions are always satisfied by stable quasicategories, so Waldhausen K-theory sends any split exact sequence of pointed stable quasicategories to a split cofiber sequence. Presentability is not needed. In an effort to make the article self-contained, we recall all the necessary results from the theory of quasicategories, and prove a few quasicategorical results that are not in the literature.

We consider the Brauer group BM'(k, G) of a group G (finite or infinite) over a commutative ring k with identity. A split exact sequence 1 → Br'(k) → BM'(k, G) → Gal(k, G) → 1 is obtained. This generalizes the Frohlich-Wall exact sequence from the case of a field to the case of a commutative ring, and generalizes the Picco-Platzeck exact sequence from the finite case of G to the infinite case of G. Here Br'(k) is the Brauer-Taylor group of Azumaya algebras (not necessarily with unit). The method developed in this paper might provide a key to computing the equivariant Brauer group of an infinite quantum group.

We have already pointed out in Sect.1.5 that Auslander–Reiten quivers provide a threefold information about the representation theory of the quiver, namely the indecomposable representations, the irreducible morphisms, and the almost split sequences—these in turn should be thought of the building blocks of arbitrary representations, morphisms, and short exact sequences, respectively.KeywordsAuslander-Reiten QuiverIndecomposable RepresentationsCoxeter ElementFinite Representation TypePath SectionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

For an Artin Algebra Λ of finite representation type, the category Λ-mod, considered as a ring with several objects, has Krull dimension zero. Contrary, for a wild hereditary Artin Algebra this dimension does not exist. In this paper we show that the Krull dimension of Λ-mod for an Artin Algebra Λ of tame representation type is two. The corresponding Krull-Gabriel filtration by Serre subcategories of the category F of finitely presented contravariant functors on Λ-mod leads to a hierarchy of exact sequences in Λ-mod. Influenced by the functorial approach to almost split sequences by M. Auslander and I. Reiten, we investigate the exact sequences whose corresponding functors become simple in one of the successive quotient categories of the Krull-Gabriel filtration of F.