Semi-Invariants of Symmetric Quivers of Tame Type

A symmetric quiver (Q, σ) is a finite quiver without oriented cycles Q?=?(Q ₀, Q ₁) equipped with a contravariant involution σ on $Q_0\sqcup Q_1$ . The involution allows us to define a nondegenerate bilinear form $\langle -,-\rangle_V$ on a representation V of Q. We shall say that V is orthogonal if $\langle -,-\rangle_V$ is symmetric and symplectic if $\langle -,-\rangle_V$ is skew-symmetric. Moreover, we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if (Q, σ) is a symmetric quiver of tame type then the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type c ^V and, when the matrix defining c ^V is skew-symmetric, by the Pfaffians pf ^V . To prove it, moreover, we describe the symplectic and orthogonal generic decomposition of a symmetric dimension vector.     

Tree Modules and Counting Polynomials

We give a formula for counting tree modules for the quiver S _g with g loops and one vertex in terms of tree modules on its universal cover. This formula, along with work of Helleloid and Rodriguez-Villegas, is used to show that the number of d-dimensional tree modules for S _g is polynomial in g with the same degree and leading coefficient as the counting polynomial $A_{S_g}(d, q)$ for absolutely indecomposables over $\mathbb{F}_q$ , evaluated at q?=?1.     

A lemma on binomial coefficients and applications to Lee weights modulo 2 e of codes over {\mathbb{Z}_4}

In this work, we prove that if C is a free ${\mathbb{Z}_4}$ -module of rank k in ${\mathbb{Z}_4^n}$ , and ${j\in \mathbb{Z}}$ and e ≥ 1, then the number of codewords in C with Lee weight congruent to j modulo 2 ^e is divisible by ${2^{\left \lfloor \large{\frac{k-2^{e-2}}{2^{e-2}}} \right \rfloor}}$ . We prove this result by introducing a lemma and applying the lemma in one of the theorems proved by Wilson. The method used is different than the one used in our previous work on Lee weight enumerators in which more general results were obtained. Moreover, Wilson’s methods are used to prove that the results obtained are sharp by calculating the power of 2 that divides the number of codewords in the trivial code ${\mathbb{Z}_{4}^k}$ with Lee weight congruent to j modulo 2 ^e .     

Suitable families of boxes and kernels of staircase starshaped sets in {\mathbb{R}^d}

Let S be an orthogonal polytope in ${\mathbb{R}^d}$ . There exists a suitable family ${\mathcal{C}}$ of boxes with ${S = \cup \{C : C {\rm in} \mathcal{C}\}}$ such that the following properties hold:

The staircase kernel Ker S is a union of boxes in ${\mathcal{C}}$ . Let ${\mathcal{V}}$ be the family of vertices of boxes in ${\mathcal{C}}$ , and let ${v_o\, \epsilon \mathcal{V}}$ . Point v _o belongs to Ker S if and only if v _o sees via staircase paths in S every point w in ${\mathcal{V}}$ . Moreover, these staircase paths may be selected to consist of edges of boxes in ${\mathcal{C}}$ . Let B be a box in ${\mathcal{C}}$ with vertices of B in Ker S. Box B lies in Ker S if and only if, for some b in rel int B and for every translate H of a coordinate hyperplane at ${b, b \epsilon}$ Ker (H ∩ S). For point p in S, p belongs to Ker S if and only if, for every x in S, there exist some p ? x geodesic λ (p, x) and some corresponding ${\mathcal{C}}$ - chain D containing λ (p, x) such that D is staircase starshaped at p.

     

Maximal Rigid Objects as Noncrossing Bipartite Graphs

We classify the maximal rigid objects of the Σ² τ-orbit category ${\mathcal{C}}(Q)$ of the bounded derived category for the path algebra associated to a Dynkin quiver Q of type A, where τ denotes the Auslander-Reiten translation and Σ² denotes the square of the shift functor, in terms of bipartite noncrossing graphs (with loops) in a circle. We describe the endomorphism algebras of the maximal rigid objects, and we prove that a certain class of these algebras are iterated tilted algebras of type A.     

{\mathbb{G}_a^ M} degeneration of flag varieties

Let ${\mathcal{F}_\lambda}$ be a generalized flag variety of a simple Lie group G embedded into the projectivization of an irreducible G-module V _λ . We define a flat degeneration ${\mathcal{F}_\lambda^a}$ , which is a ${\mathbb{G}^M_a}$ variety. Moreover, there exists a larger group G ^a acting on ${\mathcal{F}_\lambda^a}$ , which is a degeneration of the group G. The group G ^a contains ${\mathbb{G}^M_a}$ as a normal subgroup. If G is of type A, then the degenerate flag varieties can be embedde‘d into the product of Grassmannians and thus to the product of projective spaces. The defining ideal of ${\mathcal{F}_\lambda}$ is generated by the set of degenerate Plücker relations. We prove that the coordinate ring of ${\mathcal{F}_\lambda^a}$ is isomorphic to a direct sum of dual PBW-graded ${\mathfrak{g}}$ -modules. We also prove that there exists bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogs of semistandard tableaux.     

