On the combinatorial rank of a graded braided bialgebra

Let B be a graded braided bialgebra. Let S(B) denote the algebra obtained dividing out B by the two sided ideal generated by homogeneous primitive elements in B of degree at least two. We prove that S(B) is indeed a graded braided bialgebra quotient of B. It is then natural to compute S(S(B)), S(S(S(B))) and so on. This process yields a direct system whose direct limit comes out to be a graded braided bialgebra which is strongly N-graded as a coalgebra. Following V.K. Kharchenko, if the direct system is stationary exactly after n steps, we say that B has combinatorial rank n and we write κ(B)=n. We investigate conditions guaranteeing that κ(B) is finite. In particular, we focus on the case when B is the braided tensor algebra T(V,c) associated to a braided vector space (V,c), providing meaningful examples such that κ(T(V,c))≤1.     

Splitting theorem, Poincaré-Hopf theorem and jumping nonlinear problems

In this paper, we establish a Gromoll-Meyer splitting theorem and a shifting theorem for J∈C^2-0(E,R) and by using the finite-dimensional approximation, mollifiers and Morse theory we generalize the Poincaré-Hopf theorem to J∈C¹(E,R) case. By combining the Poincaré-Hopf theorem and the splitting theorem, we study the existence of multiple solutions for jumping nonlinear elliptic equations.     

Liftings of graded quasi-Hopf algebras with radical of prime codimension

Let p be a prime, and let RG(p) denote the set of equivalence classes of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p. The purpose of this paper is to classify finite dimensional quasi-Hopf algebras A whose radical is a quasi-Hopf ideal and has codimension p; that is, A with gr(A) in RG(p), where gr(A) is the associated graded algebra taken with respect to the radical filtration on A. The main result of this paper is the following theorem: Let A be a finite dimensional quasi-Hopf algebra whose radical is a quasi-Hopf ideal of prime codimension p. Then either A is twist equivalent to a Hopf algebra, or it is twist equivalent to H(2), H_±(p), A(q), or H(32), constructed in [5] and [8]. Note that any finite tensor category whose simple objects are invertible and form a group of order p under tensor is the representation category of a quasi-Hopf algebra A as above. Thus this paper provides a classification of such categories.     

The Poincaré series of a simple complete ideal of a two-dimensional regular local ring

The aim of this work is to introduce both a classical and a motivic Poincaré series associated with a residually rational simple complete m-primary ideal ℘ of a two-dimensional regular local ring (R,m). We describe them in terms of the generators of the value semigroup of ℘, and compare them with the Poincaré series arising from a general element f for ℘.     

Minimal free resolution of the associated graded ring of monomial curves of generalized arithmetic sequences

Let A(C) be the coordinate ring of a monomial curve C⊆Aⁿ corresponding to the numerical semigroup S minimally generated by a sequence a₀,…,a_n. In the literature, little is known about the Betti numbers of the corresponding associated graded ring gr_m(A) with respect to the maximal ideal m of A=A(C). In this paper we characterize the numerical invariants of a minimal free resolution of gr_m(A) in the case a₀,…,a_n is a generalized arithmetic sequence.     

The class semigroup of local one-dimensional domains

Let R be a local one-dimensional domain. We investigate when the class semigroup S(R) of R is a Clifford semigroup. We make use of the Archimedean valuation domains which dominate R, as a main tool to study its class semigroup. We prove that if S(R) is Clifford, then every element of the integral closure of R is quadratic. As a consequence, such an R may be dominated by at most two distinct Archimedean valuation domains, and coincides with their intersection. When S(R) is Clifford, we find conditions for S(R) to be a Boolean semigroup. We derive that R is almost perfect with Boolean class semigroup if, and only if R is stable. We also find results on S(R), through examination of [V/P:R/M] and v(M), where V dominates R, and P, M are the respective maximal ideals.     

On the motivic class of the stack of bundles

Let G be a split connected semisimple group over a field. We give a conjectural formula for the motivic class of the stack of G-bundles over a curve C, in terms of special values of the motivic zeta function of C. The formula is true if C=P¹ or G=SLn. If k=C, upon applying the Poincaré or called the Serre characteristic by some authors the formula reduces to results of Teleman and Atiyah-Bott on the gauge group. If k=Fq, upon applying the counting measure, it reduces to the fact that the Tamagawa number of G over the function field of C is |π₁(G)|.     

Conditional Fredholm determinant for the S-periodic orbits in Hamiltonian systems

