Source author record

Jerzy Król

Jerzy Król appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
7topics
3close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2016arXiv

How Logic Interacts with Geometry: Infinitesimal Curvature of Categorical Spaces

In category theory, logic and geometry cooperate with each other producing what is known under the name Synthetic Differential Geometry (SDG). The main difference between SDG and standard differential geometry is that the intuitionistic logic of SDG enforces the existence of infinitesimal objects which essentially modify the local structure of spaces considered in SDG. We focus on an "infinitesimal version" of SDG, an infinitesimal $n$-dimensional formal manifold, and develop differential geometry on it. In particular, we show that the Riemann curvature tensor on infinitesimal level is itself infinitesimal. We construct a heuristic model $S^3 \times \mathbb{R} \subset \mathbb{R}^4$ and study it from two perspectives: the perspective of the category SET and that of the so-called topos $\mathcal{G}$ of germ-determined ideals. We show that the fact that in this model the curvature tensor is infinitesimal (in $\mathcal{G}$-perspective) eliminates the existing singularity. A surprising effect is that the hybrid geometry based on the existence of the infinitesimal and the SET levels generates an exotic smooth structure on $\mathbb{R}^4$. We briefly discuss the obtained results and indicate their possible applications.

preprint2016arXiv

Model and Set-Theoretic Aspects of Exotic Smoothness Structures on $\mathbb{R}^4$

Model-theoretic aspects of exotic smoothness were studied long ago uncovering unexpected relations to noncommutative spaces and quantum theory. Some of these relations were worked out in detail in later work. An important point in the argumentation was the forcing construction of Cohen but without a direct application to exotic smoothness. In this article we assign the set-theoretic forcing on trees to Casson handles and characterize small exotic smooth $R^4$ from this point of view. Moreover, we show how models in some Grothendieck toposes can help describing such differential structures in dimension 4. These results can be used to obtain the deformation of the algebra of usual complex functions to the noncommutative algebra of operators on a Hilbert space. We also discuss the results in the context of the Epstein-Glaser renormalization in QFT.

preprint2016arXiv

Synthetic Approach to the Singularity Problem

We try to convince the reader that the categorical version of differential geometry, called Synthetic Differential Geometry (SDG), offers valuable tools which can be applied to work with some unsolved problems of general relativity. We do this with respect to the space-time singularity problem. The essential difference between the usual differential geometry and SDG is that the latter enriches the real line by introducing infinitesimal of various kinds. Owing to this geometry acquires a tool to penetrate "infinitesimally small" parts of a given manifold. However, to make use of this tool we must switch from the category of sets to some other suitable category. We try two topoi: the topos ${\cal G}$ of germ determined ideals and the so-called Basel topos ${\cal B}$. The category of manifolds is a subcategory of both of them. In ${\cal G}$, we construct a simple model of a contracting sphere. As the sphere shrinks, its curvature increases, but when the radius of the sphere reaches infinitesimal values, the curvature becomes infinitesimal and the singularity is avoided. The topos ${\cal B}$, unlike the topos ${\cal G}$, has invertible infinitesimal and infinitely large nonstandard natural numbers. This allows us to see what happens when a function "goes through a singularity". When changing from the category of sets to another topos, one must be ready to switch from classical logic to intuitionistic logic. This is a radical step, but the logic of the universe is not obliged to conform to the logic of our brains.

preprint2014arXiv

Abelian gerbes, generalized geometries and foliations of small exotic R^4

In the paper we prove the existence of the strict but relative relation between small exotic $\mathbb{R}^{4}$ for a fixed radial family of DeMichelis-Freedman type, and cobordism classes of codimension one foliations of $S^{3}$ distinguished by the Godbillon-Vey invariant, $GV\in H^{3}(S^{3},\mathbb{R})$ (represented by a 3-form). This invariant can be integrated to get the Godbillon-Vey number. For a fixed radial family, we will show that the isotopy classes (invariance w.r.t. small diffeomorphisms or coordinate transformations) of all members in this family are distinguished by the Godbillon-Vey number of the foliation which is equal to the square of the radius of the radial family. The special case of integer Godbillon-Vey invariants $GV\in H^{3}(S^{3},\mathbb{Z})$ is also discussed and is connected to flat $PSL(2,\mathbb{R})-$bundles. Next we relate these distinguished small exotic smooth $\mathbb{R}^{4}$'s to twisted generalized geometries of Hitchin on $TS^{3}\oplus T^{\star}S^{3}$ and abelian gerbes on $S^{3}$. In particular the change of the smoothness on $\mathbb{R}^{4}$ corresponds to the twisting of the generalized geometry by the abelian gerbe. We formulate the localization principle for exotic 4-regions in spacetime and show that the existence of these domains causes the quantization of electric charge, the effect usually ascribed to the existence of magnetic monopoles.

