Saturday, December 30, 2017

Is Walter Lewin wrong about Kirchhoff's law? 


Thinking how to organize the upcoming material about geometry and physics I came about a recent controversy about an electromagnetism lecture by Walter Lewin and I want to talk about it in this post. 

First, a little background. When I started teaching undergraduate physics I needed help on how to structure the lectures. Personally I wanted to emulate Feynman lectures, but the physics departments impose on you either Giancolli or Young and Friedman. I turned to internet for help and I found the outstanding undergrad lectures by Walter Lewin which I adapted to my needs - thank you Professor Lewin. In lesson 16 on electromagnet induction which you can watch below


on minute 34:54 the fireworks begins. The setup starts unassuming: a trivial circuit with a 1 V battery and two resistors in series. The current is computed as well as the voltage drop across the larger resistor. Then the battery is removed and is replaced by a solenoid in the middle of the circuit which generates an increasing magnetic field such that the induced voltage is the same 1 V as the battery. Now the question becomes: what is the voltage drop on each resistors? The answer is that two voltmeters connected on the same points one on one side of the loop and one of the other side will record different voltages of opposite polarities! In this case one will record +0.9 V and the other -0.1 V. And the experiment confirms this!!!

For  a complete step-by-step derivation see: web.mit.edu/8.02/www/Spring02/lectures/lecsup3-15.pdf

This is deeply at odds with our intuition and there are a lot of "proofs" of why Lewin is wrong. Here is one example which has the advantage over others that it is in English.



Lewin responded to those challenges in two distinct posts in a poor manner in my opinion: he simply repeated slowly and loudly his explanation and did not address the root cause of the discomfort people experience when presented with this counter-intuitive phenomena. So I will attempt to add my own  pedagogical explanation of how to understand this.

First, are the two voltmeters connected on the same points? It is not clearly visible on the video how the two voltmeters are connected, but if you have access to an electronics lab you can actually connect the two voltmeters on the very same points and repeat the experiment. So how is it possible that two identical voltmeters connected to the same points read something differently? This is because different currents flow through the two voltmeters.

Now you may say: this is absurd, why different currents flow through the two voltmeters? Can I just simply use only one voltmeter and place it on the right hand side of the circuit, and then flip it to the left hand side? Why would the reading change?

The reading does not change as long as you do not cross the changing magnetic field zone.  However as you cross the changing magnetic field the voltmeter reading changes gradually from the right hand side value of +0.9 V to the left hand side value of -0.1 V. We can actually compute how this happens and I will do it below. 

But before doing it, I want to say what is wrong in the "disproof" video above. First, the solenoid is the same size of the circuit and is placed under the circuit. This allows for the gradual voltage change due to crossing of the changing magnetic field to be misinterpreted as a voltage drop on the copper wiring. Second, the explanation is inconsistent with regards to the current intensities. If you compute the intensity in the copper wire due to 1 V difference you do not get 1 milli Ampers, but a huge current because copper wire has almost zero resistance. Also there is a big misunderstanding on the how to compute the flux by stating that a vertical plane has no flux going though it. If the loop would be completely vertical this would have been correct, but the the voltmeter loop also contains a horizontal path closing the circuit and this has non-zero magnetic flux crossing through it.

So now onto the computation. I will use only one voltmeter which is placed on the right like in the first picture below:


Then I move the connection points A and B and flip the voltmeter wire to cross the magnetic region (see the second picture and notice that the direction of i stays the same: from the voltmeter to r2).

Let's work out the math in the first case. There are two loops with currents I and i and the resistance of the voltmeter is R >> r1, r2:

I(r1+r1) - i r2= E    (induction law)
i r2 - I r2 + i R = 0  (Kirchhoff)

in the second equation r2 << R and we can ignore the first term: -I r2 + i R = 0 which means i << I and in the first equation we can ignore the negative term resulting in:

I (r1 + r2) = E from which we extract the current in the main loop.

Then V read by the voltmeter is V = i R = I r2 = E r2 /(r1+r2) = 0.9 V using the resistors and E value from the lecture.

