 ח absolve my talk will be devoted to the notion of hypercalicorns in general and then I will move to discuss brains and to describe the work of two mathematicians from the 70s about the descriptions of a particular class of hypercalicorns. מה היפרקל קורסים, הם נראה שבאים עם 8 סופרצגיות, ובאותו על היגס פרנצ'ה, וזה היגס פרנצ'ה יכולה להיות קלאסיקל, או זה יכולה להיות גם של איזשהו אינטראקטים, ובאותו על 3D, ובאותו על 60, ויש לי סטנדרת כתובילים, נראה שזה היפרקל הקורסים, או כלומר, הם היפרקל קורסים, וזה היו הרבה כדאי זכרים, ואני לא רוצה להתתכף, They also show up in, again, theories with eight supercharges on Coulomb branches, and in this case, it's going to be just in three dimensions, so three dimensional n equals four, and you may have seen that there has been some excitement about it, in particular in algebraic geometry in the work of Nakajima. Now, Coulomb branches are quantum-modelized spaces. As usual, Coulomb branches receive quantum corrections, and you have to take into account all of these monopole operators which show up, and I consider this as a different construction. There is the hyperkeler quotient, and there is the other construction of Coulomb branch, and if you have a CFT, then perhaps you could construct it using some gluing techniques, but that's also under hyperkeler quotient. Today, what I'm going to do is to look at this class of all hyperkeler cones, so I'm going to concentrate on this hyperkeler cone and see what we can say about them in the most general way, and we will start with the geometry, or perhaps a more algebraic description. Since it's hyperkeler, there's always an SU2, and we will denote it by SU2R. It acts on a triplet of complex structures which transform in the adjoint representation of this SU2. And what we are going to do, the approach we will take is that we will pick a U1 subgroup of this SU2, and with respect to this subgroup, pick a single complex structure and define the notion of holomorphic functions. So physically that means that I pick a subalgebra of four supercharges, and it has a U1R symmetry, the subgroup of SU2, and I'm going to think about holomorphic functions with respect to this particular U1 symmetry. And so all of these holomorphic functions are now going to transform in irreducible representations of SU2R, and not just in irreducible representations, they are actually going to be the highest weights, the corresponding representations. So in general, if you'll have a collection of operators which are transforming in a given SU2R representation, the top component will be holomorphic or will be chiral physically, but the lower components will not be holomorphic anymore. So if we restrict to holomorphic functions, we'll just get the highest weights. So the degree of the holomorphic function is going to correspond to the spin under SU2R. Okay, so let's use this data, and now think about all possible holomorphic functions. We're going to have a chiral ring, or the ring of holomorphic functions, and it's going to be finitely generated. So we will take the generators, GI, to be in certain representations of SU2R, and we are going to look at the possible representations we can get. So what could those representations be? Let's be incremental and look at simplest possible representations. So if the representation is the spin zero, the trivial representation, then there's only one operator, and actually it's not even a generator, it's just the identity operator. And every quantum filter will have precisely one such thing, and you could say that if the spin is zero, its identity is spin zero. So that's fine. Now take the next representation, if the representation is one-half, then physically it corresponds to a free field, chiral multiplet, and in fact when we have some generators of the chiral ring which have spin one-half, there will always be an even number of them. Let's call the number of such generators to N, and then I will know that the quantum filter will have a decoupled sector of a collection of two N-free chiral multiplets or N-free hypers. The corresponding hypercalacone will contain a factor of C2 to the power N, or sometimes it is noted as the quaternionic flat space H to the N, and this will be a factor and there will be another factor which is non-trial generated by operators of spin higher than one-half. So let's concentrate on those which have R equal to 1 and above. Let's move to R equals 1. What happens there? By supersymmetry, the generators transform in their joint representation some global symmetry. Geometrically, this symmetry is going to be the isometry of the hypercalacone. Physically, it's going to be the global symmetry which acts on all other operators and they transform in representations of this global symmetry. Now, this is a very important crucial point because, in fact, people in this room and not here have used this to say the following. If for some reason I know to identify the global symmetry of a quantum system, then that means that I should look at operators of spin one and I know that they should transform in the joint representation of this global symmetry. So I have to account for all of them. And conversely, if I have any means to identify all operators at spin one, then they will have to transform in a joint representation of some group and this will allow me to identify which particular global symmetry the physical system has. So this is a very crucial tool which has been used, I would say, as we speak, in various quantum systems. So this is very important. But now here's a punchline that I suspect that not too many people know and it's the following. Suppose the generators of the chiral ring are in spin one representation, then this implies that the cone, so what I mean by this is that no other generators are in higher spin. So we took care of this, we took care of one-half this, the coupled, suppose that what I'm left with has only spin one and not more, then the modular space, the hyperkeler cone is an ill-potent orbit. So this puts an ill-potent orbit into a very special position, very special place just tells us that if we want to understand the physics of modular spaces of certain supersymmetric gauge theories or certain brain systems, then we first need to understand the physics of spin one operators and, or in other words, the physics of ill-potent orbits. So the rest of my talk is going to be devoted to ill-potent orbits and the nice thing about ill-potent orbits is that it's been classified for us by embeddings, the group SU2, whatever your global symmetry is, G. G here is the global symmetry that I talked about over here. What is an ill-potent orbit? It's just simply you take an ill-potent element in the algebra and take the orbit under their joint action. And nicely enough, those spaces form a hyperkeler space. The space of all such orbits for a single element is a hyperkeler. In fact, there is a subtle point here. I'm going to take a closure of an ill-potent orbit, and this is important since whenever I have an ill-potent element, I can describe it, but if my group has matrix presentations, then I can describe the ill-potent element, let's say for A type, by some collection of Jordan blocks, and when I conjugate by the adjoint, this matrix has a certain rank and certain degree of ill-potency. A joint conjugation is not going to change, not the rank condition and not the ill-potency. For this reason, I need closures. So if I take closures, I can allow for those elements to be zero, and once I set one of the elements to zero, I can reduce the rank, reduce the degree of ill-potency, and I'll get a cone. So the closure of an ill-potent orbit is a cone, is a hyperkeler cone of the type that we are interested in supersymmetric gauge theories and in-brain systems. Any questions so far? Yes, it's a singular space. So this goes under the name of a symplectic resolution, and there are some ways to do that. So for example, if you take for an ill-potent orbit of type A, the symplectic resolution, so in the math literature it's called a springer resolution, and in fact it's just a cotangent bundle of some cosets. And given the type of ill-potent orbit, there is a simple way of computing the subgroup H, and this is the desingularization of this object. We will be mostly interested in the cone, in the non-singular case, and in fact it turns out that not all orbits have a symplectic resolution. So in fact that makes it quite interesting. Yes. So if we know, soon I will show certain constructions and I will show how we can identify the global symmetry on either Higgs branches or on Coulomb branches. And typically to identify the global symmetry, you need a little bit of physical either intuition or physics arguments to identify this. We will see how it goes, and then you'll tell me if you're satisfied with the answer. More questions? So let's take the case where G is of type A, and here the classification of ill-potent orbits is just embeddings of SU2 into SUN, and this goes back to the work of Dinkin. It's just a parameterized by partitions of N, and let me just give you an example. Take N equals to 2, so that's embedding of SU2 into itself. There are two types of partitions, two and one squared, and one squared is the trivial partition. The corresponding orbit is just going to be a point in the origin, but the second one is non-trivial. I'll just think about the space of all 2x2 matrices, which have zero trace, and that squares to zero. A quick computation shows that this space is C2 mod Z2, and this is the closure of the orbit 2, this non-trivial orbit over here. Okay? Any questions? Yes, yes. I don't know of the Schmitt new-potent. Well, I mean, this is just how a period is degenerate. Yes. I will be very interested to learn about this. I'm not aware of this, so I'm not sure I can comment now. But can you replace G with the y-room? I need a continuous space. I'm not sure what you mean by replacing. You see here, this space is a two-dimensional space. You'll have to pick your elements very carefully. You'll need to pick three elements and then act on them discretely. Sorry, two. Not sure, but let's try to clarify this. So this leads us to the work of Kraft and Pochessi, which this goes back to the 70s, late 70s, where what they said is that wait, we can construct a quiver. Actually, they didn't call it a quiver because back then the notion of quiver was not introduced yet. However, they did quivers before quivers were called like that. And what they said is that suppose that I take a partition. So let's characterize it by a young diagram. I can construct a quiver by taking, denoting each column, let's call it Ci. So it will be ranked from one until the number of columns. And Ci is going to be the number of boxes in the column. And what they said, they construct the quiver. The quiver will have as many nodes as the number of columns. And each node will have number n and i and 1 and 2 and so on. And those n i's are just the sum i from, let's call it j from 1 to i Cj. So conveniently, they told us how to construct a quiver. So let's do a simple example for the case of n equals to 4. I will have the maximal partition 4. And that will correspond to a quiver which looks like 1, 2, 3 and 4. The corresponding young diagram is this. And so you see that the first column has one box, the next 2 will have 2, the next 3 will have 3, and the last will have a 4. So they told us how to construct a quiver. 3, 1 will be this partition. And the quiver is going to look like 2, 2, 1 node, 1 flavor. And 2 and 1, the quiver looks like 1 and 4. And the partition is this. And then there is the trivial. And what they also told us is that if I take the hex branch of this quiver, is the closure, the corresponding cone, sorry, nilpotent orbit. So they gave us a prescription how to construct quivers. And I will deal in this talk just with A-type for simplicity, even though other types of nilpotent orbits, including exceptionals, are extremely interesting. And there's plenty of physics one can extract from those guys. Questions? Now that we have a hex-punch quiver, by this I mean a quiver such that the hex-punch is a nilpotent orbit, we can apply a three-dimensional mirror symmetry, which is easy. What you need to do is to embed this system into brains. So here's an example. 1, 2, 3, and 4. Like that, the lines are NS brains. These lines are the three brains, and these are the five brains. So now it's the first time I mention brains. You are in type 2b, you get this collection of brains, and this is the brain system that characterizes this quiver. u1 times u2 times u3, and u3 has four flavors. You do this, and what you do is you move the brains such that they realign and they are in between the five brains. So when you do that, you need to make sure that you don't have configurations which break supersymmetry, and you need to account for the right number of brains, you have brain creations, but when the dust settles, you end up with a picture which looks like this, and except that now these are d5, these are d3, and these are NS. So it's kind of a dual picture, and note that the only difference for this particular quiver is that the picture is mirrored, perhaps to reflect this point. But that's not common, actually. It only happens for the maximum net potent orbit. So you end up with a picture like this, and when you do S-duality, you can now replace d5 by NS, NS by d5, the three remains, and you get the mirror quiver, and you will say that the Coulomb branch of this mirror quiver is the corresponding net potent orbit. So I'll give you a prescription how to compute it, given a partition. So draw an A-type quiver, which is framed, that's the math, a word, or a flavor. The flavor is determined by the partition, and also this is not just framed, it's also balanced. So let's do examples. How do I determine the flavor according to partitions? I just draw the diagram, and I give the nodes labels. I give them labels 1, 2, and 3, and in order to distinguish from those labels, I'll just circle them like that. We could use different colors, but we don't have the time for that. So these are just labels, 1, 2, and 3, and if I have a partition, so let's take this partition here, I just count the number of columns which have one box, and there are four of them, and so that tells me that the flavor is going to be four types of the partition 1, and the rest of the quiver is determined by balancing. Balancing means that every node has a number of flavors equal to twice the number of columns. So then the answer will be 3 here, 2, and 1. So we see that we get this quiver. So quickly I will draw the mirrors for this case, maybe I'll do it over here. Let me erase it over here, and I will draw the corresponding mirrors. So this is self-mirror. This one, again, I draw an A-type dinking diagram. I have one flavor of 2 and 2 of 1, and the balancing is that 1, 2, 2. Over here I'll have a dinking diagram of type A for SU4, so that's A3. I have two flavors of 2 here, and the balancing gives me 1, 2, 1. And finally, the last node, 1, 1, 1, and one flavor here, one flavor here, as the diagram tells me. And we can read from this the dimension of the Coulomb branch. It's just the rank, so the quaternion dimension of the Coulomb branch will be given by just summing those numbers, 6, 5, 4, 3, and there will be the trivial quiver where we have zeros, and here you have a trivial quiver, just a point which has dimension 0. This is the list of nilpotentobits of SU4. Any questions? Craft and Pochessi, for sure, have a look at the paper. They knew it before many other people thought about hypercalic questions. I asked Martin about it, he wasn't aware of the work, but we still need to know whether Hitchin was aware or not. Any other questions? Okay, now, of course, Craft and Pochessi did not think about the Coulomb branch, so for them, this type of quivers did not exist. These quivers certainly show up in their work. Here we have a hypercalic question. Here to determine the Coulomb branch, I need to understand the physics of monopole operators and the way they form relations. I figure this out, and then I should find מולדלי-ספאס, זה קלוזר קורספון נילפוטנטוביט. Sorry. So that's nice. The next thing that we want to do is to try and understand all of these spaces as a general thing, and that leads us to the title of the talk, The Craft and Pochessi Transition. Here, Craft and Pochessi use an idea בריסקון, אני חושב שזה קלוזר קורספון נילפוטנטוביט. קלוזר קורספון נילפוט. So a leading German algebraic geometry. Here the work is done in the early 70s, maybe 71 or something. And he says that, if I want to understand these spaces, then perhaps I should understand differences between them. And he looks at the maximal cone, the one which is six-dimensional, and he compares it with the one below it, which is five-dimensional. In fact, all cones are contained in the maximal one, that's a theorem, and then he says, okay, what's the difference between these two? Can we understand the difference? And by this, when we understand the difference, we understand the structure of these spaces. And he comes up with the feature, and here you see that the difference is one-dimensional, one complex dimension, and in one complex dimension hyperkeler, we have a classification. So it could be one of C2-mode gamma, where gamma is classified by ADE. And so it's very suggestive that for the case of SU4, the difference will be A3. So it's C2-mode Z4. And indeed, that's what it shows. So the difference here between the top nil-potent orbit and the one next to it is C2-mode Z4. And I will show you how we can understand this using brains, because after all, we want to extract the physics from this geometry. And so Craphen-Pochese say, okay, why should we stop and compute the difference between the first two, the highest two? Let's move on and continue to compute differences for all orbits. And that's what they do in their work in the late 70s. And you see that the differences here are one, one, one, and three. So maybe we could figure out what are the differences in this case, but in the last case, that's a question. What do you mean by that? So you look at the cone and you look, so this orbit is contained in the closure of this one. And so what you do is you look at the transfer slice to this. So in a sense, let's say this is the closure and here's the orbit. So you just look at the transverse directions and it turns out that this is simple enough. And in fact, using brains, we will see how simple it looks. And I will use this picture here. And what I'll do is to consider the Higgs mechanism. And by the Higgs mechanism, I'm going to look at this picture here and just look at one brain and consider the rest as spectators. So transfer slicing here means that I just ignore those other five and I just look at one of them. And I see that if this one touches the other four, let's draw it in this way. Let's just align them. So what I get, this looks like the quiver of u1 with four flavors, for which we know the Coulomb branch. What's the Coulomb branch? C2 mod Z4. And in fact I'm going to need one more Coulomb branch which will look like this. Suppose that I have a collection of brains, all of them stretched like that, one at the one flavor at one side, one flavor at the other side. So the quiver will look like an analog of this one, the minimal orbit. And the Coulomb branch has as many dimensions as the number of free brain segments. In this specific example, we are dealing with A5, so A, so the number of brains here is five, that's Su5 corresponding to A4. And the Coulomb branch of this quiver is the minimal nilpotent orbit A4 Su5. פיזically it's known as the reduced one instant on molar space of Su5. And in this space, Kraft and Pochese denote by A4, we'll use this notation. And it turns out that this is what we need. Let's now look at the Higgs mechanism. So suppose that I get to this case, Coulomb branch of u1 with four flavors. At this point, there are additional muscle states. There are singularities in the molar space. If I think about string states between those brains, they become muscle states. And I turn into an origin, a local origin of a Higgs branch and a Coulomb branch, right? So both vector fields and hypermultiplets are massless in this case. And I can do something different. I can just split the brains like that. If I'll draw it in three dimensions, it would look like this. There's a brain and I just split it. I pull it along the transverse direction, right? I cannot do it when they are away, certainly because they don't touch, but as they touch, I can pull it back and I'll get a new branch. And that's the Higgs mechanism. That's nothing but the Higgs mechanism quantum filtering. You could just compute the muscle states and fit it with the Higgs mechanism. So this is the Higgs mechanism using brains in this particular brain system. And so suppose that I take this vacuum expectation value and I send it to infinity. I just cut this and pull it and the remaining picture, let's take this. I started with four and let's just take these two as spectators and there is a brain, which is moved far away and now I can use a brain creation effect and just move those two to the other side. This brain gets annihilated. That's the inverse of brain creation. So you could think about this as coming to this by just moving it to the two sides. And so the bottom line from what I started is that I started with a configuration with four brains over here and six brains like that. That's the starting point. And then what I do, this number here is reduced by two and I have one brain here, one brain here and one less brain here. So I end up with this system all the others which are spectators remain. This reduces by two so I'm left with two, those are these two and one brain moves here, one brain moves here. This brain does not contribute to the flavors anymore and I'm still left with an A3 type quiver and this is what I get. So this is u1, u2, u2, one flavor, two flavors. u1, u2, u2, one, two flavors. So we got into this Kraft-Protcherzi transition in terms of young diagrams, what we did and this is also the way Kraft and Pocherzi describe it. They start from this partition and they move to this partition. They just pull the books one down. Any questions? So now we could turn it into some simple computation. I'll start describing this by so-called Hasse diagram. The first point is going to represent the maximal orbit of dimension six. Then I do an A3 transition, namely I do this transition with C2 mod Z4. Next, I'll do an A1 transition to the four-dimensional orbit and as you could see, I can proceed by taking one brain and pulling this brain here and this brain here and I'll get this quiver. A1 transition will continue to the three-dimensional, the difference here will be again an A1 transition and finally, the difference between the three-dimensional and the zero-dimensional is this particular orbit which corresponds to the minimal orbit of A3. You can look at this diagram. This Hasse diagram turns out to be symmetric, right? With respect, there is a Z2 symmetry that exchanges A with capital A, lowercase A with capital case A. This is also equal to A1 and it's a nice symmetry for nearly potential orbits. Any questions? So let me finish by describing the K-P transitions for A5, SU6 and we will see that the Hasse diagram gets an interesting shape. My starting point will be the maximal orbit. I draw six brains like that and this is going to be the Coulomb branch. One, two, three, four, five and six brains over here. This is a complete analog of the case for A3 and I'll do the Kraft-Protchesi transition. I'll get from this quiver, I'll get to the quiver which looks like this. Again, it's an A5 quiver diagram. There will be one flavor here and four flavors here and the transition is maybe I'll do it over here. Here's the orbit, the sum of lengths is 15 and the transition to the 14-dimensional is of type A5. I'll proceed and use the rules that I depicted over here. This is one, two, three, four and four and now I'll get two here, three, four, three, two, one. This is 13-dimensional and the transition is of type A3 because a single brain was touching four D5 brains. However, note here that I have two options. I could do a transition on this segment or I can do a transition on this segment. The corresponding Haas diagram will have a bifocation. There will be two 12-dimensional orbits corresponding to two different partitions. I can draw the partitions. Here the partition will be the six partition. Here I'll just move one box down and like that and over here I'll remove one more box down and now I have two options. I can either remove this box down here or I can remove this box down here. I'll get two types of orbits with a transition being A1 because the three brain heats two brains in each case. C2 mod Z2. I'll proceed and it will turn out that both orbits reduce to a single one with another A1 singularity. Let's draw the corresponding quiver. Let's say that we move these two guys and so we will get the A5 dinking diagram and I reduce this by one. These remain and the brains move. Here I'll have nothing. Here I'll have a three and here I'll have a one. This corresponds to the dinking diagram which looks like three columns of one and one column of three. In fact, you see that this is going down in one of these guys but when I go further it's not going to be A1. I made a mistake here. It's going to be an A2 because now when the brain heats and because of this Z2 symmetry I can conclude but you could just proceed with the kaf-Pochese transition and you'll get this nice symmetric quiver where here the transition will be A2. This will be nine. Nine-dimensional. Here the transition will be A1. Eight-dimensional. Here the transition will be A3. The difference is three. Five. This one will be A5. The difference is five. Here's the structure of nilpotent orbits and also here is the brain system and how it reflects this transition that kaf-Pochese computed back in the late 70s. So now I'm ready to summarize. What we've seen is that first of all we started the lecture by characterizing hyperkeler cones and by saying that they are classified according to the spin of the generators of the chiral ring and this is something which is new. Something that I haven't seen that is emphasized in talks in physics so far and I think we should start thinking about it in a serious way. So hyperkeler cones are classified according to the spin of the operators, the generators of the chiral ring and spin one under SU2R is very important because they always transform a joint representation of the flavor symmetry and in fact now I remember a question that you asked in fact we see the flavor symmetry in the Dinkin diagram. These are Dinkin diagrams of type A, this is A3 these are Dinkin diagrams of type A5 they are all balanced so as long as those nodes are balanced the flavor symmetry is going to be given by the Dinkin diagram of all balanced nodes so indeed if I compute the Coulomb branch of these even though it's not visible I will always get that the flavor symmetry is SU6 in this case SU4 in this case on the Coulomb branch. So classically there is nothing which tells you that there is an SU4 here or there is an SU6 this is a special case and it's not representing but a computation using monopole operators will show that the global symmetry is always A5, A3 and so on. So back to the summary all generators of the chiral ring have are classified by spin so it makes sense to think about spin one-half, spin one spin three-halves and so on and to remember that if there are no other generators other than spin one the modular space becomes orbit and there we have a classification so we just need to think about all members in the classification and just study them and extract the physics out of each one we have great work to do in this case and we think of all other hypercalacons as built over nilpotent cones or nilpotent orbits why is that? because if I'll add one more generator which has spin higher than one it's going to be a deformation a small deformation of a certain nilpotent orbit so I should study some sense of perturbative extensions of nilpotent orbits just add one more operator two more in fact in Higgs punch monolite spaces these are always so I just need to add few barons over a collection of mesons the mesons will form the nilpotent orbit and the barons will just be slight extensions of those nilpotent orbits so it's a new way of thinking about hypercalacons and finally we saw that in the subclass of nilpotent orbits type A is what we discussed today we can have a physical description of the Kraft-Pochese transition where a single brain touches the collection of heavy brains and moves away by the Higgs mechanism leaving us with the rest and this is the physical notion of what Briskorn and Kraft-Pochese suggested by transfer slicing so we have this physical interpretation of transfer slicing all of these guys don't are spectators and only one brain is participating in this transition so we have lots of fun with this transition and I hope to report on some other things thank you