preprint2013arXiv

Higgs potential and confinement in Yang-Mills theory on exotic R^4

We show that pure SU(2) Yang-Mills theory formulated on certain exotic R^4 from the radial family shows confinement. The condensation of magnetic monopoles and the qualitative form of the Higgs potential are derived from the exotic R^4, e. A relation between the Higgs potential and inflation is discussed. Then we obtain a formula for the Higgs mass and discuss a particular smoothness structure so that the Higgs mass agrees with the experimental value. The singularity in the effective dual U(1) potential has its cause by the exotic 4-geometry and agrees with the singularity in the maximal abelian gauge scenario. We will describe the Yang-Mills theory on e in some limit as the abelian-projected effective gauge theory on the standard R^4. Similar results can be derived for SU(3) Yang-Mills theory on an exotic R^4 provided dual diagonal effective gauge bosons propagate in the exotic 4-geometry.

preprint2012arXiv

Magnetic monopoles, squashed 3-spheres and gravitational instantons from exotic R^4

We show that, in some limit, gravitational instantons correspond to exotic smooth geometry on R^4. The geometry of this exotic R^4 represents magnetic monopoles of Polyakov-'t Hooft type and the BPS condition allows for the generation of the charges from the gravitational sources of exotic R^4. Higgs field is, as usual, present in the monopole configurations. We indicate some possible scenarios in cosmology, particle physics and condensed matter where pure SU(2) Yang-Mills theory on the exotic R^4 aquires non-zero mass for its gauge boson when the smoothness is changed to the standard R^4 and, then, it is described by Yang-Mills Higgs theory. The derivation of the results is based on the quasi-modularity of the expressions and the geometry of foliations in the limit.

preprint2012arXiv

On the origin of inflation

In this paper we discuss a space-time having the topology of S^{3}xR but with different smoothness structure. This space-time is not a global hyperbolic space-time. Especially we obtain a time line with a topology change of the space from the 3-sphere to a homology 3-sphere and back but without a topology-change of the space-time. Among the infinite possible smoothness structures of this space-time, we choose a homology 3-sphere with hyperbolic geometry admitting a homogenous metric. Then the topology change can be described by a time-dependent curvature parameter k changing from k=+1 to k=-1 and back. The solution of the Friedman equation for dust matter (p=0) after inserting this function shows an exponential growing which is typical for inflation. In contrast to other inflation models, this process stops after a finite time.

preprint2012arXiv

The modification of the energy spectrum of charged particles by exotic open 4-smoothness via superstring theory

In this paper we present a model where the modified Landau-like levels of charged particles in a magnetic field are determined due to the modified smoothness of $\mathbb{R}^{4}$ as underlying structure of the Minkowski spacetime. Then the standard smoothness of $\mathbb{R}^{4}$ is shifted to the exotic $\mathbb{R}_{k}^{4}$, $k=2p$, $p=1,2...$. This is achieved by superstring theory using gravitational backreaction induced from a strong, almost constant magnetic field on standard $\mathbb{R}^{4}$. The exact string background containing flat $\mathbb{R}^{4}$ is replaced consistently by the curved geometry of $SU(2)_{k}\times\mathbb{R}$ as part of the modified exact backgrounds. This corresponds to the change of smoothness on $\mathbb{R}^{4}$ from the standard $\mathbb{R}^{4}$ to some exotic $\mathbb{R}_{k}^{4}$. The calculations of the spectra are using the CFT marginal deformations and Wess-Zumino-Witten (WZW) models. The marginal deformations capture the effects of the magnetic field as well as its gravitational backreactions. The spectra depend on even level $k$ of WZW on SU(2). At the same time the WZ term as element of $H^{3}(SU(2),\mathbb{R})$ determines also the exotic smooth $\mathbb{R}_{k}^{4}$. As the consequence we obtain a non-zero mass-gap emerges in the spectrum induced from the presence of an exotic $\mathbb{R}_{k}^{4}$.