Now we are proceeding to flip the voltmeter from right to the left. Suppose that during flipping we cross s% of the changing magnetic flux area (the yellow area) with the voltmeter loop. The first equation reads as before:

I(r1+r1) - i r2= E    (induction law)
but the second one is changed to:

i r2 - I r2 + i R = -sE  (induction law)

the same order of magnitude tricks apply and we get:

I (r1 + r2) = E
-I r2 + i R = - sE

and the voltage recorded by the voltmeter is V = i R = I r2 - sE

V = E r2 /(r1+r2) - sE  with  \(s \in (0,1)\)

So on the right side the voltmeter reads E r2 /(r1+r2) = 0.9 V and on the left side the voltmeter reads 
E r2 /(r1+r2) -E = -E r1/(r1 + r2) = -0.1 V with all the intermediate values in between as we flip the device.

This effect is shown in Mabilde's video from 17:40 to 18:00, but his explanation is wrong.

Alternatively when the voltmeter is flipped all the way to the left we can consider a loop not enclosing the area of changing magnetic field and arrive at the same -0.1 V by using Kirchhoff's just like we did on the right hand side.

If we consider two left and right voltmeters we can also understand why they record different values. We can consider the outer loop and apply the induction law to it and see that a current "i" flows from one voltmeter through the other due to the area of changing magnetic field. Since the voltmeters are polarity sensitive one would record a positive voltage and another one a negative voltage. In fact we can further simplify the setting by removing the two resistors completely and in this case one voltmeter would record +0.5 V and another -0.5 V:



In conclusion the Walter Lewin is completely correct and the controversy stems from blind trust in Kirchhoff's circuit laws which are valid only when there is no changing of magnetic flux in the circuits and a misunderstanding of Maxwell's equations.

Sunday, December 17, 2017

Physics and Geometry


Returning to gauge theory, physics is best understood in terms of geometry. The area is vast and I am considering how to best explain the key concepts in the most intuitive way. Today I want to start with the broad picture to present the relevant mathematical landscape. We need to consider two kinds of transformations:
  • transformations in space-time
  • gauge transformations of physical fields.
The mathematical machinery involved uses fiber bundles and Cartan's language of differential forms. There are two key differential forms: the connection 1-form and the curvature 2-form. Another essential ingredient is that of parallel transport. In terms of physics parallel transport corresponds to the transport of physical information. When we do parallel transport around a closed loop the final state is in general different than the initial state.

Here is some trivial example from ordinary high-school geometry. You are walking on Earth along the equator  and you carry with you an arrow which points North. You walk 1/4 circumference of the Earth when you decide to walk all the way to North Pole. At any point during your journey you keep the orientation of your arrow at time \(t\) parallel to the orientation of your arrow at time \(t+\Delta t\). Initially the arrow was perpendicular to the direction of travel, and when you started going North the arrow is parallel to the direction of travel. Once at North Pole you deice to take the shortest path to your starting point. What is the orientation of your arrow when you get back? Try this with a pencil and a ball.

The parallel transport on a closed loop can be used to define curvature. In terms of physics, gauge theory teaches us that:

force=curvature

When discussing gauge theory, the natural language is that of bundles. On bundles, one starts with product bundles but then one proceeds to general bundles obtained by gluing together product bundles. For Standard Model the product bundles are enough, but for gauge theory on curved space-time (string theory, quantum gravity) you need to use the most general bundles.

One problem arises then: how to relate what different observers see?

Changes in observers are described by cocycles. Cocycles depend on both the topology of the space-time manifold and the structure of the gauge group. The deviation of vector bundles from from product bundles is measured by the so-called characteristic classes (Chern, Euler, Pontryagin, Stiefel-Whitney, Thom classes).

To explain the math machinery of all this is a very ambitious project and I am not sure how far along I can carry the series but I will try. The geometry involved is very beautiful (at least to me). Please stay tuned.

Sunday, December 3, 2017

Industry vs. Academia


