This document provides an overview of doubled geometry and double field theory. It introduces Lie and Courant algebroids, which are structures that underlie doubled geometry. Doubled geometry is defined on a manifold with fibers that transform as modules under the O(D,D) group. This allows for the description of duality-covariant and non-geometric backgrounds. Generalized tensors, connections, torsion, and curvature are defined on the doubled space. Double field theory is a field theory formulated on this doubled space.
sublabel accurate convex relaxation of vectorial multilabel energiesFujimoto Keisuke
This document summarizes a presentation on the paper "Sublabel-Accurate Convex Relaxation of Vectorial Multilabel Energies". It discusses how the paper proposes a method to efficiently solve high-dimensional, nonlinear vectorial labeling problems by approximating them as convex problems. Specifically, it divides the problem domain into subregions and approximates each subregion with a convex function, yielding an overall approximation that is still non-convex but with higher accuracy. This lifting technique transforms the variables into a higher-dimensional space to formulate the data and regularization terms in a way that allows solving the problem as a convex optimization.
Nodal Domain Theorem for the p-Laplacian on Graphs and the Related Multiway C...Francesco Tudisco
We consider the p-Laplacian on discrete graphs, a nonlinear operator that generalizes the standard graph Laplacian (obtained for p=2). We consider a set of variational eigenvalues of this operator and analyze the nodal domain count of the corresponding eigenfunctions. In particular, we show that the famous Courant’s nodal domain theorem for the linear Laplacian carries over almost unchanged to the nonlinear case. Moreover, we use the nodal domains to prove a higher-order Cheeger inequality that relates the k-way graph cut to the k-th variational eigenvalue of the p-Laplacian
Bregman divergences from comparative convexityFrank Nielsen
This document discusses generalized divergences and comparative convexity. It introduces Jensen divergences, Bregman divergences, and their generalizations to quasi-arithmetic and weighted means. Quasi-arithmetic Bregman divergences are defined for strictly (ρ,τ)-convex functions using two strictly monotone functions ρ and τ. Power mean Bregman divergences are obtained as a subfamily when ρ(x)=xδ1 and τ(x)=xδ2. A criterion is given to check (ρ,τ)-convexity by testing the ordinary convexity of the transformed function G=Fρ,τ.
A new Perron-Frobenius theorem for nonnegative tensorsFrancesco Tudisco
Based on the concept of dimensional partition we consider a general tensor spectral problem that includes all known tensor spectral problems as special cases. We formulate irreducibility and symmetry properties in terms of the dimensional partition and use the theory of multi-homogeneous order-preserving maps to derive a general and unifying Perron-Frobenius theorem for nonnegative tensors that either includes previous results of this kind or improves them by weakening the assumptions there considered.
Talk presented at SIAM Applied Linear Algebra conference Hong Kong 2018
Small updates of matrix functions used for network centralityFrancesco Tudisco
Many relevant measures of importance for nodes and edges of a network are defined in terms of suitable entries of matrix functions $f(A)$, for different choices of $f$ and $A$. Addressing the entries of $f(A)$ can be computationally challenging and this is particularly prohibitive when $A$ undergoes a perturbation $A+\delta A$ and the entries of $f(A)$ have to be updated. Given the adjacency matrix $A$ of a graph $G=(V,E)$, in this talk we consider the case where $\delta A$ is a sparse matrix that yields a small perturbation of the edge structure of $G$.
In particular, we present a bound showing that the variation of the entry $f(A)_{u,v}$ decays exponentially with the distance in $G$ that separates either $u$ or $v$ from the set of nodes touched by the edges that are perturbed. Our bound depends only on the distances in the original graph $G$ and on the field of values of the perturbed matrix $A+\delta A$. We show several numerical examples in support of the proposed result.
Talk presented at the IMA Numerical Analysis and Optimization conference, Birmingham 2018
The talk is based on the paper:
S. Pozza and F. Tudisco, On the stability of network indices defined by means of matrix functions, SIMAX, 2018
The dual geometry of Shannon informationFrank Nielsen
The document discusses the dual geometry of Shannon information. It covers:
1. Shannon entropy and related concepts like maximum entropy principle and exponential families.
2. The properties of Kullback-Leibler divergence including its interpretation as a statistical distance and relation to maximum entropy.
3. How maximum likelihood estimation for exponential families can be viewed as minimizing Kullback-Leibler divergence between the empirical distribution and model distribution.
Classification with mixtures of curved Mahalanobis metricsFrank Nielsen
This document discusses curved Mahalanobis distances in Cayley-Klein geometries and their application to classification. Specifically:
1. It introduces Mahalanobis distances and generalizes them to curved distances in Cayley-Klein geometries, which can model both elliptic and hyperbolic geometries.
2. It describes how to learn these curved Mahalanobis metrics using an adaptation of Large Margin Nearest Neighbors (LMNN) to the elliptic and hyperbolic cases.
3. Experimental results on several datasets show that curved Mahalanobis distances can achieve comparable or better classification accuracy than standard Mahalanobis distances.
sublabel accurate convex relaxation of vectorial multilabel energiesFujimoto Keisuke
This document summarizes a presentation on the paper "Sublabel-Accurate Convex Relaxation of Vectorial Multilabel Energies". It discusses how the paper proposes a method to efficiently solve high-dimensional, nonlinear vectorial labeling problems by approximating them as convex problems. Specifically, it divides the problem domain into subregions and approximates each subregion with a convex function, yielding an overall approximation that is still non-convex but with higher accuracy. This lifting technique transforms the variables into a higher-dimensional space to formulate the data and regularization terms in a way that allows solving the problem as a convex optimization.
Nodal Domain Theorem for the p-Laplacian on Graphs and the Related Multiway C...Francesco Tudisco
We consider the p-Laplacian on discrete graphs, a nonlinear operator that generalizes the standard graph Laplacian (obtained for p=2). We consider a set of variational eigenvalues of this operator and analyze the nodal domain count of the corresponding eigenfunctions. In particular, we show that the famous Courant’s nodal domain theorem for the linear Laplacian carries over almost unchanged to the nonlinear case. Moreover, we use the nodal domains to prove a higher-order Cheeger inequality that relates the k-way graph cut to the k-th variational eigenvalue of the p-Laplacian
Bregman divergences from comparative convexityFrank Nielsen
This document discusses generalized divergences and comparative convexity. It introduces Jensen divergences, Bregman divergences, and their generalizations to quasi-arithmetic and weighted means. Quasi-arithmetic Bregman divergences are defined for strictly (ρ,τ)-convex functions using two strictly monotone functions ρ and τ. Power mean Bregman divergences are obtained as a subfamily when ρ(x)=xδ1 and τ(x)=xδ2. A criterion is given to check (ρ,τ)-convexity by testing the ordinary convexity of the transformed function G=Fρ,τ.
A new Perron-Frobenius theorem for nonnegative tensorsFrancesco Tudisco
Based on the concept of dimensional partition we consider a general tensor spectral problem that includes all known tensor spectral problems as special cases. We formulate irreducibility and symmetry properties in terms of the dimensional partition and use the theory of multi-homogeneous order-preserving maps to derive a general and unifying Perron-Frobenius theorem for nonnegative tensors that either includes previous results of this kind or improves them by weakening the assumptions there considered.
Talk presented at SIAM Applied Linear Algebra conference Hong Kong 2018
Small updates of matrix functions used for network centralityFrancesco Tudisco
Many relevant measures of importance for nodes and edges of a network are defined in terms of suitable entries of matrix functions $f(A)$, for different choices of $f$ and $A$. Addressing the entries of $f(A)$ can be computationally challenging and this is particularly prohibitive when $A$ undergoes a perturbation $A+\delta A$ and the entries of $f(A)$ have to be updated. Given the adjacency matrix $A$ of a graph $G=(V,E)$, in this talk we consider the case where $\delta A$ is a sparse matrix that yields a small perturbation of the edge structure of $G$.
In particular, we present a bound showing that the variation of the entry $f(A)_{u,v}$ decays exponentially with the distance in $G$ that separates either $u$ or $v$ from the set of nodes touched by the edges that are perturbed. Our bound depends only on the distances in the original graph $G$ and on the field of values of the perturbed matrix $A+\delta A$. We show several numerical examples in support of the proposed result.
Talk presented at the IMA Numerical Analysis and Optimization conference, Birmingham 2018
The talk is based on the paper:
S. Pozza and F. Tudisco, On the stability of network indices defined by means of matrix functions, SIMAX, 2018
The dual geometry of Shannon informationFrank Nielsen
The document discusses the dual geometry of Shannon information. It covers:
1. Shannon entropy and related concepts like maximum entropy principle and exponential families.
2. The properties of Kullback-Leibler divergence including its interpretation as a statistical distance and relation to maximum entropy.
3. How maximum likelihood estimation for exponential families can be viewed as minimizing Kullback-Leibler divergence between the empirical distribution and model distribution.
Classification with mixtures of curved Mahalanobis metricsFrank Nielsen
This document discusses curved Mahalanobis distances in Cayley-Klein geometries and their application to classification. Specifically:
1. It introduces Mahalanobis distances and generalizes them to curved distances in Cayley-Klein geometries, which can model both elliptic and hyperbolic geometries.
2. It describes how to learn these curved Mahalanobis metrics using an adaptation of Large Margin Nearest Neighbors (LMNN) to the elliptic and hyperbolic cases.
3. Experimental results on several datasets show that curved Mahalanobis distances can achieve comparable or better classification accuracy than standard Mahalanobis distances.
This document summarizes a talk on Lorentz surfaces in pseudo-Riemannian space forms with horizontal reflector lifts. It introduces examples of Lorentz surfaces with zero mean curvature in these spaces. It also discusses reflector spaces and horizontal reflector lifts, and presents a rigidity theorem stating that if two isometric immersions from a Lorentz surface to a pseudo-Riemannian space form both have horizontal reflector lifts and satisfy certain curvature conditions, then the immersions must differ by an isometry of the target space.
This document provides an introduction to inverse problems and their applications. It summarizes integral equations like Volterra and Fredholm equations of the first and second kind. It also describes inverse problems for partial differential equations, including inverse convection-diffusion, Poisson, and Laplace problems. Applications mentioned include medical imaging, non-destructive testing, and geophysics. Bibliographic references are provided.
(1) The differential equation dy/dx = y(1-x)/x^2 is separable, and can be solved to find the implicit solution ln|y| = -1/x - ln|x| + C.
(2) The given homogeneous differential equation can be transformed using u=y/x and solved to find the implicit solution -1/u + ln|y/x| = -ln|x| + C.
(3) The given differential equation is exact, and can be solved to find the implicit solution y^2x - ycosx + 2y + 3 = C.
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsVjekoslavKovac1
This document summarizes a talk given by Vjekoslav Kovač at a joint mathematics conference. The talk concerned establishing T(1)-type theorems for entangled multilinear Calderón-Zygmund operators. Specifically, Kovač discussed studying multilinear singular integral forms where the functions partially share variables, known as an "entangled structure." He outlined establishing generalized modulation invariance and Lp estimates for such operators. The talk motivated further studying related problems involving bilinear ergodic averages and forms with more complex graph structures. Kovač specialized his techniques to bipartite graphs, multilinear Calderón-Zygmund kernels, and "perfect" dyadic models.
The document discusses parameterization and flattening of meshes. It introduces mesh parameterization, which maps the 3D mesh onto a 2D domain, as well as several parameterization methods like harmonic parameterization, spectral flattening, and geodesic flattening. It also discusses barycentric coordinates for warping meshes and approximating integrals on meshes using cotangent weights.
Applications of the surface finite element methodtr1987
A coupled bulk-surface finite element method is presented to solve problems arising in cell biology. Optimal order estimates for a linear elliptic equation are shown along with some numerical examples. An example of a parabolic problem with nonlinear coupling governed by Langmuir kinetics is presented, which describes the process of fluorescence recovery after photo bleaching (FRAP) in biological cells.
Proximal Splitting and Optimal TransportGabriel Peyré
This document summarizes proximal splitting and optimal transport methods. It begins with an overview of topics including optimal transport and imaging, convex analysis, and various proximal splitting algorithms. It then discusses measure-preserving maps between distributions and defines the optimal transport problem. Finally, it presents formulations for optimal transport including the convex Benamou-Brenier formulation and discrete formulations on centered and staggered grids. Numerical examples of optimal transport between distributions on 2D domains are also shown.
Low-rank methods for analysis of high-dimensional data (SIAM CSE talk 2017) Alexander Litvinenko
Overview of our latest works in applying low-rank tensor techniques to a) solving PDEs with uncertain coefficients (or multi-parametric PDEs) b) postprocessing high-dimensional data c) compute the largest element, level sets, TOP5% elelments
This document summarizes research on norm-variation estimates for ergodic bilinear and multiple averages. It begins by motivating the study of ergodic averages and their convergence properties. Previous results are discussed that provide pointwise convergence and norm estimates for certain cases. The document then presents new norm-variation estimates obtained by the authors for bilinear and multiple ergodic averages over general measure-preserving systems. These estimates bound the number of jumps in the L2 norm as the averages converge. Finally, analogous results are discussed for bilinear averages on R2 and Z2, linking the estimates to established bounds for singular integrals.
Murphy: Machine learning A probabilistic perspective: Ch.9Daisuke Yoneoka
This document summarizes key concepts about the exponential family and generalized linear models (GLMs). It defines the exponential family and provides examples like the Bernoulli, multinomial, and Gaussian distributions. The exponential family has important properties like finite sufficient statistics, existence of conjugate priors, and convexity. Maximum likelihood estimation for the exponential family involves matching sample moments to population moments. Conjugate priors allow tractable Bayesian inference for the exponential family. The document outlines maximum entropy derivation of the exponential family and how GLMs can generate classifiers.
This document summarizes results on characterizing curves satisfying the Gauss-Christoffel theorem for Gaussian quadrature formulas. It introduces the theorem for real and unit circle measures, then presents a unified approach. The main results show that if quadrature formulas integrate polynomials of degree m-1 exactly, the support must be a line or circle (up to finitely many points). Exceptions are discussed as well as related open problems.
1. Geodesic sampling and meshing techniques can be used to generate adaptive triangulations and meshes on Riemannian manifolds based on a metric tensor.
2. Anisotropic metrics can be defined to generate meshes adapted to features like edges in images or curvature on surfaces. Triangles will be elongated along strong features to better approximate functions.
3. Farthest point sampling can be used to generate well-spaced point distributions over manifolds according to a metric, which can then be triangulated using geodesic Delaunay refinement.
This document summarizes numerical methods for solving stochastic partial differential equations (SPDEs) driven by Lévy jump processes. It discusses both probabilistic methods like Monte Carlo (MC) and probabilistic collocation method (PCM), as well as deterministic methods based on solving the generalized Fokker-Planck equation. Specific examples discussed include an overdamped Langevin equation driven by a 1D tempered alpha-stable process, and diffusion equations driven by multi-dimensional jump processes using different dependence structures. The document compares the accuracy and efficiency of MC/PCM versus solving the tempered fractional Fokker-Planck equation directly. It also discusses how to represent SPDEs with additive multi-dimensional Lévy
On Twisted Paraproducts and some other Multilinear Singular IntegralsVjekoslavKovac1
Presentation.
9th International Conference on Harmonic Analysis and Partial Differential Equations, El Escorial, June 12, 2012.
The 24th International Conference on Operator Theory, Timisoara, July 3, 2012.
- The document discusses linear support vector machines (SVMs) with slack variables for non-separable data.
- SVMs aim to find a maximum margin separating hyperplane while allowing some errors, modeled by slack variables ξ.
- This forms a bi-criteria optimization problem that is solved using three equivalent formulations to reach the Pareto frontier, balancing the slack variable term and model complexity term.
- The optimality conditions for SVMs with slack variables are derived, leading to a dual formulation that is easier to optimize than the primal formulation.
Trilinear embedding for divergence-form operatorsVjekoslavKovac1
The document discusses a trilinear embedding theorem for divergence-form operators with complex coefficients. It proves that if matrices A, B, C are appropriately p,q,r-elliptic, then there is a bound on the integral of the product of the gradients of the semigroups associated with the operators. The proof uses a Bellman function technique and shows the relationship to the concept of p-ellipticity. It generalizes previous work on bilinear embeddings to the trilinear case.
This document is a seminar paper on induction motors presented by Pankaj Chaudhary to the Department of Electrical and Electronics Engineering at Sanjay Gandhi Institute of Engineering and Technology. The paper discusses the construction, principle of operation using double revolving field theory, squirrel cage rotor, speed, slip, starting torque, and applications of induction motors. It provides details on how single-phase induction motors operate using two perpendicular coils to generate rotating magnetic fields for starting.
This document outlines the course content and evaluation scheme for the Electrical Machine-II subject for the 5th semester of the B.E. in Electrical Engineering program at Gujarat Technological University. The course covers various topics related to polyphase transformers including testing, polyphase induction motors including equivalent circuits and speed control methods, induction generators, and single-phase AC motors including split phase, capacitor start, and shaded pole induction motors. Students will be evaluated based on a university exam, mid-semester exam, and internal assessment, with the university exam accounting for 70% of the final grade.
This document summarizes a talk on Lorentz surfaces in pseudo-Riemannian space forms with horizontal reflector lifts. It introduces examples of Lorentz surfaces with zero mean curvature in these spaces. It also discusses reflector spaces and horizontal reflector lifts, and presents a rigidity theorem stating that if two isometric immersions from a Lorentz surface to a pseudo-Riemannian space form both have horizontal reflector lifts and satisfy certain curvature conditions, then the immersions must differ by an isometry of the target space.
This document provides an introduction to inverse problems and their applications. It summarizes integral equations like Volterra and Fredholm equations of the first and second kind. It also describes inverse problems for partial differential equations, including inverse convection-diffusion, Poisson, and Laplace problems. Applications mentioned include medical imaging, non-destructive testing, and geophysics. Bibliographic references are provided.
(1) The differential equation dy/dx = y(1-x)/x^2 is separable, and can be solved to find the implicit solution ln|y| = -1/x - ln|x| + C.
(2) The given homogeneous differential equation can be transformed using u=y/x and solved to find the implicit solution -1/u + ln|y/x| = -ln|x| + C.
(3) The given differential equation is exact, and can be solved to find the implicit solution y^2x - ycosx + 2y + 3 = C.
A T(1)-type theorem for entangled multilinear Calderon-Zygmund operatorsVjekoslavKovac1
This document summarizes a talk given by Vjekoslav Kovač at a joint mathematics conference. The talk concerned establishing T(1)-type theorems for entangled multilinear Calderón-Zygmund operators. Specifically, Kovač discussed studying multilinear singular integral forms where the functions partially share variables, known as an "entangled structure." He outlined establishing generalized modulation invariance and Lp estimates for such operators. The talk motivated further studying related problems involving bilinear ergodic averages and forms with more complex graph structures. Kovač specialized his techniques to bipartite graphs, multilinear Calderón-Zygmund kernels, and "perfect" dyadic models.
The document discusses parameterization and flattening of meshes. It introduces mesh parameterization, which maps the 3D mesh onto a 2D domain, as well as several parameterization methods like harmonic parameterization, spectral flattening, and geodesic flattening. It also discusses barycentric coordinates for warping meshes and approximating integrals on meshes using cotangent weights.
Applications of the surface finite element methodtr1987
A coupled bulk-surface finite element method is presented to solve problems arising in cell biology. Optimal order estimates for a linear elliptic equation are shown along with some numerical examples. An example of a parabolic problem with nonlinear coupling governed by Langmuir kinetics is presented, which describes the process of fluorescence recovery after photo bleaching (FRAP) in biological cells.
Proximal Splitting and Optimal TransportGabriel Peyré
This document summarizes proximal splitting and optimal transport methods. It begins with an overview of topics including optimal transport and imaging, convex analysis, and various proximal splitting algorithms. It then discusses measure-preserving maps between distributions and defines the optimal transport problem. Finally, it presents formulations for optimal transport including the convex Benamou-Brenier formulation and discrete formulations on centered and staggered grids. Numerical examples of optimal transport between distributions on 2D domains are also shown.
Low-rank methods for analysis of high-dimensional data (SIAM CSE talk 2017) Alexander Litvinenko
Overview of our latest works in applying low-rank tensor techniques to a) solving PDEs with uncertain coefficients (or multi-parametric PDEs) b) postprocessing high-dimensional data c) compute the largest element, level sets, TOP5% elelments
This document summarizes research on norm-variation estimates for ergodic bilinear and multiple averages. It begins by motivating the study of ergodic averages and their convergence properties. Previous results are discussed that provide pointwise convergence and norm estimates for certain cases. The document then presents new norm-variation estimates obtained by the authors for bilinear and multiple ergodic averages over general measure-preserving systems. These estimates bound the number of jumps in the L2 norm as the averages converge. Finally, analogous results are discussed for bilinear averages on R2 and Z2, linking the estimates to established bounds for singular integrals.
Murphy: Machine learning A probabilistic perspective: Ch.9Daisuke Yoneoka
This document summarizes key concepts about the exponential family and generalized linear models (GLMs). It defines the exponential family and provides examples like the Bernoulli, multinomial, and Gaussian distributions. The exponential family has important properties like finite sufficient statistics, existence of conjugate priors, and convexity. Maximum likelihood estimation for the exponential family involves matching sample moments to population moments. Conjugate priors allow tractable Bayesian inference for the exponential family. The document outlines maximum entropy derivation of the exponential family and how GLMs can generate classifiers.
This document summarizes results on characterizing curves satisfying the Gauss-Christoffel theorem for Gaussian quadrature formulas. It introduces the theorem for real and unit circle measures, then presents a unified approach. The main results show that if quadrature formulas integrate polynomials of degree m-1 exactly, the support must be a line or circle (up to finitely many points). Exceptions are discussed as well as related open problems.
1. Geodesic sampling and meshing techniques can be used to generate adaptive triangulations and meshes on Riemannian manifolds based on a metric tensor.
2. Anisotropic metrics can be defined to generate meshes adapted to features like edges in images or curvature on surfaces. Triangles will be elongated along strong features to better approximate functions.
3. Farthest point sampling can be used to generate well-spaced point distributions over manifolds according to a metric, which can then be triangulated using geodesic Delaunay refinement.
This document summarizes numerical methods for solving stochastic partial differential equations (SPDEs) driven by Lévy jump processes. It discusses both probabilistic methods like Monte Carlo (MC) and probabilistic collocation method (PCM), as well as deterministic methods based on solving the generalized Fokker-Planck equation. Specific examples discussed include an overdamped Langevin equation driven by a 1D tempered alpha-stable process, and diffusion equations driven by multi-dimensional jump processes using different dependence structures. The document compares the accuracy and efficiency of MC/PCM versus solving the tempered fractional Fokker-Planck equation directly. It also discusses how to represent SPDEs with additive multi-dimensional Lévy
On Twisted Paraproducts and some other Multilinear Singular IntegralsVjekoslavKovac1
Presentation.
9th International Conference on Harmonic Analysis and Partial Differential Equations, El Escorial, June 12, 2012.
The 24th International Conference on Operator Theory, Timisoara, July 3, 2012.
- The document discusses linear support vector machines (SVMs) with slack variables for non-separable data.
- SVMs aim to find a maximum margin separating hyperplane while allowing some errors, modeled by slack variables ξ.
- This forms a bi-criteria optimization problem that is solved using three equivalent formulations to reach the Pareto frontier, balancing the slack variable term and model complexity term.
- The optimality conditions for SVMs with slack variables are derived, leading to a dual formulation that is easier to optimize than the primal formulation.
Trilinear embedding for divergence-form operatorsVjekoslavKovac1
The document discusses a trilinear embedding theorem for divergence-form operators with complex coefficients. It proves that if matrices A, B, C are appropriately p,q,r-elliptic, then there is a bound on the integral of the product of the gradients of the semigroups associated with the operators. The proof uses a Bellman function technique and shows the relationship to the concept of p-ellipticity. It generalizes previous work on bilinear embeddings to the trilinear case.
This document is a seminar paper on induction motors presented by Pankaj Chaudhary to the Department of Electrical and Electronics Engineering at Sanjay Gandhi Institute of Engineering and Technology. The paper discusses the construction, principle of operation using double revolving field theory, squirrel cage rotor, speed, slip, starting torque, and applications of induction motors. It provides details on how single-phase induction motors operate using two perpendicular coils to generate rotating magnetic fields for starting.
This document outlines the course content and evaluation scheme for the Electrical Machine-II subject for the 5th semester of the B.E. in Electrical Engineering program at Gujarat Technological University. The course covers various topics related to polyphase transformers including testing, polyphase induction motors including equivalent circuits and speed control methods, induction generators, and single-phase AC motors including split phase, capacitor start, and shaded pole induction motors. Students will be evaluated based on a university exam, mid-semester exam, and internal assessment, with the university exam accounting for 70% of the final grade.
The document discusses single phase induction motors. It describes the construction of single phase induction motors, which have the same stator and rotor construction as three phase induction motors but with a single phase winding. It explains that a single phase induction motor does not self start due to the double revolving magnetic field set up by the single phase winding. It then discusses different methods to enable starting, including capacitor start motors, capacitor run motors, split phase motors, and shaded pole motors. Finally, it lists some common applications of single phase induction motors.
This document is a laboratory manual for an electronics and circuits lab course. It provides prerequisites and background information on basic electronic components like resistors, capacitors, and inductors. It explains how their values are determined from color codes. It also describes common circuit symbols and test equipment like oscilloscopes, function generators, and power supplies. The remainder of the manual lists 13 experiments involving diodes, transistors, rectifiers, filters, FETs, SCRs, and UJTs that students will perform to analyze electronic device characteristics and circuits.
This document provides an overview of single-phase induction motors. It discusses the construction of single-phase induction motors, which have a two-winding stator arranged perpendicularly and a squirrel cage rotor. It explains that these motors operate based on a double revolving field theory, where the pulsating magnetic field from the main winding can be divided into two fields rotating in opposite directions. A starting winding is used to generate a small positive slip and produce starting torque to initially rotate the motor in the forward direction of one of the fields. An equivalent circuit model is presented to analyze the motor performance based on the two rotating fields.
This document provides the contents of a practical work book for the course EE-444 Electrical Drives at NED University of Engineering and Technology. The contents include 15 lab sessions that cover topics such as introduction to devices like diodes, SCRs, IGBTs and MOSFET switches. The lab sessions also cover experiments on AC/DC single phase and three phase controlled and non-controlled rectifiers, DC/DC chopper, characteristics of DC generators and motors, and starting of synchronous and induction motors. Safety rules for the electrical drives lab are also provided.
This document outlines the course structure for EE1351 Power System Analysis. The course is divided into 5 units that cover an overview of power systems and modeling, power flow analysis, symmetrical fault analysis, unbalanced fault analysis using symmetrical components, and power system stability. The units delve into topics such as per unit systems, Gauss-Seidel and Newton-Raphson methods for power flow, symmetrical and unsymmetrical fault calculations, and rotor dynamics and stability classification. Assignment topics and potential seminar topics are also listed.
This chapter discusses per unit representation, which expresses values like current, voltage, impedance, and power as a ratio of an actual value to a reference or base value. This makes the quantities unitless and independent of physical size or ratings. The document provides examples of converting actual values to per unit values and explains the advantages, which include representing apparatus values consistently over a wide range, simplifying computations, and specifying machine impedances in per unit values according to manufacturers.
Here are the key steps to design a Hartley oscillator:
1. Choose the operating frequency fo. This will help determine component values.
2. Select the transistor. Consider gain, frequency response, power handling etc.
3. Calculate the inductance L required using the formula:
L = 1 / [4π2fo2C]
Where C is the total capacitance in the tank circuit.
4. Choose standard inductance value slightly higher than L.
5. Calculate the capacitance C required for resonance at fo using:
1 / [2π(LC)1/2] = fo
6. Choose standard capacitance values to obtain C.
7. Calculate
This document is a lab manual for an Electrical and Electronics Engineering course. It provides instructions and details for 12 experiments related to house wiring, ceiling fans, motors, and lighting equipment. The first experiment discusses assembling basic house wiring including components like switches, sockets, and an energy meter. The second experiment focuses on connecting a ceiling fan and varying its speed using a regulator. Circuit diagrams, component details, procedures, and expected results are outlined for safe and effective completion of the experiments.
This document provides an introduction to power system fault analysis. It discusses the importance of accurately analyzing fault conditions and their effects on the power system. Various types of faults are described, including short circuits, open circuits, simultaneous faults, and winding faults. Factors that affect fault severity are also outlined. The document then discusses methods for calculating faults, including using symmetrical components and sequence networks. An example fault calculation is provided to illustrate the process. Fault analysis is necessary for proper power system design, operation, and protection.
The manual is very useful for UG EEE students for the subject Power Electronics
By
M.MURUGANANDAM. M.E.,(Ph.D).,MIEEE.,MISTE,
Assistant Professor & Head / EIE,
Muthayammal Engineering College,
Rasipuram,
Namakkal-637 408.
Cell No: 9965768327
The document discusses power flow analysis, which determines voltages, currents, real power, and reactive power in a power system under steady-state load conditions. It describes the different types of buses in a power system and how they are modeled. The key component of power flow is the bus admittance matrix, which relates nodal voltages to branch currents based on Kirchhoff's current law. Solving the matrix equations provides the voltage magnitude and angle at each bus.
This document provides information on various types of single-phase induction motors. It discusses the construction and working of split-phase induction motors, capacitor start induction motors, permanent capacitor motors, shaded-pole motors, universal motors, and repulsion motors. The key points covered are:
- Single-phase induction motors require special mechanisms to produce a rotating magnetic field and make them self-starting.
- Common self-starting methods include using an auxiliary starting winding, a capacitor, or shading coils.
- Split-phase motors use a starting winding to produce a phase difference between currents. Capacitor motors add a capacitor to further improve starting torque.
- Shaded-pole motors produce a rotating
This document summarizes key concepts about three-phase systems. It defines a three-phase system as having three sinusoidal voltages differing in phase by 120 degrees. The voltages can form a positive or negative sequence. Three-phase systems are commonly used for power generation, transmission, and distribution due to their ability to transmit more power with less material. Formulas are provided for calculating line voltages, currents, and power in balanced and unbalanced three-phase systems. Advantages of three-phase systems like constant torque and easier starting of motors are also discussed.
Analysis and algebra on differentiable manifoldsSpringer
This chapter discusses integration on manifolds. It defines orientation of manifolds and orientation-preserving maps between manifolds. It presents Stokes' theorem and Green's theorem, which relate integrals over boundaries to integrals of differential forms. It introduces de Rham cohomology groups, which classify closed forms modulo exact forms. Examples are given of calculating the orientability and cohomology of manifolds like the cylinder, Möbius strip, and real projective plane.
A tutorial on the Frobenious Theorem, one of the most important results in differential geometry, with emphasis in its use in nonlinear control theory. All results are accompanied by proofs, but for a more thorough and detailed presentation refer to the book of A. Isidori.
The document discusses issues with pinning and facetting in lattice Boltzmann simulations of multiphase flows. It presents a lattice Boltzmann model for propagating sharp interfaces using a phase field approach. Sharpening the phase field interface causes it to become pinned to the lattice or develop facets. Introducing randomness via a random projection method or random threshold prevents pinning and delays facetting, allowing the interface to propagate at the correct speed even for very sharp boundaries.
This are the notes of a seminar talk delivered in summer 2008 at Bonn. Let SU (2, 1) be the
moduli space of rank 2 bundles with a fixed determinant of rank 1 over a curve C of genus g ≥ 2.
This is a Fano manifold of Picard rank 1. We discuss the example g = 2 where SU (2, 1) is the
intersection of two quadrics in P5 . In this case the minimal rational curves are lines. There is a
very interesting class of rational curves on SU (2, 1), called Hecke curves, which are constructed
by extending a given bundle by torsion sheaves. In the case g ≥ 3 we will see that Hecke curves
have minimal anti-canonical degree (4) and that any rational curve passing through a generic
point is a Hecke curve.
Cusps of the Kähler moduli space and stability conditions on K3 surfacesHeinrich Hartmann
Presentation about the paper with the same title http://arxiv.org/abs/1012.3121
Abstract:
In [Ma1] S. Ma established a bijection between Fourier--Mukai partners of a K3 surface and cusps of the K\"ahler moduli space. The K\"ahler moduli space can be described as a quotient of Bridgeland's stability manifold. We study the relation between stability conditions σ near to a cusp and the associated Fourier--Mukai partner Y in the following ways. (1) We compare the heart of σ to the heart of coherent sheaves on Y. (2) We construct Y as moduli space of σ-stable objects.
An appendix is devoted to the group of auto-equivalences of the derived category which respect the component Stab†(X) of the stability manifold
The document discusses membrane harmonics and the Helmholtz equation. It begins by considering the one-dimensional Helmholtz equation on an interval, finding the eigenfunctions and eigenvalues. It then extends this to the two-dimensional case on a rectangle using separation of variables, obtaining eigenfunctions that are products of sine waves and eigenvalues that are sums of the one-dimensional eigenvalues.
The document discusses Wythoff constructions and l1-embeddings. It begins by introducing Wythoff constructions, which generate new complexes from an original complex based on subsets of face dimensions. It then discusses l1-embeddings, which isometrically embed graphs into l1 metric spaces. Regular polytopes and tilings are provided as examples that embed into hypercubes or half-cubes through l1-embeddings. Embeddability can be tested using properties like being bipartite and satisfying hypermetric inequalities.
Density theorems for Euclidean point configurationsVjekoslavKovac1
1. The document discusses density theorems for point configurations in Euclidean space. Density theorems study when a measurable set A contained in Euclidean space can be considered "large".
2. One classical result is that for any measurable set A contained in R2 with positive upper Banach density, there exist points in A whose distance is any sufficiently large real number. This has been generalized to higher dimensions and other point configurations.
3. Open questions remain about determining all point configurations P for which one can show that a sufficiently large measurable set A contained in high dimensional Euclidean space must contain a scaled copy of P.
The document presents four solutions to finding the shape of a hanging chain under its own weight. The first solution uses force balancing on small segments of the chain. This leads to two differential equations that are solved to get a hyperbolic cosine function for the shape. The other three solutions use variational arguments to minimize the chain's potential energy, subject to its total length constraint. This also results in a hyperbolic cosine shape function. The constant parameter in this function can be determined from the chain's endpoint positions and total length.
The document presents four solutions to finding the shape of a hanging chain under its own weight. The first solution uses force balancing on small segments of the chain. This leads to two differential equations that are solved to get a hyperbolic cosine function for the shape. The other three solutions use variational arguments to minimize the chain's potential energy, subject to its total length constraint. This also results in a hyperbolic cosine shape function. The constant parameter in this function can be determined from the chain's endpoints and total length.
A generalized bernoulli sub-ODE Method and Its applications for nonlinear evo...inventy
This document describes a generalized Bernoulli sub-ODE method for finding exact traveling wave solutions to nonlinear evolution equations. The method involves reducing the nonlinear PDE to an ODE using a traveling wave variable, then assuming the solution can be expressed as a polynomial in G, where G satisfies a Bernoulli sub-ODE. Coefficients are determined by solving algebraic equations obtained by substituting the polynomial solution into the ODE. The method is demonstrated by using it to find two families of exact traveling wave solutions to the Fitzhugh-Nagumo equation.
All of material inside is un-licence, kindly use it for educational only but please do not to commercialize it.
Based on 'ilman nafi'an, hopefully this file beneficially for you.
Thank you.
Analytic construction of points on modular elliptic curvesmmasdeu
1. The document discusses analytic constructions of points on modular elliptic curves over number fields.
2. It introduces Heegner points, which provide a tool for verifying the Birch and Swinnerton-Dyer conjecture when the number field is an imaginary quadratic field.
3. Later work has generalized these constructions to some real quadratic fields and cubic fields of signature (1,1) by using Hilbert modular forms and automorphic forms on hyperbolic 3-space.
This document discusses the convexity of the set of k-admissible functions on a compact Kähler manifold. It begins by introducing k-admissible functions and some necessary convex analysis concepts. It then proves four main results: 1) the log of elementary symmetric functions of eigenvalues is a convex function, 2) the set of matrices with eigenvalues in a convex set is convex, 3) certain functions of eigenvalues are convex, and 4) the set of k-admissible functions is convex. It uses results on conjugation of spectral functions from convex analysis to prove these results. The proofs rely on properties of convex, lower semicontinuous functions and indicator functions.
This document provides an introduction to gauge theory. It discusses what a gauge is in quantum mechanics and how phase transformations lead to the idea of gauge symmetry. It defines what a gauge theory is, using electromagnetism as an example where the gauge field is the electromagnetic potential and gauge transformations change the phase of the electron wavefunction. It discusses how Yang-Mills generalized this to non-abelian gauge groups and the importance of principal and vector bundles. It covers connections, curvature, and gauge transformations as key mathematical concepts in gauge theory.
Nonlinear transport phenomena: models, method of solving and unusual features...SSA KPI
AACIMP 2010 Summer School lecture by Vsevolod Vladimirov. "Applied Mathematics" stream. "Selected Models of Transport Processes. Methods of Solving and Properties of Solutions" course. Part 3.
More info at http://summerschool.ssa.org.ua
Iterative procedure for uniform continuous mapping.Alexander Decker
This document presents an iterative procedure for finding a common fixed point of a finite family of self-maps on a nonempty closed convex subset of a normed linear space. Specifically:
1. It defines an m-step iterative process that generates a sequence from an initial point by applying m self-maps from the family sequentially at each step.
2. It proves that if one of the maps is uniformly continuous and hemicontractive, with bounded range, and the family has a nonempty common fixed point set, then the iterative sequence converges strongly to a common fixed point.
3. It extends previous results by allowing some maps in the family to satisfy only asymptotic conditions, rather than uniform continuity. The conditions
The document summarizes Fourier transform techniques. It begins by defining the Fourier transform and inverse Fourier transform, and provides some examples of calculating transforms. It then discusses properties like convolutions and transforms of derivatives. Finally, it gives examples of using Fourier transforms to solve ordinary and partial differential equations, transforming the equations to eliminate derivatives in one variable and solving the resulting equations.
This document provides an overview of geometric quantization on coadjoint orbits. It begins with definitions of coadjoint orbits as subsets of the dual of a Lie algebra defined by the coadjoint representation. It then discusses examples of coadjoint orbits and their geometric properties. The document introduces the complexification of Lie groups and derives formulas for the volume and measure of coadjoint orbits. It provides an overview of geometric quantization based on Dirac's axioms and discusses approaches using prequantum line bundles and alternative Mpc structures. The document presents theorems on properties of coadjoint orbits such as their relation to cotangent bundles and symplectic quotients. It also discusses geometric PDE on complexified coadjoint orbits.
deformations of smooth functions on 2-torus whose kronrod-reeb graph is a treeBohdan Feshchenko
(1) The document discusses the orbits and stabilizers of smooth functions on a 2-torus under the action of diffeomorphisms. It presents a theorem relating the fundamental group of the orbit of a function to a wreath product involving the stabilizers of the function over certain disks.
(2) The main result is that if the Kronrod-Reeb graph of a smooth function on a 2-torus is a tree, then the fundamental group of the orbit of the function is isomorphic to a wreath product involving the path components of the stabilizers of the function over certain disks.
(3) The document provides background on orbits, stabilizers, and wreath products in
Similar to Doubled Geometry and Double Field Theory (20)
This presentation includes basic of PCOS their pathology and treatment and also Ayurveda correlation of PCOS and Ayurvedic line of treatment mentioned in classics.
This presentation was provided by Steph Pollock of The American Psychological Association’s Journals Program, and Damita Snow, of The American Society of Civil Engineers (ASCE), for the initial session of NISO's 2024 Training Series "DEIA in the Scholarly Landscape." Session One: 'Setting Expectations: a DEIA Primer,' was held June 6, 2024.
How to Setup Warehouse & Location in Odoo 17 InventoryCeline George
In this slide, we'll explore how to set up warehouses and locations in Odoo 17 Inventory. This will help us manage our stock effectively, track inventory levels, and streamline warehouse operations.
Main Java[All of the Base Concepts}.docxadhitya5119
This is part 1 of my Java Learning Journey. This Contains Custom methods, classes, constructors, packages, multithreading , try- catch block, finally block and more.
বাংলাদেশের অর্থনৈতিক সমীক্ষা ২০২৪ [Bangladesh Economic Review 2024 Bangla.pdf] কম্পিউটার , ট্যাব ও স্মার্ট ফোন ভার্সন সহ সম্পূর্ণ বাংলা ই-বুক বা pdf বই " সুচিপত্র ...বুকমার্ক মেনু 🔖 ও হাইপার লিংক মেনু 📝👆 যুক্ত ..
আমাদের সবার জন্য খুব খুব গুরুত্বপূর্ণ একটি বই ..বিসিএস, ব্যাংক, ইউনিভার্সিটি ভর্তি ও যে কোন প্রতিযোগিতা মূলক পরীক্ষার জন্য এর খুব ইম্পরট্যান্ট একটি বিষয় ...তাছাড়া বাংলাদেশের সাম্প্রতিক যে কোন ডাটা বা তথ্য এই বইতে পাবেন ...
তাই একজন নাগরিক হিসাবে এই তথ্য গুলো আপনার জানা প্রয়োজন ...।
বিসিএস ও ব্যাংক এর লিখিত পরীক্ষা ...+এছাড়া মাধ্যমিক ও উচ্চমাধ্যমিকের স্টুডেন্টদের জন্য অনেক কাজে আসবে ...
it describes the bony anatomy including the femoral head , acetabulum, labrum . also discusses the capsule , ligaments . muscle that act on the hip joint and the range of motion are outlined. factors affecting hip joint stability and weight transmission through the joint are summarized.
Reimagining Your Library Space: How to Increase the Vibes in Your Library No ...Diana Rendina
Librarians are leading the way in creating future-ready citizens – now we need to update our spaces to match. In this session, attendees will get inspiration for transforming their library spaces. You’ll learn how to survey students and patrons, create a focus group, and use design thinking to brainstorm ideas for your space. We’ll discuss budget friendly ways to change your space as well as how to find funding. No matter where you’re at, you’ll find ideas for reimagining your space in this session.
This slide is special for master students (MIBS & MIFB) in UUM. Also useful for readers who are interested in the topic of contemporary Islamic banking.
Leveraging Generative AI to Drive Nonprofit InnovationTechSoup
In this webinar, participants learned how to utilize Generative AI to streamline operations and elevate member engagement. Amazon Web Service experts provided a customer specific use cases and dived into low/no-code tools that are quick and easy to deploy through Amazon Web Service (AWS.)
This document provides an overview of wound healing, its functions, stages, mechanisms, factors affecting it, and complications.
A wound is a break in the integrity of the skin or tissues, which may be associated with disruption of the structure and function.
Healing is the body’s response to injury in an attempt to restore normal structure and functions.
Healing can occur in two ways: Regeneration and Repair
There are 4 phases of wound healing: hemostasis, inflammation, proliferation, and remodeling. This document also describes the mechanism of wound healing. Factors that affect healing include infection, uncontrolled diabetes, poor nutrition, age, anemia, the presence of foreign bodies, etc.
Complications of wound healing like infection, hyperpigmentation of scar, contractures, and keloid formation.
1. Doubled Geometry and Double Field Theory
An overview
Luigi Alfonsi
2016
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 1 / 30
2. Outline
1 Introduction
2 Lie and Courant algebroids
3 Doubled Geometry
O(D, D) action
Generalised Lie derivative
Generalised Tensors
Generalized Connection and Torsion
Generalized Curvature
Generalised Scalar Curvature
4 Double Field Theory
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 2 / 30
3. Outline
1 Introduction
2 Lie and Courant algebroids
3 Doubled Geometry
O(D, D) action
Generalised Lie derivative
Generalised Tensors
Generalized Connection and Torsion
Generalized Curvature
Generalised Scalar Curvature
4 Double Field Theory
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 3 / 30
4. Introduction
Stringy geometry: beyond Riemann? We would like:
Duality-covariance geometrically realised
Description of non-geometric backgrounds
Background fields (g, b, φ) in a single object
Double Field Theory: field theory on a spacetime patched by U × T2D
gives a
O(D, D)-covariant field theory on a spacetime patched by U × TD
.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 4 / 30
5. Outline
1 Introduction
2 Lie and Courant algebroids
3 Doubled Geometry
O(D, D) action
Generalised Lie derivative
Generalised Tensors
Generalized Connection and Torsion
Generalized Curvature
Generalised Scalar Curvature
4 Double Field Theory
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 5 / 30
6. Lie and Courant algebroids
Definition
A Lie algebroid over a manifold M is a vector bundle (L, M, π) equipped with Lie
bracket
[·, ·] : Γ(L) × Γ(L) −→ Γ(L) (1)
and with a morphism ρ of vector bundles (called anchor) ρ : L −→ TM whose
tangent map dρ preserves the bracket
dρ([X, Y ]) = [dρ(X), dρ(Y )] (2)
and such that it holds the following Leibniz rule:
[X, fY ] = f [X, Y ] + ρ(X)[f ]Y (3)
for all X, Y ∈ Γ(L) and f ∈ C∞
(M).
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 6 / 30
7. Definition
A Lie bialgebroid over a manifold M is a couple (L, L∗
) where L and its dual
bundle L∗
are Lie algebroids such that satisfy
dL[X, Y ] = [dLX, Y ] + [X, dLY ]. (4)
Example
The tangent bundle TM is a Lie algebroid with the commutator [·, ·] as Lie
bracket and ρ = 1TM . The couple (TM, T∗
M) is a bialgebroid.
Definition 2.1
The Jacobiator of a bilinear skew-symmetric operator [·, ·] on a vector space V ,
given ei ∈ V , is
Jac(e1, e2, e3) = [[e1, e2], e3] + [[e2, e3], e1] + [[e3, e1], e2]. (5)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 7 / 30
8. If (L, L∗
) is a Lie bialgebroid, L ⊕ L∗
has a new structure:
Definition
A Courant algebroid is a vector bundle E over M equipped with
1 a skew-symmentric bracket ·, · : Γ(E) × Γ(E) → Γ(E),
2 a non-degenerate bilinear form ·, · : E × E → R,
3 a bundle map π : E → TM (”anchor”),
such that the following conditions are satisfied ∀ei ∈ Γ(E), ∀f , g ∈ C∞
(M):
π( e1, e2 ) = [π(e1), π(e2)],
Jac(e1, e2, e3) = 1
3 d e1, e2 , e3 + c.p. ,
e1, fe2 = f e1, e2 + π(e1)[f ]e2 − e1, e2 df ,
π ◦ d = 0 ⇒ df , dg = 0,
π(e1)[ e2, e3 ] = e1 • e2, e3 + e2, e1 • e3 ,
where we defined e1 • e2 ≡ e1, e2 + d e1, e2 .
TM ⊕ T∗
M is naturally a Courant algebroid with
X + ξ, Y + η = [X, Y ] + LX η − LY ξ +
1
2
(ıY ξ − ıX η), (6)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 8 / 30
9. Outline
1 Introduction
2 Lie and Courant algebroids
3 Doubled Geometry
O(D, D) action
Generalised Lie derivative
Generalised Tensors
Generalized Connection and Torsion
Generalized Curvature
Generalised Scalar Curvature
4 Double Field Theory
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 9 / 30
10. O(D, D) action
Definition
A left G-module is an abelian group (A, +) with a left group action · : G × A → A
such that g · (a + b) = g · a + g · b.
Let M be a fibre bundle over the base manifold N where the fibre F is an
O(D, D)-module. Consider torus fibers F = T2D
with the action
x 1
...
x 2D
= h
x1
...
x2D
, h ∈ O(D, D) (7)
From String Theory (Level Matching Condition) we have the axiom that any
couple of fields A, B satisfies ∂M A∂M
B = 0 on T2D
.
This means that, given coordinates (x1
, x2
, . . . , x2D
) on T2D
, every field depends
only on x1
, . . . , xD
, i.e on a torus TD
⊂ T2D
.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 10 / 30
11. From each patch U × T2D
we can choose a subpatch U × TD
.
Subpatches can glue together only with diffeomorphisms to form a manifold.
Subpatches can glue togheter with diffeomorphisms and
O(D, D)-transormations to form a T-fold (non-geometric background).
Figure: T-fold [credits: Falk Hassler]
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 11 / 30
12. Generalised Lie derivative
A generalised vector W is an element of a vector bundle E(M), transforming as
δW = LV W (8)
Definition
The generalised Lie derivative is defined as:
LV W ≡ [V , W ] + V , ∂M
W eM (9)
for a basis {eM }M=1,...,2D of Γ(E).
where
Definition
Metric on E defined by V , W ≡ 1
2 V T
ηW , with η =
0 1
1 0
singlet of O(D, D).
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 12 / 30
13. The fibres of E are assumed to be O(D, D)-modules, so that, given h ∈ O(D, D),
we have W (hx) = hW (x).
Definition
The D-bracket:
[·, ·]D : Γ(E) × Γ(E) −→ Γ(E)
(V , W ) −→ [V , W ]D ≡ LV W
(10)
Definition
The C-bracket:
·, · C : Γ(E) × Γ(E) −→ Γ(E)
(V , W ) −→ V , W C ≡ 1
2 ([V , W ]D − [W , V ]D)
(11)
We have the identity:
[LV , LW ] = L V ,W C
(12)
The C-bracket closes the algebra of generalised Lie derivatives.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 13 / 30
14. Given a patch U ⊂ M, since a generalised vector W ∈ E(U) depends only on the
first x1
, . . . , xD
coordinates, it can be thought as an element of a vector bundle
E(U) over a subpatch U ⊂ U.
On E(U):
·, · C reduces to a Courant bracket ·, ·
Hence E(U) is a Courant algebroid.
We can say that E(M) is ”locally” a Courant algebroid.
We can show that E(U) is a deformation of the Courant algebroid TU ⊕ T∗
U.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 14 / 30
15. There exists bundle isomorphism L : E(U) → TU ⊕ T∗
U defined by:
W = LW , L =
1 0
−b 1
. (13)
The vector W ∈ TU ⊕ T∗
U transforms under Diff(U) as
W (X ) = ΛW (X) (14)
where we defined
Λ =
J 0
0 (JT
)−1 , Jµ
ν ≡
∂x µ
∂xν
.
From (13) and (14) W ∈ E(U) transforms under Diff(U) as:
W (X ) = ΛW (X), (15)
where we defined
Λ ≡ L −1
ΛL(X), L (X ) =
1 0
−b (x ) 1
(16)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 15 / 30
16. Generalised Tensors
Definition
A (p, q)-generalised tensor is an element of Γ(E⊗p
⊗ E∗⊗q
).
Like for vectors
Untwisted tensor:
T
M1···Mp
N1···Nq
= LM1
A1
· · · L
Mp
Ap
T
A1···Ap
B1···Bq
(L−1
)B1
N1
· · · (L−1
)
Bq
Nq
.
Transformation:
T
M1···Mp
N1···Nq
(X ) = ΛM1
A1
· · · Λ
Mp
Ap
T
A1···Ap
B1···Bq
(X)(Λ−1
)B1
N1
· · · (Λ−1
)
Bq
Nq
.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 16 / 30
17. A (0, 2)-generalised tensor H such that H−1
= ηT
Hη can decompose as:
HMN =
gµν − bµαgαβ
bβν bµαgαν
−gµα
bαν gµν (17)
where gµν is symmetric and bµν is antisymmetric.
From transformations δH = LV H we get
gµν(x ) = gαβ(x)
∂xα
∂x µ
∂xβ
∂x ν
, bµν(x ) = bαβ(x) + ∂α ˜vβ − ∂β ˜vα
∂xα
∂x µ
∂xβ
∂x ν
.
where we decompose V = (v, ˜v)T
.
⇒ g, b are metric and 2-form field on spacetime manifold.
LV on E(U) reduce to Supergravity gauge transformations.
From h ∈ O(D, D) transformations H (X ) = hT
H(X)h we get the Buscher
rules for T-duality.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 17 / 30
18. Doubled Manifolds
Definition
A doubled manifold (M, H, d) is a fibre bundle M over the base manifold N where
the fibre T2D
is an O(D, D)-module, equipped with
1 a (0, 2) generalised tensor H ∈ Γ(E∗
⊗ E∗
) such that H−1
= ηT
Hη, called
generalised metric,
2 a scalar density d, called dilaton density,
3 a volume form Vol = e−2d
VolN ∧ d2D
x with VolN volume form of N.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 18 / 30
19. Generalized Connection and Torsion
Definition
Generalised connection is a map
: Γ(E) × Γ(E) −→ Γ(E)
(V , W ) −→ V W
(18)
such that it satisfies the usual properties:
(V +W )Y = V Y + W Y ,
V (W + Y ) = V W + V Y ,
fV W = f V W ,
V (fW ) = V M
(∂M f )W + V W .
Linearity ⇒ connection determined by its components
M eN = ΩK
MN eK (19)
where {eM } is a coordinate basis. Then:
V W = V M
(∂M W N
+ ΩN
MK W K
)eN , (20)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 19 / 30
20. Definition
The generalised torsion T is the a generalised tensor defined by
LV − LV WM = TMNK V N
W K
, (21)
where LV is the generalized Lie derivative with ∂M replaced by M .
In terms of connection components:
TMNK = ΩMNK − ΩNMK + ΩKMN . (22)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 20 / 30
21. Definition
A generalised Levi-Civita connection is a generalised connection such that:
1 it preserves the η metric: M ηNK = 0,
2 it preserves the generalised metric: M HNK = 0,
3 the generalised torsion vanishes: TMNK = 0,
4 integration by parts is V M
N W N
Vol = − W N
N V M
Vol.
Solve first condition:
M ηNK = ∂M ηNK − ΩP
MN ηPK − ΩP
MK ηNP = 0 ⇒ ΩM[NK] = 0 (23)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 21 / 30
22. Generalized Curvature
Define R by the commutator:
[ M , N ]AK = −R L
MNK AL − T L
MN LAK . (24)
In terms of connection components:
RMNKL = ∂M ΩNKL − ∂N ΩMKL
+ ΩMPLΩP
NK − ΓNPLΓP
MK . (25)
Hence R[MN]KL = 0.
But R is not a generalised tensor.
Definition
The generalised curvature is the generalised tensor
RMNKL ≡ RMNKL + RKLMN + ΩPMN ΩP
KL (26)
where R is determined by the expression (24).
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 22 / 30
23. Symmetries:
By definition: RMNKL = −RKLMN .
R[MN]KL = 0 ⇒ R[MN]KL = 0.
ΩM[NK] = 0 ⇒ RMN[KL] = 0.
Analogous of Bianchi identities: Ω[MNK] = 0 ⇒ R[MNK]L = 0.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 23 / 30
24. Introduce the projectors to the GL(D)-subbundles:
Π ≡
1
2
(η − H), Π ≡
1
2
(η + H), (27)
A generalised vector can be decomposed as V = ΠV + ΠV .
If is generalised Levi-Civita we have conditions:
Π = Π = 0. (28)
Notation convention:
Π N
M VN ≡ VM , Π
N
M VN ≡ VM (29)
.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 24 / 30
25. From ΩM[NK] = 0 and Ω[MNK] = 0 obtain:
ΩMNK = ΩMNK + ΩMNK +
+ ΩMNK + ΩMKN + ΩNKM + ΩKNM +
+ ΩMNK + ΩMKN + ΩKMN + ΩNMK
(30)
Thus we only need ΩMNK , ΩMNK , ΩMNK and ΩMNK to determine the connection.
For a generalised Levi-Civita connection we find:
ΩMNK = −Π P
M (Π∂P Π)KN
ΩMNK = −Π
P
M (Π∂P Π)KN
ΩMNK = 4
D−1 ΠM[N Π P
K] ∂P d + (Π∂Q
Π)[QP] + ΩMNK
ΩMNK = 4
D−1 ΠM[N Π
P
K] ∂P d + (Π∂Q
Π)[QP] + ΩMNK
(31)
where ΩMNK and ΩMNK are unfixed and constrained by:
ηMK
ΩMNK = 0, ηMK
ΩMNK = 0. (32)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 25 / 30
26. Hence decomposition ΩMNK = ΩMNK + ΣMNK , where
ΩMNK is fixed,
ΣMNK = ΩMNK + ΩMNK is unfixed.
We can calculate the fixed part:
ΩMNK =
1
2
HKP ∂M HP
N +
1
2
δ P
[N H Q
K] + H P
[N δ Q
K] ∂P HQM +
+
2
D − 1
ηM[N δ Q
K] + HM[N H Q
K] ∂Qd +
1
4
HPM
∂M HPQ .
(33)
Also generalised curvature has unfixed terms:
RMNKL = RMNKL + 2 [M ΣN]KL + 2 [K ΣK]MN +
+ 2Σ[M|PLΣ P
N]K + 2Σ[K|PN Σ P
L]M + ΣPMN ΣP
KL,
(34)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 26 / 30
27. Generalised Scalar Curvature
Definition
The generalised scalar curvature is
R ≡ R
MN
MN = −R MN
MN
(35)
Lemma
It can be proved that R is univocally fixed by H,d (i.e. R = R).
We can calculate:
R(H, d) = 4HMN
∂M ∂N d − ∂M ∂N HMN
+
+ 4HMN
∂M d∂N d + 4∂M HMN
∂N d+
+
1
8
HMN
∂M HKL
∂N HKL −
1
2
HMN
∂M HKL
∂K HNL.
(36)
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 27 / 30
28. Outline
1 Introduction
2 Lie and Courant algebroids
3 Doubled Geometry
O(D, D) action
Generalised Lie derivative
Generalised Tensors
Generalized Connection and Torsion
Generalized Curvature
Generalised Scalar Curvature
4 Double Field Theory
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 28 / 30
29. Free Double Field Theory
Free DFT action
The action funtional of DFT is
SDFT[H, d] =
M
R(H, d)Vol(d), (37)
where R(H, d) is the generalised scalar curvature.
If we vary the generalised metric:
δH = ΠδKΠ + ΠδKΠ ⇒ δSDFT =
M
δKMN
RMN Vol, (38)
where δK is a symmetric matrix.
Field equations:
δSDFT
δKNM
= RMN = 0. (39)
They give exactly the equations of Supergravity.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 29 / 30
30. Summary
DFT describes T-duality covariant field theories.
DFT describes field theories on non-geometric backgrounds.
DFT describes geometric fields g, b in a single object H.
Further developments
Analogous construction for U-duality groups En.
Relaxing Strong Constraint
Rigorous mathematical foundations
Further reading:
Gerardo Aldazabal, Diego Marques, Carmen Nunez.
Double Field Theory: A Pedagogical Review. 2013.
Chris Hull, Barton Zwiebach.
Double Field Theory. 2009.
Luigi Alfonsi Doubled Geometry and Double Field Theory 2016 30 / 30