preprint2012arXiv

Towards superconformal and quasi-modular representation of exotic smooth R^4 from superstring theory I

We show that superconformal ${\cal N}=4,2$ algebras are well-suited to represent some invariant constructions characterizing exotic $\mathbb{R}^4$ relative to a given radial family. We examine the case of ${\cal N}=4, \hat{c}=4$ (at $r=1$ level) superconformal algebra which is realized on flat $\mathbb{R}^4$ and curved $S^3\times \mathbb{R}$. While the first realization corresponds naturally to standard smooth $\mathbb{R}^4$ the second describes the algebraic end of some small exotic smooth $\mathbb{R}^4$'s from the radial family of DeMichelis-Freedman and represents the linear dilaton background $SU(2)_k\times \mathbb{R}_Q$ of superstring theory. From the modular properties of the characters of the algebras one derives Witten-Reshetikhin-Turaev and Chern-Simons invariants of homology 3-spheres. These invariants are represented rather by false, quasi-modular, Ramanujan mock-type functions. Given the homology 3-spheres one determines exotic smooth structures of Freedman on $S^3\times \mathbb{R}$. In this way the fake ends are related to the SCA ${\cal N}=4$ characters. The case of the ends of small exotic $\mathbb{R}^4$'s is more complicated. One estimates the complexity of exotic $\mathbb{R}^4$ by the minimal complexity of some separating from the infinity 3-dimensional submanifold. These separating manifolds can be chosen, in some exotic $\mathbb{R}^4$'s, to be homology 3-spheres. The invariants of such homology 3-spheres are, again, obtained from the characters of SCA, ${\cal N}=4$. Next we take into account the modification of the algebra of modular forms due to the noncommutativity of the codimension-one foliations of the homology 3-spheres. Then, the modification of modular forms is represented by the Connes-Moscovici construction ...

preprint2012arXiv

Towards superconformal and quasi-modular representation of exotic smooth R^4 from superstring theory II

This is the second part of the work where quasi-modular forms emerge from small exotic smooth $\mathbb{R}^4$'s grouped in a fixed radial family. SU(2) Seiberg-Witten theory when formulated on exotic $\mathbb{R}^4$ from the radial family, in special foliated topological limit can be described as SU(2) Seiberg-Witten theory on flat standard $\mathbb{R}^4$ with the gravitational corrections derived from coupling to ${\cal N}=2$ supergravity. Formally, quasi-modular expressions which follow the Connes-Moscovici construction of the universal Godbillon-Vey class of the codimension-1 foliation, are related to topological correlation functions of superstring theory compactified on special Callabi-Yau manifolds. These string correlation functions, in turn, generate Seiberg-Witten prepotential and the couplings of Seiberg-Witten theory to ${\cal N}=2$ supergravity sector. Exotic 4-spaces are conjectured to serve as a link between supersymmetric and non-supersymmetric Yang-Mills theories in dimension 4.

preprint2011arXiv

Exotic smooth R^4 and quantum matter

We follow the point of view that superstring theory, as the theory of quantum gravity in the number of spacetime dimensions bigger than 4, serves as mathematics for both, 4 dimensional QG and exotic smoothness on open 4-manifolds. Extra-dimensions, supersymmetry or some other string techniques, belong to the mathematical toolkit suitable for the above purposes. Physics in dimension 4 is reached via exotic 4-geometries on $\mathbb{R}^4$. In the paper we discuss the techniques of exact superstring backgrounds, CFT and $SU(2)_k$ WZW models, as suitable for the description of effects assigned to the magnetic field and its gravitational backreactions on exotic Euklidean $\mathbb{R}^4$ which is the underlying smoothness for the 4-dimensional spacetime.