Before returning to talk about gauge theory I want to discuss a topic out of my personal experience. I started my career in academia, I switched to industry where I was very successful, and I manage to come back to academia. As such I can offer a good perspective of both and hopefully clarify misconceptions. 

For a little history, I published my first paper second year in college and after graduation I joined the most productive theoretical research group in Romania which was publishing about a paper a month. The sky was the limit and I chose to get my PhD in US. I went to UMCP and after graduation I joined my adviser's recently created company switching to industry where I rapidly climbed the corporate ladder. Now I am back in academia (with a foot still in the industry).

In academia there is this perception (and arrogance) that the outside world is not smart enough. This is farthest from the truth. The smartest person I ever met was Alain Connes (and also the most arrogant person I ever met) but beside this outlier, I can state with confidence that the industry has on average the smarter persons. In general their abilities correlate strongly with the amount of money or power they amass. Another misconception is that in industry you do not work on interesting or hard problems. The opposite is true, and I saw time and time again how the state-of-the-art knowledge in the industry is 10 to 20 years ahead of the  state-of-the-art knowledge in academia. The best industry knowledge is kept under wraps on a need to know basis as trade secrets and you need to be high enough on the food chain to get to know them.

For comparable skill sets, in the industry you earn 2 to 3 times the amount you will make in academia. When I was choosing my PhD adviser, I considered a thesis in particle phenomenology with Professor Rabindra Mohapatra. I had to qualify to be his grad student and after I did that I got to see the fine print of the deal. The entire particle physics group at UMCP (10 professors) had to pull their resources to fund a single research assistant (RA). In comparison, the professors in EE department each had between 10 to 20 RAs due to industry contracts. This turned me off and I picked a better funded adviser. A few years after graduation I was working in the industry and I was in the market for a house. It just happened that professor Mohapatra was selling his house and I got to visit it as a buyer. I did not bought it in the end but already within a few years in industry I had the same buying power as a distinguished full professor in academia.

When you climb the corporate ladder in the industry there are standard steps. You start as an intern and the requirement there is to have potential to grow and to be liked by the group. Then you are a junior engineer who is working under close supervision. When you can work independently in one area you become a senior engineer and a typical salary is around $90K/year.  If you can work across the board in any area, you are a principal engineer. From principle the next step is supervisor where you are responsible for the results of an entire team. Next step is manager who is a supervisor with power to do performance evaluations and make salary decisions. Up to this point the focus is on work and as a manager you get to know the dirty secrets but you still do not have a seat at the big boys table. Next is a director who is an execution machine. The most important skill of a director is to defend his back as peers and people above are out to get him. A director with industry knowledge is a vice president. A VP can run the company but he is not yet vetted from the social part: he is not a member of the C-level club (CEO, COO, CFO). At C-level you are a god for the company and your statements carry legal responsibility. For the people entering the industry, one general word of advice is that the human resource department is never your friend - don't get fooled by their friendliness or lunch events they organize. They are there to prevent the company from being sued and they do the dirty work of firing people - which no manager enjoys.  

I managed to climb all the way to director and VP level, and at every large company I worked the C-level are all crooks-no exceptions. Very smart, very competent, very polished, experts in the art of dissimulation and manipulation, and rotten to the core. Power does corrupt. I came to know countless unbelievable horror stories. 

Now back to physics and academia. One thing I hate was the publish or perish state of fact. Not everyday you have a big breakthrough and 99% of the published papers are utterly useless. People organize in groups citing each other meaningless results, and if your paper is correct most of the referee's comments are about not citing something. When I exited academia I made the decision to come back when I would have something important to say. Coming back turned out to be much much harder than I thought. 

