PROJECTIVE REPRESENTATIONS OF QUIVERS

Similar documents
INJECTIVE AND PROJECTIVE PROPERTIES OF REPRESENTATIONS OF QUIVERS WITH n EDGES. Sangwon Park

THE AXIOMS FOR TRIANGULATED CATEGORIES

DIFFERENTIAL POLYNOMIALS GENERATED BY SECOND ORDER LINEAR DIFFERENTIAL EQUATIONS

INTERSECTION THEORY CLASS 17

THE GORENSTEIN DEFECT CATEGORY

Minimum-weight spanning trees

ASSOCIATIVITY DATA IN AN (, 1)-CATEGORY

GROWTH ANALYSIS OF ENTIRE FUNCTIONS OF TWO COMPLEX VARIABLES

Derivation of Some Results on the Generalized Relative Orders of Meromorphic Functions

Essential Microeconomics : EQUILIBRIUM AND EFFICIENCY WITH PRODUCTION Key ideas: Walrasian equilibrium, first and second welfare theorems

SPLITTING OF SHORT EXACT SEQUENCES FOR MODULES. 1. Introduction Let R be a commutative ring. A sequence of R-modules and R-linear maps.

MATH1901 Differential Calculus (Advanced)

Taylor Series and the Mean Value Theorem of Derivatives

Function Composition and Chain Rules

Observability Analysis of Nonlinear Systems Using Pseudo-Linear Transformation

Math Spring 2013 Solutions to Assignment # 3 Completion Date: Wednesday May 15, (1/z) 2 (1/z 1) 2 = lim

We name Functions f (x) or g(x) etc.

General Solution of the Stress Potential Function in Lekhnitskii s Elastic Theory for Anisotropic and Piezoelectric Materials

The tangent line and the velocity problems. The derivative at a point and rates of change. , such as the graph shown below:

CLASSIFICATION OF GROUP EXTENSIONS AND H 2

BARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS

A Peter May Picture Book, Part 1

E E B B. over U is a full subcategory of the fiber of C,D over U. Given [B, B ], and h=θ over V, the Cartesian arrow M=f

( ) x y z. 3 Functions 36. SECTION D Composite Functions

STRONGLY GORENSTEIN PROJECTIVE MODULES OVER UPPER TRIANGULAR MATRIX ARTIN ALGEBRAS. Shanghai , P. R. China. Shanghai , P. R.

Online Appendix for Lerner Symmetry: A Modern Treatment

Computer Derivations of Numerical Differentiation Formulae. Int. J. of Math. Education in Sci. and Tech., V 34, No 2 (March-April 2003), pp

Continuity and Differentiability of the Trigonometric Functions

The Zeckendorf representation and the Golden Sequence

Midterm #1B. x 8 < < x 8 < 11 3 < x < x > x < 5 or 3 2x > 5 2x < 8 2x > 2

OSCILLATION OF SOLUTIONS TO NON-LINEAR DIFFERENCE EQUATIONS WITH SEVERAL ADVANCED ARGUMENTS. Sandra Pinelas and Julio G. Dix

LIMITS AND DERIVATIVES CONDITIONS FOR THE EXISTENCE OF A LIMIT

RELATIVE GOURSAT CATEGORIES

Continuity. Example 1

Math 312 Lecture Notes Modeling

UMS 7/2/14. Nawaz John Sultani. July 12, Abstract

ch (for some fixed positive number c) reaching c

A New Projected Gradient Algorithm for Total Variation Based Image Denoising

A method for solving first order fuzzy differential equation

Function Composition and Chain Rules

4.2 - Richardson Extrapolation

4. The slope of the line 2x 7y = 8 is (a) 2/7 (b) 7/2 (c) 2 (d) 2/7 (e) None of these.

Continuity and Differentiability

Numerical Experiments Using MATLAB: Superconvergence of Nonconforming Finite Element Approximation for Second-Order Elliptic Problems

How to Find the Derivative of a Function: Calculus 1

Continuity and Differentiability Worksheet

A GENERAL CONSTRUCTION OF INTERNAL SHEAVES IN ALGEBRAIC SET THEORY

Math 242: Principles of Analysis Fall 2016 Homework 7 Part B Solutions

Volume 29, Issue 3. Existence of competitive equilibrium in economies with multi-member households

1 Lecture 13: The derivative as a function.

MA455 Manifolds Solutions 1 May 2008

Math 161 (33) - Final exam

Equilibrium and Pareto Efficiency in an exchange economy

Limits and Derivatives

Packing polynomials on multidimensional integer sectors

arxiv: v1 [math.rt] 12 Nov 2017

Finite Difference Formulae for Unequal Sub- Intervals Using Lagrange s Interpolation Formula

Some Results on the Growth Analysis of Entire Functions Using their Maximum Terms and Relative L -orders

