Algebra Of Formal Power Series Research Articles

DISCONTINUOUS HOMOMORPHISMS OF WITH

Abstract Assume that M is a transitive model of $ZFC+CH$ containing a simplified $(\omega _1,2)$ -morass, $P\in M$ is the poset adding $\aleph _3$ generic reals and G is P-generic over M. In M we construct a function between sets of terms in the forcing language, that interpreted in $M[G]$ is an $\mathbb R$ -linear order-preserving monomorphism from the finite elements of an ultrapower of the reals, over a non-principal ultrafilter on $\omega $ , into the Esterle algebra of formal power series. Therefore it is consistent that $2^{\aleph _0}>\aleph _2$ and, for any infinite compact Hausdorff space X, there exists a discontinuous homomorphism of $C(X)$ , the algebra of continuous real-valued functions on X.

ORTHOGONAL SYSTEMS AND PERMUTATION POLYNOMIAL VECTORS OVER MODULAR ALGEBRAS

Known results on orthogonal systems and permutation polynomials vectors over finite fields are extended to modular algebras of the form Lν = K[X]/(p(X)ν ), where K is a finite field, p(X) ∈ K[X] is an irreducible polynomial, ν = 1, 2, . . ., and to the algebra of formal power series L[[Z]], where L1 = K[X]/(p(X)) = L.

Free limits of free algebras

Consider a diagram ⋯→F3→F2→F1 of algebraic systems, where Fn denotes the free object on n generators and the connecting maps send the extra generator to some distinguished trivial element. We prove that (a) if the Fi are free associative algebras over a fixed field then the limit in the category of graded algebras is again free on a set of homogeneous generators; (b) on the other hand, the limit in the category of associative (ungraded) algebras is a free formal power series algebra on a set of homogeneous elements, and (c) if the Fi are free Lie algebras then the limit in the category of graded Lie algebras is again free.

Topological Manin pairs and (n,s)-type series

Lie subalgebras of L = {mathfrak {g}}(!(x)!) times {mathfrak {g}}[x]/x^n{mathfrak {g}}[x] , complementary to the diagonal embedding Delta of {mathfrak {g}}[![x]!] and Lagrangian with respect to some particular form, are in bijection with formal classical r-matrices and topological Lie bialgebra structures on the Lie algebra of formal power series {mathfrak {g}}[![x]!] . In this work we consider arbitrary subspaces of L complementary to Delta and associate them with so-called series of type (n, s) . We prove that Lagrangian subspaces are in bijection with skew-symmetric (n, s) -type series and topological quasi-Lie bialgebra structures on {mathfrak {g}}[![x]!] . Using the classificaiton of Manin pairs we classify up to twisting and coordinate transformations all quasi-Lie bialgebra structures. Series of type (n, s) , solving the generalized classical Yang-Baxter equation, correspond to subalgebras of L. We discuss their possible utility in the theory of integrable systems.

The structure group for quasi-linear equations via universal enveloping algebras

We replace trees by multi-indices as an index set of the abstract model space to tackle quasi-linear singular stochastic partial differential equations. We show that this approach is consistent with the postulates of regularity structures when it comes to the structure group, which arises from a Hopf algebra and a comodule. Our approach, where the dual of the abstract model space naturally embeds into a formal power series algebra, allows to interpret the structure group as a Lie group arising from a Lie algebra consisting of derivations on this power series algebra. These derivations in turn are the infinitesimal generators of two actions on the space of pairs (non-linearities, functions of space-time mod constants). We also argue that there exist pre-Lie algebra and Hopf algebra morphisms between our structure and the tree-based one in the cases of branched rough paths (Grossman-Larson, Connes-Kreimer) and of the stochastic heat equation.

Quantum queer supergroups via υ-differential operators

By using certain quantum differential operators, we construct a super representation for the quantum queer supergroup Uυ(qn). The underlying space of this representation is a deformed polynomial superalgebra in 2n2 variables whose homogeneous components can be used as the underlying spaces of queer q-Schur superalgebras. We then extend the representation to its formal power series algebra which contains a (super) submodule isomorphic to the regular representation of Uυ(qn). A monomial basis M for Uυ(qn) plays a key role in proving the isomorphism. In this way, we may present the quantum queer supergroup Uυ(qn) by another new basis L together with some explicit multiplication formulas by the generators. As an application, similar presentations are obtained for queer q-Schur superalgebras via the above mentioned homogeneous components.The existence of the bases M and L and the new presentation show that the seminal construction of quantum gln established by Beilinson–Lusztig–MacPherson thirty years ago extends to this “queer” quantum supergroup via a completely different approach.

On the Cumulants of the First Passage Time of the Inhomogeneous Geometric Brownian Motion