Everything was an uphill battle: first results, gain archive endorsement, first paper, first conference, first teaching assignments. When you are in the system you cannot see how much your adviser is supporting you in your academic career. If you worked in industry and want to come back to academia only because you like physics you will not be successful. The first thing you need is to have a research domain of your own and also to have meaningful  results. What matters the most is what problems you are working on and for this you need good guidance. Good guidance is hard to come by even when you are in academia. I was lucky to have met a remarkable person: Emile Grgin who worked on a research topic from Bohr. Bohr passed this topic to his personal assistant Aage Peterson who worked with Grgin as postdocs at Yeshiva University in the 70s. Grgin switched to industry and I met him as he was retiring interested to make more progress on this topic. I learned the topic and I carried the torch. Lucky for me, to no merit of mine, the area turned out to be a gold mine. So now I was having something meaningful to work on and something meaningful to say and it was time to start the transition back to academia. Also there was no competition in my research area - a wonderful thing.

I might have been a young tiger before in academia but now I was a big nobody as far as academia was concerned. The first hurdle was rising above the large background noise of crackpots. I identified this organization FQXi and I won a third prize there on one of their essay contests. This opened up connections for me and now people would no longer ignore my emails and gave me the cold shoulder. I started blogging for FQXi and this is when I hit the second roadblock. After crackpots there is a layer of charlatans. I ran into the biggest of all Joy Christian. The problem was that he had powerful friends with a lot of clout and fighting Joy blacklisted me and delayed my academia comeback plan by 2-3 years until Joy's credibility was all gone. Finally after wasting in the desert of blacklisting I gained archive endorsement, I started to get invited to conferences, and I started publishing again. I also became a referee on various journals. It was time to start a blog (this one). The blog provided a much needed discipline to work a given set of hours a day on physics. In industry you live under a constant shadow of a deadline and it is very hard to set hours aside in the day to do anything else productive. Now it was time to complete the switch and make money again from a physics job. Here I ran into another large problem. Physics pays peanuts and now I cannot go back and live like a poor grad student anymore: I have a large mortgage to pay as well as college expenses for my kids to the tune of hundreds of thousands of dollars. I needed a side job in the industry to make up the difference, but no job provides that flexibility. The answer was to start my own consultancy company. This is no easy task, but I did have all the knowledge I needed.

So I finally had the first paying job at a university jumping between my company work and my physics duties. Physics was no longer a hobby.  Today I am very busy working over 80 hours a week and I am climbing very rapidly the academic levels. Coming back to academia is a game of building your credibility. A funny observation is that at every level no matter how low there are a lot of politics being played. To me this is very amusing. I know how to read people and get them what they expect from me when they expect it. 

One more observation. Industry is capitalism with the good and the bad. Academia is still run by the rules of a feudal system. There are big established hierarchies which are defended at length without regard for truth. Sadly most people in academia do not seek truth but power. You can see the hierarchy at the conferences on the order and length of time given to the speakers. I found this obscene. In a small world where everybody knows everybody the arrogance of most of the hot shots runs through the roof. There are also scientific crooks who abuse their power for personal gains. There are notable exceptions however. One of the most down to earth nice person who listens to what the lowliest grad student has to say is 't Hooft. I don't agree with his approach to quantum mechanics but I value him as a decent person. Another decent person I admire is Avshalom Elizur. For the record I am not associated with either of them or their groups and I am not praising them for any future gains. I am genuinely impressed by the way they conduct themselves in a sea of feudal system arrogance.

Sunday, November 12, 2017

The beginning of the end of Trump-ism



Today I am going to skip the physics post and talk instead of a very important event, the elections in Virginia which signals the beginning of the end for Trump-ism. I live in Virginia, I voted in this election and my experience is shared by many other people.

The current outgoing governor of Virginia was a close friend/allied of Hillary Clinton who heavily promoted him over better democrat candidates in order to control the swing state of Virginia for Hillary during last presidential elections. Terry McAuliff was a slimy politician who took money from dishonest corporations but he managed to lay low and stayed outside attention during his term.

At the end of McAuliff's term, his second in command (Ralph Northam) ran for office and from the republican party was opposed by Ed Gillespie. Northam generated just as much enthusiasm as Hillary Clinton (meaning close to absolute zero) but started the race with a sizable lead. Gillespie was closing the gap when he made a huge miscalculation: he became a Trump clone. Gillespie's thinking was to energize the Trump base but it backfired big time on him. 