Categorical Background (Lecture 2)

Differentiation. introduction to limits

Fall 2014 MAT 375 Numerical Methods. Numerical Differentiation (Chapter 9)

More on generalized inverses of partitioned matrices with Banachiewicz-Schur forms

COMPOSITION OF BINARY QUADRATIC FORMS: FROM GAUSS TO BHARGAVA. 1. Introduction

Classification of effective GKM graphs with combinatorial type K 4

The Nonabelian Tensor Squares and Homological Functors of Some 2-Engel Groups

Integral Calculus, dealing with areas and volumes, and approximate areas under and between curves.

DERIVED CATEGORIES AND THEIR APPLICATIONS

Convexity and Smoothness

A skeleton for the proof of the Yoneda Lemma (working draft)

Global Existence of Classical Solutions for a Class Nonlinear Parabolic Equations

UNIT #6 EXPONENTS, EXPONENTS, AND MORE EXPONENTS REVIEW QUESTIONS

INTRODUCTION TO CALCULUS LIMITS

Tame combings, almost convexity and rewriting systems for groups

Chapter 2 Limits and Continuity. Section 2.1 Rates of Change and Limits (pp ) Section Quick Review 2.1

Conductance from Transmission Probability

Mathematical Theory of the h- and g-index in Case of Fractional Counting of Authorship

MATH CALCULUS I 2.1: Derivatives and Rates of Change

On a continued fraction formula of Wall

Used to estimate energy loss due to friction in pipe. D = internal diameter of pipe (feet) L = length of pipe (feet) Penn State-Harrisburg

A Logic of Injectivity

Monoidal Structures on Higher Categories

A New Class of Zienkiewicz-Type Nonconforming Element in Any Dimensions

Walrasian Equilibrium in an exchange economy

NON-AUTONOMOUS INHOMOGENEOUS BOUNDARY CAUCHY PROBLEMS AND RETARDED EQUATIONS. M. Filali and M. Moussi

282 P. Erdös and C. A. Rogers is te caracteristic function of te set El = U {K +Xi + g}, gea for 1 <i,<n. Suppose 0 < k < N and consider te function r

Central Limit Theorems and Proofs

(4.2) -Richardson Extrapolation

PERTURBATION WITH FUNCTIONS OF THE MONGE-AMPÈRE OPERATOR. = his the classical Feynman-Kac formula

Honors Calculus Midterm Review Packet

Convexity and Smoothness

The Krewe of Caesar Problem. David Gurney. Southeastern Louisiana University. SLU 10541, 500 Western Avenue. Hammond, LA

Chapter 9 - Solved Problems

arxiv: v1 [math.dg] 4 Feb 2015

GELFAND S PROOF OF WIENER S THEOREM

MATH1151 Calculus Test S1 v2a

NUMERICAL DIFFERENTIATION. James T. Smith San Francisco State University. In calculus classes, you compute derivatives algebraically: for example,

University Mathematics 2

1. Questions (a) through (e) refer to the graph of the function f given below. (A) 0 (B) 1 (C) 2 (D) 4 (E) does not exist

Oriented Bivariant Theories, I

Discrete Monogenic Functions in Image processing

Transcription:

IJMMS 31:2 22 97 11 II. S1611712218192 ttp://ijmms.indawi.com Hindawi ublisin Corp. ROJECTIVE RERESENTATIONS OF QUIVERS SANGWON ARK Received 3 Auust 21 We prove tat 2 is a projective representation o a quiver Q = i and only i and 2 are projective let R-modules, is an injection, and 2 is a summand. Ten, 1 2 we eneralize te result so tat a representation M 1 n 2 n 1 M n 1 M n o a quiver Q = is projective representation i and only i eac M i is a projective let R-module and te representation is a direct sum o projective representations. 2 Matematics Subject Classiication: 16E3, 13C11, 16D8. 1. Introduction. A quiver is just a directed rap. We allow multiply edes and edes oin rom a vertex to te same vector. Oriinally a representation o a quiver assined a vertex space to eac vertex and a linear map to eac ede or arrow wit te linear map oin rom te vector space assined to te initial vertex to te one assined to te terminal vertex. For example, a representation o a quiver is V 1 V2. Ten we can deine a morpism o two representations o te same vector. Now, instead o vector spaces we can use let R-modules and also instead o linear maps we can use R-linear maps. In tis paper, we study te properties o projective representations o quivers. Representations o quivers is a new topic in module teory and is recently developed in [1, 2]. Deinition 1.1. A representation 2 o a quiver Q = is sa to be projective i every diaram o representations 2 1.1 can be completed to a commutative diaram as ollows: 2 1.2 Lemma 1.2. I 2 is a projective representation o a quiver Q =, ten and 2 are projective let R-modules.