We consider the problem of the first passage time T of an inhomogeneous geometric Brownian motion through a constant threshold, for which only limited results are available in the literature. In the case of a strong positive drift, we get an approximation of the cumulants of T of any order using the algebra of formal power series applied to an asymptotic expansion of its Laplace transform. The interest in the cumulants is due to their connection with moments and the accounting of some statistical properties of the density of T like skewness and kurtosis. Some case studies coming from neuronal modeling with reversal potential and mean reversion models of financial markets show the goodness of the approximation of the first moment of T. However hints on the evaluation of higher order moments are also given, together with considerations on the numerical performance of the method.

Potentials for some tensor algebras

This paper generalizes former works of Derksen, Weyman and Zelevinsky about quivers with potentials. We consider semisimple finite-dimensional algebras E over a field F, such that E⊗FEop is semisimple. We assume that E contains a certain type of F-basis which is a generalization of a multiplicative basis. We study potentials belonging to the algebra of formal power series, with coefficients in the tensor algebra over E, of any finite-dimensional E-E-bimodule on which F acts centrally. In this case, we introduce a cyclic derivative and to each potential we associate a Jacobian ideal. Finally, we develop a mutation theory of potentials, which in the case that the bimodule is Z-free, it behaves as the quiver case; but allows us to obtain realizations of a certain class of skew-symmetrizable integer matrices.

A cumulant approach for the first-passage-time problem of the Feller square-root process

The paper focuses on an approximation of the first passage time probability density function of a Feller stochastic process by using cumulants and a Laguerre-Gamma polynomial approximation. The feasibility of the method relies on closed form formulae for cumulants and moments recovered from the Laplace transform of the probability density function and using the algebra of formal power series. To improve the approximation, sufficient conditions on cumulants are stated. The resulting procedure is made easier to implement by the symbolic calculus and a rational choice of the polynomial degree depending on skewness, kurtosis and hyperskewness. Some case studies coming from neuronal and financial fields show the goodness of the approximation even for a low number of terms. Open problems are addressed at the end of the paper.

The regular representation of 𝑈_{𝜐}(𝔤𝔩_{𝔪|𝔫})

Using quantum differential operators, we construct a super representation of U υ ( g l m | n ) U_{\boldsymbol {\upsilon }}(\mathfrak {gl}_{m|n}) on a certain polynomial superalgebra. We then extend the representation to its formal power series algebra which contains a U υ ( g l m | n ) U_{\boldsymbol {\upsilon }}(\mathfrak {gl}_{m|n}) -submodule isomorphic to the regular representation of U υ ( g l m | n ) U_{\boldsymbol {\upsilon }}(\mathfrak {gl}_{m|n}) . In this way, we obtain a presentation of U υ ( g l m | n ) U_{\boldsymbol {\upsilon }}(\mathfrak {gl}_{m|n}) by a basis together with explicit multiplication formulas of the basis elements by generators.

The Laurent Coefficients of the Hilbert Series of a Gorenstein Algebra

By a theorem of R. Stanley, a graded Cohen-Macaulay domain A is Gorenstein if and only if its Hilbert series satisfies the functional equation:where, d is the Krull dimension and a is the -invariant of A. We reformulate this functional equation in terms of an infinite system of linear constraints on the Laurent coefficients of at t = 1. The main idea consists of examining the graded algebra of formal power series in the variable x that fulfill the condition . As a byproduct, we derive quadratic and cubic relations for the Bernoulli numbers. The cubic relations have a natural interpretation in terms of coefficients of the Euler polynomials. For the special case of degree these results have been investigated previously by the authors and involved merely even Euler polynomials. A link to the work of Gould and Carlitz on power sums of symmetric number triangles is established.

On images of locally finite derivations and [formula omitted]-derivations

Some cases of the LFED Conjecture, proposed by the second author [15], for certain integral domains are proved. In particular, the LFED Conjecture is completely established for the field of fractions k(x) of the polynomial algebra k[x], the formal power series algebra k[[x]] and the Laurent formal power series algebra k[[x]][x−1], where x=(x1,x2,…,xn) denotes n commutative free variables and k a field of characteristic zero. Furthermore, the relation between the LFED Conjecture and the Duistermaat–van der Kallen Theorem [3] is also discussed and emphasized.

On the Kontsevich ★-product associativity mechanism