Originally I planned to stay home and not vote - I did not care for either Northam or Gillespie, but when Gillespie became "Trump 2" I became determined to vote against him. According to local polls, 50% of Northam's voters did so exactly like me and their vote was not pro Northam but against Trump. I think if democrats would have put a monkey on the ballot, the monkey would have still won. 

One day before the vote Gillespie was projected to win, and I voted without enthusiasm. I was very surprised to learn Northam won in a landslide. Moreover republican's large control of the local legislature was wiped off. 




Now is the time to undo Republican's district gerrymandering in Virginia. Gerrymandering is the dirty trick of carving up the districts to ensure your party maintains control even if you lose the majority of the voters. Here is how gerrymandering works:


As I stated above, I did not vote with enthusiasm because I was expected to loose, but now once it became clear what happened, there is renewed energy and drive to kick Trump and his clones out. Next step is to get rid of Nancy Pelosi. She made a deal with Trump and is now protecting Trump from impeachment. Next year the republicans will lose control of the House and the impeachment road will be clear. 

If you agree we should end the Trump nightmare, please sign this petition. This is run by by Tom Stayer

Sunday, October 29, 2017

The electromagnetic field


Continuing from last time, today I will talk about the electromagnetic field as a gauge theory.

1. The gauge group

In this case the gauge group is \(U(1)\) - the phase rotations. This group is commutative. This can be determined if we start from Dirac's equation and we demand that the group leaves the Dirac current of probability density:

\(j^\mu = \Psi^\dagger \gamma^0 \gamma^\mu \Psi\)

invariant.

2. The covariant derivative giving rise to the gauge group

Here the covariant derivative takes the form:

\(D_\mu = \partial_\mu - i A_\mu\)

To determine the gauge connection \(A_\mu\) we can substitute this expression in Dirac's equation:

\(i\gamma^\mu D_\mu \Psi = m\Psi\)

and require the equation to be invariant under a gauge transformation:

