Construction of pre-Brownian motion from Markov transition kernels I am reading very nice notes on probability theory by Bruce Driver, but since I didn't have a lecture on the subject I sometimes get confused. In particular, I am confused about the existence of a pre-Brownian motion (process with independent increments where the increments are normally distributed, i.e. a Brownian motion but not necessarily continuous). Corollary 22.27 states the existence of pre-B motion and is based on exercise 17.8 (which says that if the pre-B motion would exist it would have some properties) and Theorem 17.11 which states that given Markov transition kernels we can construct a Markov process with those kernels. However, I am having a hard time piecing this together.
 A: What you call 'pre-Brownian motion' is just the usual Brownian motion, but considered only on events in the cylindrical sigma algebra. The cylindrical sigma algebra is a 'very small' sigma algebra generated by finite dimensional random variables of the form $f(B_{t_1},...,B_{t_n})$; for instance supremums of the process do not belong to it: the supremum of 'pre-Brownian motion' simply does not make direct sense.
The reason some authors consider it nonetheless is because of the Kolmogorov extension theorem https://en.wikipedia.org/wiki/Kolmogorov_extension_theorem, which states that basically any (in particular Markov) family of consistent (in terms of marginalization; e.g. for Markov it's just the semi-group property of probability transitions) finite dimensional distributions generates a well-defined process distribution on the cylindrical sigma algebra. What you seem to struggle with is the direct application of this Kolmogorov extension theorem to the case of the heat kernel.
Now note that this process distribution may be a.s. continuous in some sense, it's just that this statement does not make sense on this restrictive cylindrical sigma algebra. So the point is not that 'pre-Brownian motion' is "not necessarily continuous", the point is that "continuity does not make sense" for pre-Brownian motion.
The magic trick, which is missing in the refs you are mentioning is the Kolmogorov continuity theorem https://en.wikipedia.org/wiki/Kolmogorov_continuity_theorem
which ensures that you can uniquely 'lift' your 'pre-Brownian motion' to a proper stochastic process seen as a random variable in the Polish space of continuous paths (endowed with the uniform norm). By doing so, you considerably extend the sigma algebra on which your process is defined: any path functional which is Borel measurable for continuous trajectories will work. Kolmogorov continuity theorem exactly tells you that there is a unique natural way to do that from the cylindrical sigma aglebra.
Finally, note that the Kolmogorov extension theorem is very general, but very abstract, and requires the underlying probability space to be 'large' (not just (0,1) with Uniform). From the perspective of constructive mathematics, mathematical physics, or simulation, it is not very satisfactory. Some authors try to avoid it. All basic cadlag random processes can be constructed without it, see for instance Levy's construction of Brownian motion.
Finally, I don't think that considering Kolmogorov extension (abstract existence) without Kolomogorov continuity (continuous version + uniqueness) is insightful. Both are better, and nicer, together.
