Representation dimension and tilting

Let Λ be a finite dimensional k-algebra over an algebraically closed field k and let _ΛT be a splitting tilting module of projective dimension at most 1. Let Γ=End_ΛT. If the representation dimension of Λ is at most 3 then the main result asserts that the representation dimension of Γ does not exceed that of Λ.     

Applications of stratifying systems to the finitistic dimension

Given an Ext-injective stratifying system of Λ-modules satisfying that the projective dimension of Y is finite, we prove that the finitistic dimension of the algebra Λ is equal to the finitistic dimension of the category . Moreover, using the theory of stratifying systems we obtain bounds for the finitistic dimension of Λ. In particular, we get the optimal bound 2n-2 for the finitistic dimension of a standardly stratified algebra with n simples.     

Iyama’s finiteness theorem via strongly quasi-hereditary algebras

Let Λ be an artin algebra and X a finitely generated Λ-module. Iyama has shown that there exists a module Y such that the endomorphism ring Γ of X⊕Y is quasi-hereditary, with a heredity chain of length n, and that the global dimension of Γ is bounded by this n. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length n must have global dimension at most 2n−2. We want to show that Iyama’s better bound is related to the fact that the ring Γ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary. By definition, the left strongly quasi-hereditary algebras are the quasi-hereditary algebras with all standard left modules of projective dimension at most 1.     

The Coxeter polynomial for a one point extension algebra

Let Λ be a finite-dimensional algebra over an algebraically closed field k of finite global dimension. Let M be a finitely generated Λ-module and let $\Gamma =\Lambda [M]$ be the one point extension algebra. We show how to compute the Coxeter polynomial for Γ from the Coxeter polynomial of Λ and homological invariants of M.     

Theta Series of Quaternion Algebras over Function Fields

Let K be the function field over a finite field of odd order, and let H be a definite quaternion algebra over K. If Λ is an order of level M in H, we define theta series for each ideal I of Λ using the reduced norm on H. Using harmonic analysis on the completed algebra H_∞ and the arithmetic of quaternion algebras, we establish a transformation law for these theta series. We also define analogs of the classical Hecke operators and show that in general, the Hecke operators map the theta series to a linear combination of theta series attached to different ideals, a generalization of the classical Eichler Commutation Relation.     

First passage of time-reversible spectrally negative Markov additive processes

We study the first passage process of a spectrally negative Markov additive process (MAP). The focus is on the background Markov chain at the times of the first passage. This process is a Markov chain itself with a transition rate matrix Λ. Assuming time reversibility, we show that all the eigenvalues of Λ are real, with algebraic and geometric multiplicities being the same, which allows us to identify the Jordan normal form of Λ. Furthermore, this fact simplifies the analysis of fluctuations of a MAP. We provide an illustrative example and show that our findings greatly reduce the computational efforts required to obtain Λ in the time-reversible case.     

Higher rank numerical ranges and low rank perturbations of quantum channels

For a positive integer k, the rank-k numerical range Λk(A) of an operator A acting on a Hilbert space H of dimension at least k is the set of scalars λ such that PAP=λP for some rank k orthogonal projection P. In this paper, a close connection between low rank perturbation of an operator A and Λk(A) is established. In particular, for 1?r<k it is shown that Λk(A)⊆Λk−r(A+F) for any operator F with rank(F)?r. In quantum computing, this result implies that a quantum channel with a k-dimensional error correcting code under a perturbation of rank at most r will still have a (k−r)-dimensional error correcting code. Moreover, it is shown that if A is normal or if the dimension of A is finite, then Λk(A) can be obtained as the intersection of Λk−r(A+F) for a collection of rank r operators F. Examples are given to show that the result fails if A is a general operator. The closure and the interior of the convex set Λk(A) are completely determined. Analogous results are obtained for Λ_∞(A) defined as the set of scalars λ such that PAP=λP for an infinite rank orthogonal projection P. It is shown that Λ_∞(A) is the intersection of all Λk(A) for k=1,2,…. If A−μI is not compact for all μ∈C, then the closure and the interior of Λ_∞(A) coincide with those of the essential numerical range of A. The situation for the special case when A−μI is compact for some μ∈C is also studied.     

On the involutions fixing the class of a lattice

With any integral lattice Λ in n-dimensional Euclidean space we associate an elementary abelian 2-group I(Λ) whose elements represent parts of the dual lattice that are similar to Λ. There are corresponding involutions on modular forms for which the theta series of Λ is an eigenform; previous work has focused on this connection. In the present paper I(Λ) is considered as a quotient of some finite 2-subgroup of . We establish upper bounds, depending only on n, for the order of I(Λ), and we study the occurrence of similarities of specific types.     

Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology

In recent work, Belishev and Sharafutdinov show that the generalized Dirichlet to Neumann (DN) operator Λ on a compact Riemannian manifold M with boundary ∂M determines de Rham cohomology groups of M. In this paper, we suppose G is a torus acting by isometries on M. Given X in the Lie algebra of G and the corresponding vector field XM on M, Witten defines an inhomogeneous coboundary operator dXM=d+ιXM on invariant forms on M. The main purpose is to adapt Belishev-Sharafutdinov?s boundary data to invariant forms in terms of the operator dXM in order to investigate to what extent the equivariant topology of a manifold is determined by the corresponding variant of the DN map. We define an operator ΛXM on invariant forms on the boundary which we call the XM-DN map and using this we recover the XM-cohomology groups from the generalized boundary data (∂M,ΛXM). This shows that for a Zariski-open subset of the Lie algebra, ΛXM determines the free part of the relative and absolute equivariant cohomology groups of M. In addition, we partially determine the ring structure of XM-cohomology groups from ΛXM. These results explain to what extent the equivariant topology of the manifold in question is determined by ΛXM.     