98 SANGWON ARK roo. Let M and N be let R-modules, α : N an R-linear map, and β : M N an onto R-linear map. Ten, since 2 is a projective representation, we can complete te diaram 2 1.3 α M N as a commutative diaram. Tus is a projective let R-module. Let : 2 N be an R-linear map and let : M N be an onto R-linear map. Ten, since 2 is a projective representation, we can complete te diaram 2 1.4 M M N N as a commutative diaram. Tus 2 is a projective let R-module. Lemma 1.3. I is a projective let R-module, ten a representation o a quiver Q = is a projective representation. roo. Te lemma ollows by completin te diaram 1.5 k as a commutative diaram. Remark 1.4. A representation oaquiverq = is not a projective representation i, because we cannot complete te diaram 1.6 as a commutative diaram. Lemma 1.5. I is a projective let R-module, ten a representation o a quiver Q = is a projective representation.

ROJECTIVE RERESENTATIONS OF QUIVERS 99 roo. Let M 1,, N 1, and be let R-modules and let : M 1 and : N 1 be R-linear maps. Let k : N 1 be an R-linear map and coose k : as an R-linear map. And conser te ollowin diaram: 1.7 k k Ten, since is a projective let R-module, tere exists a map α : M 1. Now coose α : as an R-linear map. Ten α and α complete te above diaram as a commutative diaram. Tereore is a projective representation. 2. Direct sum o projective representations Teorem 2.1. A representation 2 o a quiver Q = is projective i and only i and 2 are projective let R-modules, is an injection, and 2 is a summand. roo. Conser te ollowin diaram: 2 2.1 1 1 Since 2 is a projective representation, we can complete te above diaram as a commutative diaram as ollow: 2 2.2 1 1 Tus = 1. Tereore, 2 2 ker and 1 2 1 ker ker. 2.3 Tis completes te proo. Now let Q = be a quiver wit n vertices and n 1arrows. Ten, we can easily eneralize te results o Lemmas 1.3 and 1.5 as ollows: te

1 SANGWON ARK representations n, n 1 n 1,. 2.4 2 2 2 2, are all projective representations o a quiver Q =,ieac i 1 is a projective let R-module. We can also eneralize Lemma 1.2 so tat i M 1 2 n 1 n M n 1 M n o a quiver Q = is projective representation, ten eac M i is a projective let R-module. 1 2 Teorem 2.2. A representation M 1 M 3 o a quiver Q = is projective i and only i M 1,, and M 3 are projective let R-modules, 1 M 1 is a summand o, and 2 is a summand o M 3. Tat is, M 3 1 2 2 3. 2.5 roo. Te diaram M 1 1 2 M 3 M 1 M 1 2.6 can be completed to a commutative diaram by : M 1 M 1, 21 : M 1, and :M 3. Ten we can et 21 1 = so tat M 1 ker 21.Nowte diaram M 1 1 2 M 3 1 M2 M2 2.7 can be completed to a commutative diaram by 1 : M 1,:, and 32 : M 3. Ten, we can et 32 2 = M2 so tat M 3 Ker 32. Tereore, M 3 Ker 32 M 1 Ker 21 Ker 32.Hence, M 3 1 Tis completes te proo. 2 2 3. 2.8

ROJECTIVE RERESENTATIONS OF QUIVERS 11 1 2 Now, we can easily eneralize Teorem 2.2 so tat a representation M 1 n 2 n 1 M n 1 M n o a quiver Q = is projective representation i and only i eac M i is a projective let R-module and te representation is te direct sum o te ollowin projective representations: n, n 1 n 1,. 2.9 2 2 2 2,. Remark 2.3. Te representations o a quiver Q = :,,. 2.1 are not projective representations i. Acknowledment. Tis work was supported by Korea Science and Enineerin Foundation KOSEF 21-1-12-1-1. Reerences [1] E. E. Enocs and I. Herzo, A omotopy o quiver morpisms wit applications to representations, Canad. J. Mat. 51 1999, no. 2, 294 38. [2] E. E. Enocs, I. Herzo, and S. ark, Cyclic quiver rins and polycyclic-by-inite roup rins, Houston J. Mat. 25 1999, no. 1, 1 13. Sanwon ark: Department o Matematics, Don-A University, usan, 64-714, Korea E-mail address: swpark@mail.dona.ac.kr

Advances in Operations Researc Advances in Decision Sciences Journal o Applied Matematics Alebra Journal o robability and Statistics Te Scientiic World Journal International Journal o Dierential Equations Submit your manuscripts at International Journal o Advances in Combinatorics Matematical ysics Journal o Complex Analysis International Journal o Matematics and Matematical Sciences Matematical roblems in Enineerin Journal o Matematics Discrete Matematics Journal o Discrete Dynamics in Nature and Society Journal o Function Spaces Abstract and Applied Analysis International Journal o Journal o Stocastic Analysis Optimization