So, yesterday we gave the fundamental definition of SHIF on etopological space and with the purpose of getting to the categorical definition of SHIFs on a site, we introduced the language of SHIFs. So, let's recall that a SHIF on an object in a category is a collection of arrows to that object which is closed under composition on the right. As we remarked yesterday, this idea of closing a given family of arrows to a given object by a composition on the right has the advantage that it makes possible to express the condition for a given family to be compatible without requiring the intersections to exist as in the topological case. So, yesterday we made this remark which actually is what we need to define a notion of matching family in the categorical setting and then a notion of SHIF in the same setting. Okay, so let's introduce the fundamental definition of grotendictopology on a category which is what is meant to replace the notion of covering of an open setting etopological space by a family of open subsets. So, a grotendictopology on a category is just a way of assigning to each object of the category a collection of SHIFs on that object in such a way that some natural conditions are satisfied. These conditions are the following. First, we require the maximality axiom which is simply the assertion that the maximal SHIF on each object should stay in the topology. Then we have the pullback stability axiom which says that any pullback of a SHIF belonging to the topology should again belong to the topology. Again, it doesn't need a lot of justification because it is a very natural requirement. In fact, yesterday we gave the definition of pullback of a SHIF along the certain arrow. So, if you have a SHIF S on an object C, you can pull this back along H to get a SHIF on D which will consist of the arrows that when composed with H belong to S. So, the pullback stability axiom refers to this construction. So, in order to concretely understand this in the setting of topological spaces, let's just postulate that when we have X topological space, we can naturally define a Rotten Dick topology on the category of open sets of the space which we introduced yesterday by saying that So, this will be called the canonical topology on this category. So, we postulate that a given family of arrows in this category going to a given object. So, to give an open set. So, just a family of arrows will be, since arrows are inclusions, it will be just a collection of inclusions of sub-open sets into a given open set. So, then we postulate that such a family belongs to the topology if and only if the open set U is actually covered by the UI in the classical topological sense. And so, you understand the pullback stability condition holding in this particular case because it amounts precisely to the infinite distributive law because you see if you have a sub-open set V of U and U is covered by a family of open subsets UI Actually, when you pull this back, what you will get is the family of these intersections which certainly cover V because of the fact that this infinite distributive law. From this you understand that actually the pullback stability condition is a natural condition but it is not a trivial one because it requires a certain distributivity to hold at least in this particular case. In fact, there is a third axiom in the definition of Rotten Dictopology which is what you see there in the slides, the transitivity axiom which is again quite natural because it says that if you have a certain sieve R such that all its pullbacks along the arrows in a sieve which is in the topology are in the topology then the sieve itself should be in the topology so it is a sort of converse to the pullback stability and in fact this axiom is less fundamental than the pullback stability axiom because in fact as far as sieves are concerned if you start with a collection of sieves in the category which satisfies the maximality and pullback stability conditions you can always generate a Rotten Dictopology out of it taking the intersection of all the Rotten Dictopologies which contain this and when you look at the sieves as we shall define at any moment with respect to one or the other they will be the same so it means that actually the two key conditions are really well the maximality condition which of course is quite trivial but the pullback stability condition is really crucial so the sieves which belong to the given topology will be called the covering sieves for this topology so we shall say that the sieve is J covering if it belongs to J so now we can define the notion of site as simply a pair consisting of a small category and a Rotten Dictopology on it and this will be the basic categorical settings for defining sieves in full generality before giving this definition let's just present a few basic examples of Rotten Dictopologies well of course what you can remark is that for any small category you can always define a Rotten Dictopology on it in a trivial way just by taking the maximal sieves on all the objects of the category of course all the axioms are trivially satisfied this actually is important because when we shall define sieves on a site we will see that the sieves on trivial sites I mean sites where the topology is trivial they are just pre-sheves so one gets pre-sheves by taking sheves with respect to the trivial topology then there is a more interesting topology that one can put on any category it's called the dense topology and it's defined by saying that sieves which cover are precisely the stably non-empty ones so by stably non-empty I mean this condition here holds which is the same thing as saying that these are sieves such that their pullback along any arrow is non-empty now things simplify if our category satisfies the right or condition which is the property that any pair of arrows with common codomain is completed to a commutative square because in this situation one immediately sees that the pullback of a non-empty sieve is again non-empty and so the definition of the dense topology simplifies and we get what is called the atomic topology which is defined as the topology whose covering sieves are precisely the non-empty ones this will be useful for us for understanding, for instance, Galois theory from a toposteoretic perspective so we shall come back to this in tomorrow's lecture ok, now let's go on with other examples of growth and dik topologies of course we have already remarked that when we had a topological space there is a natural growth and dik topology associated with it on the category of subsets which is what I have written here so it is actually the canonical topology on this category one can define a notion of canonical topology on any category which is the largest coverage for which all the representables are sheets and so in this particular case we get that topology now more generally yesterday we have talked about pointless topology and the fact that topos theory actually generalizes pointless topology rather than classical topology in the sense that when you define sheets on topological space you basically forget about the points of the space and you only focus on the lattice theoretic structure of the category of its open sets so since you don't actually use the points what you could do if you start with just a frame which is a complete lattice where the infinite distributive law holds of arbitrary joints with respect to finite needs of course you can also define a growth in the topology on such a frame which is also called the canonical topology and which is defined like this so we say that a given family of elements below a given element a covers it and only if the joint of all these elements is equal to the given element and in fact what makes full depth stability condition satisfied is precisely the infinite distributive law which holds on a frame just by definition of a frame in fact frames are the basic objects of study in pointless topology because in fact you remark immediately that the category of open sets of topological space is a frame so in fact frames can be regarded also from a logical viewpoint as a complete hiding algebras because in fact you can immediately see that on any frame you have for any pair of elements a and b an element which is denoted like this which satisfies this universal property that an element is less than or equal to this even only if you have that so this is of course an adjunction property and so you see here I have used this notation of the implication because in fact it makes sense to interpret the equitizmistic propositional logic disconnected in the equitizmistic propositional logic as this operation in a frame so things become sound when you do that but we shall come back to this point later when we talk about the internal logic of a topos which in fact is precisely due to a hiding algebras structure which exists on all sub-object lattices in the topos ok so for the moment let's continue with other examples of grotendic topologies suppose you have a small category of topological spaces which is closed under finite limits and undertaking open subspaces then in such a situation it is next round to define a grotendic topology called the open covered topology by specifying as a generating basis the collection of open embeddings which cover a given space ok so then of course I couldn't miss a fundamental example of grotendic topology which plays a crucial role in algebraic geometry the zariski topology which for instance can be defined this is the basic example of course you can define it over an arbitrary ring but here let's just give the definition for the basic ring z so we consider the opposite category of finitely generated commutative rings with unit which is the same thing as finitely presented commutative rings with unit and we postulate that a sieve in this opposite category or here I have written co-sive in the category of such rings if and only if it contains a finite family of canonical maps of this particular form so this notation a f i indicates the localization of the ring a at an element f i so I take all finite families of arrows of this form and take elements f i, f n which are not contained in any proper ideal of the ring so it means that they generate the ideal generated by all is the world ring so you can easily see this is indeed a grotendiktopology and so the topos which you get by taking sheaves on this side is called the zariski topos of course there are many other grotendiktopologies that you can put on the same category and which also are relevant for many other purposes in geometry, in fact in general if you fix a category there exist in general infinitely many grotendiktopologies that you can put on it so you have a great degree of freedom because you see in the notion of sight you have a basic category so it means that you have two degrees of freedom given by objects and arrows and then when you put a grotendiktopology you add a further degree of freedom which makes you understand how general the notion of sight is and so it makes you understand that you can find sights basically in any area of mathematics because of course categories can be found everywhere and of course in many situations you can find suitable grotendiktopologies to put on them and of course all of this becomes interesting when you pass to the category of ships on these sights and you look at the invariance of this category of ships you are able to capture some important property written in the language of the original sight that you are interested to investigate and so in this way you are able to exploit the fundamental duality existing between sights and purposes but we shall come back to that especially in tomorrow's lecture ok so now let's give the formal definition of ship on a sight so first as we did in the topological setting we define what a pre-ship is so a pre-ship on a small category is simply a contravariant factor from the category to the category of sights then we have to define what a compatible family of elements of a pre-ship is so we give the definition of a matching family of elements of a pre-ship index by the arrows of a covering seam by saying that we should have an element XF indexed by any arrow F in the sieve and that we should have this compatibility condition that so basically we we require so if we have F in our sieve we want to have an element and we want that if I consider the composite of my arrow with another arrow because remember that we are in the context of seas so when we compose an arrow in the sieve with an arrow on the right the composite arrow should again be in the sieve and so I should have another element corresponding to that because I should have one element for each arrow in the sieve so if I have an element corresponding to F I should also have an element corresponding to F composed with G and this of course will belong to that and you see the compatibility relation is that you see if we look at what happens at the level of the pre-ship here we have X of F here we have X of F composed with G and of course I can apply the pre-ship to that and the compatibility condition is this equality so you see this is a very elegant way to get rid of the problem of considering intersections and you actually don't need intersections to express the compatibility condition the only thing you need is to consider things that can be composed with all the arrows in your covering time this is the crucial remark which allows us to consider covering notions on arbitrary categories not just categories where you have finite limits so now we know what an etching family is then we define the notion of an amalgamation of such a family and this is as in the topological setting defined as a single element of this which is sent by the pre-ship to all the elements indexed by the arrows in the covering so you see all of this is very natural and so of course all of this allows us to define ships as the pre-ships such that every matching family indexed by any covering seed in the topology has a unique amalgamation so we require in a completely analogous way as what was happening in the topological setting the existence of the possibility of gluing things along covering families provided that the compatibility conditions are satisfied then Glutenbeak decided to consider ships in an isolated way one from the other but to consider them all together mainly to construct the category of all ships on a given site and this was really a great idea because of course the resulting category will be in general quite big but the great advantage of considering these categories of ships is the categorical properties that they satisfied we already saw this yesterday in the topological setting that all the categories of ships of sets on a topological space possessed very pleasant categorical properties they were both complete and co-complete so they had all small limits because many problems that one encounter in mathematics are actually due to the fact that the structures with which one works often had holes they don't allow certain operations to be made and so you see when you get to the topos liberal basically all computations become possible very rich categorical structure and so already you see in the topological setting it was a very interesting metamorphosis to use Glutenbeak's word from the classical notion of topological space to the notion of category of ships on a space because you see a topological space by itself is not something with a lot of structure while by passing from a topological space to its associated category of ships you get all this enormous categorical structure and so you can make a lot of computations which then you can try to reinterpret from the point of view of the topological space which served for generating the topos so you see you have two levels the level of size I mean the setting of topology and the level of toposis attached to this size on which invariants are naturally defined and then it becomes very interesting to study the duality which exists between the two levels in particular we shall see that the key ingredient of the bridge technique is precisely the study of how invariants defined the topospheoretic level expressed themselves in the context of different sites or more generally presentations of the toposis okay so a grotesnic topos is defined formally as any category equivalent to the category of ships on a site so this is a constructive definition of course as we mentioned already yesterday there is a fundamental ambiguity in this definition in the sense that one in principle could have different sites giving rise to equivalent toposes but this ambiguity shouldn't be seen as a negative element because in fact as we shall see especially tomorrow it formalizes precisely the phenomenon which occurs when different languages are used to describe the same structures so it expresses a very general form of mathematical duality or equivalence and so in fact it is really possible to exploit this ambiguity in a fruitful way so all the bridge technique in fact will be about that okay so now before going to that let's remark that in fact the notion of topos is quite powerful because it generalizes in a very natural way fundamental notions which we are extremely familiar with such as categories topological spaces or groups in fact we have already seen that for any small category topos attached to that which is just the topos of three ships on this category which we can regard of course as ships with respect to the trillion topology in fact this topos could be seen really as an extension of our category in fact it is the free co-limit completion of the category and so to a certain extent this topos is actually generalized categories in the sense that you cannot quite recover the category from the associated topos but almost in the sense that you can recover the co-ship completion of the category from the topos as the full subcategory on its irreducible objects so the co-ship completion is actually a quite innocent operation because it corresponds precisely to splitting all idempotence in the category so for instance if you have a category with finite limits it will be automatically co-ship continued and so you see that just up to co-ship completions really we can identify categories with the corresponding topos and then of course we have already remarked that to any topological space we can attach a topos which is just the usual category of ships or sets on it this as we said yesterday doesn't strictly generalize topological spaces because in general one cannot recover a topological space from the corresponding topos unless the space is sufficiently separated so yesterday we considered these categories of ships of sets of topological space and I already remarked that you cannot in general recover a space from the associated category of ships unless the space was sufficiently separated the formal definition is a sober if every irreducible closed set is the closure of a unique point so in fact most of the topological spaces which naturally arise in mathematics are already sober such as compact household spaces or any underlying space of a scheme is sober so if you work in algebraic geometry you don't have to worry about this this is due to the fact that in fact what is not possible to recover is not the open sets of the space so yesterday the open sets could be recovered as subterminal objects in the topos but what you cannot in general recover is the points of the space because yesterday we showed that any point of the space gave rise to an adjunction to a point of the adjunction with the property that the left adjoint preserved the finite limits and so we shall see later that this gives an ocean of points of the corresponding topos but actually there could be other points there could be other points in the topos which do not come from the points of the space and also if the space is not sufficiently separated in fact there could be not enough open sets to separate distinct points so this is why in fact toposes are not strictly generalizations of topological spaces but they are just a generalization of sober topological spaces or if you want to think in terms of pointless topology they are a generalization of frames because of course when you consider a frame f then you put the canonical topology on this frame basically you can recover the frame from that still by taking subterminal objects as in the topological setting and so in this way you get really an identification between a frame and the corresponding topos in fact the frames when you decide to regard them from a topological viewpoint are also called locales and so what one says is that toposes of this form which are called localic toposes actually generalize locales or the associated localic toposes exactly the same ok now toposes actually generalize discrete groups but more generally in fact you can build a topos out of any topological group by considering the continuous actions of the group on discrete sets so actually you can see that this is a topos by exhibiting a site for that which is actually an atomic site because so the category of continuous actions of the topological group on discrete sets is denoted by this when you take the full subcategory of that on the non-empty transitive actions you actually get a site of definition for that because you can show that the topos is equivalent to the category of shins on this subcategory with respect to the atomic topology which we introduced earlier of course in general the equivalence which identifies two topological groups when they have equivalent associated toposes it becomes a trivial in the discrete case but not in general but in the topological groups this relation is called moritequivalence and it is by no means trivial in fact we shall see some interesting examples of that ok, so now let's resume the basic properties of this categories of shins well exactly as in the topological setting we have that the inclusion of shins into pre-shins admits a left adjoint which is called the associated shift function so it is a function which actually provides its best approximation to a shift and this function preserves finite limits then concerning the categorical structure present on this category we have all small limits just because the shift condition can be expressed in terms of limits and limits commute with limits so actually limits can be computed just in the category of pre-shifts and in fact one can immediately see that the limit of the diagram of shifts will be again a shift in particular the terminal shift, the terminal object of the category of shifts is simply the function which sends any object of the category ok, now what about colinits as in the topological setting colinits are first computed in the category of pre-shifts and then you apply the associated shift function to the result and this will give colinits in the category of shifts just because when you start with a shift and you shiftify it you still get the same function so what you have is here the inclusion then the associated shift function and you have that the identity function that is isomorphic to that composition and so since the associated shift function preserves all colinits because it has a right adjoint we know that colinits are computed in this way another nice property that these categories of shifts have is the existence of exponentials for any pair of objects in fact exponentials are calculated as in the category of pre-shifts and in fact if you want to understand how to construct an exponential in a category of pre-shifts you just have to use the universal property of exponentials together with the unity of lemma ok, another important aspect of these categories of shifts is the existence of a sub-object classifier so what is a sub-object classifier well by definition it is an object usually denoted by ω which transifies the sub-objects in the category so the property is this so the object ω is characterized by the property that the arrows from a given object a arbitrary to ω are in natural bijective correspondence with the sub-objects of a in the category so this is called the sub-object so in fact the sub-object classifier can be concretely constructed in any category of shifts by taking the j-closed shifts on the category ok, then another crucial property of these categories of shifts is the fact that actually they have generators so or what I've written there separating sets of objects so what is a separating set of objects it is a collection of objects so you have e and you say that c which is a sub-class of the collection of objects of a is separating if for any a collection of arrows objects of c to a is epimorphic so it means that if I wanted to understand when two arrows between objects in the toposariquan it suffices to consider their composition with arbitrary arrows from objects in c separating set to a now can we find a canonical choice of a separating set of objects for a collection of topos well there is certainly a natural choice you can make if your topos is presented as the category of shifts on a certain site then of course you have a canonical factor which goes from the category to the topos so first you have the unit embedding which goes from c to the pre-shift topos and then you have the associated shift factor so if you consider this composite factor this is actually called the canonical factor sending the category to the topos and actually by the yonida lenma you can immediately see that the objects coming from the category under this canonical factor form a separating set for the topos outside or separating sets of objects is quite similar because in fact conversely if you have a separating set of objects for a topos you can keep this with a certain topology which will be induced by the canonical topology on the topos and you will get a set of presentation for your topos in fact in this way you don't get all sites you get just a wide class of sites which are called sub-canonical sites but still this shows that there is a very strict relationship between sites and separating sets in fact the solution that I can give you for understanding this is think about a topological space and a notion of base for this space so in fact you see you can have in general many different bases for a given space but each of these bases is generating the space and in fact when you go at the toposporitically level you see that the category of shifts on a space is equivalent to the category of shifts on any of its bases with respect to the induced topology so all of this is just a categorification of that already this shows that you can have completely different sites of definition for the same topos you see that there can be in general bases different bases for the space which are not equivalent that you cannot even relate directly to each other but which present the same space and which therefore will be rise to the same category of shifts but we shall come back to that when we illustrate the toposporitic approach to stone type so now let's go on by introducing the fundamental notion of morphism between toposis this is the geometrically motivated notion because of course we would like every continuous map between topological spaces to induce a morphism between the associated toposive shifts on these bases so by thinking about what we get starting from a continuous map we arrive at this notion of geometric morphism between toposis so a geometric morphism is of adjoint factors the right adjoint is called the direct image satisfying the property that the inverse image preserves finite limits then of course you can consider given two toposis and geometric morphisms between them a notion of geometric transformation between them which is just taken to be a natural transformation between the inverse image factors then we can define the notion of morphism of toposis the notion of point of the topos as a geometric morphism from the topos of sets to the given topos in fact this is a good definition because in fact any continuous map between topological spaces actually give rise to a geometric morphism well the direct image found is defined well in the obvious way you see this is the formula so you just consider the action on the open sets by the continuous map and then you decide that the value of the direct image of a shift on a given open set is the value of the shift at the inverse image open set then there are various ways you can use to describe the inverse image of the morphism but one appealing way is to use the correspondence between shields on a space and the etal bundles on this localomia morphisms so in these terms the inverse image factors can be described as the pullback operation of etal bundles along the given continuous map ok so we see that in fact any continuous map gives rise to an adjunction and in fact you can show that the direct image found preserves finite limits so we did get a geometric morphism and in fact if your spaces are sober every geometric morphism between the associated shift-opposites comes from a unique continuous map between the spaces so you see that really it is the good notion then we have that every growth in diktopos just by the fact that it is defined as a topos of shifts on sets admits a structure morphism to the topos of sets whose direct image is the so-called global sections found which takes the arose from the terminal object of the topos to an arbitrary object and the left adjoint to that is the factor which sends a reset to the coproduct of the terminal object indexed over the elements of this set then of course we have another fundamental example of geometric morphism which is the pair of adjoint factors given by the inclusion of shifts into pre-shifts and the associated shift factor which goes in the other direction this is a geometric morphism because in fact one can show that the associated shift factor always preserves finite limits now there is a very important result relating geometric morphisms because one in practice is interested in understanding geometric morphisms to a given topos of shifts so one wants to understand in a possibly more concrete way the morphisms going from a given topos to a topos of shifts on a site and well you see here we have a canonical morphism it is a geometric morphism from this topos to this so we can try to understand first the geometric morphisms to every shift topos and then building on that we will try to characterize those which factor through such a canonical inclusion so we will also get a description of those starting from the description in the pre-shift case ok so to understand this geometric morphism so we have to recall that whenever you have a functor A from a small category C to a locally small co-complete category E this functor induces a sort of home tensor adjunction between the category E and the pre-shift topos on C in the following way so we have a generalized home functor given by this functor which I have called rA and this functor admits a left adjoint which can be seen as a generalized tensor product in fact it is defined as the unique preserving functor which makes this diagram co-complete up to isomorphism so you can see this and actually the idea to understand geometric morphisms to a pre-shift topos is to observe the following that so if you have a geometric morphism like this which goes in this direction and in the inverse image we have to preserve arbitrary co-limits because it has a right adjoint namely the direct image and since this is the free co-limit completion of C actually the behavior of this functor is uniquely determined by its composite weave that you need in painting so this is the idea behind the representation of geometric morphisms in terms of suitable functors from the category to E so this functor will be given simply by the composite of the inverse image then the point is how to characterize these functors because you see this functor is not just characterized by the fact that it has a right adjoint and so you see if you start from an arbitrary functor then you will get yes an adjunction but this adjunction will give a geometric morphism only if this left adjoint preserves finite limits and so this leads us to introduce the notion of flat functor so we say that the functor is flat if this left adjoint preserves finite limits so as you can expect we have an equivalence between on the one hand the category of geometric morphisms to the free sheet topos and on the other hand the category of these functors so this is of course quite useful because it makes the description of geometric morphisms quite concrete after all I mean you can understand them just by seeing how they act on the representables now we look at what happens in the Schiffer case well in the Schiffer case you will just have to understand which conditions you have to put on the functor for the corresponding geometric morphism to factor through this and you understand that the condition you have to put is this j continuity condition which means the following a functor is said to be j continuous if it sends covalences to evimorphic families and so in this way you get you get an equivalence this is a very fundamental result which has a lot of applications in particular in connection with the classifying toposes of which we shall talk extensively tomorrow so this is what I wanted to say but I would conclude today's lecture mentioning a concrete characterization of flatness that it is possible to have so in fact flat functors can be equivalently characterized as functors that are filtered in the sense of this definition well of course if the category in which they are defined has finite limits then a functor is flat if and only if it is a finite limit preserving so this definition of filtering becomes interesting in the non Cartesian case so suppose for instance that the target topos is the topos of sets then a functor is filtering if and only if its category of elements is filtered as a category so in fact the general notion of filtering functor to an arbitrary topos is just a reinterpretation of the filtering condition in the internal stack semantics of the topos so it is just a reformulation of this condition using the language of generalized elements in the topos so I mean if you understand what it means in the set theoretic case you can make perfect sense of this more general definition so finally I would like to mention that there are two standard ways to induce geometric morphisms between topos one covariant and another one contravariant so the idea is to consider functors between sites with suitable properties so that they can induce geometric morphisms between the associated categories of shapes so one considers in particular two classes of factors the morphisms of sites and the comorphisms of sites so the morphisms of sites will induce geometric morphisms in the opposite direction while comorphisms of sites will induce geometric morphisms in a covariant way so what is a morphism of sites well formally the natural way to define it is as a phanto such that it is composite with the canonical phanto for the codomain topos is flat and the j continues then of course one might want a more concrete characterization of this which one can achieve in full generality it is a bit burdensome to give so if you want to get this definition you can take for instance my paper on denseness conditions but for the moment we can limit ourselves to saying that in the Cartesian case so if our categories C and D have finite limits then a morphism of sites so f is a morphism of sites if and only if it preserves finite limits and it is covered preserving so we need also it to send j covering 6 to k covering 6 so we perfectly understand what happens in the Cartesian case in the general case it is a bit more subtle just because of the filtering property for general phanthos but still we have a concrete characterization of them then we have the notion of comorphism of sites which is a sort of dual notion so it is a phanthos which satisfies the covered reflecting property which means that if I take a covering seed in the codomain category on an object which comes from the phanthos it should be a covering seed in the base category whose image under the phanthos is contained into that seed so the basic theorem is this one so you see an immediate application of this is to see how the our continuous map between topological spaces induces the geometric morphism you go through the sites of open sets and you realize that of course these have finite limits so if you consider the canonical topology isn't that this is a morphism of sets so when you go at the top of the theoretical level you get a geometric morphism going in the other layer which is actually the geometric morphism induced so I stop for today so tomorrow we shall start by previewing the view of toposes as mathematical universes then we shall present the classifying toposes and finally we shall talk about the toposes as unifying pages