Deligne��s representation theory in complex rank and objects of integral type

Working with Pierre Deligne??s category of representations of the ??symmetric group S _t with t a complex number?? we give negative answers to certain questions on ${\otimes}$ -categories raised by Bruno Kahn and Charles A. Weibel.     

Integrable Representations of Involutive Algebras and Ore Localization

Let ${\mathcal A}$ be a unital algebra equipped with an involution (·)^?, and suppose that the multiplicative set ${\mathcal S}\subseteq {\mathcal A}$ generated by the elements of the form 1?+?a ^? a contains only regular elements and satisfies the Ore condition. We prove that ultracyclic representations of ${\mathcal A}$ admit an integrable extension, and that integrable representations of ${\mathcal A}$ are in bijection with representations of the Ore localization ${\mathcal A}\mathcal S^{-1}$ (which is an involutive algebra). This second result can be understood as a restricted converse to a theorem by Inoue asserting that representations of symmetric involutive algebras are integrable.     

Free meets and atomic assemblies of frames

In J. T. Wilson’s doctoral dissertation, the author takes up the subject of free meets, that is, subsets S of a frame L whose meet ${\bigwedge S}$ is preserved by a designated class of frame homomorphisms out of L. Wilson proves that all subsets of L have free meets if and only if the dual frame law holds in L and the assembly ${\mathbb {N}L}$ is a boolean frame. In this paper, it is shown that a frame L has free meets with an atomic assembly if and only if it is freely generated by its subset of meet-irreducible elements and that poset satisfies the descending chain condition.     

Convergence of symmetric Markov chains on {\mathbb{Z}^d}

For each n let ${Y^{(n)}_t}$ be a continuous time symmetric Markov chain with state space ${n^{-1} \mathbb{Z}^d}$ . Conditions in terms of the conductances are given for the convergence of the ${Y^{(n)}_t}$ to a symmetric Markov process Y _t on ${\mathbb{R}^d}$ . We have weak convergence of $\{{Y^{(n)}_t: t \leq t_0\}}$ for every t ₀ and every starting point. The limit process Y has a continuous part and may also have jumps.     

Module amenability of the second dual and module topological center of semigroup algebras

In this paper we define the module topological center of the second dual $\mathcal{A}^{**}$ of a Banach algebra $\mathcal{A}$ which is a Banach $\mathfrak{A}$ -module with compatible actions on another Banach algebra $\mathfrak{A}$ . We calculate the module topological center of ? ¹(S)^**, as an ? ¹(E)-module, for an inverse semigroup S with an upward directed set of idempotents E. We also prove that ? ¹(S)^** is ? ¹(E)-module amenable if and only if an appropriate group homomorphic image of S is finite.     

Biorthogonal systems based on {2}-inverse with prescribed range and null space

In this paper, the transformations of generating systems of Euclidean space are examined in connection with the 2-inverseA _T,S ⁽²⁾ , S which has prescribed rangeT and null spaceS of their Gram matrices. The biorthogonal systems of the Moore-Penrose inverse and the Drazin inverse are extended to the {2}-inverseA _T,S ⁽²⁾ .     

A Few Comments on the Clifford Algebra {C\ell_2} of the Standard Euclidean Plane

This paper is a continuation of the author’s plenary lecture given at ICCA 9 which was held in Weimar at the Bauhaus University, 15–20 July, 2011. We want to study on both the mathematical and the epistemological levels the thought of the brilliant geometer W. K. Clifford by presenting a few comments on the structure of the Clifford algebra ${C\ell_2}$ associated with the standard Euclidean plane ${\mathbb{R}^2}$ . Miquel’s theorem will be given in the algebraic context of the even Clifford algebra ${C\ell^+_2}$ isomorphic to the real algebra ${\mathbb{C}}$ . The proof of this theorem will be based on the cross ratio (the anharmonic ratio) of four complex numbers. It will lead to a group of homographies of the standard projective line ${\mathbb{C}P^1 = P(\mathbb{C}^2)}$ which appeared so attractive to W. K. Clifford in his overview of a general theory of anharmonics. In conclusion it will be shown how the classical Clifford-Hopf fibration S ¹ → S ³ → S ² leads to the space of spinors ${\mathbb{C}^2}$ of the Euclidean space ${\mathbb{R}^3}$ and to the isomorphism ${{\rm {PU}(1) = \rm {SU}(2)/\{I,-I\} \simeq SO(3)}}$ .     