\(\Psi^{'} = e^{i \chi}\Psi\)

which yields:

\(A^{'}_{\mu} = A_\mu + \partial_\mu \chi\)

This shows that:
- the general gauge field for Dirac's equation is an arbitrary vector field \(A_\mu (x)\)
-The part of the gauge field which compensates for an arbitrary gauge transformation of the Dirac field \(\Psi (x)\) is the gradient of on an arbitrary scalar field.


3. The integrability condition

Here we want to extract a physically observable object out of a given vector field \(A_\mu (x)\). From above it follows that there is no external potential if \(A_\mu = \partial_\mu \chi\) and this is the case if and only if:

\(\partial_\mu A_\nu - \partial_\nu A_\mu = 0\)

4. The curvature

The curvature measures the amount of failure for the integrability condition and by definition is the left-hand side of the equation from above:

\(F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu\)

and this is the electromagnetic field tensor.

5. The algebraic identities

There is only one algebraic identity in this case stemming from the curvature tensor antisymmetry:

\(F_{\mu\nu} +F_{\nu\mu} = 0\)

6. The homogeneous differential equations

If we take the derivative of \(F_{\mu\nu}\) and we do a cyclic sum we obtain:

\(F_{\mu\nu , \lambda} + F_{\lambda\mu , \nu} + F_{\nu\lambda , \mu} = 0\)

which is analogous with the Bianchi identity in general relativity.

This identity can be expressed using the Hodge dual as follows:

\(\partial_\rho {* F}^{\rho\mu} = 0\)

and this is nothing but two of the Maxwell's equations:

\(\nabla \cdot \overrightarrow{B} = 0\)
\(\nabla \times \overrightarrow{E} + \frac{\partial}{\partial t} \overrightarrow{B} = 0\)

7. The inhomogeneous differential equations

If we take the derivative of \(\partial_\beta F^{\alpha\beta}\) we get zero because the F is antisymetric and \(\partial_{\alpha\beta} = \partial_{\beta\alpha}\). and so the vector  \(\beta F^{\alpha\beta}\) is divergenless. We interpret this as a current of a conserved quantity: the source for the electromagnetic field and we write:

\(\partial_\rho F^{\mu\rho} = 4\pi J^\mu\)

where the constant of proportionality comes from recovering Maxwell's theory (recall that last time \(8\pi G\) came from similar arguments.

From this we now get the other two Maxwell's equations:

\(\nabla \cdot \overrightarrow{E} = 4\pi \rho\)
\(\nabla \times \overrightarrow{B} - \frac{\partial}{\partial t} \overrightarrow{E} = 4\pi \overrightarrow{j}\)

Now we can compare general relativity with electromagnetism:

Coordinate transformation - Gauge transformation
Affine connection \(\Gamma^{\alpha}_{\rho\sigma}\) - Gauge connection \(iA_\mu\)
Gravitational potential \(\Gamma^{\alpha}_{\rho\sigma}\) - electromagnetic potential \(A_\mu\)
Curvature tensor \(R^{\alpha}_{\beta\gamma\delta}\) - electromagnetic field \(F_{\mu\nu}\)
No gravitation \(R^{\alpha}_{\beta\gamma\delta} = 0\) - no electromagnetic field \(F_{\mu\nu} = 0\)


Sunday, October 8, 2017

The gravitational field


Today we will start implementing the 7 point roadmap in the case of the gravitational field. Technically gravity does not form a gauge theory but since it was the starting point of Weyl's insight, I will start with this as well and next time I will show how the program works in case of the electromagnetic field.

1. The gauge group

The "gauge group" in this case is the group of general coordinate transformations in a real four-dimensional Riemannian manifold M. Now the argument against Diff M as a gauge group comes from locality. An active diffeomorphism can move a state localized near the observer to one far away which can be different. However, for the sake of argument I will abuse this today and considered Diff M as a "gauge group" because of the deep similarities (which will explore in subsequent posts) between this and proper gauge theories like electromagnetism and Yang-Mills.

2. The covariant derivative giving rise to the gauge group

For a vector field \(f^\alpha\) the covariant derivative is defined as follow:

\(D_\rho f^\alpha = \partial_\rho f^\alpha +{\Gamma}^{\alpha}_{\rho\sigma} f^\alpha\)

where \({\Gamma}^{\alpha}_{\rho\sigma}\) is called an affine connection. If we demand that the metric tensor is a covariant constant under D we can find that the connection is:

\({\Gamma}^{\sigma}_{\mu\nu} = \frac{1}{2}[g_{\rho\mu,\nu} + g_{\rho\nu,\mu} - g_{\mu\nu,\rho}]\)

where \(f_{\rho,\sigma}  = \partial_\sigma f_\rho\) 


3. The integrability condition

We define this condition as the commutativity of the covariant derivative. If we define the notation: \(D_\mu D_\nu f_\sigma = f_{\sigma;\nu\mu}\) we can write this condition as:

\(f_{\rho;\mu\nu} - f_{\rho;\nu\mu} = 0\)

Computing the expression above yields:

\(f_{\rho;\mu\nu} - f_{\rho;\nu\mu} = f_\sigma {R}^{\sigma}_{\rho\mu\nu}\)
where
\({R}^{\sigma}_{\rho\mu\nu} = {\Gamma}^{\tau}_{\rho\mu}{\Gamma}^{\sigma}_{\tau\nu} - {\Gamma}^{\tau}_{\rho\nu}{\Gamma}^{\sigma}_{\tau\mu} + {\Gamma}^{\sigma}_{\rho\mu,\nu} - {\Gamma}^{\sigma}_{\rho\nu,\mu}\)

4. The curvature

From above the integrability condition is \({R}^{\sigma}_{\rho\mu\nu} = 0\) and R is called the Riemann curvature tensor.

5. The algebraic identities

The algebraic identities come from the symmetry properties of the curvature tensor which reduces the 256 components to only 20 independent ones. I am too tired to type the proof of the reduction to 20, but you can easily find the proof online.

6. The homogeneous differential equations

If we take the derivative of the Riemann tensor we obtain a differential identity known as the Bianchi identity:

\({R}^{\sigma}_{\rho\mu\nu;\tau} + {R}^{\sigma}_{\rho\tau\mu;\nu} + {R}^{\sigma}_{\rho\nu\tau;\mu} = 0\)

7. The inhomogeneous differential equations

This equation is of the form:

geometric concept = physical concept

And in this case we use the stress energy tensor \(T_{\mu\nu}\) and we find a geometric object with the same mathematical properties: symmetric and divergenless build out of curvature tensor. The left-hand side is the Einstein tensor:

\(G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R\)

The constant of proportionality comes from recovering Newton's gravitational equation in the nonrelativistic limit. In the end one obtains Einstein's equation:

\(G_{\mu\nu} = 8\pi G T_{\mu\nu}\)

Next time I will go through the same process for the electromagnetic field and map the similarities between the two cases. Please stay tuned.

Sunday, September 24, 2017

The Math of Gauge Theories

With a bit of a delay I am resuming the posts on gauge theory and today I will talk about the math involved. 

In gauge theory you consider the base space-time as a manifold and you attach at attach point an object or what is called a fiber forming what it is called a fiber bundle. The picture which you should have in mind is that if a rug.


The nature of the fibers is unimportant at the moment, but they should obey at least the properties of a linear space. 

Physically think of the fibers as internal degrees of freedom at each spacetime point, and a physical configuration would correspond to a definite location at one point long the fiber for each fibers. 

The next key concept is that of a gauge group. A gauge group is the group of transformations which do not affect the observables of the theory. 

Mathematically, the gauge symmetry depends on how we relate points between nearby fibers and to make this precise we only need (only) one critical step: define a covariant derivative.

Why do we need this? Because an arbitrary gauge transformation does not change the physics and the usual ordinary derivative sees both infinitesimal changes to the fields, and the infinitesimal changes to an arbitrary gauge transformation. Basically we need to compensate for the derivative of an arbitrary gauge transformation.

If d is the ordinary derivative, let's call D the covariant derivative and their difference (which is a linear operator) is called either a differential connection, a gauge field, or a potential:

A(x) = D - d

D and d act differently: d "sees" the neighbourhood behaviour but ignores the value of the function on which it acts, and D acts on the value but is blind to the neighbourhood behaviour.   

The condition we will impose on D is that is must satisfy the Leibniz identity because it is derivative:

D(fg) = (Df)g+f(Dg)

which in turn demands:

A(fg) = (Af)g+f(Ag)

In general only one part of A may be used to compensate for gauge transformations, and the remaining part represent an external field that may be interpreted as potential. When no external potentials are involved, A usually respects integrability conditions. Those conditions depend on the concrete gauge theory and we will illustrate this in subsequent posts.

When external fields are present, the integrability conditions are not satisfied and this is captured by what is called a curvature. The name comes from general relativity where lack of integrability is precisely the space-time curvature.

The symmetry properties arising out of curvature construction gives rise to algebraic identities.

Next in gauge theories we have the homogeneous and inhomogeneous differential equations. As example of homogeneous differential equations are the Bianchi identities in general relativity and the two homogeneous Maxwell's equations. The inhomogeneous equations are related to the sources of the fields (current in electrodynamics, and stress-energy tensor in general relativity).

So to recap, the steps used to build a gauge theory are:

1. the gauge group
2. the covariant derivative giving rise to the gauge field
3. integrability condition
4. the curvature
5. the algebraic identities
6. the homogeneous equations
7. the inhomogeneous equations

In the following posts I will spell out this outline first for general relativity and then for electromagnetism. Technically general relativity is not a gauge theory because diffeomorphism invariance cannot be understood as a gauge group but the math similarities are striking and there is a deep connection between diffeomorphism invariange and gauge theory which I will spell out in subsequent posts. So for now please accept this sloppiness which will get corrected in due time.