For S being a symplectic orthogonal matrix on R2n, the S-periodic orbits in Hamiltonian systems are a solution which satisfies x(0)=Sx(T) for some period T. This paper is devoted to establishing the theory of conditional Fredholm determinant in studying the S-periodic orbits in Hamiltonian systems. First, we study the property of the conditional Fredholm determinant, such as the Fréchet differentiability, the splittingness for the cyclic type symmetric solutions. Also, we generalize the Hill formula originally gotten by Hill and Poincaré. More precisely, let M be the monodromy matrix of the S-periodic orbits, then we get the formula relating the characteristic polynomial of the matrix SM and the conditional Fredhom determinant. Moreover, we study the relation of the conditional Fredholm determinant and the relative Morse index. Applications to the problem of linear stability for the S-periodic orbits are given.     

Degree formulae for offset curves

In this paper, we present three different formulae for computing the degree of the offset of a real irreducible affine plane curve C given implicitly, and we see how these formulae particularize to the case of rational curves. The first formula is based on an auxiliary curve, called S, that is defined depending on a non-empty Zariski open subset of R². The second formula is based on the resultant of the defining polynomial of C, and the polynomial defining generically S. The third formula expresses the offset degree by means of the degree of C and the multiplicity of intersection of C and the hodograph H to C, at their intersection points.     

Universal deformation rings and self-injective Nakayama algebras

Let k be a field and let Λ be an indecomposable finite dimensional k-algebra such that there is a stable equivalence of Morita type between Λ and a self-injective split basic Nakayama algebra over k. We show that every indecomposable finitely generated Λ-module V has a universal deformation ring $R(\mathrm{\Lambda },V)$ and we describe $R(\mathrm{\Lambda },V)$ explicitly as a quotient ring of a power series ring over k in finitely many variables. This result applies in particular to Brauer tree algebras, and hence to p-modular blocks of finite groups with cyclic defect groups.     

Rectilinearization of semi-algebraic p-adic sets and Denef's rationality of Poincaré series

In [R. Cluckers, Classification of semi-algebraic sets up to semi-algebraic bijection, J. Reine Angew. Math. 540 (2001) 105-114], it is shown that a p-adic semi-algebraic set can be partitioned in such a way that each part is semi-algebraically isomorphic to a Cartesian product where the sets R(k) are very basic subsets of Qp. It is suggested in [R. Cluckers, Classification of semi-algebraic sets up to semi-algebraic bijection, J. Reine Angew. Math. 540 (2001) 105-114] that this result can be adapted to become useful to p-adic integration theory, by controlling the Jacobians of the occurring isomorphisms. In this paper we show that the isomorphisms can be chosen in such a way that the valuations of their Jacobians equal the valuations of products of coordinate functions, hence obtaining a kind of explicit p-adic resolution of singularities for semi-algebraic p-adic functions. We do this by restricting the used isomorphisms to a few specific types of functions, and by controlling the order in which they appear. This leads to an alternative proof of the rationality of the Poincaré series associated to the p-adic points on a variety, as proven by Denef in [J. Denef, The rationality of the Poincaré series associated to the p-adic points on a variety, Invent. Math. 77 (1984) 1-23].     

On the codimension of modules over skew power series rings with applications to Iwasawa algebras

The first purpose of this paper is to set up a general notion of skew power series rings S over a coefficient ring R, which are then studied by filtered ring techniques. The second goal is the investigation of the class of S-modules which are finitely generated as R-modules. In the case that S and R are Auslander regular we show in particular that the codimension of M as S-module is one higher than the codimension of M as R-module. Furthermore its class in the Grothendieck group of S-modules of codimension at most one less vanishes, which is in the spirit of the Gersten conjecture for commutative regular local rings. Finally we apply these results to Iwasawa algebras of p-adic Lie groups.     

Linear semigroups with coarsely dense orbits

Let S be a finitely generated abelian semigroup of invertible linear operators on a finite-dimensional real or complex vector space V. We show that every coarsely dense orbit of S is actually dense in V. More generally, if the orbit contains a coarsely dense subset of some open cone C in V, then the closure of the orbit contains the closure of C. In the complex case the orbit is then actually dense in V. For the real case we give precise information about the possible cases for the closure of the orbit.     

The permutation projective dimension of the quaternionic group

Abstract

Let R be a commutative Noetherian local Gorenstein ring with residue field k. We show that G(k), the Gorenstein injective envelope of k, is an artinian R-module, and we compute G(k) in the case where R = k[[S]] is a semigroup ring and S is symmetric. We also show that a certain subring of the endomorphism ring of G(k) is a complete local (but possibly non-commutative) ring.     

The visually distinct configurations of k sets

