In addition to many excellent answers posted so far, I would like to explain another way in which the relations of the "graded" or degenerate affine Hecke algebras arise in representation theory, which I find most helpful in understanding them (and is how I would recover them for myself if stranded on a desert island). This introduction has the advantage that it could be explained to an undergraduate who knew what a surface and a fundamental group was. All of this is in Cherednik's book in one form or another. In this point of view, the "full" DAHA and AHA are the primary objects, and one recovers the degenerate versions by a process similar to the degeneration from $U_q(\mathfrak{g})$ to $U(\mathfrak{g})$. Let me just discuss $A_n$, although an analogous construction works for any Weyl group (and parts of the discussion for any complex reflection or symplectic reflection group). The Artin braid group $B_n$ is $\pi_1(C_n(\mathbb{C}))$, the fundamental group of configurations of $n$ points in $\mathbb{C}$. It's easy to identify this with the braid group associated to the root system of type $A_{n-1}$, since the reflection hyperplanes are precisely what impose the distinctness of the points in the configuration. Denote the usual generators of $B_n$ by $T_i$. One may instead consider the "double affine braid group" $DB_n$, $\pi_1(C_n(E))$, which is the configuration space of $n$ points on an elliptic curve (or what matters topologically is that it's a $S^1\times S^1$). One finds generators $B_n$ corresponding to loops which are contained in a contractible ball, and new generators $X_1,\ldots, X_n, Y_1,\ldots, Y_n$ corresponding to taking the $i$th point of the configuration and running it around the the inside our outside ring of the torus. One computes relations that the $X_i$ commute, the $Y_i$ commute, and $T_iX_iT_i=X_{i+1}$, $T_iY_{i+1}T_i=Y_i$, and (Y_2,X_1):=Y_2X_1Y_2^{-1}X_1^{-1}=T_1^{-2}$. Now, how is this related to the algebras in your question? Let $\tilde{A}$ denote the group algebra of $DB_n$ with coefficients in $\mathbb{C}[[\hbar]]$, completed in the $\hbar$-adic topology. Let $A$ denote the quotient by the additional relations $(T_i-q)(T_i+q^{-1})$, where $q:=e^{\hbar/2}$. Now suppose that $V$ is some representation of $A$ such that $Y_i$ acts as $1$ modulo $\hbar$. In this case, it makes sense to define $s_i$ and $y_i$ in $A$ by the relations: $Y_i=e^{\hbar y_i}$, $T_j:=s_je^{k\hbar s_j}$. Where I'm evaluating in the representation $V$ so that the first equation makes sense, but I'm not writing that in explicitly. One now would like to check what relations are imposed on the generators $X_i$, $y_i$ and $s_j$ so defined. Let us just check what relations we get by considering the relations of $A$ up to first non-trivial order in $\hbar$. We find: $(T_i-q)(T_i+q^{-1})=0 \Rightarrow s_i^2=1$. Braid relations for $T_i \Rightarrow$ braid relations for $s_i$. $X_i$'s commute (as before). $\tilde y_i:=y_i + \sum_{i `< j} s_{ij}$. $T_iX_iT_i=X_{i+1}\Rightarrow s_iX_is_i=X_{i+1}$ $T_iY_{i+1}T_i=Y_i\Rightarrow s_iy_is_i=y_{i+1}+s_i$ $(Y_2,X_1):=Y_2X_1Y_2^{-1}X_1^{-1}=T_1^{-2}\Rightarrow [y_2,X_1]=ks_1X_1$ which are (one form of) the relations of the trigonometric Cherednik algebra. Further writing $X_i=e^{\hbar x_i}$, one recovers the so called rational Cherednik algebra. So there is a hierarchy of degenerations. The top and bottom of the hierarchy are essentially symmetric in the variables $X$ and $Y$, in the precise sense that there is a "Fourier transform" automorphism swapping the variables, in both cases. Note that at the top of the hierarchy, the Fourier transform is just the order four automorphism of the elliptic curve which is the matrix $((0,1),(-1,0))$ in $PSL_2(Z)$, the mapping class group of the torus, and which can be seen in various elementary ways. At the bottom of the hierarchy, the Fourier transform is just swapping $x_i$ and $y_i$ and is related to Fourier transform of differential operators on an abelian group. In the middle, there isn't really a Fourier transform, because the symmetry was broken by degenerating the $Y_i$, but leaving the $X_i$ unscathed. ---------- I'm not an expert on any of these things, and I can't say I've worked through the topological construction for all the cases, but I think, to answer Stephen's question, we can simply choose any lattice in $\mathbb{C}$, of rank $2$ (say $\Lambda=\mathbb{Z}1 \oplus \mathbb{Z}\mathbf{i}), and consider $\pi_1(\mathfrak{h}_reg/\Lambda^r)$, where $r$ is the rank of $\mathfrak{h}$. Then one quotients by the relations that loops around singular points of this quotient have order 2. For instance, let me explain a nice thing that happens for BC_n type. BC_n non-affine braid group means we configurations of 2n distinct points in $\mathbb{C}\backslash\{0}$, such that $x$ is in the configuration if and only if $-x$ is in the configuration. We don't allow zero because that we want pairs of matched points. It's not hard to see that $\pi_1$ of that configuration space is the braid group of type $BC_n$, because you can choose the repesentative of each pair lying in the upper half plane, and you get the upper half plane, except that the $r$ and $-r$ are identified for all real points, and zero is excluded. This is a punctured plane. Now the prescription above should lead you to consider $2n$ distinct points on the elliptic curve (or rather $S^1\times S^1$; I only say elliptic curve because people sometimes mean $\mathbb{C}^\times$ by torus...). However, now you have more points to remove. Not only zero, but all half integer points would correspond to a place where $x$ and $-x$ collide. So you get the usual picture of the torus from a first course in topology, except with half-integer points removed. A very fun exercise is to work out that you can again choose the representative of each pair which lies in, say, the lower left corner of the torus, where we cut the torus in half along the diagonal from upper left to lower right. But now again you have to identify some edges, and you get .... $\mathbb{CP}^1$ with four punctures (corresponding to the four half integer points of your real torus.) Now you get to choose five parameters: one parameter for non-affine hyper planes, meaning the $T_i$, and then one for each of the new poles you've introduced. Imposing the Hecke relations on all those you get the double affine Hecke algebra of type $BC_n$ (sometimes called $C^\vee C_n$ for historical reasons) with those five parameters. Notice that this process leads you to a very different presentation of the DAHA, where you de-emphasize the lattices, and emphasize the loops around the singularities. I understand that S. Sahi gave a similar presentation for all DAHA's coming from root systems, but with probably deeper motivations than these drawings on surfaces. I'm not sure of the reference where Sahi did this. At least in this example, one again sees the Fourier transform as just the obvious move on the real torus.