TENSOR PRODUCT IN CATEGORY O κ.
|
|
- Brenda Rogers
- 5 years ago
- Views:
Transcription
1 TENSOR PRODUCT IN CATEGORY O κ. GIORGIA FORTUNA Let V 1,..., V n be ĝ κ -modules. Today we will construct a new object V 1 V n in O κ that plays the role of the usual tensor product. Unfortunately in fact V 1 V n is not in O κ (has already the wrong central charge nκ and moreover does not have reasonable finiteness properties. Before starting we will recall the main objects we are going to use. 1. Recap of definitions If S = {x 0,..., x n } is a finite set, we denote by ĝ κ S the Lie algebra fitting into the exact sequence 0 C ĝ κ S n i=0g((t i 0, corresponding to the quotient of ĝ κ ĝ }{{ κ by Ker(C } n+1 C. Note (n+1 times that for any collection of ĝ κ -modules V 1,..., V n, the tensor product V 1 V n carries a natural ĝ S κ -action (with central charge κ coming from the natural action of (ĝ κ S on it (in other words this action factors through the kernel of the map from C n+1 to C. Let now C be a connected projective curve isomorphic to P 1, and take a collection of n + 1 points S = {x 0,..., x n } on it. Assume that for every point x i in S, we are given charts γ i : P 1 C, such that γ i (0 = x i. If Γ(C {x 0,..., x n } is the algebra of regular functions on C {x 0,..., x n }, for any f Γ(C {x 0,..., x n } we denote by x i f the expansion at 0 of the rational function f γ i. From now on we will however focus on the case x 0 =, i.e. S = {, x 1,..., x n }. We will denote by ĝ κ,out the Lie algebra ĝ κ,out := Γ(P 1 {, x 1,..., x n } g. Remark 1. For f g ĝ κ,out, g g, the series Taylor expansion at each point in S gives a well defined map ĝ κ,out n i=0g((t i, Date: October 4,
2 2 GIORGIA FORTUNA moreover, because of the residue theorem, the above map lifts to a maps 0 C ĝ κ S n i=0 g((t i 0 ĝ κ,out hence the ĝ κ S -module structure on V 1 V n we introduced before, naturally gives a ĝ κ,out -action on this tensor product. 2. Existence of the tensor product Let S be the collection of points {, x 1,..., x n } and let V 1,..., V n be ĝ κ -modules. We will now construct the tensor product V 1 V n of these modules. One main property that we would like V 1 V n to satisfy is the following: < X, V 1 V n >= (X V 1 V n ĝκ,out, where the action of ĝ κ,out on the tensor product is the one coming from the ĝ κ S -action that we discussed before. By dualizing and rephrasing the expression above (using the fact that Hom Oκ (V, D(V =< V, V > this is equivalent to requiring Hom Oκ (X, D(V 1 V n = ((X V 1 V n ĝκ,out, hence to find such an object, it is enough to show that the functor is representable. F V1,...,V n : O op κ Vect X ((X V 1 V n ĝκ,out, Vect defined above is repre- Proposition 1. The functor F V1,...,V n : O op κ sentable by an element O κ. Proof. First of all we will show that F is left exact. Lemma 1. The functor defined above preserves finite limits (i.e. exact. is left Proof. First of all since finite limits in O op κ are finite colimits in O κ what we want to show is that if X = lim X I i, for a finite I, then ((lim X I i V 1 V n ĝκ,out = lim((x I i V 1 V n ĝκ,out. However, since right (resp. left exact functors commutes with finite colimits (resp. limits, and since tensor product and taking invariants are right exact,
3 we immediately get the equality: ( (lim I (lim I TENSOR PRODUCT IN CATEGORY O κ. 3 X i V 1 V n = lim(x I i V 1 V n (X i V 1 V n ĝκ,out = lim ((X I i V 1 V n ĝκ,out ( = lim (Xi V 1 V n ĝκ,out. I lim ((X i V 1 V n ĝκ,out I By a general theorem in category theory (see [B] and by Proposition 1, we know that F V1,...,V n is the inductive limit of representable functors, in other words it has the form: (1 F V1,...,V n ( = lim Hom I Oκ (, i, where i O κ. Moreover, since we are working in category O κ, we can rewrite (1 as In fact the following is true: Hom KLκ (, lim I i. Lemma 2. The category of KL κ -modules is the ind-completion of the category O κ. In other words (1 Objects in O κ are compact in KL κ. (2 Every object of KL κ is a filtred colimit of objects of O κ. Proof. Recall that we defined the category of KL κ -modules as the category of those ĝ κ -modules V such that: (1 V is smooth. (2 The action of tg[[t]] is locally nilpotent. (3 The action of g is locally finite. This is an abelian category and contains the abelian category O κ consisting of those modules V that are finitely generated. For part (1, if X is in O κ and lim A I i is a filtered colimit of objects A i KL κ, then the natural map lim Hom Oκ (X, A i Homĝκ mod(x, lim A I i I is an isomorphism. This follows from a general fact in category theory that asserts that a module is finitely presented if and only if Hom(X, commutes with filtered colimits. Since objects in O κ are finitely generated, and the category is noetherian, in particular they are finitely presented. Now if V
4 4 GIORGIA FORTUNA is a KL κ module, to prove part (2, we only have to show that V can be written as V = i V i, V i O κ. However every element v V we can simply consider the submodule W generated by this vector. By definition W is finitely generated, hence is in O κ. From the previous Lemma we know that F V1,...,V n is hence represented by a KL κ -module := lim I i. Now we want to show that is in O κ. To do this it is sufficient to show that Since (1 = ( tg[[t]] is finite dimensional. (1 = λ Λ + Homĝκ mod(v κ λ, M V1,...,Vn, (where Vλ κ denotes the Weyl module it is enough to show that only for finitely many λ s, Homĝκ mod(vλ κ, is non zero and moreover is finite dimensional. However, by definition we have Homĝκ mod(vλ κ, = ((Vλ κ V 1 V n ĝκ,out. Hence we want to show that ((Vλ κ V 1 V n ĝκ,out is finite dimensional. Because of the right exactness of tensor product and coinvariants, it λ Λ + is enough to show it in the case V i = Ni κ, where N i κ = Indĝκ g[[t]]+c N i, with dim(n i < ( every v O κ admits a surjection from such a module. In this case we have: (2 ((V κ λ N κ 2 N κ n ĝκ,out ((V λ N 2 N n g, and the last is by definition Hom g (V λ N 2 N n which is finite dimensional. Moreover, since only finitely many λ s can appear in the composition series of (N 2 N n we have that the sum over all dominant λ s is indeed a finite sum and we are done. Note that in the proof above we have used the following fact (proved in Sasha s notes: Proposition 2. For N κ i = Indĝκ g[[t]]+c N i, i = 1,..., n we have (N κ 1 N κ 2 N κ n ĝκ,out (N 1 N 2 N n g.
5 TENSOR PRODUCT IN CATEGORY O κ explicit construction of the tensor product Unfortunately what we have constructed is not quite the object V 1 V n that we wanted, but it is its dual. Moreover we don t have an explicit description of that allows us to take the dual. Hence we will now recover from the representability property. Proposition 3. The tensor product V 1 V n is equal to ( V 1 V n := D( = lim m (V 1 V n # G(m where G(m is the right ideal generated by those elements in U(ĝ κ,out of the form (f 1 c 1 (f m c m, with f i functions with zeros of order at least 1 Proof. To prove the proposition, we will first describe the module using the functor it represents. It would be nice to say that = Hom Oκ (U(ĝ κ, but unfortunately U(ĝ κ is not in our category. However we can take the pro-object lim U(ĝ κ /U(ĝ κ (tg i (tg m + U(ĝ κ J, where J runs over all left ideals in U(g of finite codimension. int, In fact Û(ĝ κ = lim U(ĝ κ and maps from Û(ĝ κ to a module V KL κ are by definition the same as maps from U(ĝ κ to it. Moreover if we denote by U(ĝ κ the term U(ĝ κ := U(ĝ κ /U(ĝ κ (tg i (tg m + U(ĝ κ J, then U(ĝ κ is in our category. Now we can see how looks like: = Homĝκ mod( lim U(ĝ κ, = lim Hom Oκ (U(ĝ κ, = lim((u(ĝ κ V 1 V n ĝκ,out = lim((v 1 V n G(m+J, where G(m is the right ideal generated by those elements in U(ĝ κ,out of the form (f 1 c 1 (f m c m, with f i functions with poles of order at least 1, and where J runs over the right ideals generated by the ideals of finite codimension in U(g. As we said before the module corresponds to the dual of the sought for V 1 V n. Hence to recover the definition of V 1 V n we need to compute D(. Recall that D(V := (V int. When we take
6 6 GIORGIA FORTUNA the dual we have: ( = Hom(lim((V 1 V n G(m+J, C = = lim((v 1 V n G(m+J. Lemma 3. The vector space (V 1 V n G(m+J is finite dimensional. Proof. This follows from the fact that is in O κ, hence in particular (m is finite dimensional. In fact we have the following injection into (m (m Hom(U(ĝ κ, = ((V 2 V n G(m+J hence ((V 1 V n G(m+J is finite dimensional too, which implies the lemma. Because of Lemma 3 we have ( = lim((v 1 V n G(m+J lim(v 1 V n G(m+J. Note that elements in U(g stabilize the ideal G(m, hence we can consider (V 1 V n G(m as a g-module and compute coinvariants in two steps: lim m+j (V 1 V n G(m+J = lim m lim J ((V 1 V n G(m J. The last term is equal to lim m (V 1 V n G(m since by the proposition below, also (V 1 V n G(m happens to be finite dimensional. Hence we have ( = lim m (V 1 V n G(m. applying and taking integrable vectors, now gives us ( V 1 V n = D( = lim(v 1 V n # G(m m as we wanted. Note that this definition coincides with the one that is given in [KL] Section 4. Proposition 4. For every V 2,..., V n in O κ the vector space is finite dimensional. (V 1 V n G(m Proof. Since the object (V 1 V n G(m is acted on by g integrably, it s enough to show that for every λ, the space of coinvariants ((V 1 V n G(m V λ g int,
7 TENSOR PRODUCT IN CATEGORY O κ. 7 are finite-dimensional, and non-zero for only finitely many λ s. In fact this would imply that ((V 1 V n G(m Hom g ((V 1 V n G(m, V λ Vλ λ is finite dimensional. Let J λ U(g be such that U(g/J λ = V λ. Consider the corresponding object U(ĝ κ λ. Then However ((V 1 V n G(m V λ g (U(ĝ κ λ V 1 V n ĝκ,out. ((U(ĝ κ λ V 1 V n ĝκ,out = Hom Oκ (U(ĝ κ λ, = = Hom(V λ, M(m, which is finite-dimensional and non-zero for only finitely many λ s since is in O κ (hence (m is finite dimensional. References [B] F. Borceux, Handbook of Categorical Algebra: Basic category theory. [KL] D. Kazhdan, G. Lusztig, Tensor Structures Arising from Affine Lie Algebras. I, JAMS, Vol 6, Num. 4, October 1993.
New tools of set-theoretic homological algebra and their applications to modules
New tools of set-theoretic homological algebra and their applications to modules Jan Trlifaj Univerzita Karlova, Praha Workshop on infinite-dimensional representations of finite dimensional algebras Manchester,
More informationGödel algebras free over finite distributive lattices
TANCL, Oxford, August 4-9, 2007 1 Gödel algebras free over finite distributive lattices Stefano Aguzzoli Brunella Gerla Vincenzo Marra D.S.I. D.I.COM. D.I.C.O. University of Milano University of Insubria
More informationDAY I, TALK 5: GLOBAL QUANTUM THEORY (GL-3)
DAY I, TALK 5: GLOBAL QUANTUM THEORY (GL-3) D. ARINKIN Contents 1. Global Langlands Correspondence 1 1.1. Formulation of the global correspondence 1 1.2. Classical limit 2 1.3. Aside: Class field theory
More informationLaurence Boxer and Ismet KARACA
SOME PROPERTIES OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we study digital versions of some properties of covering spaces from algebraic topology. We correct and
More informationRational points of Abelian varieties in \Gamma-extension
is Rational points of Abelian varieties in \Gamma-extension By Hideji ITO Let K be an algebraic number field, and L/K the \Gamma-extension associated to the rational prime p We put, and denote by \Gamma_{n}=\Gamma^{p^{n}}
More informationDENSITY OF PERIODIC GEODESICS IN THE UNIT TANGENT BUNDLE OF A COMPACT HYPERBOLIC SURFACE
DENSITY OF PERIODIC GEODESICS IN THE UNIT TANGENT BUNDLE OF A COMPACT HYPERBOLIC SURFACE Marcos Salvai FaMAF, Ciudad Universitaria, 5000 Córdoba, Argentina. e-mail: salvai@mate.uncor.edu Abstract Let S
More informationCARDINALITIES OF RESIDUE FIELDS OF NOETHERIAN INTEGRAL DOMAINS
CARDINALITIES OF RESIDUE FIELDS OF NOETHERIAN INTEGRAL DOMAINS KEITH A. KEARNES AND GREG OMAN Abstract. We determine the relationship between the cardinality of a Noetherian integral domain and the cardinality
More informationCovering properties of derived models
University of California, Irvine June 16, 2015 Outline Background Inaccessible limits of Woodin cardinals Weakly compact limits of Woodin cardinals Let L denote Gödel s constructible universe. Weak covering
More informationCATEGORIES OF MODULES OVER AN AFFINE KAC MOODY ALGEBRA AND FINITENESS OF THE KAZHDAN LUSZTIG TENSOR PRODUCT
CATEGORIES OF MODULES OVER AN AFFINE KAC MOODY ALGEBRA AND FINITENESS OF THE KAZHDAN LUSZTIG TENSOR PRODUCT MILEN YAKIMOV Abstract. To each category C of modules of finite length over a complex simple
More informationFair semigroups. Valdis Laan. University of Tartu, Estonia. (Joint research with László Márki) 1/19
Fair semigroups Valdis Laan University of Tartu, Estonia (Joint research with László Márki) 1/19 A semigroup S is called factorisable if ( s S)( x, y S) s = xy. 2/19 A semigroup S is called factorisable
More informationTHE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET
THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET MICHAEL PINSKER Abstract. We calculate the number of unary clones (submonoids of the full transformation monoid) containing the
More informationLaurence Boxer and Ismet KARACA
THE CLASSIFICATION OF DIGITAL COVERING SPACES Laurence Boxer and Ismet KARACA Abstract. In this paper we classify digital covering spaces using the conjugacy class corresponding to a digital covering space.
More informationEISENSTEIN SERIES AND QUANTUM GROUPS
EISENSTEIN SERIES AND QUANTUM GROUPS D. GAITSGORY To V. Schechtman, with admiration Abstract. We sketch a proof of a conjecture of [FFKM] that relates the geometric Eisenstein series sheaf with semi-infinite
More informationPURITY IN IDEAL LATTICES. Abstract.
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLV, s.i a, Matematică, 1999, f.1. PURITY IN IDEAL LATTICES BY GRIGORE CĂLUGĂREANU Abstract. In [4] T. HEAD gave a general definition of purity
More informationNotes on the symmetric group
Notes on the symmetric group 1 Computations in the symmetric group Recall that, given a set X, the set S X of all bijections from X to itself (or, more briefly, permutations of X) is group under function
More informationON THE QUOTIENT SHAPES OF VECTORIAL SPACES. Nikica Uglešić
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 21 = 532 (2017): 179-203 DOI: http://doi.org/10.21857/mzvkptxze9 ON THE QUOTIENT SHAPES OF VECTORIAL SPACES Nikica Uglešić To my Master teacher Sibe Mardešić - with
More informationAlgebra homework 8 Homomorphisms, isomorphisms
MATH-UA.343.005 T.A. Louis Guigo Algebra homework 8 Homomorphisms, isomorphisms For every n 1 we denote by S n the n-th symmetric group. Exercise 1. Consider the following permutations: ( ) ( 1 2 3 4 5
More informationCharacterizing large cardinals in terms of layered partial orders
Characterizing large cardinals in terms of layered partial orders Philipp Moritz Lücke Joint work with Sean D. Cox (VCU Richmond) Mathematisches Institut Rheinische Friedrich-Wilhelms-Universität Bonn
More information4: SINGLE-PERIOD MARKET MODELS
4: SINGLE-PERIOD MARKET MODELS Marek Rutkowski School of Mathematics and Statistics University of Sydney Semester 2, 2016 M. Rutkowski (USydney) Slides 4: Single-Period Market Models 1 / 87 General Single-Period
More informationSEMICENTRAL IDEMPOTENTS IN A RING
J. Korean Math. Soc. 51 (2014), No. 3, pp. 463 472 http://dx.doi.org/10.4134/jkms.2014.51.3.463 SEMICENTRAL IDEMPOTENTS IN A RING Juncheol Han, Yang Lee, and Sangwon Park Abstract. Let R be a ring with
More informationChain conditions, layered partial orders and weak compactness
Chain conditions, layered partial orders and weak compactness Philipp Moritz Lücke Joint work with Sean D. Cox (VCU Richmond) Mathematisches Institut Rheinische Friedrich-Wilhelms-Universität Bonn http://www.math.uni-bonn.de/people/pluecke/
More informationREMARKS ON K3 SURFACES WITH NON-SYMPLECTIC AUTOMORPHISMS OF ORDER 7
REMARKS ON K3 SURFACES WTH NON-SYMPLECTC AUTOMORPHSMS OF ORDER 7 SHNGO TAK Abstract. n this note, we treat a pair of a K3 surface and a non-symplectic automorphism of order 7m (m = 1, 3 and 6) on it. We
More informationCOMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS
COMBINATORICS OF REDUCTIONS BETWEEN EQUIVALENCE RELATIONS DAN HATHAWAY AND SCOTT SCHNEIDER Abstract. We discuss combinatorial conditions for the existence of various types of reductions between equivalence
More informationBuilding Infinite Processes from Regular Conditional Probability Distributions
Chapter 3 Building Infinite Processes from Regular Conditional Probability Distributions Section 3.1 introduces the notion of a probability kernel, which is a useful way of systematizing and extending
More informationOrthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF
Orthogonality to the value group is the same as generic stability in C-minimal expansions of ACVF Will Johnson February 18, 2014 1 Introduction Let T be some C-minimal expansion of ACVF. Let U be the monster
More informationOn axiomatisablity questions about monoid acts
University of York Universal Algebra and Lattice Theory, Szeged 25 June, 2012 Based on joint work with V. Gould and L. Shaheen Monoid acts Right acts A is a left S-act if there exists a map : S A A such
More informationSome Remarks on Finitely Quasi-injective Modules
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 6, No. 2, 2013, 119-125 ISSN 1307-5543 www.ejpam.com Some Remarks on Finitely Quasi-injective Modules Zhu Zhanmin Department of Mathematics, Jiaxing
More informationTranscendental lattices of complex algebraic surfaces
Transcendental lattices of complex algebraic surfaces Ichiro Shimada Hiroshima University November 25, 2009, Tohoku 1 / 27 Introduction Let Aut(C) be the automorphism group of the complex number field
More informationThe (λ, κ)-fn and the order theory of bases in boolean algebras
The (λ, κ)-fn and the order theory of bases in boolean algebras David Milovich Texas A&M International University david.milovich@tamiu.edu http://www.tamiu.edu/ dmilovich/ June 2, 2010 BLAST 1 / 22 The
More informationGeneralising the weak compactness of ω
Generalising the weak compactness of ω Andrew Brooke-Taylor Generalised Baire Spaces Masterclass Royal Netherlands Academy of Arts and Sciences 22 August 2018 Andrew Brooke-Taylor Generalising the weak
More informationThe illustrated zoo of order-preserving functions
The illustrated zoo of order-preserving functions David Wilding, February 2013 http://dpw.me/mathematics/ Posets (partially ordered sets) underlie much of mathematics, but we often don t give them a second
More informationGUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv: v1 [math.lo] 25 Mar 2019
GUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv:1903.10476v1 [math.lo] 25 Mar 2019 Abstract. In this article we prove three main theorems: (1) guessing models are internally unbounded, (2)
More informationCATEGORICAL SKEW LATTICES
CATEGORICAL SKEW LATTICES MICHAEL KINYON AND JONATHAN LEECH Abstract. Categorical skew lattices are a variety of skew lattices on which the natural partial order is especially well behaved. While most
More informationNon replication of options
Non replication of options Christos Kountzakis, Ioannis A Polyrakis and Foivos Xanthos June 30, 2008 Abstract In this paper we study the scarcity of replication of options in the two period model of financial
More informationThe finite lattice representation problem and intervals in subgroup lattices of finite groups
The finite lattice representation problem and intervals in subgroup lattices of finite groups William DeMeo Math 613: Group Theory 15 December 2009 Abstract A well-known result of universal algebra states:
More informationIntroduction to Priestley duality 1 / 24
Introduction to Priestley duality 1 / 24 2 / 24 Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive
More informationThe reverse self-dual serial cost-sharing rule M. Josune Albizuri, Henar Díez and Amaia de Sarachu. April 17, 2012
The reverse self-dual serial cost-sharing rule M. Josune Albizuri, Henar Díez and Amaia de Sarachu April 17, 01 Abstract. In this study we define a cost sharing rule for cost sharing problems. This rule
More informationChapter 4. Cardinal Arithmetic.
Chapter 4. Cardinal Arithmetic. 4.1. Basic notions about cardinals. We are used to comparing the size of sets by seeing if there is an injection from one to the other, or a bijection between the two. Definition.
More informationFractional Graphs. Figure 1
Fractional Graphs Richard H. Hammack Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, VA 23284-2014, USA rhammack@vcu.edu Abstract. Edge-colorings are used to
More informationEquivalence between Semimartingales and Itô Processes
International Journal of Mathematical Analysis Vol. 9, 215, no. 16, 787-791 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ijma.215.411358 Equivalence between Semimartingales and Itô Processes
More informationA Property Equivalent to n-permutability for Infinite Groups
Journal of Algebra 221, 570 578 (1999) Article ID jabr.1999.7996, available online at http://www.idealibrary.com on A Property Equivalent to n-permutability for Infinite Groups Alireza Abdollahi* and Aliakbar
More informationThe Semi-Weak Square Principle
The Semi-Weak Square Principle Maxwell Levine Universität Wien Kurt Gödel Research Center for Mathematical Logic Währinger Straße 25 1090 Wien Austria maxwell.levine@univie.ac.at Abstract Cummings, Foreman,
More informationIdeals and involutive filters in residuated lattices
Ideals and involutive filters in residuated lattices Jiří Rachůnek and Dana Šalounová Palacký University in Olomouc VŠB Technical University of Ostrava Czech Republic SSAOS 2014, Stará Lesná, September
More informationAN INFINITE CARDINAL-VALUED KRULL DIMENSION FOR RINGS
AN INFINITE CARDINAL-VALUED KRULL DIMENSION FOR RINGS K. ALAN LOPER, ZACHARY MESYAN, AND GREG OMAN Abstract. We define and study two generalizations of the Krull dimension for rings, which can assume cardinal
More informationDEPTH OF BOOLEAN ALGEBRAS SHIMON GARTI AND SAHARON SHELAH
DEPTH OF BOOLEAN ALGEBRAS SHIMON GARTI AND SAHARON SHELAH Abstract. Suppose D is an ultrafilter on κ and λ κ = λ. We prove that if B i is a Boolean algebra for every i < κ and λ bounds the Depth of every
More informationTranslates of (Anti) Fuzzy Submodules
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn : 2278-800X, www.ijerd.com Volume 5, Issue 2 (December 2012), PP. 27-31 P.K. Sharma Post Graduate Department of Mathematics,
More informationKAPLANSKY'S PROBLEM ON VALUATION RINGS
proceedings of the american mathematical society Volume 105, Number I, January 1989 KAPLANSKY'S PROBLEM ON VALUATION RINGS LASZLO FUCHS AND SAHARON SHELAH (Communicated by Louis J. Ratliff, Jr.) Dedicated
More informationA relative of the approachability ideal, diamond and non-saturation
A relative of the approachability ideal, diamond and non-saturation Boise Extravaganza in Set Theory XVIII March 09, Boise, Idaho Assaf Rinot Tel-Aviv University http://www.tau.ac.il/ rinot 1 Diamond on
More informationCHOICE THEORY, UTILITY FUNCTIONS AND RISK AVERSION
CHOICE THEORY, UTILITY FUNCTIONS AND RISK AVERSION Szabolcs Sebestyén szabolcs.sebestyen@iscte.pt Master in Finance INVESTMENTS Sebestyén (ISCTE-IUL) Choice Theory Investments 1 / 65 Outline 1 An Introduction
More informationContinuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals
Continuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals Philipp Moritz Lücke (joint work with Philipp Schlicht) Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität
More informationarxiv: v1 [math.lo] 24 Feb 2014
Residuated Basic Logic II. Interpolation, Decidability and Embedding Minghui Ma 1 and Zhe Lin 2 arxiv:1404.7401v1 [math.lo] 24 Feb 2014 1 Institute for Logic and Intelligence, Southwest University, Beibei
More informationarxiv:math/ v1 [math.lo] 15 Jan 1991
ON A CONJECTURE OF TARSKI ON PRODUCTS OF CARDINALS arxiv:math/9201247v1 [mathlo] 15 Jan 1991 Thomas Jech 1 and Saharon Shelah 2 Abstract 3 We look at an old conjecture of A Tarski on cardinal arithmetic
More informationThis is an author version of the contribution published in Topology and its Applications
This is an author version of the contribution published in Topology and its Applications The definitive version is available at http://www.sciencedirect.com/science/article/pii/s0166864109001023 doi:10.1016/j.topol.2009.03.028
More informationINSURANCE VALUATION: A COMPUTABLE MULTI-PERIOD COST-OF-CAPITAL APPROACH
INSURANCE VALUATION: A COMPUTABLE MULTI-PERIOD COST-OF-CAPITAL APPROACH HAMPUS ENGSNER, MATHIAS LINDHOLM, AND FILIP LINDSKOG Abstract. We present an approach to market-consistent multi-period valuation
More informationSy D. Friedman. August 28, 2001
0 # and Inner Models Sy D. Friedman August 28, 2001 In this paper we examine the cardinal structure of inner models that satisfy GCH but do not contain 0 #. We show, assuming that 0 # exists, that such
More informationPSEUDO SEMI B-FREDHOLM AND GENERALIZED DRAZIN INVERTIBLE OPERATORS THROUGH LOCALIZED SVEP
italian journal of pure and applied mathematics n. 37 2017 (301 314) 301 PSEUDO SEMI B-FREDHOLM AND GENERALIZED DRAZIN INVERTIBLE OPERATORS THROUGH LOCALIZED SVEP Abdelaziz Tajmouati Mohammed Karmouni
More informationVAN KAMPEN COLIMITS AS BICOLIMITS IN SPAN. Tobias Heindel and Paweł Sobociński CALCO 10/09/09 Udine
VAN KAMPEN COLIMITS AS BICOLIMITS IN SPAN Tobias Heindel and Paweł Sobociński CALCO 10/09/09 Udine INITIAL OBJECT Let C be a category with pullbacks. initial object: 0 INITIAL OBJECT Let C be a category
More informationTHE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES
THE IRREDUCIBILITY OF CERTAIN PURE-CYCLE HURWITZ SPACES FU LIU AND BRIAN OSSERMAN Abstract. We study pure-cycle Hurwitz spaces, parametrizing covers of the projective line having only one ramified point
More informationADDING A LOT OF COHEN REALS BY ADDING A FEW II. 1. Introduction
ADDING A LOT OF COHEN REALS BY ADDING A FEW II MOTI GITIK AND MOHAMMAD GOLSHANI Abstract. We study pairs (V, V 1 ), V V 1, of models of ZF C such that adding κ many Cohen reals over V 1 adds λ many Cohen
More informationLog-linear Dynamics and Local Potential
Log-linear Dynamics and Local Potential Daijiro Okada and Olivier Tercieux [This version: November 28, 2008] Abstract We show that local potential maximizer ([15]) with constant weights is stochastically
More informationVariations on a theme by Weetman
Variations on a theme by Weetman A.E. Brouwer Abstract We show for many strongly regular graphs, and for all Taylor graphs except the hexagon, that locally graphs have bounded diameter. 1 Locally graphs
More informationINTERIM CORRELATED RATIONALIZABILITY IN INFINITE GAMES
INTERIM CORRELATED RATIONALIZABILITY IN INFINITE GAMES JONATHAN WEINSTEIN AND MUHAMET YILDIZ A. We show that, under the usual continuity and compactness assumptions, interim correlated rationalizability
More informationGPD-POT and GEV block maxima
Chapter 3 GPD-POT and GEV block maxima This chapter is devoted to the relation between POT models and Block Maxima (BM). We only consider the classical frameworks where POT excesses are assumed to be GPD,
More informationOn the h-vector of a Lattice Path Matroid
On the h-vector of a Lattice Path Matroid Jay Schweig Department of Mathematics University of Kansas Lawrence, KS 66044 jschweig@math.ku.edu Submitted: Sep 16, 2009; Accepted: Dec 18, 2009; Published:
More informationCONGRUENCES AND IDEALS IN A DISTRIBUTIVE LATTICE WITH RESPECT TO A DERIVATION
Bulletin of the Section of Logic Volume 42:1/2 (2013), pp. 1 10 M. Sambasiva Rao CONGRUENCES AND IDEALS IN A DISTRIBUTIVE LATTICE WITH RESPECT TO A DERIVATION Abstract Two types of congruences are introduced
More informationEpimorphisms and Ideals of Distributive Nearlattices
Annals of Pure and Applied Mathematics Vol. 18, No. 2, 2018,175-179 ISSN: 2279-087X (P), 2279-0888(online) Published on 9 November 2018 www.researchmathsci.org DOI: http://dx.doi.org/10.22457/apam.v18n2a5
More informationInterpolation of κ-compactness and PCF
Comment.Math.Univ.Carolin. 50,2(2009) 315 320 315 Interpolation of κ-compactness and PCF István Juhász, Zoltán Szentmiklóssy Abstract. We call a topological space κ-compact if every subset of size κ has
More informationDouble Ore Extensions versus Iterated Ore Extensions
Double Ore Extensions versus Iterated Ore Extensions Paula A. A. B. Carvalho, Samuel A. Lopes and Jerzy Matczuk Departamento de Matemática Pura Faculdade de Ciências da Universidade do Porto R.Campo Alegre
More informationUPWARD STABILITY TRANSFER FOR TAME ABSTRACT ELEMENTARY CLASSES
UPWARD STABILITY TRANSFER FOR TAME ABSTRACT ELEMENTARY CLASSES JOHN BALDWIN, DAVID KUEKER, AND MONICA VANDIEREN Abstract. Grossberg and VanDieren have started a program to develop a stability theory for
More informationRatio Mathematica 20, Gamma Modules. R. Ameri, R. Sadeghi. Department of Mathematics, Faculty of Basic Science
Gamma Modules R. Ameri, R. Sadeghi Department of Mathematics, Faculty of Basic Science University of Mazandaran, Babolsar, Iran e-mail: ameri@umz.ac.ir Abstract Let R be a Γ-ring. We introduce the notion
More informationbeing saturated Lemma 0.2 Suppose V = L[E]. Every Woodin cardinal is Woodin with.
On NS ω1 being saturated Ralf Schindler 1 Institut für Mathematische Logik und Grundlagenforschung, Universität Münster Einsteinstr. 62, 48149 Münster, Germany Definition 0.1 Let δ be a cardinal. We say
More informationFilters - Part II. Quotient Lattices Modulo Filters and Direct Product of Two Lattices
FORMALIZED MATHEMATICS Vol2, No3, May August 1991 Université Catholique de Louvain Filters - Part II Quotient Lattices Modulo Filters and Direct Product of Two Lattices Grzegorz Bancerek Warsaw University
More informationPolynomial processes in stochastic portofolio theory
Polynomial processes in stochastic portofolio theory Christa Cuchiero University of Vienna 9 th Bachelier World Congress July 15, 2016 Christa Cuchiero (University of Vienna) Polynomial processes in SPT
More informationLie Algebras and Representation Theory Homework 7
Lie Algebras and Representation Theory Homework 7 Debbie Matthews 2015-05-19 Problem 10.5 If σ W can be written as a product of t simple reflections, prove that t has the same parity as l(σ). Let = {α
More informationSkew lattices of matrices in rings
Algebra univers. 53 (2005) 471 479 0002-5240/05/040471 09 DOI 10.1007/s00012-005-1913-5 c Birkhäuser Verlag, Basel, 2005 Algebra Universalis Skew lattices of matrices in rings Karin Cvetko-Vah Abstract.
More informationSemantics with Applications 2b. Structural Operational Semantics
Semantics with Applications 2b. Structural Operational Semantics Hanne Riis Nielson, Flemming Nielson (thanks to Henrik Pilegaard) [SwA] Hanne Riis Nielson, Flemming Nielson Semantics with Applications:
More informationMAT 4250: Lecture 1 Eric Chung
1 MAT 4250: Lecture 1 Eric Chung 2Chapter 1: Impartial Combinatorial Games 3 Combinatorial games Combinatorial games are two-person games with perfect information and no chance moves, and with a win-or-lose
More informationMITCHELL S THEOREM REVISITED. Contents
MITCHELL S THEOREM REVISITED THOMAS GILTON AND JOHN KRUEGER Abstract. Mitchell s theorem on the approachability ideal states that it is consistent relative to a greatly Mahlo cardinal that there is no
More informationIntroduction Random Walk One-Period Option Pricing Binomial Option Pricing Nice Math. Binomial Models. Christopher Ting.
Binomial Models Christopher Ting Christopher Ting http://www.mysmu.edu/faculty/christophert/ : christopherting@smu.edu.sg : 6828 0364 : LKCSB 5036 October 14, 2016 Christopher Ting QF 101 Week 9 October
More information3 The Model Existence Theorem
3 The Model Existence Theorem Although we don t have compactness or a useful Completeness Theorem, Henkinstyle arguments can still be used in some contexts to build models. In this section we describe
More informationIn this lecture, we will use the semantics of our simple language of arithmetic expressions,
CS 4110 Programming Languages and Logics Lecture #3: Inductive definitions and proofs In this lecture, we will use the semantics of our simple language of arithmetic expressions, e ::= x n e 1 + e 2 e
More informationThe mod 2 Adams Spectral Sequence for tmf
The mod 2 Adams Spectral Sequence for tmf Robert Bruner Wayne State University, and Universitetet i Oslo Isaac Newton Institute 11 September 2018 Robert Bruner (WSU and UiO) tmf at p = 2 INI 1 / 65 Outline
More informationTHE GENUS FIELD AND GENUS NUMBER IN ALGEBRAIC NUMBER FIELDS
THE GENUS FIELD AND GENUS NUMBER IN ALGEBRAIC NUMBER FIELDS YOSHIOMI FURUTA 1 ' Dedicated Professor KIYOSHI NOSHIRO on his 60th birthday Let k be an algebraic number field and K be its normal extension
More informationA precipitous club guessing ideal on ω 1
on ω 1 Tetsuya Ishiu Department of Mathematics and Statistics Miami University June, 2009 ESI workshop on large cardinals and descriptive set theory Tetsuya Ishiu (Miami University) on ω 1 ESI workshop
More informationOptimal Allocation of Policy Limits and Deductibles
Optimal Allocation of Policy Limits and Deductibles Ka Chun Cheung Email: kccheung@math.ucalgary.ca Tel: +1-403-2108697 Fax: +1-403-2825150 Department of Mathematics and Statistics, University of Calgary,
More informationSquare-Root Measurement for Ternary Coherent State Signal
ISSN 86-657 Square-Root Measurement for Ternary Coherent State Signal Kentaro Kato Quantum ICT Research Institute, Tamagawa University 6-- Tamagawa-gakuen, Machida, Tokyo 9-86, Japan Tamagawa University
More informationPERFECT TREE FORCINGS FOR SINGULAR CARDINALS
PERFECT TREE FORCINGS FOR SINGULAR CARDINALS NATASHA DOBRINEN, DAN HATHAWAY, AND KAREL PRIKRY Abstract. We investigate forcing properties of perfect tree forcings defined by Prikry to answer a question
More informationarxiv:physics/ v2 [math-ph] 13 Jan 1997
THE COMPLETE COHOMOLOGY OF E 8 LIE ALGEBRA arxiv:physics/9701004v2 [math-ph] 13 Jan 1997 H. R. Karadayi and M. Gungormez Dept.Physics, Fac. Science, Tech.Univ.Istanbul 80626, Maslak, Istanbul, Turkey Internet:
More informationPARTITIONS OF 2 ω AND COMPLETELY ULTRAMETRIZABLE SPACES
PARTITIONS OF 2 ω AND COMPLETELY ULTRAMETRIZABLE SPACES WILLIAM R. BRIAN AND ARNOLD W. MILLER Abstract. We prove that, for every n, the topological space ω ω n (where ω n has the discrete topology) can
More informationForecast Horizons for Production Planning with Stochastic Demand
Forecast Horizons for Production Planning with Stochastic Demand Alfredo Garcia and Robert L. Smith Department of Industrial and Operations Engineering Universityof Michigan, Ann Arbor MI 48109 December
More informationORDERED SEMIGROUPS HAVING THE P -PROPERTY. Niovi Kehayopulu, Michael Tsingelis
ORDERED SEMIGROUPS HAVING THE P -PROPERTY Niovi Kehayopulu, Michael Tsingelis ABSTRACT. The main results of the paper are the following: The ordered semigroups which have the P -property are decomposable
More informationLIBOR models, multi-curve extensions, and the pricing of callable structured derivatives
Weierstrass Institute for Applied Analysis and Stochastics LIBOR models, multi-curve extensions, and the pricing of callable structured derivatives John Schoenmakers 9th Summer School in Mathematical Finance
More informationFuzzy L-Quotient Ideals
International Journal of Fuzzy Mathematics and Systems. ISSN 2248-9940 Volume 3, Number 3 (2013), pp. 179-187 Research India Publications http://www.ripublication.com Fuzzy L-Quotient Ideals M. Mullai
More informationSHIMON GARTI AND SAHARON SHELAH
(κ, θ)-weak NORMALITY SHIMON GARTI AND SAHARON SHELAH Abstract. We deal with the property of weak normality (for nonprincipal ultrafilters). We characterize the situation of Q λ i/d = λ. We have an application
More informationCongruence lattices of finite intransitive group acts
Congruence lattices of finite intransitive group acts Steve Seif June 18, 2010 Finite group acts A finite group act is a unary algebra X = X, G, where G is closed under composition, and G consists of permutations
More informationA CATEGORICAL FOUNDATION FOR STRUCTURED REVERSIBLE FLOWCHART LANGUAGES: SOUNDNESS AND ADEQUACY
Logical Methods in Computer Science Vol. 14(3:16)2018, pp. 1 38 https://lmcs.episciences.org/ Submitted Oct. 12, 2017 Published Sep. 05, 2018 A CATEGORICAL FOUNDATION FOR STRUCTURED REVERSIBLE FLOWCHART
More informationRUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS
RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised
More informationLarge Cardinals with Few Measures
Large Cardinals with Few Measures arxiv:math/0603260v1 [math.lo] 12 Mar 2006 Arthur W. Apter Department of Mathematics Baruch College of CUNY New York, New York 10010 http://faculty.baruch.cuny.edu/apter
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2016 17 SET THEORY MTHE6003B Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. Notes are not permitted
More information5.1 Gauss Remarkable Theorem
5.1 Gauss Remarkable Theorem Recall that, for a surface M, its Gauss curvature is defined by K = κ 1 κ 2 where κ 1, κ 2 are the principal curvatures of M. The principal curvatures are the eigenvalues of
More information