Projective characters of the infinite generalized symmetric group

We consider the infinite generalized symmetric group S(∞)?? _m ^∞ , introduce its covering $\tilde B_m $ , and describe all indecomposable characters on the group $\tilde B_m $ .     

Young walls and graded dimension formulas for finite quiver Hecke algebras of type A^{(2)}_{2\ell } and D^{(2)}_{\ell +1}

We study graded dimension formulas for finite quiver Hecke algebras \(R^{\Lambda _0}(\beta )\) of type \(A^{(2)}_{2\ell }\) and \(D^{(2)}_{\ell +1}\) using combinatorics of Young walls. We introduce the notion of standard tableaux for proper Young walls and show that the standard tableaux form a graded poset with lattice structure. We next investigate Laurent polynomials associated with proper Young walls and their standard tableaux arising from the Fock space representations consisting of proper Young walls. Then, we prove the graded dimension formulas described in terms of the Laurent polynomials. When evaluating at \(q=1\) , the graded dimension formulas recover the dimension formulas for \(R^{\Lambda _0}(\beta )\) described in terms of standard tableaux of strict partitions.     

A smooth global branch of solutions for a semilinear elliptic equation on {\mathbb{R}^N}

The existence of a global branch of positive spherically symmetric solutions ${\{(\lambda,u(\lambda)):\lambda\in(0,\infty)\}}$ of the semilinear elliptic equation $$\Delta u - \lambda u + V(x)|u|^{p-1}u = 0 \quad \text{in}\,\mathbb{R}^N\,\text{with}\,N\geq3$$ is proved for ${1 < p < 1+\frac{4-2b}{N-2}}$ , where ${b\in(0,2)}$ is such that the radial function V vanishes at infinity like |x|^?b . V is allowed to be singular at the origin but not worse than |x|^?b . The mapping ${\lambda\mapsto u(\lambda)}$ is of class ${C^r((0,\infty),H^1(\mathbb{R}^N))}$ if ${V\in C^r(\mathbb{R}^N\setminus\{0\},\mathbb{R})}$ , for r = 0, 1. Further properties of regularity and decay at infinity of solutions are also established. This work is a natural continuation of previous results by Stuart and the author, concerning the existence of a local branch of solutions of the same equation for values of the bifurcation parameter λ in a right neighbourhood of λ = 0. The variational structure of the equation is deeply exploited and the global continuation is obtained via an implicit function theorem.     

A Liouville theorem for conformal Gaussian curvature type equations in {{\mathbb{R}}^2}

In this paper, we obtain a Liouville type theorem for a class of elliptic equations including the conformal Gaussian curvature equation $$-\Delta u=K(x)e^{2u}\quad {\rm in}\,\, {\mathbb{R}}^2,$$ where K(x) is a H?lder continuous function in ${{\mathbb{R}}^2}$ that does not have a fixed sign near infinity. The main tool in our approach is an asymptotic formula for the solution at infinity and the method of moving planes. We also show how our Liouville theorem can be used to obtain a priori bound for solutions of the prescribing Gaussian curvature equation in S ², namely $$\Delta\, u+K(x)e^{2u}=1\, {\rm in}\, S^2,$$ where K(x) is H?lder continuous and nonnegative in S ² but vanishes on a set with nonempty interior, a case left open in previous research.     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

From the Icosahedron to Natural Triangulations of??P 2 and S 2��S 2

We present two constructions in this paper: (a) a 10-vertex triangulation $\mathbb{C}P^{2}_{10}$ of the complex projective plane ?P ² as a subcomplex of the join of the standard sphere ( $S^{2}_{4}$ ) and the standard real projective plane ( $\mathbb{R}P^{2}_{6}$ , the decahedron), its automorphism group is A ₄; (b) a 12-vertex triangulation (S ²×S ²)₁₂ of S ²×S ² with automorphism group 2S ₅, the Schur double cover of the symmetric group S ₅. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of S ²×S ². Both constructions have surprising and intimate relationships with the icosahedron. It is well known that ?P ² has S ²×S ² as a two-fold branched cover; we construct the triangulation $\mathbb{C}P^{2}_{10}$ of ?P ² by presenting a simplicial realization of this covering map S ²×S ²???P ². The domain of this simplicial map is a simplicial subdivision of the standard cell structure of S ²×S ², different from the triangulation alluded to in (b). This gives a new proof that Kühnel??s $\mathbb{C}P^{2}_{9}$ triangulates ?P ². It is also shown that $\mathbb{C}P^{2}_{10}$ and (S ²×S ²)₁₂ induce the standard piecewise linear structure on ?P ² and S ²×S ² respectively.