The national broadcasting company presents Joel McCrae in tales of the Texas Rangers From Hollywood another authentic re-enactment of a case transcribed from the files of the Texas Rangers Texas more than 260,000 square miles body in North America face for tonight fugitives trail It is approximately 1130 on the night of January 21st, 1948 Mr. And Mrs. Ben Purvis are driving back to their ranch on the outskirts of Newby, Texas The car a small black sedan finally swings off the main highway Turns into a long narrow dirt road leading to the ranch buildings Looks like we got company Ben there's a car parking from the house. Yeah Probably one of our lean sport friends Look, I thought you told her we didn't like your fellas hanging around Now Ben he probably just have by to pick up and take her home.   She's kind of wild Never know what she's gonna do. All right, then just stop worrying looks like Dave Fenton's car Yeah, it is this car.  They're gonna be Real nice long side the house. They don't you Yeah, I guess so You know, Ben, I'm kind of glad we went over to see Mrs. Sutton tonight. Yeah, she's real nice old lady Sure held up fine at the funeral this afternoon. It's gonna be hard on her for a while though poor thing After all she and Mr. Sutton were mad almost 40 years. Now it's gone. Yeah Well, doc warned him to slow down after that last attack he had No, he wouldn't hear it Sounds like our young and zacked up. We shouldn't be crying now if Arlene gave me 10 o'clock boss You just like her to forget She's not funny Arlene Probably in with the baby unless hey, what's this matter? Look cheers turned over My good table lamp on the floor Oh Then look it broken.  I'm going in the baby Arlene Is that cool girl anyway? Baby all right. No, look at this baby's bottle full. Here's a woman and she didn't give misfeeding I'm gonna have a look out back Okay, Dave Fenton She's dead I'm discovering the body of Dave Fenton Ben Purvis immediately called the sheriff's office The sheriff put out an all-points bulletin for the ranking girl and requested aid from the Texas Rangers Ranger Jase Pearson was assigned arriving at the purpose ran shortly after 4 a.m There's the body Jase Blast caught him right behind the ear. Not very pretty is it shotgun wounds never are When this happened doc figures sometime between 9 and 10 o'clock last night Just a kid 19 work at his paws gas station in town seemed like a real nice boy days real nice Anybody touch this shotgun? No, who's it belong to Ben Purvis says he generally keeps it behind the kitchen door It's babysitter Arlene Arlene Rankin here's a description of her I Send a man over to her house right after Purvis called me her Paul said she hadn't come home Man still out there keeping an eye on the place in case she does show up I don't think she will which one's Purvis over there, but the fence talking to the justice of the peace Then oh If you want to talk to mrs. Purvis Jay, she's inside later maybe you want me chair Yeah, then this here's Ranger Pearson Jase Ben Purvis. Howdy ranger. Howdy mr. Purvis Sheriff tells me that you and your wife were out visiting when this happened.  I guess that was around 7 You know if she was expecting this fenton boy to drop in on her and no no I don't Have you ever come around here before oh sure lots of times he dropped by to take her home Only he stopped coming around a couple months ago. Why was that? Well, there's I can figure she and Fenton must have had a fallen out of some sort Maybe she got tired of she had a lot of boyfriends new ones every time you turn around I see Who's the latest you know no it's pretty hard to keep up with her Couple weeks or so ago. It was Lanny Hayes. He's supposed to come by last night. I wouldn't know that ranger You usually take her home. That's right whenever there's no fella here to pick her up You know Jase I figured that Fenton here got sore because she threw him over they had a fight She killed him and beat it and could have happened that way and it could have been the reason why she didn't take Fenton's car She'd been spotted too easy that girl Ain't surprised she'd pull her stunt like this at all This gun of yours, mr. Purvis you always keep it loaded. Yes, sir And it's usually sat in behind the kitchen door. Did Arlene know it was there? I don't see how she could have missed noticing it ranger I want to take this gun with me mr. Purvis have the lab man check the fingerprints or sure sure go ahead All right, Sheriff. I guess the JP can take charge of the body now. Let's get moving Anybody in mind you want to see yeah Some of Arlene's friends and we'll start with a boy. She's been going with lately this Lenny Hayes He lives over the drugstore. Oh, but let's see it's after five now Jase. He's probably on his way to work Where's that auction barn? He's sort of a general Tagging cattle heard him around the place. All right, let's look him up Ray of dawn was creeping over the horizon as we reached the auction barn The sheriff and I'm out of the stairs to the platform overlooking the pins below See Lenny Hayes any worse sheriff? Yeah. Yeah, there he is down there coming along the runway Lenny Oh, Lenny. Yeah want to talk to you. Come on Jay. Morning, Sheriff. Morning Lenny I figured you'd be coming around. Oh, you heard what's happening. Yeah, this is ranger Jay's Pearson Lenny He wants to ask you some questions. Sure. When'd you see Arlene Rankin last Lenny? Yes, it afternoon at Sutton funeral Everybody in town was there I guess you talk to her for a few minutes I asked her to go to the basketball game at the school gym, but she couldn't she'd already promised to sit for the purpose folks I see What happened between Arlene and Dave Fenton? Do you know they just busted up? That's all how'd he take it? Well, he could be pretty nasty when things didn't go the way he wanted He called her up a lot after that wanted to patch things up, but Arlene wouldn't have any of it He got good and so were a couple of times. Do you think Arlene was frightened by him? Well, sure the guy was crazy jealous and never knew what he might do. I see Do you have any idea where Arlene could be right now? Nope, no idea at all. All right. Thanks Oh, could I ask you something Ranger? Yeah look If Arlene did kill Fenton it It could have been self defense, couldn't it?  Accidentally that what you're driving at Lenny. Sure. Why not? Well in that case you shouldn't have run away Well, yeah, that was a crazy thing to do I guess But look if she was to give herself up now and if she could prove it was self-defense an accident Go on. Well, I mean things that go easier on her wouldn't it? Has Arlene been in touch with you Lenny? Has she? Listen Ranger, I don't want to get in any trouble, but you won't if you tell the truth Well, this thing is getting me down.  I'm not a judge. Where is she? She phoned me last night from Covington from the bus depot Covington, huh? Yeah, she said she was in trouble wouldn't tell me what it was She said she needed money Well, I didn't have any not even enough to buy gas to drive over there. What'd you tell her? I told her I'd see if I could raise some but well, she hung up on me What time did she make this phone call around midnight a few minutes before I Remember because I was listening to the radio and the station signed off while I was talking to her There's a bus comes through here around 10 30 and it goes into Covington a little before midnight Jace That's the one she probably took. Come on sheriff. Let's head for Covington We spent the major part of the day combing the town of Covington There wasn't a single trace of Arlene Rankin late that afternoon the sheriff and I wound up at the bus depot That's a talking to the woman behind the lunch counter Well, let me see now Girl about so high and blonde hair coming on the late bus you say Let me see the youngster was she 17 Say that wouldn't be the ranking girl Ranger. That's right. Heard about it on the radio this morning Say you mean she's here in Covington. We believe she was here last night Land sakes imagine that have you seen a girl answering her description, ma'am. Well, no wait a minute Say there was a girl just like your description. You sure man. Mm-hmm last night by closing time I was throwing out the coffee when she come up and ask me for glass of water Girl about so I really cracked it. Yeah, nervous or upset.  Want me to show you? No, thanks. We'll find it man Doesn't seem to be anybody at home. I'm pretty sure there is sheriff. I heard someone moving inside Hey, you're right. Yes, there is somebody in there. I just saw the winter curtains move Reckon I ought to slip around back. Hold it. Yeah Ranger what is it? Afternoon miss we're beginning to think there wasn't anyone at home Sorry if I kept y'all taking a nap Wasn't sure if I heard someone at the door now. We're looking for a girl named Eileen Rankin Eileen Rankin There's no one here by that name. That's so this is a lorry resident. We know that miss Well, the only three of us living here my sister her husband and myself. You don't know Eileen Rankin. No Should I here's a picture miss ever see her before? See No, no, I never saw her before your sister and her husband at home. No, I'm alone Mind if we come in? We just want to look around Sounds like it's in this room Jason. There's no one in there. We'll have a look anyway miss When the shutter Jayce winds banging it against the house Get me wake up tonight. Look if you tell me what this is all about suitcase over there on the chair miss Who does it belong to? Baggage tag gear says Continental Trailways Jayce. That's how I got here by bus. What's that miss arrived last night? Just here visiting my sister What time did your bus get in last night? Oldes round midnight. You talked to anyone at the depot. No, I don't think it is. Are you sure? Wait, I did ask the woman at the lunch counter how to get here I see that lady back at the lunch counter sure has an imagination Jayce Tell me miss did any other girl get off the bus when you did last night? No other girl positive. Yes, I think so. What do you make of that Jayce? Take a look at this photograph again miss you recall seeing this girl among the passengers Well, no, I don't remember seen of course the bus was crowded night really didn't pay much attention to the others on board I see look would you mind telling me what this is all about? No cause for you to worry miss. Sorry. We bothered you Come on sheriff There was no reason to doubt the word of the girl at the Lowry house Arlene Rankin hadn't gotten off the bus at Covington the night before The sheriff and I drove back to his office in Newby and we had another talk with Lenny Hayes But it's the truth. I'll tell you Arlene did call me. She's not in Covington Lenny We're pretty sure of that. Well, maybe she went on don't see how she could have done that all roads been blocked You've been lying, haven't you Lenny? No, no You could have made up that story about the phone call from Covington just to throw us off the trail No, I didn't you gotta believe we're willing to lay out You never received a phone call Lenny that Arlene wasn't even on that bus last night. She must have been I'll get it Thanks, Sheriff Yeah, you know Lenny you can save us a lot of trouble. What's that? What do you mean stop trying to cover up for Arlene? You're trying to protect her by sending us on a wild goose chase. That's not true now. Listen Lenny There's no saying holy chair Like maybe we owe Lenny here in apology. Oh That bus we figured Arlene wasn't on was being vacuumed in Dallas this afternoon and a purse was found behind one of the seat cushions a purse What about it? belong to Arlene Rankin You are listening to tales of the Texas Rangers starring Joel McCrae as Ranger Jayce Pearson Now we continue with tonight's case fugitives trail an authentic story from the files of the Texas Rangers Finding Arlene Rankin's purse on that bus indicated we'd been wrong about Lenny Hayes Yet the girl we'd talked to in Covington had been positive that Arlene hadn't gotten off the bus there the night before I Put in a call to the Continental Trailways Company and found out that the driver the bus was due back in Newby in an hour You're waiting at the bus station when he came in Nope, I don't think I can help you Ranger. You know what the Rankin girl looks like yeah So picture having a Dallas paper this afternoon. You don't remember seeing her get off the bus anywhere along the line. Nope You remember seeing her get on the bus here in Newby. Look, I pick up quite a load here last night a Lot of high school kids ranger maybe this Rankin guy was one of them Maybe she wasn't didn't pay much attention. I just want to get rolling. You know hurry. Were you running high and schedule? See ordinarily, there's a five-minute wait here one cup of coffee. Well, I had to basketball came to high school gym went over time and well Didn't want to shove off. I knew most of the kids were counting on getting a bus Wait a minute. You were late taking off sure almost 10 minutes. What time did you arrive at Covington? Well, but all those stops along the way. I lost another five minutes didn't pull in the Covington to 1250 well 15. Yes. Yes, sure. Yeah All right driver. Thanks. Sure. Now. Sorry. I wasn't much out Frank. See you sure. Yeah Kind of interesting isn't Jase if the bus didn't get the Covington until 1215 How could Arlene have called Lenny from the bus depot there a few minutes before 12? Doesn't seem to add up doesn't sure of of course Might have got the time mixed up. I don't think so. He seemed pretty sure of it. You call He must have lied. We'll know about that for sure. Once we talked to the telephone company over at Covington Back at the sheriff's office, I called the Covington phone company asked them to check a call from the Covington bus station to Lenny's number in newbie There was no record of any such call Sheriff sent one of his deputies out to bring Lenny in and we waited Yeah, and it's just like we figured Jase the girl wasn't on the bus at all Only how do you account for the purse? It was found on the bus a plan sheriff Then he could have slipped aboard the bus last night put it in there Well, the driver was in the cafe having coffee. Yeah Yeah, he could have done that the mighty careless of a girl to forget her purse when she's trying to make a getaway Don't you think a little too careless? I won't say that thought hasn't crossed my mind Jase and you know chef Something else bothers me It seems like Lenny went to an awful lot of trouble trying to cover up for the girl Well any kid who's as crazy about a girl as he is I know but if he was really trying to shield her He'd have done a lot better by keeping his mouth shut. He's been real cooperative. He's been working at it a little too hard What are you driving at Jase? Just a hunch sheriff But if I can force Lenny into making a move it might be in the wrong direction for him But in the right direction for us. I hold it. Yes. Oh, well, come on in Lenny. Thanks, Charlie Any news of Arlene not a sign of her yet Well Dallas is pretty big place the fact that her purse was found on the bus and Dallas doesn't necessarily mean she's there She could have gotten off the bus anywhere along the line Yeah, I guess so Lenny About this phone call you said you got Still don't believe me. Maybe you were mistaken. Maybe Arlene just told you she was calling from Covington No, no, I heard operator. She said it was Covington. I see Well, we'll check with a phone company anyway, just to make sure with a phone coming But Arlene called me from a payphone. How can you check? Doesn't make any difference phone company keeps a record of all long-distance calls Didn't you know that? No, no, I didn't well anyway, that isn't why I asked you to drop in Lenny. We think you can help us So what we'd like you to talk to some of Arlene's friends Maybe you can find out more than we have me if you want to help us, don't you you'd be helping Arlene Well sure sure I want to help well then get to her friends tell them if they know something they better talk up and get in a Lot of trouble by withholding information Yeah, I guess they can Okay, that's all Lenny. Let us know if you hear anything Yeah Yeah, I'll let you know Ranger The Sheriff and I waited a few moments after Lenny had left the office and then we eased out into the street We saw him get into his car halfway down the block and take off In the darkness we watched the taillight disappear toward the edge of town. We followed him What's he up to Jace? I don't know that's a second time. He's driven around the cemetery Arlene wouldn't be hiding in there, would she look turning on to the other highway now head in south good Maybe we can get a little closer Jace lots more traffic on that road. He's speeding up suits me fine At least we'll get to wherever we're going that much sooner A quarter of an hour later Lenny Hayes turned off the main highway into a narrow dirt road Switched off my headlights and followed we spent another 15 minutes Trailing him as he cruised up and down the back roads like he was searching for something And we wound up on the highway once more when we reached the outskirts of newbie turned again drove right into the cemetery Stop any sign of him Jace. There's his car parked up ahead easy easy now Better stay here in the shadows might spot us in this moonlight I'm sure like to know what the same he'll let kids up to Hold it. Yeah There he is Where Jace over there near the fence. What's he doing? Digging Say wait a minute Look at the flowers over there Jace pushed over to one side That's Harry Sutton's grave What's he doing digging around there? Freshly turned ground sheriff. He's trying to hide something. He can do it quickly Let's move up a little closer. Yeah Here this way around the hedge. Yeah, move up behind his car Stay down sheriff What's he doing? Stop digging He's coming this way to the car from the trunk compartment. Let me take a look Throwing something out of the trunk It looks like even at this distance, there's no mistake in all he's dragging out of there a body I Guess we can get him now chef All right, Lenny stop where you are. Don't move. Huh? He's making a break for a chase. Let's go This way Jace. He's heading around back of the chapel. All right, the places did he go? I don't know Do you hear anything? Hey, wait a minute. I thought I saw something move over there behind that tombstone Let's take a look wait Circle around that way he is there. Let's see if we can maneuver him in position. So he make a break for his car I'll be waiting for it. All right Careful. He may have a gun for it As far as you go I said simmer down You all right. Yeah Come on. Let's go on back of the car and have a look at that body It's our lead ranking all right Jason. How about it Lenny you feel like talking?  She was me to make him jealous. When'd you find that out last night when I Sneaked over to the purpose place. I saw him together. I Went out of my head. I guess you went inside got the gun and shot them. I didn't mean to do it Just wanted to scare him. I didn't mean to I suppose you didn't mean to kill Arlene either I had to I had to kill her to keep her from talking.   Let's go For the brutal murders of Dave Fenton and Arlene Rankin Lenny Hayes was sentenced to Huntsville Penitentiary for the rest of his life And now here again is the star of our show Joel McCrae one day last year We received a card from a little girl who wanted to be a Texas Ranger She said she didn't have a horse, but she did have a mule and could ride We learned last week that this same little girl was stricken with a serious illness and has been in bed all summer When she heard our first show a few weeks ago. She asked her father to help her write a poem and send it to us We'd like to read it R is for Ranger stalwart and strong a for his aim that never goes wrong in for his nerve calm steady and sharp G for his gun never misses the mark he is for effort endurance in fight and R for respect for the things that are right Vanallu that's a fine poem and it's deeply appreciated Honey, you're gonna get well because in spirit You're a Texas Ranger Next week Joel McCrae and another authentic re-enactment of a case from the files of the Texas Rangers Joel McCrae is currently seen starring in the Universal International Technicolor production cattle drive The cast included Tony Barrett, Lillian Biuff, Whitfield Conner, Farley Bayer, Sam Edwards and Marion Richmond Technical advisor was captain M.T. Lone Wolf Gonzalez of the Texas Rangers This story was transcribed and adapted by Adrian Jendol and the program was produced and directed by Stacey Keith Hal Gibney speaking It's the silver jubilee on NBC Sunday is your invitation to find radio entertainment with the big show bill harris and alice bay and theater guild on the air Yes, here are all three on NBC Next it's the big show on NBC