Two sets of sets, C₀ and C₁, are said to be visually equivalent if there is a 1-1 mapping m from C₀ onto C₁ such that for every S, T?C₀, S ∩ T=0 if and only if m(S)∩ m(T)=0 and S?T if and only if m(S)?m(T). We find estimates for V(k), the number of equivalence classes of this relation on sets of k sets, for finite and infinite k. Our main results are that for finite k, $\text{1}\text{2}\text{k}{}^2\text{-k log k <log V (k)<ak}{}^2\text{+βk+log k}$, where α and β are approximately 0.7255 and 2.5323 respectively, and there is a set N of cardinality $\text{1}\text{2}\text{(k}{}^2\text{+k)}$ such that there are V(k) visually distinct sets of k subsets of N.     

Multi-index Filtrations and Generalized Poincaré Series

A multi-index filtration on the ring of germs of functions can be described by its Poincaré series. We consider a finer invariant (or rather two invariants) of a multi-index filtration than the Poincaré series generalizing the last one. The construction is based on the fact that the Poincaré series can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring of functions. The generalization of the Poincaré series is defined as a similar integral with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity C and for the so called divisorial filtration for a modification of (\Bbb C²,0)({\Bbb C}^2,0) by a sequence of blowing-ups there are given formulae for this generalized Poincaré series in terms of an embedded resolution of the germ C or in terms of the modification respectively. The generalized Euler characteristic of the extended semigroup corresponding to the divisorial filtration is computed giving a curious “motivic version” of an A’Campo type formula.     

The total graph and regular graph of a commutative ring

Let R be a commutative ring. The total graph of R, denoted by T(Γ(R)) is a graph with all elements of R as vertices, and two distinct vertices x,y∈R, are adjacent if and only if x+y∈Z(R), where Z(R) denotes the set of zero-divisors of R. Let regular graph of R, Reg(Γ(R)), be the induced subgraph of T(Γ(R)) on the regular elements of R. Let R be a commutative Noetherian ring and Z(R) is not an ideal. In this paper we show that if T(Γ(R)) is a connected graph, then . Also, we prove that if R is a finite ring, then T(Γ(R)) is a Hamiltonian graph. Finally, we show that if S is a commutative Noetherian ring and Reg(S) is finite, then S is finite.     

Covering shadows with a smaller volume

For n?2 a construction is given for convex bodies K and L in Rn such that the orthogonal projection Lu onto the subspace u^⊥ contains a translate of Ku for every direction u, while the volumes of K and L satisfy Vn(K)>Vn(L).A more general construction is then given for n-dimensional convex bodies K and L such that each orthogonal projection Lξ onto a k-dimensional subspace ξ contains a translate of Kξ, while the mth intrinsic volumes of K and L satisfy Vm(K)>Vm(L) for all m>k.For each k=1,…,n, we then define the collection Cn,k to be the closure (under the Hausdorff topology) of all Blaschke combinations of suitably defined cylinder sets (prisms).It is subsequently shown that, if L∈Cn,k, and if the orthogonal projection Lξ contains a translate of Kξ for every k-dimensional subspace ξ of Rn, then Vn(K)?Vn(L).The families Cn,k, called k-cylinder bodies of Rn, form a strictly increasing chain

Cn,1⊂Cn,2⊂?⊂Cn,n−1⊂Cn,n,     

A note on Roman domination in graphs

Let G=(V,E) be a simple graph. A subset S⊆V is a dominating set of G, if for any vertex u∈V-S, there exists a vertex v∈S such that uv∈E. The domination number of G, γ(G), equals the minimum cardinality of a dominating set. A Roman dominating function on graph G=(V,E) is a function f:V→{0,1,2} satisfying the condition that every vertex v for which f(v)=0 is adjacent to at least one vertex u for which f(u)=2. The weight of a Roman dominating function is the value f(V)=∑_v∈Vf(v). The Roman domination number of a graph G, denoted by γ_R(G), equals the minimum weight of a Roman dominating function on G. In this paper, for any integer k(2?k?γ(G)), we give a characterization of graphs for which γ_R(G)=γ(G)+k, which settles an open problem in [E.J. Cockayne, P.M. Dreyer Jr, S.M. Hedetniemi et al. On Roman domination in graphs, Discrete Math. 278 (2004) 11-22].     

Embedding the bicyclic semigroup into countably compact topological semigroups

We study algebraic and topological properties of topological semigroups containing a copy of the bicyclic semigroup C(p,q). We prove that a topological semigroup S with pseudocompact square contains no dense copy of C(p,q). On the other hand, we construct a (consistent) example of a pseudocompact (countably compact) Tychonoff semigroup containing a copy of C(p,q).