The deformation quantization by Kontsevich [arXiv:q-alg/9709040] is a way to construct an associative noncommutative star-product $\star=\times+\hbar \{\ ,\ \}_{P}+\bar{o}(\hbar)$ in the algebra of formal power series in $\hbar$ on a given finite-dimensional affine Poisson manifold: here $\times$ is the usual multiplication, $\{\ ,\ \}_{P}\neq0$ is the Poisson bracket, and $\hbar$ is the deformation parameter. The product $\star$ is assembled at all powers $\hbar^{k\geq0}$ via summation over a certain set of weighted graphs with $k+2$ vertices; for each $k>0$, every such graph connects the two co-multiples of $\star$ using $k$ copies of $\{\ ,\ \}_{P}$. Cattaneo and Felder [ arXiv:math/9902090 [math.QA] ] interpreted these topological portraits as the genuine Feynman diagrams in the Ikeda-Izawa model [arXiv:hep-th/9312059] for quantum gravity. By expanding the star-product up to $\bar{o}(\hbar^3)$, i.e., with respect to graphs with at most five vertices but possibly containing loops, we illustrate the mechanism Assoc = Operator(Poisson) that converts the Jacobi identity for the bracket $\{\ ,\ \}_{P}$ into the associativity of $\star$. Key words: Deformation quantization, associative algebra, Poisson bracket, graph complex, star-product PACS: 02.40.Sf, 02.10.Ox, 02.40.Gh, also 04.60.-m

Hochschild cohomology of reduced incidence algebras

We compute the continuous Hochschild cohomology of four reduced incidence algebras: the algebra of formal power series, the algebra of exponential power series, the algebra of Eulerian power series, and the algebra of formal Dirichlet series. We achieve the result by carrying out the computation for the coalgebra Cotor-groups of their pre-dual coalgebras.

On compositions with 𝑥²/(1-𝑥)

In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called symplectic. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series x 2 / ( 1 − x ) x^2/(1-x) . Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent Möbius transformation x ↦ x / ( x − 1 ) x\mapsto x/(x-1) . It follows that the Hilbert series of a graded Cohen-Macaulay algebra A A is symplectic if and only if A A is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.

The Heisenberg envelope for the Hochschild algebra of a finite-dimensional lie algebra

We consider some kind of Hopf algebra assigned to any finite-dimensional Lie algebra. This algebra was pointed out by Hochschild. We prove several statements on its embeddings into an algebra of formal power series. In particular, we obtain similar results for Lie algebras. More precisely, a Lie algebra can be embedded into a Lie algebra of special derivations with coefficients in rational functions in (quasi)polynomials.

Paradigm of Max-Factor and finite-dimensional representation of Lie algebras

An isomorphism between the algebra of formal power series and the dual space to the universal enveloping Lie algebra is constructed. This isomorphism maps the maximal locally finite-dimensional submodule to the preimage of the algebra of rational functions under the Borel transform.

On exponentials of exponential generating series

Identifying the algebra of exponential generating series with the shuffle algebra of formal power series, one can define an exponential map ${\mathop{exp}}_!:X\mathbb K[[X]]\longrightarrow 1+X\mathbb K[[X]]$ for the associated Lie group formed by exponential generating series with constant coefficient $1$ over an arbitrary field $\mathbb K$. The main result of this paper states that the map ${\mathop{exp}}_!$ (and its inverse map ${\mathop{log}}_!$) induces a bijection between rational, respectively algebraic, series in $X\mathbb K [[X]]$ and $1+X\mathbb K[[X]]$ if the field $\mathbb K$ is a subfield of the algebraically closed field $\overline{\mathbb F}_p$ of characteristic $p$.

Lifting Central Invariants of Quantized Hamiltonian Actions

Let G be a connected reductive group over an algebraically closed field K of characteristic 0, X an affine symplectic variety equipped with a Hamiltonian action of G. Further, let * be a G-invariant Fedosov star-product on X such that the Hamiltonian action is quantized. We establish an isomorphism between the center of the associative algebra K[X][[h]]^G and the algebra of formal power series with coefficients in the Poisson center of K[X]^G.

NONCOMMUTATIVE SYMMETRIC FUNCTIONS AND THE INVERSION PROBLEM

Let K be any unital commutative ℚ-algebra and z = (z1, z2, …, zn) commutative or noncommutative variables. Let t be a formal central parameter and K[[t]]〈〈z〉〉 the formal power series algebra of z over K[[t]]. In [29], for each automorphism Ft(z) = z - Ht(z) of K[[t]]〈〈z〉〉 with Ht=0(z) = 0 and o(H(z)) ≥ 1, a [Formula: see text] (noncommutative symmetric) system [28] ΩFthas been constructed. Consequently, we get a Hopf algebra homomorphism [Formula: see text] from the Hopf algebra [Formula: see text] [9] of NCSFs (noncommutative symmetric functions). In this paper, we first give a list for the identities between any two sequences of differential operators in the [Formula: see text] system ΩFtby using some identities of NCSFs derived in [9] and the homomorphism [Formula: see text]. Secondly, we apply these identities to derive some formulas in terms of differential operator in the system ΩFtfor the Taylor series expansions of u(Ft) and [Formula: see text]; the D-Log and the formal flow of Ftand inversion formulas for the inverse map of Ft. Finally, we discuss a connection of the well-known Jacobian conjecture with NCSFs.