Special values of generalized \mathbf{\lambda} functions at imaginary quadratic points

We study a modular function Λ _k,? that is one of generalized λ functions. We show that Λ _k,? and the modular invariant function j generate the modular function field with respect to the modular subgroup Γ ₁(N). Further, we prove that Λ _k,? is integral over Z[j]. From this result we obtain that a value of Λ _k,? at an imaginary quadratic point is an algebraic integer and generates a ray class field over a Hilbert class field.     

The generating rank of the space of short vectors in the Leech lattice mod 2

Consider the partial linear space on the images in Λ/2Λ of the shortest nonzero vectors in the Leech lattice Λ, where the lines are the triples of vectors adding up to zero. We determine the universal embedding dimension and the generating rank of this space (both are 24) and classify its hyperplanes.     

Strong Cosmic Censorship for Surface‐Symmetric Cosmological Spacetimes with Collisionless Matter

This paper addresses strong cosmic censorship for spacetimes with self‐gravitating collisionless matter, evolving from surface‐symmetric compact initial data. The global dynamics exhibit qualitatively different features according to the sign of the curvature k of the symmetric surfaces and the cosmological constant Λ. With a suitable formulation, the question of strong cosmic censorship is settled in the affirmative if Λ=0 or k≤0, Λ > 0. In the case Λ > 0, k=1, we give a detailed geometric characterization of possible “boundary” components of spacetime; the remaining obstruction to showing strong cosmic censorship in this case has to do with the possible formation of extremal Schwarzschild–de Sitter‐type black holes. In the special case that the initial symmetric surfaces are all expanding, strong cosmic censorship is shown in the past for all k,Λ. Finally, our results also lead to a geometric characterization of the future boundary of black hole interiors for the collapse of asymptotically flat data: in particular, in the case of small perturbations of Schwarzschild data, it is shown that these solutions do not exhibit Cauchy horizons emanating from i ⁺ with strictly positive limiting area radius.© 2016 Wiley Periodicals, Inc.     

Isomorphic trivial extensions of finite dimensional algebras

Let Λ be a finite dimensional algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of Λ is zero in Λ. Let T(Λ)=Λ?D(Λ) be the trivial extension of Λ by its minimal injective cogenerator D(Λ). We characterize, in terms of quivers and relations, the algebras Λ^′ such that T(Λ)?T(Λ^′).     

Submodule categories of wild representation type

Let Λ be a commutative local uniserial ring with radical factor field k. We consider the category S(Λ) of embeddings of all possible submodules of finitely generated Λ-modules. In case Λ=Z/〈pⁿ〉, where p is a prime, the problem of classifying the objects in S(Λ), up to isomorphism, has been posed by Garrett Birkhoff in 1934. In this paper we assume that Λ has Loewy length at least seven. We show that S(Λ) is controlled k-wild with a single control object I∈S(Λ). It follows that each finite dimensional k-algebra can be realized as a quotient End(X)/End(X)_I of the endomorphism ring of some object X∈S(Λ) modulo the ideal End(X)_I of all maps which factor through a finite direct sum of copies of I.     

On the dimension of the attractor for a perturbed 3d Ladyzhenskaya model

We consider the so-called Ladyzhenskaya model of incompressible fluid, with an additional artificial smoothing term ?Δ³. We establish the global existence, uniqueness, and regularity of solutions. Finally, we show that there exists an exponential attractor, whose dimension we estimate in terms of the relevant physical quantities, independently of ? > 0.     

Weighted Tensor Product Algorithms for Linear Multivariate Problems

We study the ε-approximation of linear multivariate problems defined over weighted tensor product Hilbert spaces of functions f of d variables. A class of weighted tensor product (WTP) algorithms is defined which depends on a number of parameters. Two classes of permissible information are studied. Λ^all consists of all linear functionals while Λ^std consists of evaluations of f or its derivatives. We show that these multivariate problems are sometimes tractable even with a worst-case assurance. We study problem tractability by investigating when a WTP algorithm is a polynomial-time algorithm, that is, when the minimal number of information evaluations is a polynomial in 1/ε and d. For Λ^all we construct an optimal WTP algorithm and provide a necessary and sufficient condition for tractability in terms of the sequence of weights and the sequence of singular values for d=1. ForΛ^std we obtain a weaker result by constructing a WTP algorithm which is optimal only for some weight sequences.     

Topologie locale des méthodes de Newton cubiques: plan paramétrique

Cubic Newton 's methods are rational maps having three distinct super-attracting fixed points and a single free critical point. They form, up to conjugation, a family N_λ parametrized by Λ = ℂ\{0,±3/2}, and we denote by ℋ₀ the set of λ for which the free critical point of N_λ is in the immediate basin of one of the super-attracting fixed points. In this Note, we show that the boundary of each connected component of ℋ₀ is a Jordan curve. For this, we determine in Λ regions on which the dynamics of N_λ can be described by a fixed combinatorial model.