-
FTheoryTools: Advancing Computational Capabilities for F-Theory Research
Authors:
Martin Bies,
Miķelis E. Miķelsons,
Andrew P. Turner
Abstract:
A primary goal of string phenomenology is to identify realistic four-dimensional physics within the landscape of string theory solutions. In F-theory, such solutions are encoded in the geometry of singular elliptic fibrations, whose study often requires particularly challenging and cumbersome computations. In this work, we introduce FTheoryTools, a novel software module integrated into the OSCAR c…
▽ More
A primary goal of string phenomenology is to identify realistic four-dimensional physics within the landscape of string theory solutions. In F-theory, such solutions are encoded in the geometry of singular elliptic fibrations, whose study often requires particularly challenging and cumbersome computations. In this work, we introduce FTheoryTools, a novel software module integrated into the OSCAR computer algebra system, designed to automate the complex and tedious tasks involved in F-theory model building. Key features of FTheoryTools include the enumeration of G4-fluxes, the capability to perform blowups on arbitrary (including non-toric) loci, and a literature database of existing F-theory constructions employing a MaRDI-based data format for enhanced collaboration and reproducibility. As a demonstration of its power, we present a stress test by applying FTheoryTools to the challenging F-theory geometry with most flux vacua (arXiv:1511.03209). Our results illustrate the potential of FTheoryTools to streamline F-theory research and pave the way for future developments in the computational study of string phenomenology.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Decay of solutions of non-homogenous hyperbolic equations
Authors:
Piotr Michał Bies
Abstract:
We consider conditions for the decay in time of solutions of non-homogenous hyperbolic equations. It is proven that solutions of the equations go to $0$ in $L^2$ at infinity if and only if an equation's right-hand side uniquely determines the initial conditions in a certain way. We also obtain that a hyperbolic equation has a unique solution that fades when $t\to\infty$.
We consider conditions for the decay in time of solutions of non-homogenous hyperbolic equations. It is proven that solutions of the equations go to $0$ in $L^2$ at infinity if and only if an equation's right-hand side uniquely determines the initial conditions in a certain way. We also obtain that a hyperbolic equation has a unique solution that fades when $t\to\infty$.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
Time-asymptotics of a heated string
Authors:
Piotr Michał Bies,
Tomasz Cieślak
Abstract:
In the present paper, we study a model of a thermoelastic string that is initially heated. We classify all the possible asymptotic states when time tends to infinity of such a model. Actually, we show that whatever the initial data is, a heated string must converge to a flat, steady string with uniformly distributed heat. The latter distribution is calculated from the energy conservation. In order…
▽ More
In the present paper, we study a model of a thermoelastic string that is initially heated. We classify all the possible asymptotic states when time tends to infinity of such a model. Actually, we show that whatever the initial data is, a heated string must converge to a flat, steady string with uniformly distributed heat. The latter distribution is calculated from the energy conservation. In order to obtain the result, we need to take a few steps. In the first two steps, time-independent bounds from above and from below (by a positive constant) of the temperature are obtained. This is done via the Moser-like iteration. The lower bound is obtained via the Moser iteration on the negative part of the logarithm of temperature. In the third step, we obtain a time-independent higher-order estimate, which yields compactness of a sequence of the values of the solution when time tends to infinity. Here, an estimate involving the Fisher information of temperature, together with a recent functional inequality from \cite{CFHS} and an $L^2(L^2)$ estimate of the gradient of entropy, enable us to arrive at a tricky Grönwall type inequality. Finally, in the last steps, we define the dynamical system on a proper functional phase space and study its $ω$-limit set. To this end, we use, in particular, the quantitative version of the second principle of thermodynamics. Also, the entropy dissipation term and the bound of the entropy from below are useful when identifying the structure of the $ω$-limit set.
△ Less
Submitted 6 June, 2024; v1 submitted 7 May, 2024;
originally announced May 2024.
-
Improved statistics for F-theory standard models
Authors:
Martin Bies,
Mirjam Cvetič,
Ron Donagi,
Marielle Ong
Abstract:
Much of the analysis of F-theory-based Standard Models boils down to computing cohomologies of line bundles on matter curves. By varying parameters one can degenerate such matter curves to singular ones, typically with many nodes, where the computation is combinatorial and straightforward. The question remains to relate the (a priori possibly smaller) value on the original curve to the singular on…
▽ More
Much of the analysis of F-theory-based Standard Models boils down to computing cohomologies of line bundles on matter curves. By varying parameters one can degenerate such matter curves to singular ones, typically with many nodes, where the computation is combinatorial and straightforward. The question remains to relate the (a priori possibly smaller) value on the original curve to the singular one. In this work, we introduce some elementary techniques (pruning trees and removing interior edges) for simplifying the resulting nodal curves to a small collection of terminal ones that can be handled directly. When applied to the QSMs, these techniques yield optimal results in the sense that obtaining more precise answers would require currently unavailable information about the QSM geometries. This provides us with an opportunity to enhance the statistical bounds established in earlier research regarding the absence of vector-like exotics on the quark-doublet curve.
△ Less
Submitted 28 September, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Maximal operator in Hölder spaces
Authors:
Piotr Michał Bies,
Michał Gaczkowski,
Przemysław Górka
Abstract:
We study the maximal operator on the variable exponent Hölder spaces in the setting of metric measure spaces. The boundedness is proven for metric measure spaces satisfying an annular decay property. Let us stress that there are no assumptions on the regularity of the variable exponent and the variable exponent can touch values $0$ and $1$. Furthermore, the continuity of the maximal operator betwe…
▽ More
We study the maximal operator on the variable exponent Hölder spaces in the setting of metric measure spaces. The boundedness is proven for metric measure spaces satisfying an annular decay property. Let us stress that there are no assumptions on the regularity of the variable exponent and the variable exponent can touch values $0$ and $1$. Furthermore, the continuity of the maximal operator between Hölder spaces is investigated. Those results are new even in the Euclidean setting.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Maximal operator in Musielak--Orlicz--Sobolev spaces
Authors:
Piotr Michał Bies,
Michał Gaczkowski,
Przemysław Górka
Abstract:
We study the Hardy-Littlewood maximal operator in the Musielak-Orlicz-Sobolev space $W^{1,\varphi}(\mathbb{R}^n)$. Under some natural assumptions on $\varphi$ we show that the maximal function is bounded and continuous in $W^{1,\varphi}(\mathbb{R}^n)$.
We study the Hardy-Littlewood maximal operator in the Musielak-Orlicz-Sobolev space $W^{1,\varphi}(\mathbb{R}^n)$. Under some natural assumptions on $\varphi$ we show that the maximal function is bounded and continuous in $W^{1,\varphi}(\mathbb{R}^n)$.
△ Less
Submitted 30 March, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Global-in-time regular unique solutions with positive temperature to the 1d thermoelasticity
Authors:
Piotr Michał Bies,
Tomasz Cieślak
Abstract:
We construct unique regular solutions to the minimal nonlinear system of the 1d thermoelasticity. The obtained solution has a positive temperature. Our approach is based on an estimate, using the Fisher information, which seems completely new in this context. It is combined with a recent inequality in [2] and embeddings, which allows us to obtain a new energy estimate. The latter is used in a half…
▽ More
We construct unique regular solutions to the minimal nonlinear system of the 1d thermoelasticity. The obtained solution has a positive temperature. Our approach is based on an estimate, using the Fisher information, which seems completely new in this context. It is combined with a recent inequality in [2] and embeddings, which allows us to obtain a new energy estimate. The latter is used in a half-Galerkin procedure yielding global solutions. The uniqueness and further regularity of such solutions are obtained.
△ Less
Submitted 30 August, 2023; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Root bundles: Applications to F-theory Standard Models
Authors:
Martin Bies
Abstract:
The study of vector-like spectra in 4-dimensional F-theory compactifications involves root bundles, which are important for understanding the Quadrillion F-theory Standard Models (F-theory QSMs) and their potential implications in physics. Recent studies focused on a superset of physical root bundles whose cohomologies encode the vector-like spectra for certain matter representations. It was found…
▽ More
The study of vector-like spectra in 4-dimensional F-theory compactifications involves root bundles, which are important for understanding the Quadrillion F-theory Standard Models (F-theory QSMs) and their potential implications in physics. Recent studies focused on a superset of physical root bundles whose cohomologies encode the vector-like spectra for certain matter representations. It was found that more than 99.995\% of the roots in this superset for the family $B_3( Δ_4^\circ )$ of $\mathcal{O}(10^{11})$ different F-theory QSM geometries had no vector-like exotics, indicating that this scenario is highly likely.
To study the vector-like spectra, the matter curves in the F-theory QSMs were analyzed. It was found that each of them can be deformed to nodal curve that is identical across all spaces in $B_3( Δ^\circ )$. Therefore, from studying a few nodal curves, one can probe the vector-like spectra of a large fraction of F-theory QSMs. To this end, the cohomologies of all limit roots were determined, with line bundle cohomology on rational nodal curves playing a major role. A computer algorithm was used to enumerate all limit roots and analyze the global sections of all tree-like limit roots. For the remaining circuit-like limit roots, the global sections were manually determined. These results were organized into tables, which represent -- to the best knowledge of the author -- the first arithmetic steps towards Brill-Noether theory of limit roots.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Toric Geometry in OSCAR
Authors:
Martin Bies,
Lars Kastner
Abstract:
We report on the computer implementation for toric geometry in the computer algebra system $\texttt{OSCAR}$.
The main architectural feature of $\texttt{OSCAR}$ is that its four fundamental tools $\texttt{Antic}$ (Hecke, Nemo), $\texttt{GAP}$, $\texttt{Polymake}$ and $\texttt{Singular}$ are $\mathit{integral~components}$, rather than external software. Toric geometry benefits greatly from this ar…
▽ More
We report on the computer implementation for toric geometry in the computer algebra system $\texttt{OSCAR}$.
The main architectural feature of $\texttt{OSCAR}$ is that its four fundamental tools $\texttt{Antic}$ (Hecke, Nemo), $\texttt{GAP}$, $\texttt{Polymake}$ and $\texttt{Singular}$ are $\mathit{integral~components}$, rather than external software. Toric geometry benefits greatly from this architecture.
$\texttt{Julia}$ is a high-performance programming language designed for numerical and scientific computing. The growing ecosystem of $\texttt{Julia}$ packages ensures its continued viability for scientific computing and data analysis. Indeed, $\texttt{OSCAR}$ is written in $\texttt{Julia}$. This implies that the performance of $\texttt{OSCAR}$ should be comparable or even better than many other implementations.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Brill-Noether-general Limit Root Bundles: Absence of vector-like Exotics in F-theory Standard Models
Authors:
Martin Bies,
Mirjam Cvetič,
Ron Donagi,
Marielle Ong
Abstract:
Root bundles appear prominently in studies of vector-like spectra of 4d F-theory compactifications. Of particular importance to phenomenology are the Quadrillion F-theory Standard Models (F-theory QSMs). In this work, we analyze a superset of the physical root bundles whose cohomologies encode the vector-like spectra for the matter representations $(\mathbf{3}, \mathbf{2})_{1/6}$,…
▽ More
Root bundles appear prominently in studies of vector-like spectra of 4d F-theory compactifications. Of particular importance to phenomenology are the Quadrillion F-theory Standard Models (F-theory QSMs). In this work, we analyze a superset of the physical root bundles whose cohomologies encode the vector-like spectra for the matter representations $(\mathbf{3}, \mathbf{2})_{1/6}$, $(\mathbf{\overline{3}}, \mathbf{1})_{-2/3}$ and $(\mathbf{1}, \mathbf{1})_{1}$. For the family $B_3( Δ_4^\circ )$ consisting of $\mathcal{O}(10^{11})$ F-theory QSM geometries, we argue that more than $99.995\%$ of the roots in this superset have no vector-like exotics. This indicates that absence of vector-like exotics in those representations is a very likely scenario.
The QSM geometries come in families of toric 3-folds $B_3( Δ^\circ )$ obtained from triangulations of certain 3-dimensional polytopes $Δ^\circ$. The matter curves in $X_Σ\in B_3( Δ^\circ )$ can be deformed to nodal curves which are the same for all spaces in $B_3( Δ^\circ )$. Therefore, one can probe the vector-like spectra on the entire family $B_3( Δ^\circ )$ from studies of a few nodal curves. We compute the cohomologies of all limit roots on these nodal curves.
In our applications, for the majority of limit roots the cohomologies are determined by line bundle cohomology on rational tree-like curves. For this, we present a computer algorithm. The remaining limit roots, corresponding to circuit-like graphs, are handled by hand. The cohomologies are independent of the relative position of the nodes, except for a few circuits. On these \emph{jumping circuits}, line bundle cohomologies can jump if nodes are specially aligned. This mirrors classical Brill-Noether jumps. $B_3( Δ_4^\circ )$ admits a jumping circuit, but the root bundle constraints pick the canonical bundle and no jump happens.
△ Less
Submitted 30 June, 2022; v1 submitted 29 April, 2022;
originally announced May 2022.
-
Statistics of Limit Root Bundles Relevant for Exact Matter Spectra of F-Theory MSSMs
Authors:
Martin Bies,
Mirjam Cvetič,
Muyang Liu
Abstract:
In the largest, currently known, class of one Quadrillion globally consistent F-theory Standard Models with gauge coupling unification and no chiral exotics, the vector-like spectra are counted by cohomologies of root bundles. In this work, we apply a previously proposed method to identify toric base 3-folds, which are promising to establish F-theory Standard Models with exactly three quark-double…
▽ More
In the largest, currently known, class of one Quadrillion globally consistent F-theory Standard Models with gauge coupling unification and no chiral exotics, the vector-like spectra are counted by cohomologies of root bundles. In this work, we apply a previously proposed method to identify toric base 3-folds, which are promising to establish F-theory Standard Models with exactly three quark-doublets and no vector-like exotics in this representation. The base spaces in question are obtained from triangulations of 708 polytopes. By studying root bundles on the quark doublet curve $C_{(\mathbf{3},\mathbf{2})_{1/6}}$ and employing well-known results about desingularizations of toric K3-surfaces, we derive a \emph{triangulation independent lower bound} $\check{N}_P^{(3)}$ for the number $N_P^{(3)}$ of root bundles on $C_{(\mathbf{3},\mathbf{2})_{1/6}}$ with exactly three sections. The ratio $\check{N}_P^{(3)} / N_P$, where $N_P$ is the total number of roots on $C_{(\mathbf{3},\mathbf{2})_{1/6}}$, is largest for base spaces associated with triangulations of the 8-th 3-dimensional polytope $Δ^\circ_8$ in the Kreuzer-Skarke list. For each of these $\mathcal{O}( 10^{15} )$ 3-folds, we expect that many root bundles on $C_{(\mathbf{3},\mathbf{2})_{1/6}}$ are induced from F-theory gauge potentials and that at least every 3000th root on $C_{(\mathbf{3},\mathbf{2})_{1/6}}$ has exactly three global sections and thus no exotic vector-like quark-doublet modes.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Root Bundles and Towards Exact Matter Spectra of F-theory MSSMs
Authors:
Martin Bies,
Mirjam Cvetič,
Ron Donagi,
Muyang Liu,
Marielle Ong
Abstract:
Motivated by the appearance of fractional powers of line bundles in studies of vector-like spectra in 4d F-theory compactifications, we analyze the structure and origin of these bundles. Fractional powers of line bundles are also known as root bundles and can be thought of as generalizations of spin bundles. We explain how these root bundles are linked to inequivalent F-theory gauge potentials of…
▽ More
Motivated by the appearance of fractional powers of line bundles in studies of vector-like spectra in 4d F-theory compactifications, we analyze the structure and origin of these bundles. Fractional powers of line bundles are also known as root bundles and can be thought of as generalizations of spin bundles. We explain how these root bundles are linked to inequivalent F-theory gauge potentials of a $G_4$-flux.
While this observation is interesting in its own right, it is particularly valuable for F-theory Standard Model constructions. In aiming for MSSMs, it is desired to argue for the absence of vector-like exotics. We work out the root bundle constraints on all matter curves in the largest class of currently-known F-theory Standard Model constructions without chiral exotics and gauge coupling unification. On each matter curve, we conduct a systematic "bottom"-analysis of all solutions to the root bundle constraints and all spin bundles. Thereby, we derive a lower bound for the number of combinations of root bundles and spin bundles whose cohomologies satisfy the physical demand of absence of vector-like pairs.
On a technical level, this systematic study is achieved by a well-known diagrammatic description of root bundles on nodal curves. We extend this description by a counting procedure, which determines the cohomologies of so-called limit root bundles on full blow-ups of nodal curves. By use of deformation theory, these results constrain the vector-like spectra on the smooth matter curves in the actual F-theory geometry.
△ Less
Submitted 19 February, 2021;
originally announced February 2021.
-
Machine Learning and Algebraic Approaches towards Complete Matter Spectra in 4d F-theory
Authors:
Martin Bies,
Mirjam Cvetic,
Ron Donagi,
Ling Lin,
Muyang Liu,
Fabian Ruehle
Abstract:
Motivated by engineering vector-like (Higgs) pairs in the spectrum of 4d F-theory compactifications, we combine machine learning and algebraic geometry techniques to analyze line bundle cohomologies on families of holomorphic curves. To quantify jumps of these cohomologies, we first generate 1.8 million pairs of line bundles and curves embedded in $dP_3$, for which we compute the cohomologies. A w…
▽ More
Motivated by engineering vector-like (Higgs) pairs in the spectrum of 4d F-theory compactifications, we combine machine learning and algebraic geometry techniques to analyze line bundle cohomologies on families of holomorphic curves. To quantify jumps of these cohomologies, we first generate 1.8 million pairs of line bundles and curves embedded in $dP_3$, for which we compute the cohomologies. A white-box machine learning approach trained on this data provides intuition for jumps due to curve splittings, which we use to construct additional vector-like Higgs-pairs in an F-Theory toy model. We also find that, in order to explain quantitatively the full dataset, further tools from algebraic geometry, in particular Brill--Noether theory, are required. Using these ingredients, we introduce a diagrammatic way to express cohomology jumps across the parameter space of each family of matter curves, which reflects a stratification of the F-theory complex structure moduli space in terms of the vector-like spectrum. Furthermore, these insights provide an algorithmically efficient way to estimate the possible cohomology dimensions across the entire parameter space.
△ Less
Submitted 30 June, 2020;
originally announced July 2020.
-
Tensor products of finitely presented functors
Authors:
Martin Bies,
Sebastian Posur
Abstract:
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions with the Day convolution of arbitrary functors. Our results are stated in a constructive way and give a unified approach for the implementation of tensor produ…
▽ More
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions with the Day convolution of arbitrary functors. Our results are stated in a constructive way and give a unified approach for the implementation of tensor products in various contexts.
△ Less
Submitted 31 August, 2019;
originally announced September 2019.
-
A priori estimates and theory of existence for parabolic equations in variable Hölder spaces
Authors:
Piotr Michał Bies
Abstract:
We study parabolic equations in variable Hölder spaces on domains of Euclidean spaces. The existence and uniqueness of solutions is proved.
We study parabolic equations in variable Hölder spaces on domains of Euclidean spaces. The existence and uniqueness of solutions is proved.
△ Less
Submitted 17 April, 2020; v1 submitted 9 February, 2019;
originally announced February 2019.
-
Cohomologies of coherent sheaves and massless spectra in F-theory
Authors:
Martin Bies
Abstract:
In this PhD thesis we investigate the significance of Chow groups for zero mode counting and anomaly cancellation in F-theory vacua.
The major part of this thesis focuses on zero mode counting. We explain that elements of Chow group describe a subset of gauge backgrounds and give rise to a line bundle on each matter curve. The sheaf cohomologies of these line bundles are found to encode the chir…
▽ More
In this PhD thesis we investigate the significance of Chow groups for zero mode counting and anomaly cancellation in F-theory vacua.
The major part of this thesis focuses on zero mode counting. We explain that elements of Chow group describe a subset of gauge backgrounds and give rise to a line bundle on each matter curve. The sheaf cohomologies of these line bundles are found to encode the chiral and anti-chiral localised zero modes in this compactification. Therefore, it is of prime interest to compute these sheaf cohomologies. Unfortunately, the line bundles in question are in general non-pullback line bundles. In particular, this is the case for the hypercharge flux employed in F-theory models of grand unified theories (GUTs). Consequently, existing methods, such as the cohomCalg-algorithm, cannot be applied. In collaboration with the mathematician Mohamed Barakat, we have therefore implemented algorithms which determine the sheaf cohomologies of all coherent sheaves on toric varieties. These algorithms are provided by the gap-package SheafCohomologiesOnToricVarieties which extends the homalg-project of Mohamed Barakat. We exemplify these algorithms in explicit (toy-)models of F-theory GUTs.
As a spin-off of this analysis, we proved that in an entire class of F-theory vacua, the matter surface fluxes satisfy a number of relations in the Chow ring, which we related to anomaly cancellation. Based on this evidence we conjecture that the well-known anomaly cancellation conditions in F-theory - typically phrased as intersections in the cohomology ring - can be extended even to relations in the Chow ring.
△ Less
Submitted 24 February, 2018;
originally announced February 2018.
-
Algebraic Cycles and Local Anomalies in F-Theory
Authors:
Martin Bies,
Christoph Mayrhofer,
Timo Weigand
Abstract:
We introduce a set of identities in the cohomology ring of elliptic fibrations which are equivalent to the cancellation of gauge and mixed gauge-gravitational anomalies in F-theory compactifications to four and six dimensions. The identities consist in (co)homological relations between complex codimension-two cycles. The same set of relations, once evaluated on elliptic Calabi-Yau three-folds and…
▽ More
We introduce a set of identities in the cohomology ring of elliptic fibrations which are equivalent to the cancellation of gauge and mixed gauge-gravitational anomalies in F-theory compactifications to four and six dimensions. The identities consist in (co)homological relations between complex codimension-two cycles. The same set of relations, once evaluated on elliptic Calabi-Yau three-folds and four-folds, is shown to universally govern the structure of anomalies and their Green-Schwarz cancellation in six- and four-dimensional F-theory vacua, respectively. We furthermore conjecture that these relations hold not only within the cohomology ring, but even at the level of the Chow ring, i.e. as relations among codimension-two cycles modulo rational equivalence. We verify this conjecture in non-trivial examples with Abelian and non-Abelian gauge groups factors. Apart from governing the structure of local anomalies, the identities in the Chow ring relate different types of gauge backgrounds on elliptically fibred Calabi-Yau four-folds.
△ Less
Submitted 26 June, 2017;
originally announced June 2017.
-
Gauge Backgrounds and Zero-Mode Counting in F-Theory
Authors:
Martin Bies,
Christoph Mayrhofer,
Timo Weigand
Abstract:
Computing the exact spectrum of charged massless matter is a crucial step towards understanding the effective field theory describing F-theory vacua in four dimensions. In this work we further develop a coherent framework to determine the charged massless matter in F-theory compactified on elliptic fourfolds, and demonstrate its application in a concrete example. The gauge background is represente…
▽ More
Computing the exact spectrum of charged massless matter is a crucial step towards understanding the effective field theory describing F-theory vacua in four dimensions. In this work we further develop a coherent framework to determine the charged massless matter in F-theory compactified on elliptic fourfolds, and demonstrate its application in a concrete example. The gauge background is represented, via duality with M-theory, by algebraic cycles modulo rational equivalence. Intersection theory within the Chow ring allows us to extract coherent sheaves on the base of the elliptic fibration whose cohomology groups encode the charged zero-mode spectrum. The dimensions of these cohomology groups are computed with the help of modern techniques from algebraic geometry, which we implement in the software gap. We exemplify this approach in models with an Abelian and non-Abelian gauge group and observe jumps in the exact massless spectrum as the complex structure moduli are varied. An extended mathematical appendix gives a self-contained introduction to the algebro-geometric concepts underlying our framework.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
Schauder theory in variable Hölder spaces
Authors:
Piotr Michał Bies,
Przemysław Górka
Abstract:
We study elliptic equations on bounded domain of Euclidean spaces in the variable Hölder spaces. Interior a priori Schauder estimates are given as well as global ones. Moreover, the existence and the uniqueness of solutions to the Dirichlet boundary value problem is proved.
We study elliptic equations on bounded domain of Euclidean spaces in the variable Hölder spaces. Interior a priori Schauder estimates are given as well as global ones. Moreover, the existence and the uniqueness of solutions to the Dirichlet boundary value problem is proved.
△ Less
Submitted 28 November, 2014;
originally announced November 2014.
-
Chow groups, Deligne cohomology and massless matter in F-theory
Authors:
Martin Bies,
Christoph Mayrhofer,
Christian Pehle,
Timo Weigand
Abstract:
We propose a method to compute the exact number of charged localized massless matter states in an F-theory compactification on a Calabi-Yau 4-fold with non-trivial 3-form data. Our starting point is the description of the 3-form data via Deligne cohomology. A refined cycle map allows us to specify concrete elements therein in terms of the second Chow group of the 4-fold, i.e. rational equivalence…
▽ More
We propose a method to compute the exact number of charged localized massless matter states in an F-theory compactification on a Calabi-Yau 4-fold with non-trivial 3-form data. Our starting point is the description of the 3-form data via Deligne cohomology. A refined cycle map allows us to specify concrete elements therein in terms of the second Chow group of the 4-fold, i.e. rational equivalence classes of algebraic 2-cycles. We use intersection theory within the Chow ring to extract from this data a line bundle class on the curves in the base of the fibration on which charged matter is localized. The associated cohomology groups are conjectured to count the exact massless spectrum, in agreement with general patterns in Type IIB compactifications with 7-branes. We exemplify our approach by calculating the massless spectrum in an SU(5) x U(1) toy model based on an elliptic 4-fold with an extra section. The explicit evaluation of the cohomology classes is performed with the help of the cohomCalg-algorithm by Blumenhagen et al.
△ Less
Submitted 20 February, 2014;
originally announced February 2014.
